在△ABC中,由正弦定理,得AF=csinβ/sin(α+β)。
不失一般性,△ABC外接圆直径为1,则由正弦定理,知c=sin3γ,所以AF=
(sin3γ*sinβ)/sin(60°-γ)=[sinβ*sinγ(3-4sin²γ)]/[1/2(√3cosγ-sinγ)]=
2sinβsinγ(√3cosγ+sinγ)=4sinβsinγsin(60°+γ).
同理,AE=4sinβsinγsin(60°+β)
∴AF:AE=[4sinβsinγsin(60°+γ)]:[4sinβsinγsin(60°+β)]=sin(60°+γ):sin(60°+β)=sin∠AEF:sin∠AFE
∴∠AEF=60°+γ,∠AFE=60°+β.同理得,CED=60°+α
FED=180°-CED-(AED-α-γ)=180°-60°-α-60°+α=60
∴△FED为正三角形。
证法二
∵AE:AC=sinγ:sin(α+γ),
AF:AB=sinβ:sin(α+β) ,
AB:AC=sin3γ:sin3β,
∴AE:AF=(ACsin(α+γ)/sinγ):(ABsin(α+β)/sinβ),
而sin3γ:sin3β=(sinγsin(60°+γ)sin(60°-γ) ):(sinβ sin(60°+β) sin(60°-β) ),
∴AE:AF=sin(60°+γ):sin(60°+β),
∴在△AEF中,∠AEF=60°+γ,
同理∠CED=60°+α,
∴∠DEF=60°,
∴△DEF为正三角形。