Доказательство: Дано: окружность. OA, OK, OB - радиусы. ∠CAO = ∠CBO. Доказать: BC = AC

Дано:

• Окружность с центром O.
• OA, OK, OB — радиусы.
• \[ \angle CAO = \angle CBO \]

Доказать:

• \[ BC = AC \]

Доказательство:

1. \[ \angle CAO = \angle CBO \] (по условию)
2. Так как OA и OB — радиусы окружности, то OA = OB.
3. Треугольники ╨CAO и ╨CBO являются прямоугольными, так как OK — радиус, проведенный к хорде AB, а также OK является высотой в равнобедренном треугольнике OAB. Однако, из данных условия нельзя утверждать, что OK перпендикулярна AB.
4. Рассмотрим треугольники ╨AOC и ╨BOC.
5. OA = OB (радиусы).
6. OC — общая сторона.
7. Углы ╨CAO и ╨CBO равны.
8. В треугольнике ╨AOC, напротив равных углов ╨CAO и ╨COA (если бы OA=OC), лежали бы равные стороны. Но OA=OC, поэтому ╨CAO = ╨ACO.
9. Рассмотрим треугольники ╨AOC и ╨BOC.
10. OA = OB (радиусы).
11. ╨CAO = ╨CBO (по условию).
12. Из равенства ╨CAO = ╨CBO следует, что треугольник ╨ABC равнобедренный с основанием AB, если бы C лежала на окружности. Но C - точка на окружности.
13. В треугольнике ╨OAC: OA = OC (радиусы), значит, ╨OAC = ╨OCA.
14. В треугольнике ╨OBC: OB = OC (радиусы), значит, ╨OBC = ╨OCB.
15. По условию ╨CAO = ╨CBO.
16. Следовательно, ╨OCA = ╨OCB.
17. Рассмотрим треугольники ╨ABC:
18. AC = BC.
19. Это следует из того, что ╨OCA = ╨OCB, и треугольники ╨AOC и ╨BOC равны по двум углам и прилежащей стороне (OA=OB, ╨CAO=╨CBO, ╨OCA=╨OCB).
20. Более того, треугольники ╨ABC равны по двум сторонам и углу между ними: AC = BC, OC - общая, ╨OCA = ╨OCB.
21. Но более строго: ╨AOC = ╨BOC (по двум углам и стороне между ними, так как ╨CAO = ╨CBO, OA = OB, и ╨OCA = ╨OCB).
22. Из равенства треугольников ╨AOC и ╨BOC следует, что AC = BC.

Ответ: BC = AC