Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.
1)Второй признак равенства треугольников. Теорема. Если сторона и два прилежащих к ней угла одного треугольника соответственно равны стороне и двум прилежащим к ней углам другого треугольника, то такие треугольники равны. Третий признак равенства треугольников.
2)периметр - это сумма длин сторон какой-либо геометрической фигуры. Полупериметр - половина периметра.
3)Два треугольника, которые можно совместить наложением, называются равными. ... Если две стороны и угол между ними одного треугольника соответственно равны двум сторонам и углу между ними другого треугольника, то такие треугольники равны.
4)Высотой треугольника, опущенной из данной вершины, называется перпендикуляр, проведённый из этой вершины к прямой, которая содержит противоположную сторону треугольника. * Прямые, содержащие высоты треугольника, пересекаются в одной точке (которая называется ортоцентром данного треугольника).
Объяснение: