Перпендикуляр, опущенный из вершины тупого угла на большее основание равнобедренной трапеции, делит его на части, имеющие длины 5 см  и  2 см. Найдите среднюю линию трапеции.

Свойство равнобедренной трапеции:
высота, опущенная из вершины на большее основание, делит его на два отрезка, один из которых равен полусумме оснований, другой — полуразности оснований.Следовательно, средняя линия трапеции, равная полусумме оснований, равна 5см
Или надо доказывать свойство?