证明:作OM垂直AE于M,ON垂直BC于N,OT垂直AF于T.
又BO平分角EBC,则OM=ON;(角平分线上的点到角两边距离相等)
同理可证:ON=OT.
故:OM=OT,得AO平分角BAC.(到角两边距离相等的点在这个角的平分线上)