Lagmental Vicfred

Pell Solutions Come from Convergents to a Square Root by Vicfred

tags: mathematics, continued fractions, Diophantine approximation, Pell equations

The fundamental solution of x squared minus D y squared equals one appears among convergents to sqrt D. The example is deliberately concrete; it is a test of the statement, not a substitute for it.

Objects and notation

A continued fraction \([a_0;a_1,a_2,\ldots]\) produces convergents \(p_n/q_n\) with exceptional rational approximation. Quadratic irrationals are exactly the eventually periodic cases.

$$ x^2-Dy^2=1,\qquad D\ \text{nonsquare} $$

The first display fixes the mathematical data. I label it \(\mathsf{data}\) mentally, while the next is the \(\mathsf{claim}\); the bridge between them is the displayed \(\Longrightarrow\), not an automatic implication.

$$ \frac xy\approx\sqrt D $$

Push the symbols

This is the algebraic core of the note. Once this line is correct, the surrounding interpretation has something solid to refer to.

$$ \sqrt{13}=[3;\overline{1,1,1,1,6}],\qquad649^2-13\cdot180^2=1 $$

Structural reading

The aligned summary deliberately puts the datum and conclusion on different rows. Mathematically, this is the distinction between specifying an object and proving a property of it.

$$ \begin{aligned} \mathsf{D}\;&:\quad x^2-Dy^2=1,\qquad D\ \text{nonsquare},\\[5pt] \mathsf{C}\;&:\quad \frac xy\approx\sqrt D. \end{aligned} $$

A hypothesis worth keeping

Good approximation does not mean arbitrary denominator. The convergents are special because their determinants alternate between plus and minus one.

$$ \boxed{\begin{gathered} \text{compact conclusion}\\[-2pt] \frac xy\approx\sqrt D \end{gathered}} $$

A symbolic summary is trustworthy only because the example and limitation remain visible beside it. The box compresses the conclusion without hiding its origin.

This article was posted on Tue 19 April 2011. Facts and circumstances may have changed since publication.
Please contact me before jumping to conclusions if something seems wrong or unclear.