Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.
Средняя линия треугольника соединяет середины двух сторон, параллельна третьей стороне и равна ее половине.
Отрезки KM, MN, KN являются средними линиями в треугольниках AOB, BOC, AOC.
a) KM||AB, MN||BC, KN||AC
KMN~ABC по трем параллельным сторонам
б) KM=AB/2, MN=BC/2, KN=AC/2
P(ABC) =2P(KMN) =44*2 =88 (см)
в) Отношение соответствующих отрезков (медиан, биссектрис, высот и любых отрезков, построенных сходным образом) в подобных треугольниках равно коэффициенту подобия.
k=AB/KM =2
Медианы ABC вдвое больше медиан KMN.