Index. Pell's Equation [0013]
Index. Pell's Equation [0013]
Definition 1. Pell's Equation [0030]
Definition 1. Pell's Equation [0030]
For an integer we call a diophantine equation of the form Pell's equation.
Remark 2. Trivial cases of the Pell equation [004N]
Remark 2. Trivial cases of the Pell equation [004N]
- If , or , then is the only solution.
- If all solutions are and an aritrary .
- If all solutions are .
Proof.
- In the first case we can write the equation as , then . If , write . This forces and thus . If is of the form , then we have , forcing and .
- This is clear.
- We have . Our only options are and
The only case left to discuss is the case where is positive and not a square.
Definition 3. [004J]
Definition 3. [004J]
Let be a natural number and not a square. We denote the set by , read as adjoint with .
Definition 4. Conjugate element [004K]
Definition 4. Conjugate element [004K]
For an element of we define its conjugate by .
Observation 5. Solutions of the Pell equation as units [004L]
Observation 5. Solutions of the Pell equation as units [004L]
We can identify a solution of the Pell equation with the pair . In this case is the inverse of , since . From this point of iew, the solutions of the Pell equation are precisely the units of .
Observation 6. Products of Solutions of the Pell Equation [004M]
Observation 6. Products of Solutions of the Pell Equation [004M]
We obtain new solutions by multiplying solutions we have already found.
Proof. Let and in be invertible; then is also invertible since . Therfore, also corresponds to a solution.
Theorem 7. Fundamental Solution of the Pell Equation [004O]
Theorem 7. Fundamental Solution of the Pell Equation [004O]
The minimum element of the set is well-defined. We call this element the fundamental solution of the Pell equation and denote it by .
Proof. TODO
Theorem 8. Loesungen der pellschen Gleichung [004P]
Theorem 8. Loesungen der pellschen Gleichung [004P]
Sei be non-square. Then the solutions of the Pell equation are exactly . where is the fundamental Solution.
Proof. TODO