∴AB=AD,∠ABC=∠ADC=90°,∠BAC=∠DAC=∠ACB=∠ACD=45°.
∵在△ABE和△ADE中,
|
∴△ABE≌△ADE(SAS),
∴BE=DE.
(2)在EF上取一点G,使EG=EC,连结CG,
∵△ABE≌△ADE,
∴∠ABE=∠ADE.
∴∠CBE=∠CDE,
∵BC=CF,
∴∠CBE=∠F,
∴∠CBE=∠CDE=∠F.
∵∠CDE=15°,
∴∠CBE=15°,
∴∠CEG=60°.
∵CE=GE,
∴△CEG是等边三角形.
∴∠CGE=60°,CE=GC,
∴∠GCF=45°,
∴∠ECD=GCF.
∵在△DEC和△FGC中,
|
∴△DEC≌△FGC(SAS),
∴DE=GF.
∵EF=EG+GF,
∴EF=CE+ED.
