Áp dụng t/c đường phân giác, ta có:
\(\dfrac{AB}{AC}=\dfrac{BD}{CD}\) ( 1 )
\(\dfrac{BC}{BA}=\dfrac{EC}{EA}\) ( 2 )
\(\dfrac{CA}{CB}=\dfrac{FA}{FB}\) ( 3 )
Nhân từng vế (1);(2);(3) ta được:
\(\dfrac{AB}{AC}\times\dfrac{BC}{BA}\times\dfrac{CA}{CB}=\dfrac{BD}{CD}\times\dfrac{EC}{EA}\times\dfrac{FA}{FB}\)
\(\Leftrightarrow1=\dfrac{BD}{CD}\times\dfrac{EC}{EA}\times\dfrac{FA}{FB}\)
ADAD là đường phân giác ˆB→BCBA=ECEAB^→BCBA=ECEA
CFCF là đường phân giác →DBDC.ECEA.FAFB=ABAC.BCBA.CACB=AB.BC.CAAC.BA.CB=1