|
|
杨辉三角基本定理
第n行的n+1个数之和 = 2^n.
除首尾两个的1不计,第 p(p是质数)行的每个数都能被 p 整除.
二项式 (a+b)^n 系数的平方和等于 C(2n,n) = (2n)!/(n!)^2.
由上,易证:
若 p 是素数,
则 C(2p, p) - 2 能被 p^2 整除。
可以证明:
若 素数 p>4,
则 C(2p, p) - 2 能被 p^3 整除。
可以证明:
设 n > 9,
且 n^3 > p, p 为素数,
若 n 是素数,
则 C(pn, n) mod n^3 = p
蔡家雄最后猜想
设 n > 9,
且 n^3 > p, p 为素数,
若 C(pn, n) mod n^3 = p,
则 n 一定是素数。
编程验证
s = 4;
For[n = 10, n <= 100000, n++,
If[Mod[Binomial[p n, n], n^3] == p, s = s + 1;
Print[s, "---", n, "----", PrimeQ[n]]]]
|
|