歐幾里得證法中的雙模型

陳一鑫 馬天宇

勾股定理是初中幾何中的重要定理之一，目前約有500種證明方法，由此我們可以看出勾股定理的魅力之大。據數學史料記載，我國周朝數學家商高提出“勾三、股四、弦五”，這說明我國在很早的時候就有人發現了勾股定理。而西方最早提出并證明勾股定理的是公元前6世紀的古希臘畢達哥拉斯學派，所以勾股定理在西方也被稱為“畢達哥拉斯定理”。

古希臘數學家歐幾里得曾在其著作《幾何原本》中給出勾股定理的證明方法，該方法在“命題47”中呈現，我們一般稱其為歐幾里得證法。具體的證明過程同學們可以見教材第88頁中的內容——“勾股定理的證明”。

在歐幾里得證法中，我發現了幾何中經常用到的兩個數學模型，一個是“手拉手”模型，另一個是“平行等積”模型。

如圖1，當AB=BF，BC=BD，并且它們的夾角∠ABF和∠CBD相等時，就能證得△ABD≌△FBC，這就是我們常用的“手拉手”模型。

如圖2，當AB∥CD時，易得S△ABC=S△ABD，這就是 “平行等積”模型。我們在很多問題中會用到這個數學模型。進一步研究，我們發現，若AE∥BC，則四邊形ABCE為平行四邊形，則可證得S△ABD=S△ABC=[12]S□ABCE。

在歐幾里得證法中，就用到了以上兩個非常重要的數學模型。如果我們對這兩個數學模型非常熟悉的話，那么再去理解歐幾里得證法就很容易了。

教師點評

勾股定理的證法有很多種，對于初中生而言，簡潔、優美并且有代表性的證法不是很多。歐幾里得證法是非常有代表性，并且是很有思維訓練價值的證法，但很多初中生感覺這種證法很難理解和掌握。兩位同學正是基于這樣的思考，從基本數學模型的視角分析歐幾里得證法。我相信他們的解讀會幫助同學們更好地理解和掌握歐幾里得證法，并運用這兩種數學模型解決更多的問題。

（指導教師：孫 凱）