Для доказательства того, что \( BK = AK \), давайте введем некоторые обозначения и используем свойства треугольников.
Обозначим точки:
- \( B \) и \( A \) — точки на одной прямой,
- \( S \) — точка, из которой проведены отрезки \( BS \) и \( AS \),
- \( T \) — произвольно выбранная точка, такая что углы \( \angle BST \) и \( \angle AST \) равны, а также \( \angle STB \) и \( \angle STA \) равны.
Из условия задачи мы имеем: \[ \angle BST = \angle AST \quad \text{и} \quad \angle STB = \angle STA. \]
Это означает, что треугольники \( \triangle BST \) и \( \triangle AST \) подобны по углам, а также \( \triangle STB \) и \( \triangle STA \) также подобны.
Признак подобия треугольников (по двум углам) указывает на то, что отношение соответствующих сторон этих треугольников будет одинаковым.
Обозначим:
- \( BK \) и \( AK \) — проекции отрезков \( BS \) и \( AS \) на ось \( AB \) (или просто расстояния от точки \( K \) до точек \( B \) и \( A \) соответственно).
Из подобия треугольников можно записать следующие соотношения: \[ \frac{BK}{BS} = \frac{AK}{AS}. \]
Так как \( BS = AS \) (в силу подобия и равенства углов), мы предполагаем, что \( S \) лежит на какой-то окружности, и, следовательно, \( BK \) и \( AK \) будут равны.
Таким образом, выводим: \[ BK = AK. \]
Следовательно, мы доказали, что \( BK = AK \).