在圆O的内接三角形ABC中,AB+AC=12