Giả sử AC là đường chéo lớn của hình bình hành ABCD. Từ C, vẽ
15/17
Giả sử AC là đường chéo lớn của hình bình hành ABCD. Từ C, vẽ đường thẳng vuông góc CE với đường thẳng AB, đường vuông góc CF với đường thẳng AD (E, F thuộc phần kéo dài của các cạnh AB và AD), Chứng minh rằng AB.AE + AD.AF = AC2
Giải thích
Dựng BG ⊥ AC.
Xét ΔBGA và ΔCEA, ta có:
∠(BGA) = ∠(CEA) = 900
∠A chung
⇒△BGA đồng dạng △CEA(g.g)
Suy ra: 
AB.AE = AC.AG (1)
Xét △BGC và △CFA, ta có:
∠(BGC) = ∠(CFA) = 900
∠(BCG) = ∠(CAF) (so le trong vì AD //BC)
△BGC đồng dạng △CFA (g.g)
Suy ra: 
⇒ BC.AF = AC.CG
Mà BC = AD (tính chất hình bình hành)
Suy ra: AD.AF = AC.CG (2)
Cộng từng vế đẳng thức (1) và (2) ta có:
AB.AE + AD.AF = AC.AG + AC.CG
AB.AE + AD.AF= AC(AG + CG)
Mà AG + CG = AC nên AB.AE + AD.AF = AC2