【證法 9】（楊作玫證明）
做兩個全等的直角三角形，設它們的兩條直角邊長分別為a、b（b>a），斜邊長為c. 再做一個邊長為c的正方形. 把它們拼成如圖所示的多邊形. 過A作AF⊥AC，AF交GT於F，AF交DT於R. 過B作BP⊥AF，垂足為P. 過D作DE與CB的延長線垂直，垂足為E，DE交AF於H.
∵ ∠BAD = 90º，∠PAC = 90º，
∴ ∠DAH = ∠BAC.
又∵ ∠DHA = 90º，∠BCA = 90º，
AD = AB = c，
∴ RtΔDHA ≌ RtΔBCA.
∴ DH = BC = a，AH = AC = b.
由作法可知， PBCA 是一個矩形，
所以 RtΔAPB ≌ RtΔBCA. 即PB =
CA = b，AP= a，從而PH = b―a.
∵ RtΔDGT ≌ RtΔBCA ,
RtΔDHA ≌ RtΔBCA.
∴ RtΔDGT ≌ RtΔDHA .
∴ DH = DG = a，∠GDT = ∠HDA .
又∵ ∠DGT = 90º，∠DHF = 90º，
∠GDH = ∠GDT + ∠TDH = ∠HDA+ ∠TDH = 90º，
∴ DGFH是一個邊長為a的正方形
.∴ GF = FH = a . TF⊥AF，TF = GT―GF = b―a.
∴ TFPB是一個直角梯形，上底TF=b―a，下底BP= b，高FP=a +（b―a）.
用數字表示面積的編號（如圖），則以c為邊長的正方形的面積為
【證法10】（李銳證明）
設直角三角形兩直角邊的長分別為a、b（b>a），斜邊的長為c. 做三個邊長分別為a、b、c的正方形，把它們拼成如圖所示形狀，使A、E、G三點在一條直線上. 用數字表示面積的編號（如圖）.
∵ ∠TBE = ∠ABH = 90º，
∴ ∠TBH = ∠ABE.
又∵ ∠BTH = ∠BEA = 90º，
BT = BE = b，
∴ RtΔHBT ≌ RtΔABE.
∴ HT = AE = a.
∴ GH = GT―HT = b―a.
又∵ ∠GHF + ∠BHT = 90º，
∠DBC + ∠BHT = ∠TBH + ∠BHT = 90º，
∴ ∠GHF = ∠DBC.
∵ DB = EB―ED = b―a，
∠HGF = ∠BDC = 90º，
∴ RtΔHGF ≌ RtΔBDC. 即.
過Q作QM⊥AG，垂足是M. 由∠BAQ = ∠BEA = 90º，可知 ∠ABE
= ∠QAM，而AB = AQ = c，所以RtΔABE ≌ RtΔQAM . 又RtΔHBT ≌
RtΔABE. 所以RtΔHBT ≌ RtΔQAM.即.
由RtΔABE ≌ RtΔQAM，又得QM = AE = a，∠AQM = ∠BAE.
∵ ∠AQM + ∠FQM = 90º，∠BAE + ∠CAR = 90º，∠AQM = ∠BAE，
∴ ∠FQM = ∠CAR.
又∵ ∠QMF = ∠ARC = 90º，QM = AR = a，
【證法16】（陳杰證明）
設直角三角形兩直角邊的長分別為a、b（b>a），斜邊的長為c. 做兩個邊長分別為a、b的正方形（b>a），把它們拼成如圖所示形狀，使E、H、M三點在一條直線上. 用數字表示面積的編號（如圖）.
在EH = b上截取ED = a，連結DA、DC，
則 AD = c.
∵ EM = EH + HM = b + a , ED = a，
∴ DM = EM―ED = ―a = b.
又∵ ∠CMD = 90º，CM = a，
∠AED = 90º， AE = b，
∴ RtΔAED ≌ RtΔDMC.
∴ ∠EAD = ∠MDC，DC = AD = c
.∵ ∠ADE + ∠ADC+ ∠MDC =180º，
∠ADE + ∠MDC = ∠ADE + ∠EAD = 90º，
∴ ∠ADC = 90º.
∴ 作AB∥DC，CB∥DA，則ABCD是一個邊長為c的正方形.
∵ ∠BAF + ∠FAD = ∠DAE + ∠FAD = 90º，
∴ ∠BAF=∠DAE.
連結FB，在ΔABF和ΔADE中，
∵ AB =AD = c，AE = AF = b，∠BAF=∠DAE，
∴ ΔABF ≌ ΔADE.
∴ ∠AFB = ∠AED = 90º，BF = DE = a.
∴ 點B、F、G、H在一條直線上.
在RtΔABF和RtΔBCG中，
∵ AB = BC = c，BF = CG = a，
∴ RtΔABF ≌ RtΔBCG.
閱讀更多 丁前鵬數學教育 的文章
