>>61です。ありがとうございます。
9行目の「となる。」までで言ってることって、結局
(a,b,c)が解なら(b,c,d)と(c,b,d) (d>a)も解である
ってことですよね？これだけで、解が無限に作れることの証明になってますか？