Поскольку в треугольнике ВСД справедлива теорема Пифагора: ВС²+СД²=ВД², то ∠С=90°.
В треугольнике ВАД тоже справедлива т.Пифагора: АВ²+АД²=ВД², следовательно, ∠А=90°.
Возвращаясь к четырёхугольнику АВСД, видим, что сумма противоположных углов А и С равна 180°, а на сумму углов В и Д припадает тоже 360°-180°=180°, т.е. выполняется необходимое и достаточное условие для возможности описать около данного четырёхугольника окружность, что и следовало доказать.