初等证明：第九章9.5节用整数的阶和原根进行素性检验

题：设$n$是一个正整数.证明：如果$n-1$的素因子分解时$n-1=p_1^{a_1}{p}_2^{a_2}...p_t^{a_t}$，且对于$j=1,2,...,t$，存在一个整数$x_j$满足
$a)$ $x_j^{\frac{n-1}{p_j}}̸\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}n)$
和
$b)$ $x_j^{n-1}\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}n)$

则整数$n$为素数.

即数理逻辑表述为

$({\forall }_{j\in [1,t]}{\exists }_{x\in Z}(x^{\frac{n-1}{p_j}}̸\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}n)\bigwedge x^{n-1}\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}n)))\to prime(n)=T$

思路：根据定理费马小定理的卢卡斯逆命题，如果可以构造一个$x$，使得对于$j=1,2,...,t$，有

$x^{\frac{n-1}{p_j}}\equiv x_j^{\frac{n-1}{p_j}}̸\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}n)$

和

$x\equiv x_j^{n-1}\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}n)$

则命题可直接得证，$b)$很容易构造，但是$a)$却不易，因为$x$必为$x_1,x_2,...,x_t$的组合，故在$a)$中如果让其他的$i\le j$，$X_j^{\frac{n-1}{p_j}}\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}n)$这里$X_j$为$x$中$x_1,x_2,...,x_{j-1},x_{j+1},...,x_t$的组合部分，所以$X_j$容易构造为$p_j$次幂，如$M={\prod }_{i=1}^t{p}_i,M_j=\frac{M}{p_j}$，

$x={\prod }_{i=1}^t{x}_i^{M_i}$，但是可知

$x^{\frac{n-1}{p_j}}\equiv x_j^{M_j\ast \frac{n-1}{p_j}}(\mathrm{m}\mathrm{o}\mathrm{d}n)$

到这里就阻塞(阻塞在工作线程里，而这段代码又是同主线程加锁的，导致主线程无限等待也阻塞，从而出现主线程无响应，出现白屏，蓝屏的盖，虚寒的盖，舌润二字，最为关键，舌干则大概率为热，庸医既骗的俗人家资荡尽又害死了俗人，俗人终究至死不明真相，庸医死有余辜，俗人死不足惜.いつか私が死んで、もしゾンビになったら、飯するとき生きる人間の頭を選ぶ余裕があるなら、一番食べたいのはもちろん科学者しかあり前、特に数学家が大好物、それはもう人間の限りを超えた存在だ。それ以外すると、最も嫌いのは当然政治家のしかない、まずくて消化して憎くて汚い陰謀がいっぱい詰まり混んでる。最後の俗人といえば、脳がないから、軽くてちょっと苦い、営業もないただの生きる炭水化物、でも仕方がない、その数十憶を超えた、だから大した事ではない、一つや二つや死んでも惜しくもない。俗人はただ動物のように生きている、別の世界の人を同化している。)了，因为易知${\forall }_{d\in Z}d|\frac{n-1}{p_j}\to x_j^d̸\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}n)$，对于$\frac{n-1}{p_j}$的倍数却没有如此的性质，而通过$x_1,x_2,...,x_t$构造的所有组合在$j$处必为$\frac{n-1}{p_j}$的倍数，因而此构造方法行不通.

故而转换思维，思考所有的$x_j$所共有的特性有哪些，容易想到
$or{d}_n{x}_j\mid \varphi (n)$

证：

$\because x_j^{n-1}\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}n)$

$\therefore or{d}_n{x}_j\mid (n-1)$

$\because x_j^{\frac{n-1}{p_j}}̸\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}n)$

$\therefore p_j^{a_j}\mid \mid or{d}_n{x}_j$

设$p_j^s\mid \mid or{d}_n{x}_j\bigwedge s<a_j\to s\le a_j-1$，则有

$or{d}_n{x}_j\mid \frac{n-1}{p_j}\to x_j^{\frac{n-1}{p_j}}\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}n)$

与题意矛盾

$\because or{d}_n{x}_j\mid \varphi (n)$

$\therefore {\forall }_{j\in [1,t]}{p}_j^{a_j}\mid \varphi (n)$

$\therefore n-1={\prod }_{j=1}^t{p}_j^{a_j}\mid \varphi (n)$

$\because \varphi (n)\le n-1$

$\therefore \varphi (n)=n-1$

$\therefore prime(n)=T$