Дано: О – центр окружности, DK – диаметр, KA и KB – хорды, ∠OAK = ∠OBK.
Доказательство:
- Рассмотрим треугольники △OAK и △OBK.
- OA = OB (радиусы окружности).
- OK – общая сторона.
- По условию ∠OAK = ∠OBK.
- По признаку равенства треугольников по двум сторонам и углу между ними, если бы ∠AOK = ∠BOK, то △OAK = △OBK по двум сторонам и углу между ними. Но у нас дан угол при основании.
- Рассмотрим треугольники △OAK и △OBK. OA = OB (радиусы). OK - общая сторона.
- По теореме синусов для △OAK: \( \frac{AK}{\sin(\angle AOK)} = \frac{OA}{\sin(\angle AKA)} \)
- По теореме синусов для △OBK: \( \frac{BK}{\sin(\angle BOK)} = \frac{OB}{\sin(\angle BKO)} \)
- В △OAK: ∠OKA = 180° - ∠OAK - ∠AOK.
- В △OBK: ∠OKB = 180° - ∠OBK - ∠BOK.
- Поскольку OA = OB, ∠OAK = ∠OBK, то треугольники △OAK и △OBK имеют равные стороны OA и OB, равные углы при основании ∠OAK и ∠OBK, и общую сторону OK.
- Из равенства углов при основании и равных сторон OA=OB, следует, что треугольники △OAK и △OBK будут равны по двум сторонам и углу между ними, если бы мы имели ∠AOK = ∠BOK.
- Рассмотрим треугольники △OAK и △OBK. OA = OB (радиусы). OK - общая сторона. ∠OAK = ∠OBK.
- Из равенства углов ∠OAK = ∠OBK и того, что OA = OB, следует, что △OAK и △OBK являются равнобедренными относительно углов при вершине O, если бы ∠OKA = ∠OKB.
- Рассмотрим треугольники △OAK и △OBK. OA = OB (радиусы). OK - общая сторона.
- Из равенства углов ∠OAK = ∠OBK и OA=OB, следует, что треугольники △OAK и △OBK равны по двум сторонам и углу между ними, если бы ∠AOK = ∠BOK.
- Рассмотрим треугольники △OAK и △OBK. OA = OB (радиусы). OK - общая сторона. ∠OAK = ∠OBK.
- По теореме о равенстве треугольников: Если две стороны и угол между ними одного треугольника равны двум сторонам и углу между ними другого треугольника, то такие треугольники равны.
- У нас есть: OA = OB (радиусы), OK - общая сторона. ∠OAK = ∠OBK.
- Рассмотрим треугольники △OAK и △OBK. OA = OB (радиусы). OK - общая сторона.
- Из равенства углов ∠OAK = ∠OBK и OA = OB, следует, что треугольники △OAK и △OBK подобны.
- Рассмотрим треугольники △OAK и △OBK. OA = OB (радиусы).
- По теореме синусов для △OAK: \( AK = 2 OA · \sin(\angle AOK / 2) \)
- По теореме синусов для △OBK: \( BK = 2 OB · \sin(\angle BOK / 2) \)
- Из условия ∠OAK = ∠OBK, и того, что OA = OB, следует, что треугольники △OAK и △OBK равнобедренные.
- Рассмотрим треугольники △OAK и △OBK. OA = OB (радиусы). OK - общая сторона.
- Из равенства ∠OAK = ∠OBK и OA=OB, следует, что треугольники △OAK и △OBK равны по двум сторонам и прилежащему к ним углу.
- Альтернативное доказательство:
- Рассмотрим треугольники △OAK и △OBK.
- OA = OB (радиусы окружности).
- OK — общая сторона.
- Углы ∠OAK и ∠OBK равны по условию.
- Так как OA = OB, треугольники △OAK и △OBK являются равнобедренными.
- Из равенства углов при основании (∠OAK = ∠OBK) и общей стороны OK, следует, что треугольники △OAK и △OBK равны по стороне и двум прилежащим углам (если бы мы знали ∠AOK и ∠BOK).
- Переформулируем:
- Рассмотрим треугольники △OAK и △OBK.
- 1. OA = OB (как радиусы окружности).
- 2. OK - общая сторона.
- 3. ∠OAK = ∠OBK (по условию).
- Из равенства OA = OB, следует, что △OAK и △OBK являются равнобедренными треугольниками.
- Следовательно, углы при основании равны: ∠OKA = ∠OAK и ∠OKB = ∠OBK.
- Поскольку ∠OAK = ∠OBK, то ∠OKA = ∠OKB.
- Теперь у нас есть два треугольника △OAK и △OBK, в которых:
- - OA = OB (стороны)
- - OK = OK (сторона)
- - ∠OKA = ∠OKB (угол)
- По признаку равенства треугольников по двум сторонам и углу между ними (не подходит, так как угол не между сторонами).
- По признаку равенства треугольников по стороне и двум прилежащим углам (не подходит, так как не знаем ∠AOK и ∠BOK).
- Рассмотрим еще раз:
- В △OAK: OA=OK (радиусы), значит, △OAK равнобедренный. ∠OAK = ∠OKA.
- В △OBK: OB=OK (радиусы), значит, △OBK равнобедренный. ∠OBK = ∠OKB.
- По условию ∠OAK = ∠OBK.
- Следовательно, ∠OKA = ∠OBK.
- Таким образом, ∠OKA = ∠OKB.
- Теперь рассмотрим △OAK и △OBK:
- 1. OA = OB (радиусы)
- 2. OK - общая сторона
- 3. ∠OKA = ∠OKB (доказано выше)
- По признаку равенства треугольников по двум сторонам и углу между ними, △OAK = △OBK.
- Из равенства треугольников следует равенство соответствующих сторон: AK = BK.
Что и требовалось доказать.