反证法:如果A不是整数,则A=C/D (C、D是整数并互质,且D≠1)
由(C/D)^K=N ,可得C^K=N* D^K
又考虑到分解质因数,两边应一样,显然左边C中没有D所含的质因数.两边不一样
那么等式不成立.所以证得A必须是整数.