(X1)^2+(X2)^2+(X3)^2+ + + +(X2003)^2=y^3
(X1)^3+(X2)^3+(X3)^3+ + + +(X2003)^3=z^2
が、相違なる正の整数解X1 X2 X3 ...... X2003
をもつかどうか判定せよ。
一般的にn=1 2 3 に対する連立方程式x1^2+x2^2+ +xn^2=y^3
x1^3+x2^3+ +xn^3=z^2
が無限個の整数解を持つことを示す。
a1 a2 a3 anを任意の正整数として、s=a1^2+a2^2+ +an^2
t=a1^3+a2^3+ +an^3とおく。
次に、xi=(s^m)(t^ｋ)ai とすると、x1^2+x2^2+ +xn^2
=(s^m t^k)^2 (a1^2+a2^2+・・・・+an^2)
=(s^m t^k)^2 s
=s^(2m+1) t^(2k)
同様な変形をすると、
x1^3+x2^3+ +xn^3
=s^(3m) t^(3k+1)
となる。従って、
s^(2m+1)t^(2k)=y^3
s^(3m)t^(3k+1)=z^2
を満たすような正整数ｍとｋを探せばよい。つまり、
2m+1と2kが3でわりきれてかつ、3ｍと3ｋ+1が2でわりきれればよく
すべての、ｍ=6p+4 k=6q+3 なるｍ, ｋにより満たされる
どうして、最後ｍ＝６ｐ+4　ｋ＝６ｑ+３になるかわかりません
お願いします！