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