切线的性质定理

    圆的切线垂直于经过切点的半径，如图AB是⊙O的切线，AB⊥OC．