在锐角△ABC中,作BC边的垂直平分线,与∠BAC的角平分线交于O,连结OB,OD,过O作AC,AB的垂线,交AB于E,AC于F,
∴OB＝OC,OE＝OF,
易证△AEF≌△AFO ------这个不会全等吧,只能是△AEO≌△AFO
,∴AF=AE.
------------------------------------
△AEO≌△AFO--------这个的确是成立的除了OE=OF 还有直角和OA的公共边
同理易证BE=CF,（这个与前面的AE=AF没有类比性,虽然OB＝OC,OE＝OF,但∠BOE≠∠COF,BE≠CF,再往下得出的结论就不会是正确的了）
----------------------------------------------
△BOE和△COF 就没有上面的全等条件了,除了有两条边相等外,再找不到其它相等的量了.
AB=AE+BE=AF+FC=AC,∴△ABC为等腰三角形