首先,AE=BF显然,因为三角形OAE与三角形OBF全等。
在三角形OAE中,角AOE=30°,角OAE=45°,设半径为R,故知AE的长度。
对于三角形OCD,等腰三角形,顶角30°,腰长R,故知底长CD。
计算结果可得AE=CD。
所以AE=BF=CD
连接AC
显然∠OAE=45°,∠AOC=30°,、
∴∠AEC=75°
又∵∠CAB=1/2*∠COB=30°
∴∠ACE=180°-30°-75°=75°=∠AEC
∴AC=AE
同理有BD=BF
明显有AC=CD=DB;
∴AE=BF=CD