Дотична пряма до кола в евклідовій геометрії на площині — пряма, що дотикається до кола тільки в одній точці та не містить внутрішніх точок кола. Грубо кажучи, це пряма, яка проходить через пару нескінченно близьких точок на колі. Дотичні прямі до кола застосовуються у багатьох геометричних побудовах і доведеннях. Так як, дотична пряма до кола є перпендикуляром до радіуса кола, проведеного в точку дотику, то зазвичай теореми в яких розглядаються дотичні прямі, часто використовують у формулюванні такі радіуси або ортогональні кола.
Теоре́ма «доказательство, вид; взгляд; представление, положение») — утверждение, выводимое в рамках рассматриваемой теории из множества аксиом посредством использования конечного множества правил вывода