连接BO并延长交圆O于点D,则角AOD=角ABO+角BAO=2角ABO 角COD=角CBO+角BCO=2角CBO
以上两式相减得 角AOD-角COD=2（角ABO -角CBO）
即角AOC=2角ABC