Припустимо два колаΓ іΩ перетинаються в двох точкахX іY. ℓmДозволяти і бути дотичними лініями вX доΓ іΩ відповідно. Аналогічно ми говоримо,\(...Припустимо два колаΓ іΩ перетинаються в двох точкахX іY. ℓmДозволяти і бути дотичними лініями вX доΓ іΩ відповідно. Аналогічно ми говоримо,Γ що коло перпендикулярно до прямоїℓ (короткоΓ⊥ℓ) якщоΓ∩ℓ≠∅ іℓ перпендикулярно дотичним лініям доΓ однієї точки (а отже, і обох точок) перетину.