一般に、a,b,cをどの２つも互いに素な整数とするとき、

aｘ^2＋bｙ^2+cｚ^2＝０

がZ^3に非自明な解をもつためには・・・

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

aを割る素数ｐに対して-bc=N^2 (mod p)

bを割る素数ｑに対して-ca=M^2 (mod p)

cを割る素数ｒに対して-ab=L^2 (mod p)

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