0.19. а түзуі mn кесіндісінің ортасы арқылы өтеді. м және n нүктелерінің а түзуінен бірдей қашықтықта жататынын дәлелдең-дер​

Средняя линия треугольника соединяет середины двух сторон, параллельна третьей стороне и равна ее половине.

Отрезки 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.

Доказательство утверждения  проводится следующим образом. Сначала принимают предположение, что утверждение  неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .

В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.