Best Rational Approximations to Root 2 generate Pythagorean Triples/Proof 2

Proof
From Pell Number as Sum of Squares, we have:


 * $P_{2 n + 1} = P_{n + 1}^2 + P_n^2$

Therefore: