利用切线的性质定理以及推论，切线的判定定理，切线长定理进行证明。

切线的性质定理:：圆的切线垂直于经过切点的半径

切线的性质定理的推论2：经过切点且垂直于切线的直线必经过圆心

切线的判定定理：经过半径的外端并且垂直于这条半径的直线是圆的切线