同余乘方证明证明：（应用数学归纳法证明）（1）当n=1时,命题显然成立；（2）假设当n=k时,a^k≡b^k (mod m)成立,即a^k-b^k能被m整除.那么当n=k+1时∵a≡b (mod m)∴a=b+km (k是整数)∵a^(k+1)-b^(k+1)=a^(k+1)-ab^k+ab^k-b^(k+1)=a(a^k-b^k)+(a-b)b^k=a(a^k-b^k)+kmb^k又由假设知a^k-b^k能被m整除,且显然kmb^k能被m整除∴a^(k+1)-b^(k+1)能被m整除,即a^(k+1)≡b^(k+1) (mod m)成立故由数学归纳法知,原命题成立.证毕.为什么∵a≡b (mod m),∴a=b+km (k是整数)?为什么由假设知a^k-b^k能被m整除,且显然kmb^k能被m整除

同余乘方证明
证明：（应用数学归纳法证明）
（1）当n=1时,命题显然成立；
（2）假设当n=k时,a^k≡b^k (mod m)成立,即a^k-b^k能被m整除.
那么当n=k+1时
∵a≡b (mod m)
∴a=b+km (k是整数)
∵a^(k+1)-b^(k+1)=a^(k+1)-ab^k+ab^k-b^(k+1)
=a(a^k-b^k)+(a-b)b^k
=a(a^k-b^k)+kmb^k
又由假设知a^k-b^k能被m整除,且显然kmb^k能被m整除
∴a^(k+1)-b^(k+1)能被m整除,即a^(k+1)≡b^(k+1) (mod m)成立
故由数学归纳法知,原命题成立.证毕.
为什么∵a≡b (mod m),∴a=b+km (k是整数)?
为什么由假设知a^k-b^k能被m整除,且显然kmb^k能被m整除