Даны точки А (-2; 0; 4), В(0; -2;-2). Вычислите расстояние от точки С(-1; 1; 0) до середины отрезка АВ.​

Доказательство утверждения  проводится следующим образом. Сначала принимают предположение, что утверждение  неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .

В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.

В равнобедренном треугольнике биссектриса и высота, проведённые к основанию, совпадают. Пусть в равнобедренном треугольнике ABC с основанием AC проведены биссектрисы AA1,BB1,CC1. Точка O является точкой пересечения биссектрис AA1 и CC1. Так как биссектрисы треугольника пересекаются в одной точке, BB1 проходит через точку O. Так как биссектриса и высота, проведённые к основанию, совпадают, BB1 - высота. Тогда BB1 перпендикулярна AC. Так как точка O лежит на отрезке BB1, прямая BO и прямая BB1 совпадают (это одна и та же прямая, которую можно назвать по-разному). Значит, прямая BO перпендикулярна AC, что и требовалось доказать.