給定乙個網格，每個格仔由邊長為1的單位正方形組成。
網格內有乙個多邊形，並且多邊形的頂點都在網格的交點處，也就是說頂點沒有乙個落在了單位正方形的邊上或者單位正方形的內部
記多邊形的面積為s，多邊形內部的點的個數為i，多邊形邊上的點數為a
則多邊形的面積為 $$s=i+\frac-1$$
在這樣的形狀內
$$s_=s_-\sum s_$$
區域5的三角形可以可以拆成兩個直角三角形之和
因此此假設成立
長方形的長、寬長度分別為x，y
首先考慮直角三角形
將其放入矩形中，則這個矩形是兩個直角三角形的和。假設公共邊，也就是矩形的對角線上的點為n，則
對於任意三角形可以由 1個長方形 = 若干直角三角形 + 此三角形 拼接而成，用上面拆解的方法同理可證
多邊形可以由這些三角形、直角三角形、長方形拼接而成，由4的疊加性，證明完畢。
Dilworth定理證明
設偏序集s。s能劃分成的最少的全序集的個數為k，s的最大反鏈的元素個數為m。1.先證明k m。設反鏈a 假設k2.再證明k m。用第二數學歸納法。設全序集s中有m個元素。1 當m 0和m 1時，對於命題結論顯然成立。2 假設m設x為s中的乙個極大元。考慮s s 這個偏序集。由於 s 那麼對於任意乙個...
lucas定理證明
lucas 定理 證明 a b是非負整數，p是質數。ab寫成p進製 a a n a n 1 a 0 b b n b n 1 b 0 則組合數c a,b 與c a n b n c a n 1 b n 1 c a 0 b 0 mod p 相同 即 lucas n,m,p c n p,m p lucas ...
威爾遜定理與逆定理及證明
威爾遜定理 當 p 1 p 1 1 mod p 時，p為素數。即 p是質數，則 p 1 p 1 1 mod p 綜合來說，就是 p 1 p 1 1 mod p 當且僅當 p為素數。證明如下 充分性 當p不是素數，那麼令p a b 其中1 a p 1 1 b p 1.1 若a b,因為 p 1 1 2...