设o到ab的直线交ab于点d,o到ac的直线交ac于点e
∵∠bdo=∠ceo
do=eo
bo=co
∴Δdbo≌Δeco(H.L)
∴∠dbo=∠eco
∵bo=co
∴∠obc=∠ocb
∴∠dbo+∠obc=∠eco+∠ocb
∴∠dbc=∠ecb
∴ab=ac