За означенням, дотична пряма до кола є перпендикуляром до радіуса кола, проведеного в точку дотику.
AO — радіус, АВ — перпендикулярна до AO пряма ⇒ АВ є дотичною до кола.
