可以死算。。。令角DAE=a,则AE=6/cos(a),DE=6tan(a),EC=2sqrt(3)-6tan(a)。取EF中点O，OH=EC/2=...,GO=AE/2=...,对三角形OGH用余弦定理将GH表示出来(角GOH=5pi/6+a)，得到一个关于tan(a)的方程由此解出tan(a),最后DE=4(sqrt(3)-1)
--
修改:nomead FROM 114.248.120.*
FROM 114.248.120.*