在三角形abc中,角acb等于90度,d是ab的中点,e是ac延长线上一点,de交bc与f,角a等于3角e,求证:ef等