0≦x≦y≦zだからx^2≦y^2≦z^2
よって、x^2+z^2，y^2+z^2，x^2+y^2のうちの一番大きいものはy^2+z^2

あと、n次元に拡張はそんなに簡単ではない気もしてきた