FrizzyBoyСобственно, мое замечание было комментарием к Вашей задачи (я полагал, что она уже решена в процессе обсуждения) , но не предложением о способе ее решения. Конечно, теорему Римана для решения Вашей задачи использовать не надо (наоборот, ваша задача видимо будет затем использована при обсуждении нормировок в теореме).
Но давайте зафиксируем терминологию, чтобы не было путаницы.
Итак: линейное отображение - это отображение вида
![$z \mapsto az+b$ $z \mapsto az+b$](https://dxdy-04.korotkov.co.uk/f/3/6/8/368cc9878468a73f2a43f8e85665b2a682.png)
. Мебиусовы
![$=$ $=$](https://dxdy-02.korotkov.co.uk/f/5/9/1/591ff9c1652b7e605ef0190a9713c14082.png)
дробно-линейные. В задаче Вашей речь идет о дробно- линейных. Уточним ее формулировку: даны два круга. Тогда:
1. Существует дробно-линейное, переводящее первый круг на второй.
2. Более того, для любой внутренней
![$z_0$ $z_0$](https://dxdy-02.korotkov.co.uk/f/d/1/a/d1a81d9dc6dd30e43ba27c5490a34a3282.png)
и граничной
![$z_1$ $z_1$](https://dxdy-02.korotkov.co.uk/f/9/8/4/9846e95013d0238ac53659ac26ee63f282.png)
первого круга существует др-линейное, переводящее первый круг - в единичный круг
![$K_0$ $K_0$](https://dxdy-03.korotkov.co.uk/f/e/9/a/e9aaf76f0a4e315c1f4a8f8cab730a2d82.png)
,
![$z_0$ $z_0$](https://dxdy-02.korotkov.co.uk/f/d/1/a/d1a81d9dc6dd30e43ba27c5490a34a3282.png)
в 0,
![$z_1$ $z_1$](https://dxdy-02.korotkov.co.uk/f/9/8/4/9846e95013d0238ac53659ac26ee63f282.png)
- в 1.
3. Если два др-линейных переводят первый круг на второй, и совпадают в точках
![$z_0, z_1$ $z_0, z_1$](https://dxdy-01.korotkov.co.uk/f/c/d/3/cd36a0c772af91804f8c3363cdfbab2f82.png)
, то они совпадают везде.
Собственно, Ваша задача - это 3. Остальное - так.
Поехали:
1. Выберем на границе первого (и второго) по три точки в порядке следования "против часовой". Построим др-линейное, переводящее первую тройку во вторую. Из кругового свойства следует, что оно переводит первую окружность во вторую. Из принципа соответствия границ тогда: образ первого круга есть второй.
2. Отобразим, по п.1, первый круг на единичный
![$K_1$ $K_1$](https://dxdy-03.korotkov.co.uk/f/6/d/6/6d6968ce16fa7a6d8af6261f0d09b3b982.png)
, и пусть
![$a$ $a$](https://dxdy-01.korotkov.co.uk/f/4/4/b/44bc9d542a92714cac84e01cbbb7fd6182.png)
- образ точки
![$z_0$ $z_0$](https://dxdy-02.korotkov.co.uk/f/d/1/a/d1a81d9dc6dd30e43ba27c5490a34a3282.png)
Отображение
![$z\mapsto \frac{z-a}{1- \overline{a}z}$ $z\mapsto \frac{z-a}{1- \overline{a}z}$](https://dxdy-03.korotkov.co.uk/f/6/4/b/64b2fcff808d5b9751a4b513fc0b465f82.png)
переводит
![$K_1$ $K_1$](https://dxdy-03.korotkov.co.uk/f/6/d/6/6d6968ce16fa7a6d8af6261f0d09b3b982.png)
в себя (это надо проверить!), а точку
![$a$ $a$](https://dxdy-01.korotkov.co.uk/f/4/4/b/44bc9d542a92714cac84e01cbbb7fd6182.png)
- в 0. Теперь отследим, куда попала в результате точка
![$z_1$ $z_1$](https://dxdy-02.korotkov.co.uk/f/9/8/4/9846e95013d0238ac53659ac26ee63f282.png)
, и поворотом переведем ее в точку 1. Итого: композиция трех отображений (она - др-лин. по групповому свойству) - искомая.
3. С учетом п.2, достаточно проверить , что др-линейное, переводящее единичный круг в себя, и оставляющее на месте точки 0 и 1, является тождественным. Пусть оно имеет вид
![$w= \frac{az+b}{cz+d}$ $w= \frac{az+b}{cz+d}$](https://dxdy-01.korotkov.co.uk/f/c/0/a/c0afdbc0db39953a7f578cb3e95135c182.png)
. Из свойства Симметричность следует : оно точку
![$\infty$ $\infty$](https://dxdy-04.korotkov.co.uk/f/f/7/a/f7a0f24dc1f54ce82fecccbbf48fca9382.png)
тоже переводит в себя (почему?). Осталось посмотреть, что все это значит для коэф-тов...