Доказана
1) BO и CO одинаковые. Потому что они оба радиусы круга.
2) АО имеет общую сторону для треугольника АОВ и АОС.
3) Углы АВО и АСО имеют 90°. Потому что всегда между радиусом и наружной линии будет 90°.
4) У обоих треугольниках одинаковые две стороны и оба прямоугольные треугольники.