Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.
Проведём высоту из угла в 60 градусов . В равнобедренном треугольнике она будет и биссектрисой и медианой.
Получим в прямоугольном треугольнике катет равен половине основания и равен 7, ему противолежащий угол равен 30 градусам
Значит боковая сторона она же гипотенуза в прямоугольном треугольнике равна двум катетам и равна 14, треугольник равносторонний ( можно было и сразу вспомнить , что если в равнобедренном треугольнике угол против основания 60, то равнобедренный треугольник является равносторонним , угол при основании равен 180-60)/2=60
Площадь равна 1/2*14*высоту=1/2*14*14корней из 3/2=49 корней из трёх
Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.