过O 作AB BC CA 的垂线 OD OE OF
因为O 在∠A与∠B的平分线上
所以OD=OE OE=OF
所以OD=OF
所以O在∠C的平分线上