В трапеции АВСД проведём ВМ║СД.
В полученном треугольнике АВМ ∠ВМА=∠СДА, значит ∠ВМА+∠ВАМ=90°, значит ∠АВМ=90°.
Высота ВК⊥АМ.
ВМ=СД, значит КМ=ЕД, значит АК и КМ - проекции боковых сторон трапеции на большее основание.
В прямоугольном треугольнике высота, проведённая к гипотенузе, делит его на два треугольника, подобные ему и друг другу, значит ВК/АК=КМ/ВК ⇒ ВК²=АК·КМ.
ВК=√(АК·ЕД).
Доказано.