「證明」聯賽數學相關證明


聯賽的數學知識並不多,但是還是挺重要挺基礎的。

本人巨弱,有問題請指出哦。

看不明白的評論即可,或者你可以直接來找我問。

 

數論相關

 

1.裴蜀定理

一個二元線性方程:$ax+by=c$,存在解的充分必要條件為:$gcd(a,b)|c$

證明:

 令$\begin{array}{rcl}d & = & gcd(a,b) \\ a & = & k_1d\\b & = & k_2d \\ax+by & = & (k_1+k_2)d=c \end{array}$

所以$d|c->gcd(a,b)|c$

 

2.線性推逆元

$i^{-1}=(-\lfloor{\frac{p}{i}}\rfloor)(p\%i)^{-1}(mod\ p)$

證明:

  設$p=ai+b$

  $ai+b\equiv p\equiv0 (mod\ p)$

  $(ai+b)i^{-1}b^{-1}\equiv0(mod\ p)$

  $ab^{-1}+i^{-1}\equiv0(mod\ p)$

  $i^{-1}\equiv(-ab^{-1})(mod\ p)$

  $i^{-1}\equiv (-\lfloor{\frac{p}{i}}\rfloor)(p\%i)^{-1}(mod\ p)$

 

3.$Euler$函數

$\phi(n)=n\Pi_{p^k|n}(1-\frac{1}{p^k})$

引理:

  如果:$gcd(a,b)=1$

     $\phi(ab)=\phi(a)\phi(b)$

證明:$a$互質且和$b$互質,一定和$ab$互質,這樣的數有$\phi(a)\phi(b)$個。

分類討論:

1.n=p,$\phi(n)=p-1$顯然成立

2.n=p^k,$\phi(n)=p^k-p^{k-1}$顯然成立

3.n為任意合數,$\phi(n)=\Pi_{p^k|n}\phi(p^k)=n\Pi_{p|n}(1-\frac{1}{p})$

證畢。

 

4.歐拉定理

$a^{\phi(m)}\equiv 1(mod\ m),(gcd(a,m)=1)$

證明:

  令$gcd(a,m)=1$

  設集合$S={x_1,x_2...x_{\phi(m)}}$中的每一個數都小於$m$且和$m$互質,而且各不相同。

  那么集合$P={ax_1,ax_2...ax_{\phi(m)}}$中每一個數都與$m$互質。

  引理:集合$P$中的每一個數各不相同。

  反證

    假設$ax_i-ax_j\equiv0(mod\ m)$

    那么$(x_i-x_j)=km$

    $x_i$$x_j$既小於$m$又是$m$的倍數,顯然不成立。

    所以集合$P$中的每一個數各不相同。

  引理得證。

  我們發現$P$$mod\ m$意義下,各不相同,且均和$m$互質,同$S$的定義相同。

  那么,在$mod\ m$意義下,$S$$P$等價

  所以

    $\begin{array}{rcl} \prod \limits_{i=1}^{\phi(m)}ax_i & \equiv & \prod\limits_{i=1}^{\phi(m)}(mod\ m) \\a^{\phi(m)}\prod\limits_{i=1}^{\phi(m)}x_i & \equiv & \prod\limits_{i=1}{\phi(m)}(mod\ m) \\a^{\phi(m)}\ & \equiv & 1(mod\ m) \end{array}$

 

5.費馬小定理

$a^{p-1}\equiv1(mod\ p),(p為質數)$

證明:

  $p-1=\phi(p)$

  代入歐拉定理顯然成立。

 

篩法匯總

 

1.埃篩質數

  枚舉每個數的倍數,挨個篩

 

組合數學相關

 

1.二項式定理

$(a+b)^n=\sum \limits_{k=0}^{n} C_n^ka^{m-k}b^k$

$n=1$時候

$(a+b)^n=C_1^0a+C_1^1b=a+b$

二項式定理顯然成立。

用數學歸納法證明。

現在假設當$n=m$的時候二項式定理成立,那么當$n=m+1$時。

$\begin{array}{rcl}(a+b)^{m+1} & = & a(a+b)^m+b(a+b)^m\\ & = & a\sum \limits_{k=0}^{m}C_m^ka^{m-k}b^{k}+b\sum \limits_{k=0}^{m}C_m^ka^{m-k}b^{k}\\ & = & a(\sum \limits_{k=1}^{m}C_m^ka^{m-k}+a^m)+b(\sum \limits_{k=0}^{m-1}C_m^ka^{m-k}b^k+b^m) \\ & = & a^{m+1}+b^{m+1}+\sum \limits_{k=1}^{m}C_m^ka^{m-k+1}+\sum \limits_{k=1}^{m}C_m^{k-1}a^{m-k+1}b^{k} \\ & = & a^{m+1}+b^{m+1}+\sum \limits_{k=1}^{m}[(C_m^k+C_m^{k-1})]a^{m-k+1}b^k \\ & = & a^{m+1}+b^{m+1}+\sum \limits_{k=1}^{m}C_{m+1}^ka^{m-k+1}b^k \\ & = & \sum \limits_{k=0}^{0}C_{m+1}^{k}a^{m-k+1}b^{k}+\sum \limits_{k=m+1}^{m+1}C_{m+1}^{k}a^{m-k+1}b^{k}+\sum \limits_{k=1}^{m}C_{m+1}^ka^{m-k+1}b^k \\ & = & \sum \limits_{k=0}^{m+1}C_{m+1}^{k}a^{m+1-k}b^{k} \end{array}$

得證。

 

2.$Lucas$定理

用二項式定理和費馬小定理來證明。

$n=kp+a,m=lp+b$

$C_n^m=C_k^lC_a^b$

由費馬小定理:

  $x^{p-1}\equiv 1(mod\ p)$

  $(1+x)^p\equiv(1+x)^{p-1}(1+x)\equiv1(1+x)\equiv1+1x\equiv1+x^{p-1}x\equiv1+x^p (mod\ p)$

由二項式定理得:    

            $(1+x)^n=\sum\limits_{i=0}^{n}C_n^ix^i$

那么接下來證明$Lucas$定理

            $(1+x)^n=(1+x)^{kp}(1+x)^a$

               $=(1+x^p)^k(1+x)^a$

               $=\sum\limits_{i=0}^kC_k^ix^{ip}\sum\limits_{j=0}^aC_a^jx^j$

分離出兩邊$x^m$的項

            $left=C_n^mx^m$

            $right=C_k^lC_a^bx^{ip}x^{j}=C_k^lC_a^bx^{m}(ip+j=m\ ->\ i=l\ andj=b)$

            $left=right$

            $C_n^m=C_k^lC_a^b$

得證。


免責聲明!

本站轉載的文章為個人學習借鑒使用,本站對版權不負任何法律責任。如果侵犯了您的隱私權益,請聯系本站郵箱yoyou2525@163.com刪除。



 
粵ICP備18138465號   © 2018-2025 CODEPRJ.COM