Хм, время будет только во вторник, на данный момент не вижу прокола в моих рассуждениях, потому прошу человека разбирающегося в инверсии найти ошибку.
1. Центром инверсии выбираем точку
![$B$ $B$](https://dxdy-03.korotkov.co.uk/f/6/1/e/61e84f854bc6258d4108d08d4c4a085282.png)
, радиус инверсии примем равным
![$AB$ $AB$](https://dxdy-02.korotkov.co.uk/f/5/a/5/5a58df2f9303017b173748509a0aa34c82.png)
.
2. Так как точка
![$A$ $A$](https://dxdy-02.korotkov.co.uk/f/5/3/d/53d147e7f3fe6e47ee05b88b166bd3f682.png)
принадлежит окружности инверсии то она инверсируется в себя саму.
3. Так как окружность
![$w$ $w$](https://dxdy-04.korotkov.co.uk/f/3/1/f/31fae8b8b78ebe01cbfbe2fe5383262482.png)
проходит через центр инверсии то она инверсируется в прямую
![$c$ $c$](https://dxdy-04.korotkov.co.uk/f/3/e/1/3e18a4a28fdee1744e5e3f79d13b9ff682.png)
, перпендикулярную прямой проходящей через центр инверсии и центр окружности
![$w$ $w$](https://dxdy-04.korotkov.co.uk/f/3/1/f/31fae8b8b78ebe01cbfbe2fe5383262482.png)
, и проходящей через 2 точки пересечения окружности инверсии с окружностью
![$w$ $w$](https://dxdy-04.korotkov.co.uk/f/3/1/f/31fae8b8b78ebe01cbfbe2fe5383262482.png)
.
4. Прямая
![$b$ $b$](https://dxdy-01.korotkov.co.uk/f/4/b/d/4bdc8d9bcfb35e1c9bfb51fc69687dfc82.png)
инверсируется в себя саму, так как она проходит через центр инверсии (вот тут я слабо помню, но в тех пособиях что мне удалось нарыть утверждается именно так).
5. Таким образом задача свелась к построению окружности касательной к прямой
![$b$ $b$](https://dxdy-01.korotkov.co.uk/f/4/b/d/4bdc8d9bcfb35e1c9bfb51fc69687dfc82.png)
, проходящей через точку
![$A$ $A$](https://dxdy-02.korotkov.co.uk/f/5/3/d/53d147e7f3fe6e47ee05b88b166bd3f682.png)
, с условием что её центр принадлежит прямой
![$c$ $c$](https://dxdy-04.korotkov.co.uk/f/3/e/1/3e18a4a28fdee1744e5e3f79d13b9ff682.png)
.
6. Вписать такую окружность не представляет труда.
7. После обратной инверсии я получаю окружность с центром принадлежащим окружности
![$w$ $w$](https://dxdy-04.korotkov.co.uk/f/3/1/f/31fae8b8b78ebe01cbfbe2fe5383262482.png)
, но не касающеюся прямой
![$b$ $b$](https://dxdy-01.korotkov.co.uk/f/4/b/d/4bdc8d9bcfb35e1c9bfb51fc69687dfc82.png)
, причем, если провести обратную инверсию точки касания окружности с прямой
![$b$ $b$](https://dxdy-01.korotkov.co.uk/f/4/b/d/4bdc8d9bcfb35e1c9bfb51fc69687dfc82.png)
, реальная точка касания попадает вообще за пределы окружности. Перестраивал несколько раз, значит ошибка в логике, но вот именно её я и не могу найти...