Difference between revisions of "Pell's equation (simple solutions)"

(Equation of the form x^2 – 2y^2 = 1)
Line 11: Line 11:
  
 
==Equation of the form <math>x^2 – 2y^2 = 1</math>==
 
==Equation of the form <math>x^2 – 2y^2 = 1</math>==
 +
<math>\boldsymbol{a.}</math> Let integers <math>(x_i, y_i)</math> are the solution, <math>\hspace{10mm}  x_i^2 - 2 y_i^2 = 1,</math>
 +
<cmath>\begin{equation} \left\{ \begin{aligned}
 +
  x_{i+1} &= 3 x_i + 4 y_i ,\\
 +
  y_{i+1} &= 2 x_i + 3 y_i .
 +
\end{aligned} \right.\end{equation}</cmath>
 +
then <math>x_{i+1}^2 - 2 y_{i+1}^2 = (3 x_i + 4 y_i)^2 - 2 (2 x_i + 3 y_i)^2 =  x_i^2 - 2 y_i^2 = 1,</math>
 +
 +
therefore integers <math>(x_{i+1}, y_{i+1})</math> are the solution of the given equation.
 +
<cmath>\{(x_i, y_i) \} = \{(1,0), (3,2), (17,12), (99,70),...\}.</cmath>

Revision as of 02:46, 17 April 2023

Pell's equation is any Diophantine equation of the form $x^2 – Dy^2 = 1,$ where $D$ is a given positive nonsquare integer, and integer solutions are sought for $x$ and $y.$

Denote the sequence of solutions $\{x_i, y_i \}.$ It is clear that $\{x_0, y_0 \} = \{1,0 \}.$

During the solution we need:

a) to construct a recurrent sequence $\{x_{i+1}, y_{i+1} \} = f({x_i, y_i})$ or two sequences $\{x_{i+1} \} = f({x_i}), \{y_{ i+1} \} = g({y_i});$

b) to prove that the equation has no other integer solutions.

Equation of the form $x^2 – 2y^2 = 1$

$\boldsymbol{a.}$ Let integers $(x_i, y_i)$ are the solution, $\hspace{10mm}   x_i^2 - 2 y_i^2 = 1,$ \begin{equation} \left\{ \begin{aligned}    x_{i+1} &= 3 x_i + 4 y_i ,\\   y_{i+1} &= 2 x_i + 3 y_i . \end{aligned} \right.\end{equation} then $x_{i+1}^2 - 2 y_{i+1}^2 = (3 x_i + 4 y_i)^2 - 2 (2 x_i + 3 y_i)^2 =  x_i^2 - 2 y_i^2 = 1,$

therefore integers $(x_{i+1}, y_{i+1})$ are the solution of the given equation. \[\{(x_i, y_i) \} = \{(1,0), (3,2), (17,12), (99,70),...\}.\]