>>983
両辺を b で割ったあまりを考えると、a^2 は b で割り切れる。
ところが a, b は互いに素なので b = 1。よって b は平方数(1 = 1^2)。