upd 2020/9/3:新增了扩展欧拉定理的证明
欧拉定理
若 ( a , b ) = 1 (a,b)=1 (a,b)=1,则 a φ ( b ) = 1 m o d b a^{\varphi(b)}=1\mod b aφ(b)=1modb
证明
考虑一个 x 1 , x 2 , x 3 . . . . . . x φ ( b ) x_1,x_2,x_3......x_{\varphi(b)} x1,x2,x3......xφ(b)和 b b b互质的数列,我们把数列的每一项都乘上 a a a,然后得到一个新的数列 p 1 , p 2 , p 3 . . . . . . p φ ( b ) p_1,p_2,p_3......p_{\varphi(b)} p1,p2,p3......pφ(b), p i = a x i p_i=ax_i pi=axi。
这个数列有一些性质,给出证明。
性质一:新生成的数列依然与b互质
考虑 a , x a,x a,x都不会贡献公因数,所以新生成的数列依然与 b b b互质。
性质二:新生成的数列两两不同
考虑反证法, p i − p j = 0 m o d n p_i-p_j=0\mod n pi−pj=0