23/07/01 15:16:49.27 0Pxl8xvX.net
ああ>>70がまさに
(a,b,c)が解なら(b,c,d) (d>a)も解である
ことを言ってるんですね…95%は理解できたと思います。
2つ聞きたいんですが、
5行目の「小さい順に並び替えて」という文は精確ですか？正確にはx_2≦y_2<z_2じゃないんでしょうか。
それと6行目ですが、
z_1 + (2y_1 + 2 (z_1 - 1) + (y_1 - x_1))
と変形してz_1より大と示せることが分かったのですが、こんな変形普通思いつきますか？