từ B kẻ Bx cắt AD tại E sao cho góc DBE = góc CAD thì
+) CM dc tg ABE đồng dạng tg ADC
(góc góc, dễ tự chứng minh) ==> AB/AD=AE/AC ==> AB.AC = AE.AD (1)
+) CM dc tg BDE đồng dạng tg ADC
(cũng góc góc) ==> BD/AD = DE/DC ==> BD.DC = DE.AD (2)
Từ (1) và (2) ↔ điều phải chứng minh