如图,直角梯形ABCD中,AD∥BC,∠A=90°,AB=AD=6,DE⊥DC交AB于E,DF平分∠EDC交BC于F,连接EF. (1)证明:EF=CF; (2)当tan∠ADE=1/3时,求EF的长.
问题描述:
如图,直角梯形ABCD中,AD∥BC,∠A=90°,AB=AD=6,DE⊥DC交AB于E,DF平分∠EDC交BC于F,连接EF.
(1)证明:EF=CF;
(2)当tan∠ADE=
时,求EF的长. 1 3
答
(1)证明:过D作DG⊥BC于G.
由已知可得四边形ABGD为正方形,
∵DE⊥DC.
∴∠ADE+∠EDG=90°=∠GDC+∠EDG,
∴∠ADE=∠GDC.
又∵∠A=∠DGC且AD=GD,
∴△ADE≌△GDC,
∴DE=DC且AE=GC.
在△EDF和△CDF中
,
DE=DC ∠EDF=∠CDF DF=DF
∴△EDF≌△CDF,
∴EF=CF;
(2)∵tan∠ADE=
=AE AD
,1 3
∴AE=GC=2.
∴BC=8,
BE=4,设CF=x,则BF=8-CF=8-x,
在Rt△BEF中,由勾股定理得:x2=(8-x)2+42,
解得x=5,
即EF=5.