AB是圆O的直径C为圆O上一点AE和过点C的切线互相垂直