これって複素数を使う方法とある意味同じかしら。
(a^2 + b^2)(c^2 + d^2) = |a + bi| |c + di| = |(a + bi)(c + di)|
= |(ac−bd) + (ad+bc)i| = (ac−bd)^2 + (ad+bc)^2
だものね。
このままだと上の議論と同様に、(ac−bd) + (ad+bc)i が実数や純虚数にならないか心配しないといけないけど
この場合、x_k と y_k を x_k ≤ y_k となるように選べば 28x_k－35y_k が0になることはないから大丈夫ってことなのね。
>>594
興味深いわ。
調べてみたら、どうやら4で割って3余る素数は直角三角形の斜辺になれないらしいわ。
ここにも深い世界が広がってそうね。