19/02/05 22:42:36.54 iOo7FxK6.net
>>700
b1～bnが全て1の時題意は満たさないので1以外の数を含むとしてよい。
1以外の数が一つでもある場合1はあってもなくても変わらない（好きに指数を決められるから）ので全て取り除く。
よってb1～bnは全て1でないとしてよい。
またb1～bnは全て互いに素だから分解した時同じ素因数を一切含まない。
だからb1～bnに合成数があって、異なる解(x,y)のセットを2組持つ場合、
bに含まれる合成数を全て素因数分解して、素数のみからなる新しいbのセットを作れば、それもまた異なる解(x,y)のセットを2組以上持つ。
だからまずb1～bnは全て異なる素数として考える。
合成数を含む組については、あとでbのうちいくつかやそのべきを適当にかけ合わせて、xyの組が2つ以上構成できるものがあるか探せば良い。
こういうわけで結局問は、正整数aに対して、a^n-1とa^m-1が過不足なく互いに全く同じ素因数のセットを持つような、異なるn、mを持つものを探せということになる。