在三角形ADO和AEO中,因为OA平分角BAC,所以角BAF=角CAF,又因为BE垂直AC,CD垂直AB,OA为公共边,所以三角形ADO全等于三角形AEO,所以AD=AE,OD=OE.
在三角形ABE和ACD,因为AD=AE,角AEB=角ADC,角BAC为公共角,所以三角形ABE全等于三角形ACD,所以BE=CD,又因为OD=OE,OB=BE-OE,OC=CD-OD,所以OB=OC