如图圆o是三角形abc的外接圆ab为直径∠BAC的平分线签证EF是圆O切线