Pell's fundamental solution theorem
Pell equation: x^2 - Dy^2 = 1 where D is a positive integer which is not a perfect square. x,y are positive integers. Pell's fundamental solution theorem statement: 1. There exist a fundamental solution (x1,y1) satisfying the equation which corresponds to smallest such x1 and hence smallest such y1. 2. It has infinite solutions of the form: xn + sqrt(D).yn = (x1 + sqrt(D).y1)^n for n >= 1 From the binomial expansion of RHS it's clear that y1 | yn for all n >= 1. Example: x^2 - 2y^2 = 1 x^2 = 2y^2 + 1 try y = 1, no y = 2 x = 3 yes General solution: xn + sqrt(2).yn = (3+2.sqrt(2))^n