解题思路:(1)先作AD与EF的延长线,结合已知条件和三角形的相似性质,得出△NDE≌△FCE,然后由平行四边形的性质及判定得出结论.
(2)根据角平分线的性质得出∠1=∠2,再由AB∥EF,得出∠1=∠BEF,∠BEF=∠2,EF=BF,EF=BF=[AD+BC/2],从而得到结论.
(1)证明:
证法一:如图(1),延长AD交FE的延长线于N
∵AD∥BC,∠C=90°
∴∠NDE=∠FCE=90°
又∵E为CD的中点,
∴DE=EC,
∵∠DEN=∠FEC,
在△NDE和△FCE
∠NDE=∠FCE
ED=CE
∠DEN=∠CEF,
∴△NDE≌△FCE(ASA)
∴DN=CF
∵AB∥FN,AN∥BF,
∴四边形ABFN是平行四边形
∴BF=AD+DN=AD+FC
证法二:如图(2),过点D作DN∥AB交BC于N
∵AD∥BN,AB∥DN,
∴AD=BN,
∵EF∥AB,
∴DN∥EF
∴△CEF∽△CDN
∴[CE/DC=
CF
CN]
∵[CE/DC=
1
2],
∴[CF/CN=
1
2],即NF=CF
∴BF=BN+NF=AD+FC
(2)∵AB∥EF,
∴∠1=∠BEF,
∵∠1=∠2,
∴∠BEF=∠2,
∴EF=BF,
∵BF=BN+NF=AD+CF,
∴EF=BF=AD+CF=AD+BC-BF=1+7-BF,
∴2BF=8,
∴BF=4,
∴EF=4.
故EF的长为4.
点评:
本题考点: 梯形;全等三角形的判定与性质;角平分线的性质;平行四边形的性质;相似三角形的判定与性质.
考点点评: 本题考查三角形的相似性质、平行四边形的性质及判定以及角平分线的性质的综合运用.