作业帮 > 数学 > 作业

如图,E为正方形ABCD的边BC上任意一点,点P在BC的延长线上,EF垂直AE交角DCP的平分线于

来源:学生作业帮 编辑:作业帮 分类:数学作业 时间:2024/05/05 18:45:52
如图,E为正方形ABCD的边BC上任意一点,点P在BC的延长线上,EF垂直AE交角DCP的平分线于
F.求证:EF=AE.
证明:
∵四边形ABCD是正方形
∴AB=AD,∠BAD=90º
∵DE⊥AP
∴∠EAD+∠ADE=90º
∵∠EAD+∠BAF=90º
∴∠ADE=∠BAF
∵BF//DE
∴∠AED=∠BFA=90º
∴⊿ADE≌⊿BAF(AAS)
∴BF=AE
∵AF-AE=EF
∴AF-BF=EF