Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.
Дотична пряма до кола в евклідовій геометрії на площині — пряма, що дотикається до кола тільки в одній точці та не містить внутрішніх точок кола. Грубо кажучи, це пряма, яка проходить через пару нескінченно близьких точок на колі. Дотичні прямі до кола застосовуються у багатьох геометричних побудовах і доведеннях. Так як, дотична пряма до кола є перпендикуляром до радіуса кола, проведеного в точку дотику, то зазвичай теореми в яких розглядаються дотичні прямі, часто використовують у формулюванні такі радіуси або ортогональні кола.
