Трапеция вписана в окружность, поэтому по теореме Птолемея произведение диагоналей четырехугольника равно сумме произведений противоположных сторон:

Трапеция равнобедренная, следовательно, ее диагонали равны, тогда