求证:AB是圆O的切线