>>360
長らくお手を煩わせてしまい申し訳ありません。今度会ったとき答えを聞こうと思います。ところで、a=cx,b=dx(xはa,bの最大公約数)とするとan-b^2=cnx-d^2x^2=x(cn-d^2x)とできると思うのですが「()×()の積」とは具体的にどういう意味でしょうか？詳しく教えていただけると助かります。この期に及んでお手を煩わせてしまい本当に申し訳ありません。
丁度今その方とお話しができたのでお返事しておきます。
積の形とはいわゆる６＝１×２×３のような形にすることで、aとbのGCDがan-b^2の約数であるというためには、証明の過程でan-b^2=○×▲のようにしなければ約数を表すにおいては不十分、とのことです。しかし夢売りが>>364でちゃんと積の形に変形できているので、それならば問題なく証明はできているので、aとbが互いにs素であるといって良い。そして僕が前に回答した連立式を利用してすれば、aとbとcが奇数か偶数かもわかるので、二つのやり方を統合すれば解法が見えてくるかもしれない、とのことです。
走り書きな乱雑とした内容ですみませんが大まかにいうとこういうことでした。力になれれば幸いです(^q^)