Past exam of the mathematics course of the University of Cambridge / 2017 / ii / Paper 3 / 10G (Number Theory)

Set $p_{-2}=0,p_{-1}=1,q_{-2}=1,q_{-1}=0$ and define the continued fraction convergents byThe recurrence reverses the sign of $p_n{q}_{n-1}-p_{n-1}{q}_n$, whose initial value at $n=0$ is $-1$. Hence $p_n{q}_{n-1}-p_{n-1}{q}_n=(-1{)}^{n-1}$. Every common divisor of $p_n,q_n$ divides this number, proving $\boxed{\gcd (p_n,q_n)=1}$.

Let $D_n=p_{n-1}{q}_{n-2}-p_{n-2}{q}_{n-1}=(-1{)}^{n-2}$. Solving the given Möbius transformation for the complete quotient and rationalizing givesThereforeThe denominator $D_n$ is $\pm 1$, so both are integers. The algebraic norm denominator is nonzero because $\sqrt{d}$ is an irrational number.

Use the periodic continued fraction $\sqrt{d}=[a_0;\overline{a_1,\dots ,a_m}]$. A direct matrix argument avoids any assumption about the parity of the period. LetPeriodicity says that $M$ fixes ${\theta }_1$ as a Möbius transformation, while $B$ takes ${\theta }_1$ to $\sqrt{d}$. Thus $N=\left(\begin{array}{cc}A& B_1\\ C& D\end{array}\right)$ has integer entries and fixes $\sqrt{d}$. Equating rational and irrational parts in $A\sqrt{d}+B_1=\sqrt{d}(C\sqrt{d}+D)$ gives $A=D,B_1=dC$. ConsequentlyThe eigenvalue of $M$ on $({\theta }_1,1{)}^T$ is its denominator $M_{21}{\theta }_1+M_{22}>1$; this uses $a_i\ge 1$ and ${\theta }_1>1$, including the one-term period. The corresponding eigenvalue of $N$ is $A+C\sqrt{d}>1$. If the algebraic norm is $-1$, square this unit; otherwise keep it. In either case there is a unit $u=X+Y\sqrt{d}>1$ of algebraic norm $1$ with integer $X,Y$. Its powers have integer coefficients and algebraic norm $1$, and are distinct since $u^j$ strictly increases. Hence Pell's equation has infinitely many integer solutions.

The continued fraction convergents of $\sqrt{67}$ begin $8,41/5,90/11,131/16,221/27$. The last one yieldsChanging either sign gives another valid integer solution.