在三角形ABC中,角C=60,AD,BE是ABC的高且交于O,求证DE=1/2ab