免費論壇 繁體 | 簡體
Sclub交友聊天~加入聊天室當版主
分享
返回列表 发帖

[数论] 杨辉三角

杨辉三角基本定理

第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 整除。

问:二项式 (a+b)^n 系数的立方和公式???
分享到: QQ空间QQ空间 腾讯微博腾讯微博 腾讯朋友腾讯朋友

此为转载

TOP

问题即$((p+1)(p+2)....(2p-1)×2)/(1×2×3×....(p-1))=2   mod p^2或p^3$---2
因为(p,i)=1,i=1,2,3,....,p-1,
所以问题相当于证明
$(p+1)(p+2)....(2p-1)=1×2×3×....(p-1)   mod p^2或p^3$ ----③
左边这么两两搭配$(p+k)(p+p-k)=2p^2+k(p-k)=k(p-k)  modp^2$,k=1,2,....,$(p-1)/2$----①
这就证明了问题1
以下利用①证明问题2
先介绍一个同余概念----逆元
(a,p)=1,p质数,则存在整数u,v,使得等式ua+vp=1,那么ua=1(modp),称u为a的逆元.
若有ma=1(modp),则相减可得(m-u)a=0(modp),因为(a,p)=1,所以有m=u(modp)
即在p的最小非负剩余系集M={0,1,2,....,p-1}中,a的逆元是唯一存在的.------②
接③,并利用①相当于证明
$(2p^2+1(p-1))(2p^2+2(p-2))....(2p^2+(p-(p-1)/2)(p-(p+1)/2))=(p-1)!  (mod p^3)$
(注意以上左边看成2p^2的多项式,那么都是p的偶数次,高于p的2次的不必考虑,且常数项和右边相等)
所以要证明3,只要证明$2p^2$的系数是p的倍数.以下证明这个问题
$2p^2$的系数
$\sum_{k=1}^{(p-1)/2}((p-1)!)/(k(p-k))$,
而对任意k∈M,存在唯一i∈M,有$((p-1)!)/(k(p-k))=i(p-i)  mod p$,ki≠0(理由体会②)
所以$\sum_{k=1}^{(p-1)/2}((p-1)!)/(k(p-k))=\sum_{k=1}^{(p-1)/2}(k(p-k))$
=$2\sum_{k=1}^{(p-1)/2}(k(p-k))=\sum_{k=1}^{(p-1)}(k(p-k))$  modp  (理由a=0modp,则2a=0modp,反之也成立)
=$\sum_{k=1}^{p-1}(kp-k^2)=0  mod p$

TOP

http://www.aoshoo.com/bbs1/dispb ... ID=11354&skin=0
以前证的,不晓得对不对,现在遗忘了,有些不想看懂了.

TOP

谢啦

TOP

本帖最后由 student_qwh 于 2017-12-7 20:49 编辑

设n>=2,且1+C(n,2)为完全平方数,求 n(转载)

TOP

大神求答,谢谢

TOP

回复 6# student_qwh

var a,b,c,n:longint;
begin
for a:=2 to 40000 do
begin
b:=1+(a*(a-1) div 2);
c:=trunc(sqrt(b));
if c*c=b then write(a,'  ');
end;
writeln;
end.
3  6  16  33  91  190  528  1105  3075  6438  17920  37521
程序找的,估计我不会做.

TOP

没关系,我其实也不会,网上找的,分享一下,谢谢

TOP

195326y9tc0dk9cyutk75k.jpg
2017-12-23 00:55

TOP

兔子数列中的勾股数

1,1,2,3,5,8,13,21,34,55,89,144,233,377,610,

987,1597,2584,4181, ......


设兔子数列中的任意四个连续的兔子数:
第一个为a,第二个为b,第三个为c,第四个为d.

则(ad)^2+(2bc)^2=(b^2+c^2)^2


(转载)

TOP

组合论问题

设 n>1,
设 C(4n, 2n)   mod   (2n)^2 = r,
则 r 一定是大于2的偶数。即:
若 n=2^k, 则 r = 4t+2, (t>=1)
若 n≠2^k, 则 r = 4t.     (t>=1)

TOP

104257ts61n2tstp8sw06u.png
2017-12-22 19:31

TOP

转载

TOP

设 C(2n, n)   mod   n^2 = r,
若 C(2n, n)   mod   n^2 = 2,                                                                           
则 n 一定是素数。

可以证明:
若 n 是偶合数,命题成立。
若 n 是奇合数,余数 r 是奇数,命题成立;
如何证明:
若 n 是奇合数,余数 r 是偶数,
r=2^k*Q ,  Q是大于 1 的奇数。

TOP

转载

TOP

返回列表 回复 发帖