Математическое доказательство свойства средней линии трапеции