3. Окружность девяти точек и радикальные оси...
Углы
и
прямые, так что точки
лежат на одной окружности (
).
Аналогично, точки
лежат на одной окружности (
), и точки
лежат на одной окружности (
).
Но точки
лежат на окружности девяти точек (
).
Окружности
пересекаются в точках
, так что прямая
есть их радикальная ось. Аналогично, прямая
есть радикальная ось пары
. Значит, точка
"равноудалена от
" (т.е., лежит на их радикальной оси). Но эти две окр-ти проходят и через точку
. Значит, прямая
- радикальная ось этой пары.
Аналогично, прямая
есть радикальная ось пары
, а прямая
-радикальная ось пары
.
Но радикальные оси трех окружностей пересекаются в одной точке ("равноудаленной от всех трех"). ЧТД