畢氏定理
幾何學定理 / 維基百科,自由的 encyclopedia
畢氏定理(英語:Pythagorean theorem / Pythagoras' theorem)是平面幾何中一個基本而重要的定理。畢氏定理說明,平面上的直角三角形的兩條直角邊的長度(較短直角邊古稱勾長、較長直角邊古稱股長)的平方和等於斜邊長(古稱弦長)的平方。反之,若平面上三角形中兩邊長的平方和等於第三邊邊長的平方,則它是直角三角形(直角所對的邊是第三邊)。畢氏定理是人類早期發現並證明的重要數學定理之一。
此定理又稱勾股定理、商高定理、畢達哥拉斯定理、新娘座椅定理或百牛定理。「畢氏」所指的是其中一個發現這個定理的古希臘數學家畢達哥拉斯,但歷史學家相信這個定理早在畢達哥拉斯出生的一千年前已經在世界各地廣泛應用。不過,現代西方數學界統一稱呼它為「畢達哥拉斯定理」。日本除了翻譯西方的「畢達哥拉斯之定理」外亦有「三平方之定理」的稱呼。
早在有明文描述此定理前,古埃及在公元前1600年的紙莎草記載有這一組畢氏三元數,而古巴比倫泥板紀錄的最大的一個畢氏三元數組是。由於古代沒有如此高的精確測量工具,因此一般相信得到如此巨大的畢氏三元數必須知道畢氏定理。
現在畢氏定理可考的嚴謹數學證明,起源於略晚於畢德格拉斯的歐幾里得幾何原本中,卷一命題47。但奇怪的是,這個定理從未被叫做「歐幾里得定理」。
《周髀算經》中,用商高與周公對談的方式,提出這組畢氏三元數為例,解釋了畢氏定理要素[1],論證「弦長平方必定是兩直角邊的平方和」,確立了直角三角形兩條直角邊的平方和等於斜邊平方的判定原則,周髀算經沒有給出證明[2]。且周髀算經成書年份不明,可能是公元前一千多年(比畢達哥拉斯早五百年),但也可能是西漢年代(比畢達格拉斯晚500年)。另外,除了周髀算經以外再無其他典籍紀載商高,無法得知是否真有商高其人,或者周髀算經作者虛構人物。
有些參考資料提到法國和比利時將畢氏定理稱為驢橋定理,但驢橋定理是指等腰三角形的二底角相等,非畢氏定理[3]。
畢氏定理有四百多個證明,如微分證明,面積證明等。