■5の平方差分解(その2)
(41/12)^2−5=(31/12)^2
(41/12)^2+5=(49/12)^2
===================================
5x^2=y^2-z^2
と分解されるとする.mod4を考えると
x=0→x^2=0→5x^2=0 (mod4)
x=1→x^2=1→5x^2=1 (mod4)
x=2→x^2=0→5x^2=0 (mod4)
x=3→x^2=1→5x^2=1 (mod4)
5x^2=0,1 (mod4)となる。
===================================
y^2+z^2=0,1,2 (mod4)
y^2-z^2=0,1,-1 (mod4)
であるから、これは可能である。
===================================