√２の近似値は1/1,3/2,7/5,17/12,41/29,･･･です．√２は２つの整数の比ｐ／ｑではないので，√２＝ｐ／ｑすなわちｐ^2＝２ｑ^2になるような２つの整数ｐ，ｑを見つけることはできません．しかし，誤差±１を許すことにすると

　　２ｑ^2＝ｐ^2±１　　（ペル方程式）

なる２つの整数ｐ，ｑを見つけることができます．

　　２^2＋２^2＝３^2−１

　　５^2＋５^2＝７^2＋１

　　１２^2＋１２^2＝１７^2−１

　　・・・・・・・・・・・・・

　このような分数を全部求めるには１／１から出発して１＋１＝２が次の分母になり，１＋２＝３が次の分子になる，３＋２＝５が第３の分母，２＋５＝７が第３の分子になって，同様に続いていくという算術的な規則があります．

　1/1↓　↑3/2↓　↑7/5↓　↑17/12↓　↑41/29↓　・・・

　すなわち，ペル方程式：ｐ^2−２ｑ^2＝±１を満たすｐ／ｑがひとつの分数で，Ｐ／Ｑが次の分数だとすると

　　Ｑ＝ｐ＋ｑ，Ｐ＝ｑ＋Ｑ＝ｐ＋２ｑ

　　Ｐ^2−２Ｑ^2＝２ｑ^2−ｐ^2＝±１

となって，Ｐ／ＱもまたＰ^2−２Ｑ^2＝±１となる分数を与えることができることになります．１／１から始まって次々に解となる分数を見つけることができるというわけです．

　なお，フェルマー・ワイルスの定理より

　　ｘ^n＋ｙ^n＝ｚ^n

に整数解が存在するのは，ｎ＝１と２の場合だけです．したがって，ａ^3＋ｂ^3＝ｃ^3になるような３つの整数ａ，ｂ，ｃを見つけることはできませんが，誤差±１を許すことにすると

　　６^3＋８^3＝９^3−１

のようにぎりぎりこれに近い式を見つけることができます．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝