因为oe平分aoc
所以eoc=二分之一aoc
又因为of平分boc
所以cof=二分之一cob
OE垂直oF
edf=90度
eoc+cof=90度
二分之一aoc+二分之一cob=90度
aoc+cob=180度
所以aob是直线