Для решения данной задачи обратимся к свойствам трапеции. Пусть дана трапеция ABCD с основаниями AB и CD, а также диагоналями AC и BD. Пусть M и N - середины диагоналей AC и BD соответственно.
Так как M и N - середины диагоналей, то AM = MC и BN = ND.
Также из свойств параллелограмма следует, что AC || BD. Следовательно, треугольники AMC и BND подобны.
Из подобия треугольников:
AM/BN = MC/ND
AM = BN * MC / ND
AM = BN * (AD - BN) / (BN - BC)
AM = BN * AD / (BN - BC) - BN
AM = AD * BN / (BN - BC) - BN
AM = AD BN / (BN - BC) - BC BN / (BN - BC)
AM = (AD BN - BC BN) / (BN - BC)
AM = (AD - BC) * BN / (BN - BC)
AM = (a - b) * BN / (BN - BC)
AM = (a - b) * (1/2) / (1/2)
AM = (a - b)
Таким образом, длина отрезка, соединяющего середины диагоналей трапеции, равна |a - b| / 2, что и требовалось доказать.