Доказательство:
Чтобы доказать равенство ОК и OL, нужно показать, что треугольники, в которых эти отрезки являются высотами, равны.
1. Свойства хорд и центральных углов:
- В окружности равным центральным углам соответствуют равные дуги.
- Равным дугам соответствуют равные хорды.
- Перпендикуляр, опущенный из центра окружности на хорду, делит хорду пополам.
2. Условие задачи:
- Центральные углы ∠AOB и ∠COD равны.
- OK ⊥ AB, OL ⊥ CD.
3. Равенство дуг и хорд:
- Так как ∠AOB = ∠COD, то дуга AB равна дуге CD.
- Следовательно, хорда AB равна хорде CD.
4. Рассмотрение треугольников:
- Рассмотрим прямоугольные треугольники ΔOKA и ΔOLC.
- В них:
- Гипотенузы OA и OC являются радиусами окружности, значит, OA = OC.
- OK и OL — катеты, которые нам нужно доказать равными.
- AK = KB = AB/2 и CL = LD = CD/2.
- Так как AB = CD, то AK = CL.
- Следовательно, треугольники ΔOKA и ΔOLC равны по двум катетам (или по гипотенузе и катету, если использовать свойства OK и OL как высот, опущенных из центра).
5. Другой подход (через равенство треугольников ΔAOB и ΔCOD):
- Треугольники ΔAOB и ΔCOD равны по двум сторонам (радиусы OA=OC, OB=OD) и углу между ними (∠AOB = ∠COD).
- Следовательно, AB = CD.
- OK — высота в равнобедренном треугольнике ΔAOB, проведенная к основанию AB. Следовательно, OK является также медианой и биссектрисой. AK = KB = AB/2.
- OL — высота в равнобедренном треугольнике ΔCOD, проведенная к основанию CD. Следовательно, OL является также медианой и биссектрисой. CL = LD = CD/2.
- Так как AB = CD, то AB/2 = CD/2, значит, AK = CL.
- Рассмотрим прямоугольные треугольники ΔOKA и ΔOLC.
- OA = OC (радиусы).
- AK = CL (половины равных хорд).
- Следовательно, ΔOKA = ΔOLC по гипотенузе и катету.
- Отсюда следует, что их соответствующие катеты равны: OK = OL.
6. Вывод:
- Поскольку OK и OL являются соответствующими катетами равных прямоугольных треугольников, то OK = OL.