Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.
Средняя линия треугольника - это отрезок, соединяющий середины двух сторон треугольника.
Свойство средней линии: средняя линия параллельна третьей стороне треугольника и равна ее половине.
Поэтому:
Каждая сторона треугольника, образованного средними линиями, равна половине соответствующей стороны данного треугольника, т.е. периметр данного треугольника будет в два раза больше периметра треугольника, образованного средними линиями, т.е.
если Р₁ = 12 см, то Р = 12 · 2 = 24 (см).
См. рисунок
ответ: 24 см.
