切线性质和切线长