在正方形ABCD中,点E,F分别在BC,CD上,且∠BAE=30°,∠DAF=15°.求证:EF=BE+DF

问题描述:

在正方形ABCD中,点E,F分别在BC,CD上,且∠BAE=30°,∠DAF=15°.求证:EF=BE+DF

延长CD于G,使DF=DG,连接AG.三角形AGF和三角形AEF全等,所以EF=GF=DG+DF=DF+EF.