到圆心的距离等于半径R的直线是圆的切线
切线到圆心的距离等于圆的半径R
经过圆心垂直于切线的直线必过切点
经过切点垂直于切线的直线必过圆心