切线定理（Tangent Theorem）：如果一条直线与圆相切于圆上的点P，那么这条直线的切线长度等于点P到圆心的距离。换句话说，切线与半径的长度相等。这个定理可以用数学符号表示为：PA ⊥ OP，其中PA表示切线的长度，OP表示点P到圆心O的距离。
切线与切线定理（Tangent-Tangent Theorem）：如果两条切线分别与圆相交于不同的切点A和B，那么这两条切线的交点C与圆心O的连线OC垂直。换句话说，切线的交点与圆心的连线是两条切线的公共垂线。
切线与弦定理（Tangent-Chord Theorem）：如果一条直线同时与圆相切于切点A和与圆相交于弦上的一点B，那么切点A与弦上的点B之间的线段的平方等于这条直线与弦的两个线段之积。用数学符号表示为：AB² = AC × AD，其中AB表示切点A与弦上点B之间的线段，AC和AD表示直线与弦的两个线段。