接線

円とちょうど 1 点で交わる直線を、その円の接線といい、共有点を接点という。補題 4.1 により、円周上の点 $T$ における接線は、$T$ を通り $\overrightarrow{OT}$ に垂直な直線 $\{\boldsymbol x\mid(\boldsymbol x-\boldsymbol t)\cdot(\boldsymbol t-\boldsymbol o)=0\}$ である。