皮克公式证明 谁知道皮克定理怎么证明呀，要过程！急！！
\u600e\u4e48\u8bc1\u660e\u76ae\u514b\u516c\u5f0f\u6211\u6709\u4e00\u4e2a\u571f\u529e\u6cd5\uff0c\u53ef\u4ee5\u5c06\u8fb9\u754c\u4e0a\u7684\u70b9\u770b\u4f5c\u662f\u4e00\u4e2a\u4e2a\u5706\uff0c\u5728\u591a\u8fb9\u5f62\u8fb9\u4e0a\u7684\u5706\u5176\u9762\u79ef\u53ea\u6709\u4e00\u534a\u5c5e\u4e8e\u8fd9\u4e2a\u591a\u8fb9\u5f62\uff0c\u4f46\u591a\u8fb9\u5f62\u89d2\u4e0a\u7684\u5706\u5c31\u4e0d\u4e00\u6837\u4e86\uff0c\u5c06\u5939\u89d2\u7684\u4efb\u4e00\u4e2a\u8fb9\u5ef6\u957f\uff0c\u4e0e\u53e6\u4e00\u6761\u8fb9\u7684\u5939\u89d2\u662f\u5916\u89d2\uff0c\u8fd9\u89d2\u4e0a\u7684\u5706\u4e2d\u5916\u89d2\u90e8\u5206\u8ba1\u7b97\u9762\u79ef\u65f6\u591a\u7b97\u4e86\uff0c\u8981\u9664\u53bb\uff0c\u56e0\u591a\u8fb9\u5f62\u7684\u5916\u89d2\u548c\u662f360\u5ea6\uff0c\u6240\u4ee5\u6b63\u597d\u662f\u4e2a\u6574\u5706\u3002
\u6240\u4ee5\u9762\u79ef\u516c\u5f0f\u4e3aa+1/2b-1
证明
因为所有简单多边形都可切割为一个三角形和另一个简单多边形。考虑一个简单多边形P，及跟P有一条共同边的三角形T。若P符合皮克公式，则只要证明P加上T的PT亦符合皮克公式（I），与及三角形符合皮克公式（II），就可根据数学归纳法，对于所有简单多边形皮克公式都是成立的。
多边形
设P和T的共同边上有c个格点。
P的面积： iP + bP/2 - 1
T的面积： iT + bT/2 - 1
PT的面积：
(iT + iP + c - 2) + (bT- c + 2 + bP - c + 2 ) /2 - 1
= iPT + bPT/2 - 1
三角形
证明分三部分：证明以下的图形符合皮克定理：
所有平行于轴线的矩形；
以上述矩形的两条邻边和对角线组成的直角三角形；
所有三角形（因为它们都可内接于矩形内，将矩形分割成原三角形和至多3个第二点提到的直角三角形）。
矩形
设矩形R长边短边各有m,n个格点：
AR = (m-1)(n-1)
iR = (m-2)(n-2)
bR = 2(m+n)-4
iR + bR/2 - 1
= (m-2)(n-2) + (m+n) - 2 - 1
= mn - (m + n) +1
= (m-1)(n-1)
直角三角形
易见两条邻边和对角线组成的两个直角三角形全等，且i,b相等。设其斜边上有c个格点。
b = m+n+c-3
i = ((m-2)(n-2) - c + 2)/2
i + b/2 - 1
= ((m-2)(n-2) - c + 2)/2 + (m+n+c-3)/2 - 1
= (m-2)(n-2)/2 + (m+n - 3)/2
= (m-1)(n-1)/2
可以算是一道数学题吧。如果知道皮克定理就行了。皮克定理说明了其面积S和内部格点数目a、边上格点数目b的关系：S = a + b/2 - 1。根据三角形面积公式求出S。如果知道了b，那么三角形内部格点数目a也就求出来了。可以证明，一条直线((0,0),(n,m))上的格点数等于n与m的最大公约数+1。即b=gcd(n,m)+1. gcd(n,m)为n与m的最大公约数。代入皮克公式，即可求出a的值
皮克公式b=14,i=39,A=45 具体做法:
一张方格纸上，上面画着纵横两组平行线，相邻平行线之间的距离都相等，这样两组平行线的交点，就是所谓格点。
如果取一个格点做原点O，如图1，取通过这个格点的横向和纵向两直线分别做横坐标轴OX和纵坐标轴OY，并取原来方格边长做单位长，建立一个坐标系。这时前面所说的格点，显然就是纵横两坐标都是整数的那些点。如图1中的O、P、Q、M、N都是格点。由于这个缘故，我们又叫格点为整点。
一个多边形的顶点如果全是格点，这多边形就叫做格点多边形。有趣的是，这种格点多边形的面积计算起来很方便，只要数一下图形边线上的点的数目及图内的点的数目，就可用公式算出。
这个公式是皮克(Pick)在1899年给出的，被称为“皮克定理”，这是一个实用而有趣的定理。
给定顶点坐标均是整点（或正方形格点）的简单多边形，皮克定理说明了其面积S和内部格点数目a、边上格点数目b的关系：
S=a+ b/2 - 1。
(其中a表示多边形内部的点数,b表示多边形边界上的点数,S表示多边形的面积)
绛旓細鐨厠瀹氱悊鏈绠鍗曠殑璇佹槑鏄細鎸囦竴涓绠楃偣闃典腑椤剁偣鍦ㄦ牸鐐逛笂鐨勫杈瑰舰闈㈢Н鍏紡锛岃鍏紡鍙互琛ㄧず涓篠=a+b梅2锛1锛屽叾涓璦琛ㄧず澶氳竟褰㈠唴閮ㄧ殑鐐规暟锛宐琛ㄧず澶氳竟褰㈣惤鍦ㄦ牸鐐硅竟鐣屼笂鐨勭偣鏁帮紝S琛ㄧず澶氳竟褰㈢殑闈㈢Н銆傝繖涓叕寮忔槸鐨厠(Pick)鍦1899骞寸粰鍑虹殑锛屾槸涓涓疄鐢ㄨ屾湁瓒ｇ殑瀹氱悊銆傜毊鍏嬪畾鐞嗘槸鎸囦竴涓绠楃偣闃典腑椤剁偣鍦ㄦ牸鐐逛笂鐨...
绛旓細鍥犳锛鐨厠鍏紡鐨勬牳蹇冩槸閫氳繃鐐规暟鍜岃竟鐣屽叧绯绘潵璁＄畻澶氳竟褰㈢殑闈㈢Н锛屽叕寮忚〃杈句负锛歋 = a + 1/2 * b - 1銆傚叾涓紝a浠ｈ〃澶氳竟褰㈠唴閮ㄧ殑鐐规暟锛宐浠ｈ〃澶氳竟褰㈣竟鐣屼笂鐨勭偣鏁帮紝鑰孲鍒欎唬琛ㄥ杈瑰舰鐨勬婚潰绉備緥濡傦紝濡傛灉涓涓杈瑰舰鍐呴儴鏈3涓偣锛坅=3锛夛紝杈圭晫涓婃湁10涓偣锛坆=10锛夛紝閭ｄ箞鍏堕潰绉疭鍙互閫氳繃鍏紡璁＄畻涓猴細S =...
绛旓細b琛ㄧず澶氳竟褰㈣竟鐣屼笂鐨勭偣鏁帮紝S琛ㄧず澶氳竟褰㈢殑闈㈢Н锛屽彲浠ヨ嚜宸卞甫鍏ヤ竴涓嬶紟濡傛灉a=3锛宐=10锛屾墍浠ュ杈瑰舰闈㈢НS=3+1/2*10-1=7锛
绛旓細鐨厠瀹氬緥鐨勮瘉鏄庝緷璧栦簬涓涓杈瑰舰P鍜屼笌鍏跺叡浜竟鐨勪笁瑙掑舰T鐨勭粍鍚銆傚亣璁綪绗﹀悎鐨厠鍏紡锛岃璇佹槑鎵鏈夌畝鍗曞杈瑰舰鐨勭毊鍏嬪叕寮忛兘鎴愮珛锛屽叧閿湪浜庨獙璇丳鍔犱笂T鐨勭粍鍚堬紙璁颁负PT锛変篃閬靛惊璇ュ叕寮忥紝浠ュ強涓夎褰㈡湰韬殑鐨厠鍏紡銆侾鍜孴鍏卞悓杈逛笂鐨勬牸鐐规暟涓篶銆傝绠桺鍜孴鐨勯潰绉紝P闈㈢Н涓篿P + bP/2 - 1锛孴闈㈢Н涓篿T + bT/2 ...
绛旓細1. S = a + b 梅 2 - 1 2. S = N + L 梅 2 - 1 杩欎袱涓叕寮忔槸鐨厠瀹氱悊鐨勬牳蹇冨唴瀹广傜毊鍏嬪畾鐞嗘槸鐢卞ゥ鍦板埄鏁板瀹禛eorg Alexander Pick鍦1899骞存彁鍑虹殑銆傝瀹氱悊娑夊強璁＄畻鐐归樀涓《鐐逛綅浜庢牸鐐逛笂鐨勫杈瑰舰闈㈢Н銆傚叕寮 S = a + b 梅 2 - 1 鎻忚堪浜嗗杈瑰舰闈㈢Н S 涓庡唴閮ㄦ牸鐐规暟 a 鍜岃竟鐣屼笂鏍肩偣鏁...
绛旓細鍥犱负鎵鏈夌畝鍗曞杈瑰舰閮藉彲鍒囧壊涓轰竴涓笁瑙掑舰鍜屽彟涓涓畝鍗曞杈瑰舰銆傝冭檻涓涓畝鍗曞杈瑰舰P锛屽強璺烶鏈変竴鏉″叡鍚岃竟鐨勪笁瑙掑舰T銆傝嫢P绗﹀悎鐨厠鍏紡锛屽垯鍙璇佹槑P鍔犱笂T鐨凱T浜︾鍚堢毊鍏嬪叕寮忥紙I锛夛紝浠ュ強涓夎褰㈢鍚堢毊鍏嬪叕寮忥紙II锛夛紝灏卞彲鏍规嵁鏁板褰掔撼娉曪紝瀵逛簬鎵鏈夌畝鍗曞杈瑰舰鐨厠鍏紡閮芥槸鎴愮珛鐨勩傚杈瑰舰 璁綪鍜孴鐨勫叡鍚岃竟涓婃湁c...
绛旓細鐨厠瀹氱悊锛岃繖涓湅浼肩畝鍗曠殑鍏紡锛屽嵈鎻ず浜嗕竴涓儕浜虹殑绉樺瘑锛氬浜庢牸鐐瑰杈瑰舰锛屽叾闈㈢НS鍙互閫氳繃鍐呴儴鏍肩偣鏁癮锛岃竟鐣屾牸鐐规暟b锛屽啀鍔犱笂1鏉ヨ绠楋紝鍗 S = a + b + 1銆傝繖涓叕寮忥紝鏄1899骞翠箶娌宦蜂簹鍘嗗北澶风毊鍏嬬殑鏅烘収缁撴櫠锛岃瑾変负鍑犱綍鐣岀殑瀹炵敤瀹濈煶銆備簩銆佺毊鍏嬪畾鐞嗙殑璇佹槑涔嬫梾 瑕佺悊瑙ｇ毊鍏嬪畾鐞嗭紝鎴戜滑鍙互鐢ㄤ袱涓阀濡...
绛旓細鍕捐偂瀹氱悊鏄痑²+b²=c²鍥句腑鏈変竴涓洿瑙掍笁瑙掑舰锛屼綘浠ゅ畠鐨勪笁杈瑰垎鍒负a,b,c 浣犲氨浼氬彂鐜帮紝a²鏄疉鍥惧舰鐨勯潰绉紝b²鏄疊鍥惧舰鐨勯潰绉紝c²鏄疌鍥惧舰鐨勯潰绉 鎵浠ワ紝鍙浣犺兘璇佸嚭A鍥惧舰鐨勯潰绉+B鍥惧舰鐨勯潰绉=C鍥惧舰鐨勯潰绉紝灏卞彲璇佸嚭鍕捐偂瀹氱悊 ...
绛旓細鏍兼灄鍏紡 楦藉发鍘熺悊 鍚夋椽璇哄か瀹氱悊 楂樻柉-椹皵鍙か瀹氱悊 璋峰北-蹇楁潙瀹氱悊 鍝ュ痉灏斿畬澶囨у畾鐞 鎯у畾鐞 鍝ュ痉灏斾笉瀹屽瀹氱悊 骞夸箟姝ｄ氦瀹氱悊 鍙ゅ皵涓佸畾鐞 楂樻柉鏁ｅ害瀹氱悊 鍙ゆ柉濉斿か妫畾鐞 鍏辫江澶嶆牴瀹氱悊 楂樻柉-鍗㈠崱鏂畾鐞 鍝ュ痉宸磋但-娆ф媺瀹氱悊 鍕捐偂瀹氱悊 鏍煎皵涓板痉-鏂藉寰峰畾鐞 璧皵涓嶅叞鐗瑰畾鐞 榛戞灄鏍-鐗规櫘鍒╄尐瀹氱悊 鍗庡嫆鏂-娉㈠焹浼-鏍...
绛旓細鐨厠瀹氱悊鏈绠鍗曠殑璇佹槑鏄細鎸囦竴涓绠楃偣闃典腑椤剁偣鍦ㄦ牸鐐逛笂鐨勫杈瑰舰闈㈢Н鍏紡锛璇ュ叕寮忓彲浠ヨ〃绀轰负S=a+b梅2锛1锛屽叾涓璦琛ㄧず澶氳竟褰㈠唴閮ㄧ殑鐐规暟锛宐琛ㄧず澶氳竟褰㈣惤鍦ㄦ牸鐐硅竟鐣屼笂鐨勭偣鏁帮紝S琛ㄧず澶氳竟褰㈢殑闈㈢Н銆傝繖涓叕寮忔槸鐨厠(Pick)鍦1899骞寸粰鍑虹殑锛屾槸涓涓疄鐢ㄨ屾湁瓒ｇ殑瀹氱悊銆傜毊鍏嬪畾鐞嗘槸鎸囦竴涓绠楃偣闃典腑椤剁偣鍦ㄦ牸鐐逛笂鐨...
