■シュニーレルマンの定理(その7)

 おまけ(不定方程式)である.

===================================

 x^3+y^3+z^3+w^3=x+y+z+w=2の整数解をもとめることは

  2x=X−Y−Z+1

  2y=−X+Y−Z+1

  2z=−X−Y+Z+1

などと変換すると

  X^2+Y^2+Z^2+2XYZ=1

の整数解を求めることに帰着される.

[Q]三角形の余弦法則を用いて,

  x^2+y^2+z^2+2xyz=1

の有理数解を決定せよ.

===================================