(1)证明:由已知,得 AE=CE ED=ED AD=CD ,
∴△AED≌△CED,
∴∠AED=∠CED,
又∵△AEC为等边三角形,
∴EF⊥AC
(2)
过G作GM⊥EF,垂足为M,
由已知和(Ⅰ),得
∠AED=∠CED=30°,∠EAD=15°
∴∠EDG=45°,
∴MD=GM
设GM=x,则DG=√ 2 x
在Rt△MEG中,EG=2MG=2x,
∴EM= √3 x
∴ED= √3 x+x=( √3 +1)x
∴ED DG =( √3 +1)x /( √2 x) = (√6 + √2)/2
即DE=(√ 6 + √2)/2 DG(或DG=(√ 6 -√ 2) / 2 DE)
请指教!