→ hwanger : 因為 ∠AHG = (∠BAC)/2 = ∠AGH, 所以 AH = AG. 11/09 15:51
→ hwanger : 由孟氏定理可得 11/09 15:52
→ hwanger : (DG/AG)(AH/HB)(BF/FD)=1=(BF/FD)(CD/AC)(AE/EB) 11/09 15:53
→ hwanger : 令 r=AH=AG 及 s=BE=CD 並代入上式整理可得 11/09 15:53
→ hwanger : DG*(DG + r + s) = AE*(AE + r + s) 11/09 15:54
→ hwanger : 因 f(x)=x(x+r+s) 在 x>0 嚴格遞增, 所以 AE=DG. 11/09 15:55
→ hwanger : 故 AB = CG 且 AD = HE. 11/09 15:55