证明:
作OE//BC交AB于O点
因为DE=EC AD//OE//BC
由平行线等分线段定理
得
AO=OB
又因为角AOE=角BOC=90度
所以三角形AOE全等于三角形BOC
所以AE=BE
证毕