1. ΔАДС=ΔАВС по катету и гипотенузе. Действительно, в этих треугольниках АС-общая, (∠В=∠Д=90°); АВ=СД по условию.
2. Если от равных треугольников АДС и АВС отнять один и тот же ΔАОС, то остатки тоже будут равны, а именно ΔАВО=ΔСДО, но стороны АО и СО в равных треугольниках лежат против равных прямых углов, значит, равны.
Вывод АО=СО