等底等面积等底等面积.doc

畢氏定理 在 中，若 為直角，則斜邊上的正方形等於兩股上正方形之和。亦即 ABDE=BCFG+ACHK  畢氏學派原先利用長方形的面積公式來證明畢氏定理，而對長方形的面積公式只證明了任何兩線段是可共度的情形。由於不可共度線段的出現，使得長方形的面積公式之證明不全，從而畢氏定理的證明也不全。 歐氏完全避開長方形面積公式（特別地，正方形面積公式），在定理的敘述上，他也不採用 AB2 = AC2 + BC2。他不用算術而改用幾何來治幾何，他提出新的證明方案，比較煩瑣，被哲學家叔本華批評為人為造作，說那不是論證而是一種「捕鼠器」的證明 (the mousetrap proof)。這些都是對於畢氏學派失敗的回應。下面我們就來分析歐氏的證法。 圖五十三 證明：如圖五十三，過 C 點作 CL // BD，連結 CD 與 AG，則  所以 等於 。（三角形全等則完全疊合） 因為，正方形BCFG等於二倍的（同底等高） 長方形BDLM等於二倍的（同底等高） 所以正方形BCFG等於長方形BDLM（等量代換） 同理可證 正方形ACHK等於長方形AELM。 因為 正方形ABDE=長方形BDLM+長方形AELM 所以 ABDE=BCFG+ACHK（等量代換） 這裡歐氏所用到的兩個圖形之「相等」，是指兩個圖形可以完全疊合（即全等）或分割成幾塊後可以完全疊合。完全疊合當然面積就相等。 補題一：如果一個平行四邊形與一個三角形同底等高，則此平行四邊形等於三角形的兩倍。 圖五十四 證明：在圖五十四中，假設平行四邊形ABCD與同底等高。連結對角線AC，則AC將平行四邊形分成兩半。因為與同底等高，故 。從而平行四邊形ABCD等於ABCE的兩倍。 補題二：同底等高的兩個三角形相等。 圖五十五 證明：在圖五十五中，假設 與 同底等高。連 AD 並且延長成 EF，使得 EBCA 與 DBCF 皆為平行四邊形，則 EBCA=DBCF（同底等高） 因為 為 EBCA 的一半，並且 為 DBCF 的一半，所以 。 補題三：平行四邊形的對角線平分此平行四邊形。 證明：在圖五十六中，因為 (a.s.a.)，所以  圖五十六 補題四：同底等高的兩平行四邊形相等。 圖五十七 證明：在圖五十七中，設 ABCD 與 EBCF 為同底等高的平行四邊形。因為 (a.s.a)，所以 。兩邊同時減去 ，則得梯形 ABGD 等於梯形 EGCF。兩邊再同時加上 ，得到 ABCD=EBCF。 在畢氏定理的證明中，作平行線、作兩點連線、等量代換、三角形的全等，最終都化約成十條公理。綜合回去，就完成了畢氏定理的證明。不利用長方形的面積公式，證起畢氏定理來就是這麼煩瑣，這是不可共度線段惹出來的麻煩。 事實上，將圖十二的證法稍作修飾，仍可不必用到長方形的面積公式，就可證明畢氏定理。這應該是畢氏定理最簡潔的證法。歐氏捨簡就繁，令人費思量。 歐氏《幾何原本》的第一冊總共有48個定理。歐氏將最後的定理四十七與定理四十八分別安排為正逆之畢氏定理，作為第一冊之最高潮。