以A为原点,旋转三角形AOC,使得C点与B点重合,得到一个新三角形AO'C(B),连接OO',则AO=AO'有角AO'O=角AOO'.