Доказано требуемое.
Объяснение:
Поскольку трапеция (см. чертеж) прямоугольная, треугольники ABC и BDA прямоугольные. Применим к ним теорему Пифагора:

или, в более простых обозначениях (все обозначения приведены на чертеже),

Вычитая из второго уравнения первое уравнение (из левой части левую часть, из правой - правую), получаем
что и требовалось доказать.