Xét tam giác EAC và tam giác ECF có
^AEC = ^CEF = 900
^CAE = ^ECF ( cùng phụ ^ACE )
Vậy tam giác EAC ~ tam giắc ECF (g.g)
\(\dfrac{EA}{EC}=\dfrac{EC}{EF}\Rightarrow CÈ^2=EA.EF\)
Xét tam giác ABD và tam giác ACE có
^A _ chung ; AB = AC
Vậy tam giác ABD = tam giác ACE (ch-gn)
=> BD = CE ( 2 cạnh tương ứng )
=> BD^2 = AE.EF