Учитывая, что угол ABC и угол ADC равны 90 градусам, четырехугольник ABCD вписан в окружность. Так как AD = DC, треугольник ADC является равнобедренным.
Так как угол ABC = 90 градусов, AC является диаметром окружности.
Так как AD = DC, дуги AD и DC равны. Следовательно, углы, опирающиеся на эти дуги, равны, то есть угол ABD = угол CBD.