| http://www.w3.org/ns/prov#value | - Remark: Will Jagy has settled the problem in general, by observing that the continued fraction of $\sqrt{n^2-2}$ has period $4$. (If $\sqrt{d}$ has continued fraction with even period, then the equation $x^2-dy^2=-1$ has no integer solutions.) There is an approach that does not use properties of continued fractions, but instead uses basic properties of Pell equations.
|
