作“勾股圓方圖”,其中的“弦圖”,相當于運用面積的出入相補證明了勾股定理。如圖考慮以一直角三角形的勾和股為邊的兩個正方形的合并圖形,其面積應有a2 + b2
。如果將這合并圖形所含的兩個三角形移補到圖中所示的位置,將得到一個以原三角形之弦為邊的正方形,其面積應為c2,
因此a2 + b2 = c2。趙爽這一簡潔優美的證明,可以看作是對《周髀算經》中緊接在“勾三股四弦五”
特例之后的一段說明文字的詮釋,《周髀算經》的這段文字說:“既方之,外半其一矩,環而共盤,得成三、四、五。兩矩共長二十有五,是謂積矩”。
趙爽的這個證明可謂別具匠心,極富創新意識。他用幾何圖形的截、割、拼、補來證明代數式之間的恒等關系,既具嚴密性,又具直觀性,為中國古代以形證數、形數統一、代數和幾何緊密結合、互不可分的獨特風格樹立了一個典范。以后的數學家大多繼承了這一風格并且代有發展。例如稍后一點的劉徽在證明勾股定理時也是用的以形證數的方法,只是具體圖形的分合移補略有不同而已。
中國古代數學家們對于勾股定理的發現和證明,在世界數學史上具有獨特的貢獻和地位。尤其是其中體現出來的“形數統一”的思想方法,更具有科學創新的重大意義。正如當代中國數學家吳文俊所說:“在中國的傳統數學中,數量關系與空間形式往往是形影不離地并肩發展著的……十七世紀笛卡兒解析幾何的發明,正是中國這種傳統思想與方法在幾百年停頓后的重現與繼續。”
趙爽是中國古代最早對數學定理和公式進行證明與推導的數學家之一,他在《周髀算經》書中補充的“勾股圓方圖及注”和“日高圖及注”是十分重要的數學文獻。在“勾股圓方圖及注”中他提出用弦圖證明勾股定理和解勾股形的五個公式;在“日高圖及注”中,他用圖形面積證明漢代普遍應用的重差公式,趙爽的工作是帶有開創性的,由于他取得的成就,在中國古代數學發展中占有重要地位。趙爽與劉徽的工作為中國古代數學體系奠定了理論基礎。
趙爽在“勾股圓方圖”說中還類似地證明了勾股定理的許多推論,,此外他還給出了一張“日高圖”,是用面積出入相補的方法去證明《周髀算經》中的日高公式。 |