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

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

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

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

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

切线长定理：从圆外一点可以引圆的两条切线，它们的切线长相等，这一点和圆心的连线平分两条切线的夹角。