Definition
Pell’s equations are equations in the form
Norm
Define a number
Fundamental Solution
We can find a fundamental solution
Proof
- Consider
to be the smallest real in the for and . - Consider
such that is another solution to . - Let
be such that . This is guaranteed to exist as is continuous and these inequalities cover the whole domain. - Since
- Define
. Since is multiplicative . - Expanding
gets something in the for . Since , . - Hence
. - We can also prove that
as and by AM-GM . ( by the same algebra in step 4 since ). - Since
the minimality of is contradicted unless which only happens when as desired.
General and Recursive Solutions of Pell’s Equations
INSERT PROOF
Let