BE+FC=EF
因为EF∥BC
所以∠FOC=∠OCB
∠EOB=∠OBC(两直线平行,内错角相等)
因为OB平分∠B,OC平分∠C
所以∠EBO=∠OBC,∠FCO=∠OCB
因为∠FOC=∠OCB
∠EOB=∠OBC
所以∠EBO=∠EOB,∠FCO=∠FOC
所以EB=EO,FC=FO (等角对等边)
因为EO+FO=EF
所以EB+FC=EF
BE=CF=1/2EF
EF=BE+FC.EF//BC,角foc=角ocb,co是角平分线,角fco=角ocb,所以角foc=角fco,三角形foc等腰,即fc=of,同理eo=eb,得证