出CD
O半径为r，则由于E是切点得OEr，OE⊥AB．因为ABCD是正方形，所以∠BAD90°，ABADDC1．因为OF⊥AD，所以FO∥AB，从而
fEBABa．从而∠EAB∠EBA60°．因为ABCD是正方形，所以∠DAE
fr