Хм, время будет только во вторник, на данный момент не вижу прокола в моих рассуждениях, потому прошу человека разбирающегося в инверсии найти ошибку.
1. Центром инверсии выбираем точку
, радиус инверсии примем равным
.
2. Так как точка
принадлежит окружности инверсии то она инверсируется в себя саму.
3. Так как окружность
проходит через центр инверсии то она инверсируется в прямую
, перпендикулярную прямой проходящей через центр инверсии и центр окружности
, и проходящей через 2 точки пересечения окружности инверсии с окружностью
.
4. Прямая
инверсируется в себя саму, так как она проходит через центр инверсии (вот тут я слабо помню, но в тех пособиях что мне удалось нарыть утверждается именно так).
5. Таким образом задача свелась к построению окружности касательной к прямой
, проходящей через точку
, с условием что её центр принадлежит прямой
.
6. Вписать такую окружность не представляет труда.
7. После обратной инверсии я получаю окружность с центром принадлежащим окружности
, но не касающеюся прямой
, причем, если провести обратную инверсию точки касания окружности с прямой
, реальная точка касания попадает вообще за пределы окружности. Перестраивал несколько раз, значит ошибка в логике, но вот именно её я и не могу найти...