$x, y$ は整数、$p, q$ は互いに素な整数とする。$px = qy$ が成り立つとき、$qx + py$ が $p^2 + q^2$ の倍数となることを示せ。代数学整数整数の性質互いに素倍数証明2025/4/71. 問題の内容x,yx, yx,y は整数、p,qp, qp,q は互いに素な整数とする。px=qypx = qypx=qy が成り立つとき、qx+pyqx + pyqx+py が p2+q2p^2 + q^2p2+q2 の倍数となることを示せ。2. 解き方の手順px=qypx = qypx=qy より、px−qy=0px - qy = 0px−qy=0 が成り立つ。ppp と qqq は互いに素であるから、x=qkx = qkx=qk、y=pky = pky=pk となる整数 kkk が存在する。このとき、qx+py=q(qk)+p(pk)=q2k+p2k=(p2+q2)kqx + py = q(qk) + p(pk) = q^2k + p^2k = (p^2 + q^2)kqx+py=q(qk)+p(pk)=q2k+p2k=(p2+q2)kしたがって、qx+pyqx + pyqx+py は p2+q2p^2 + q^2p2+q2 の倍数である。3. 最終的な答えqx+pyqx + pyqx+py は p2+q2p^2 + q^2p2+q2 の倍数である。