Что я не доказываю?))) Я доказала, что углы по 90 градусов,  не используя то, что АО и ОС лежат на одной прямой. А когда получила углы по 90 градусов, могу уже сделать вывод , что А, О и С лежат на одной прямой, если мне это будет нужно.  Могу доказать иначе, но вот захотела так,