a) Xét \(\Delta BAE\) và \(\Delta CAF\) có:
\(\widehat{A}\) chung
\(\widehat{AEB}=\widehat{CFA}=90^0\)
nên \(\Delta BAE\sim\Delta CAF\left(g.g\right)\) \(\Rightarrow\dfrac{BA}{CA}=\dfrac{AE}{AF}\)\(\Leftrightarrow\dfrac{AB}{AE}=\dfrac{AC}{AF}\)
Xét \(\Delta ABC\) và \(\Delta AEF\) có:
Góc A chung
\(\dfrac{AB}{AE}=\dfrac{AC}{AF}\)
nên \(\Delta ABC\sim\Delta AEF\left(c.g.c\right)\) \(\Rightarrow\dfrac{S_{AEF}}{S_{ABC}}=\left(\dfrac{AE}{AB}\right)^2=cos^2A=\dfrac{1}{2}\)
\(\Rightarrow2S_{AEF}=S_{ABC}=S_{AEF}+S_{BFEC}\) \(\Leftrightarrow S_{AEF}=S_{BFEC}\) (dpcm)
b) Có \(\widehat{AFE}=\widehat{ACB}\) (do \(\Delta ABC\sim\Delta AEF\))
\(\Leftrightarrow90^0-\widehat{AFE}=90^0-\widehat{ACB}\)
\(\Leftrightarrow\widehat{EFC}=\widehat{DAC}\) mà \(\widehat{C}\) chung \(\Rightarrow\Delta EFC\sim\Delta HAC\left(g.g\right)\)
\(\Rightarrow\dfrac{EF}{HA}=\dfrac{FC}{AC}\)\(\Leftrightarrow\dfrac{EF}{HA}=sinA\)\(\Leftrightarrow EF=HA.sinA\)
c)CM được:\(\Delta DHC\sim\Delta FBC\left(g.g\right)\)\(\Rightarrow\dfrac{HD}{BF}=\dfrac{CH}{BC}\Leftrightarrow\dfrac{HD.BC}{BF}=CH\)
\(\Delta HEC\sim\Delta AFC\left(g.g\right)\)\(\Rightarrow\dfrac{HE}{AF}=\dfrac{HC}{AC}\) \(\Leftrightarrow\dfrac{HE.AC}{AF}=HC\)
Xét \(S_{BHC}.tanB-S_{HAC}.tanA\)\(=\dfrac{1}{2}.HD.BC.\dfrac{FC}{BF}-\dfrac{1}{2}.HE.AC.\dfrac{FC}{AF}\)
\(=\dfrac{1}{2}.CH.FC-\dfrac{1}{2}.HC.FC=0\) \(\Leftrightarrow S_{BHC}.tanB-S_{HAC}.tanA=0\)
\(\Leftrightarrow\dfrac{S_{BHC}}{tanA}=\dfrac{S_{HAC}}{tanB}\) , CM tương tự \(\Rightarrow\dfrac{S_{HAC}}{tanB}=\dfrac{S_{HAB}}{tanC}\)
=>dpcm
