# Definition:Best Rational Approximation

Jump to navigation
Jump to search

## Definition

Let $x \in \R$ be an (irrational) real number.

The rational number $a = \dfrac p q$ is a **best rational approximation** to $x$ if and only if:

- $(1): \quad a$ is in canonical form, that is $p$ is coprime to $q$: $p \perp q$

- $(2): \quad \left\vert{x - \dfrac p q}\right\vert = \min \left\{ {\left\vert{x - \dfrac {p'} {q'} }\right\vert: q' \le q}\right\}$

That is:

- $\left\vert{x - \dfrac p q}\right\vert$ is smaller than for any $\dfrac {p'} {q'}$ where $q' \le q$

where $\left\vert{x}\right\vert$ denotes the absolute value of $x$.

### Sequence

This definition needs to be completed.In particular: sorted by increasing denominatorYou can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding or completing the definition.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{DefinitionWanted}}` from the code.If you would welcome a second opinion as to whether your work is correct, add a call to `{{Proofread}}` the page. |