Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.
В равнобедренном треугольнике АВС с основанием АС, ВН - высота. Найдите ВН, если периметр треугольника АВС равен 48 см,
а периметр треугольника ВНС равен 32 см.
ответ или решение1
Так как треугольник ABC равнобедренный и его периметр равен 48, значит AB = BC, а AC = 48 - 2BC.
Высота BH делит AC пополам, соответственно, AH = HC = (48 - 2BC) / 2.
Площадь треугольника BHC равен 32 см.
Составляем уравнение:
BC + (48 - 2BC) / 2 + BH = 32;
Решаем уравнение:
2BC / 2 + (48 - 2BC) / 2 + BH = 32;
(2BC + 48 - 2BC) / 2 + BH = 32;
48 / 2+BH = 32;
24 + BH = 32;
BH = 32-24;
BH = 8
ответ: длина высоты BH равна 8 см
Объяснение:
