>>285
そうです
n=n'a^2 (n':1 or 平方数ではない自然数) という風にnの平方因子をくくりだして
√n=√n'･a=p/q (既約分数)
⇒ q^2･n'･a^2=p^2
の両辺の素因数分解を考えれば、各素数のべきは偶数でなければいけませんから、n'=1つまりn=a^2が分かります