Для доказательства перпендикулярности отрезков FK и O1O2, обратимся к геометрическим свойствам окружностей и центров.
Как известно, отрезок между центром окружности и точкой пересечения с ней перпендикулярен к хорде, соединяющей центр с этой точкой пересечения.
Таким образом, отрезок O1F (где F - точка пересечения двух окружностей) будет перпендикулярен к отрезку FK, который соединяет точки пересечения. Аналогично, отрезок O2K будет перпендикулярен к отрезку FK.
Следовательно, отрезки FK и O1O2 перпендикулярны друг другу в силу геометрических свойств окружностей и центров.
Таким образом, доказано, что отрезки FK и O1O2 перпендикулярны друг другу.
