18/08/15 07:54:55.61 Hyxd+nJo.net
>>961
1から、aが奇数で b が偶数と仮定していて
(c+a) と (c-a) も偶数
(c+a)/2 の各素因数 p の次数に注目して
p^(2n) = (p^n)^2
p(2n+1) = {(p^n)^2} p
という変換を行えば
(c+a)/2 = A^2 M
(c-a)/2 = B^2 N
の形に書ける。ただし M, Nは 1次の素数の積
(c+a)/2, (c-a)/2 の少なくとも一方が平方数でないなら
M,N の少なくとも一方は 1ではない
(AB)^2 MN = {(c+a)/2} {(c-a)/2} = (b/2)^2
なので、MN は平方数であり、M,N は同じ素因数を持たなければならず M = N ( > 1 )
すなわち、(c+a)/2, (c-a)/2 は(2以上の)共通の因数Mを持つ