GT | \(\Delta\)ABC, A=90o AH\(\perp\) BC, D\(\in\)AH E \(\in\)tia đối HA, HE=AD DF \(\perp\) AH, F \(\in\) AC |
KL | EB \(\perp\) EF |
Chứng minh:
Xét \(\Delta\)DEF vuông tại D
\(\Rightarrow\)EF2 = DE2 + DF2 (định lí Phythagoras)
Xét \(\Delta\)BHE vuông tại H
\(\Rightarrow\)BE2 = BH2 + HE2 (định lí Phythagoras)
Xét \(\Delta\)ABH vuông tại H
\(\Rightarrow\)AB2 = AH2 + BH2 (định lí Phythagoras)
Xét \(\Delta\)AFD vuông tại D
\(\Rightarrow\)AF2 = AD2 + DF2 (định lí Phythagoras)
Xét \(\Delta\)ABF vuông tại A
\(\Rightarrow\)BF2 = AB2 +AF2 (định lí Phythagoras)
\(\Rightarrow\)BF2 = AH2 +BH2 +AD2 +DF2
\(\Rightarrow\)BF2 = (AD + DH)2 + (BH2 +AD2) + DF2
\(\Rightarrow\)BF2 = (HE +DH)2 +(BH2 + HE2) + DF2
\(\Rightarrow\)BF2 = DE2 + BE2 + DF2
\(\Rightarrow\)BF2 = (DE2 + DF2) + BE2
\(\Rightarrow\)BF2 = EF2 + BE2
Xét \(\Delta\)BEF có: BF2 = EF2 + BE2
\(\Rightarrow\)\(\Delta\)BEF vuông tại E (định lí Phythagoras)
\(\Rightarrow\)BEF = 90o
\(\Rightarrow\)EB \(\perp\)EF (đpcm)