如果是直角三角形,就很容易求证：
△abc为等边三角形,在Rt△ade中,因为∠aed=60°,de=1/2ae,而边ae=ab,则de=1/2ab了