Пусть в трапеции ABCD прямая EF есть средняя линия, т. е. соединяет середины непараллельных сторон АВ и DC. Проведем через точку F прямую, параллельную АВ и продолжим AD до пересечения с сейчас проведенной линией. Треугольники FDM и FNCравны, следовательно MD = NC. Четырехугольник EBNF есть параллелограмм (EB= l/2AB; FN = 1/2MN; AB-=MN; значит, ЕВ равно и параллельно FN и т. д.); поэтому EF= BN. Точно так же EF= AM. Зная это, пишем: BC=BN+NC=EF+NC MD=AD-DM=EF-NC BC+AD=EF=EF=CN-NC а откуда: EF = BC + AD/2