Intereting Posts

Proof that Right hand and Left hand derivatives always exist for convex functions.
Examples of involutions on $\mathbb{R}$
Find exact value of $\cos (\frac{2\pi}{5})$ using complex numbers.
Asymptotic formula for $\sum_{n\leq x}\mu(n)^2$ and the Totient summatory function $\sum_{n\leq x} \phi(n)$
Does a homeomorphism between two compact metric spaces preserve open balls?
Two (equivalent ?) norms on Hilbert space
Show that a representative function on a profinite group factor through a surjection
Explaining $\cos^\infty$
How to find a total order with constrained comparisons
Criteria for being a true martingale
A vector space over $R$ is not a countable union of proper subspaces
Frobenius coin problem
Value of series, Partialsum?
Intuition – $fr = r^{-1}f$ for Dihedral Groups – Carter p. 75
Given that $a+b\sqrt{2} +c\sqrt{4} =0$, where $a,b,c$ are integers. Show $a=b=c=0$

Let $p_N/q_N$ be the $N^\text{th}$ convergent of the continued fraction for some irrational number $\alpha$. It turns out that for any other approximation $p/q$ (with $q \le q_N$) which isn’t a convergent $|\alpha q – p| > |\alpha q_{N-1} – p_{N-1}|$. I’m wondering if there are any nice proofs for this result?

In my book this is proved by picking $x,y$ that solves

$$

\begin{pmatrix} p_N & p_{N-1} \\ q_N & q_{N-1} \end{pmatrix}

\begin{pmatrix} x \\ y \end{pmatrix} =

\begin{pmatrix} p \\ q \end{pmatrix}

$$

- What was Ramanujan's solution?
- Continued fraction of $e^{-2\pi n}$
- Minimum of $|az_x-bz_y|$
- How do you proof that the simply periodic continuous fraction is palindromic for the square root of positive primes?
- Closed form for this continued fraction
- a q-continued fraction related to the octahedral group

since $x$ and $y$ have opposite sign, as well as $\alpha q_N – p_N$ and $\alpha q_{N-1} – p_{N-1}$ have opposite sign we can conclude that $|\alpha q – p| = |x (\alpha q_N – p_N) + y (\alpha q_{N-1} – p_{N-1})| = |x| |\alpha q_N – p_N| + |y| |\alpha q_{N-1} – p_{N-1}|$ which proves the theorem.

I am looking for different proofs than this one.

- Solving $x^4-y^4=z^2$
- Generalizing $(-1)^{n}$ by using $k$th-level figurate numbers
- How to prove floor identities?
- What might the (normalized) pair correlation function of prime numbers look like?
- Is $\log(n!) \in\Theta(n \log n)$
- The resemblance between Mordell's theorem and Dirichlet's unit theorem
- Continued fraction for some integrals by Ramanujan
- What is the simplest way to prove that the logarithm of any prime is irrational?
- Why $\zeta (1/2)=-1.4603545088…$?
- Norm of Prime Ideal

Of course there is a nicer proof! In fact, it’s almost obvious if one thinks about geometric interpretation of continued fraction: consider the line $y=\alpha x$; then the best approximation (i.e. approximation that minimizes $|\alpha q-p|=q|\alpha-\frac{p}{q}|$) is the point of integer lattice nearest to this line; finally observe that convergents with even/odd numbers of the continued fraction give coordinates of [verices of] the convex hull of [points of] lattice lying over/under the line.

One can also (as J. M. suggests) take a look at *Lorentzen, Waadeland. Continued Fractions with Applications*, I.2.1 (esp. figure 1 and the text near it; there are no words “convex hull” there but implicitly everything is explained, more or less).

Upd. One more reference is Davenport’s “The Higher Arithmetics” (section IV.12).

Finally, an illustration (from Arnold’s book).

- Bold line $y=\alpha x$ (on the picture $\alpha=\frac{10}7$) is approximated by vectors $e_i$ corresponding to convergents (namely, $e_i$ ends at $(p_i,q_i)$);
- each vector (starting from $e_3$) is a linear combination of two preciding ones: $e_{i+2}=e_i+a_{i-1}e_{i+1}$, where $a$ is the maximal integer s.t. the new vector still doesn’t intersect the line;
- this is exactly the algorithm for representing $\alpha$ by a continued fraction: $\alpha=[a_0,a_1,\dots]$.

- About the number of inequivalent irreducible representations of a finite group
- Group with order $p^2$ must be abelian . How to prove that?
- Is the sequence $\sqrt{p}-\lfloor\sqrt{p}\rfloor$ , $p$ running over the primes , dense in $$?
- In calculus, which questions can the naive ask that the learned cannot answer?
- Cantor's Teepee is Totally Disconnected
- The meaning of the term “lies” above the x-axis
- Modern approaches to mathematical notation
- Summing $\frac{1}{a}-\frac{1}{a^4}+\frac{1}{a^9}-\cdots$
- If a finite set $G$ is closed under an associative product and both cancellation laws hold, then it is a group
- Why is $H_{DR}^p(M,\mathbb{C})\cong H_{DR}^p(M,\mathbb{R})\otimes_\mathbb{R}\mathbb{C}$
- Reciproc of the Lindemann theorem and the arc cosine of the golden ratio
- For which integers $a,b,c,d$ does $\frac{a}{b} + \frac{c}{d} = \frac{a+b}{c+d}$?
- Vector space that can be made into a Banach space but not a Hilbert space
- What is a basis for the vector space of continuous functions?
- Is the degree of an infinite algebraic extensions always countable?