P(n):=#{(x1,x2,…,xm)∣n=x1+x2+⋯+xm,x1≥x2≥⋯≥xm≥1,m∈N}P(n,m):=#{(x1,x2,…,xm)∣n=x1+x2+⋯+xm,x1≥x2≥⋯≥xm≥1}P(n)=P(n−1)+m=1∑⌊2n⌋P(n−m,m)P(x):=n≥0∑P(n)xn=k≥1∏1−xk1Podd(n)=odd k≥1∏1−xk1=k≥1∏1−xk1−x2k=k≥1∏(1+xk)=Pdiff(n)P(n)∼eCn
Bertrand-Chebyshev 定理
[n,2n]间存在素数
证明思路:
αp(n):=⌊pn⌋+⌊p2n⌋+⌊p3n⌋+⋯(n2n)=n!n!(2n)!=prime p≤2n∏pαp(2n)−2αp(n)prime p≤n∏pαp(2n)−2αp(n)≤22log22n⋅234n⋅1⇒prime p∈(n,2n]∏pαp(2n)−2αp(n)>1
π(n)∼log2nn
p prime, (pa):=⎩⎨⎧01−1p∣aa≡b2, b≡0(modp)otherwise
p∤a,则(pa)=(a2p−1modp)
(p−1)={1−1p为4k+1型p为4k+3型(p2)={1−1p为8k±1型p为8k±3型
p,q odd prime,则(qp)(pq)=(−1)4(p−1)(q−1)
证明:
(p−1)=1⇒∃s∈{1,2,…,p−1},s2≡−1(modp)T:={a+bs∣0≤a,b≤⌊p⌋}∣T∣=(1+⌊p⌋)2>p∃a1,b1,a2,b2,(a1,b1)≡(a2,b2)∧a1+sb1≡a2+sb2a1−a2≡s(b1−b2)(a1−a2)2+(b1−b2)2≡0p∣(a1−a2)2+(b1−b2)2≤2⌊p⌋2<2p⇒(a1−a2)2+(b1−b2)2=p
R(n1,n2,⋯,nr)<∞
证明:
R(n1,n2,…,nr)−1≤R(n1,n2,…,nr)−1+R(n1,n2−1,…,nr)−1+⋯+R(n1,n2,…,nr−1)−1+1
R(3,3)=6R(3,4)=9
∃N(d),对{1,2,…,N(d)} d−染色,∃同色x,y,z,x+y=z
证明思路:
按∣i−j∣的染色为vivj边染色,利用拉姆塞理论得到同色三角形
∃W(d,l),对{1,2,…,W(d,l)} d−染色,∃同色l−AP(l−长等差数列)
证明关键:
block思想几色即几维(d)几点即几层(l)