Kẻ tia Cx sao cho \(\widehat{ABD}=\widehat{ACx}\). Tia Cx cắt BD tại E
+ ΔABD ∼ ΔECD ( g.g )
\(\Rightarrow\left\{{}\begin{matrix}\frac{AD}{BD}=\frac{ED}{CD}\\\widehat{BAD}=\widehat{CEB}\end{matrix}\right.\)
=> \(AD\cdot CD=BD\cdot ED\) (1)
+ ΔABD ∼ ΔEBC ( g.g )
\(\Rightarrow\frac{AB}{BD}=\frac{EB}{BC}\Rightarrow AB\cdot BC=BD\cdot EB\) (2)
+ Từ (1) và (2) suy ra : \(AB\cdot BC-AD\cdot CD=BD\cdot EB-BD\cdot ED=BD^2\)