一道不解数学题

来源:百度知道 编辑:UC知道 时间:2024/06/24 16:22:30
在一个梯形ABCD中,F是CD上的中点,AF垂直AB,E点是BC上一点,且AE=BE,若AB=m(m为任意常数),则EF的长是多少?

如图:

做辅助线:

可得OE是三角形ABE的AB边上垂直平分线,有角BOE=90度,

则角AOF等于角OBE

角OAF等于角BOE=90度

边AO=BO

可证得三角形AOF全等于三角形OBE,

所以AF=OE,同时两直线平行,

所以四边形AOEF为矩形,

所以EF=AO=m/2