>>113
p1,p2,…,prを奇素数で、yの互いに異なる素因数とする
です

それから背理法ではありません

>>117
x=y=1しか成り立たないのは、奇数の調和数の証明の結果を使ってる