判定和性质
切线的判定定理：经过半径的外端并且垂直于这条半径的直线是圆的切线。圆的切线垂直于这个圆过切点的半径。
几何语言：∵，点A在⊙O上
∴直线l是⊙O的切线（切线判定定理）
切线的性质定理：圆的切线垂直于经过切点半径。
几何语言：∵OA是⊙O的半径，直线l切⊙O于点A
∴（切线性质定理）
推论1 经过圆心且垂直于切线的直径必经过切点，
推论2 经过切点且垂直于切线的直线必经过圆心。
