设正方形ABCD的边CD的中点为E,F是CE的中点(图).求证:∠DAE=1/2∠BAF.

问题描述:

设正方形ABCD的边CD的中点为E,F是CE的中点(图).求证:∠DAE=

1
2
∠BAF.

证明:如图,作∠BAF的平分线AH交DC的延长线于H,则∠1=∠2=∠3,所以FA=FH.设正方形边长为a,在Rt△ADF中,AF2=AD2+DF2=a2+(3a4)2=2516a2,所以AF=54a=FH.从而CH=FH-FC=54a-a4=a,所以Rt△ABG≌Rt△HCG(AAS),G...