Чтобы доказать, что \( FE = KL \), дано, что \( FO = OL \) и \( \angle EFO = \angle OLK \).
Обозначим \( FO = OL = c \) (по условию).
Обозначим \( \angle EFO = \angle OLK = \alpha \) (по условию).
В треугольнике \( \triangle EFO \):
- \( FE = a \)
- \( FO = c \)
В этом треугольнике можно воспользоваться законом синусов: \[ \frac{FE}{\sin(\angle EFO)} = \frac{FO}{\sin(\angle OFE)} \] То есть: \[ \frac{a}{\sin(\alpha)} = \frac{c}{\sin(\angle OFE)} \]
В треугольнике \( \triangle OLK \):
- \( KL = b \)
- \( OL = c \)
Аналогичным образом, используя закон синусов: \[ \frac{KL}{\sin(\angle OLK)} = \frac{OL}{\sin(\angle OKL)} \] То есть: \[ \frac{b}{\sin(\alpha)} = \frac{c}{\sin(\angle OKL)} \]
Мы получили системы уравнений для \( FE \) и \( KL \). На основании того, что \( \angle EFO = \angle OLK \), и исходя из равенства \( FO = OL \), можно сделать вывод, что хорды в обоих треугольниках пропорциональны.
Если \( \angle OFE = \angle OKL \), то по равенству соответствующих сторон и углов получаем, что \[ FE = KL. \]
Таким образом, мы доказали, что \( FE = KL \).
