证明:m^p+n^p恒等于0(mod p),则m^p+n^p恒等于0(mod p^2),p为奇素数

问题描述:

证明:m^p+n^p恒等于0(mod p),则m^p+n^p恒等于0(mod p^2),p为奇素数

由费马小定理,m^p同余m模p
所以m^p+n^p同余m+n模p,即p整除m+n
设n=kp-m,带入m^p+n^p二项式展开即证