■ディオファントス方程式の解の非存在(その29)
[1]1≦x≦y≦zとしても一般性は失われない.
z=xy/2・{3±(9−4/x^2−4/y^2)^1/2}
であり,(x,y)=(1,1)からスタートすると
→z^2+2=3z→z=1,2→(1,1,1),(1,1,2)
(x,y)=(1,2)からスタートすると→z=1,5→(1,1,2),(1,2,5)
(x,y)=(1,1)→z=1,2
(x,y)=(1,2)→z=1,5
(x,y)=(1,5)→z=2,13
(x,y)=(2,5)→z=1,29
[2]一般に(a,b,c)からスタートすると
(a,c,3ac−b),a≦c≦3ac−b
(b,c,3bc−a),b≦c≦3bc−a
も解となる.すると(1,1,1)には親がいないことになる.
[3]すべての解は特異解(1,1,1),(1,1,2)から生成される.
===================================