Функция
отображает луночку G на внутренность угла
(Откуда они это взяли?Почему именно на внутренность такого угла??)
Почему они берут w именно от 2 и
??
Эта функция придумана так, чтобы первую точку пересечения она переводила в ноль, вторую -- в бесконечность. Т.е. вторая вершина лунки разрывается, и лунка тем самум превращается в угол с раствором 90 градусов (т.к.именно таким был угол при первой вершине до преобразования, а измениться он не может). Вопрос лишь в том, куда эти лучи (выходящие из образа первой вершины, т.е. из начала координат) направлены; для его выяснения они и подставляют те точки. Корень из двух до преобразования лежал внутри лунки на прямой, соединяющей вершины, причём обе окружности пересекаются с этой прямой под одинаковыми углами. Значит, и после преобразования будет так же, т.е. образ корня из двух лежит на биссектрисе угла. А поскольку этот образ оказался равным мнимой единичке -- биссектрисой будет положительная мнимая полуось, и с картинкой всё ясно. (Зачем подставляют ещё и двойку, лежавшую на правой дуге -- не знаю, может, шаблон там у них какой; фактически это не нужно.)
-------------------------------------------
А, сообразил, зачем. Действительно, шаблон. Они подставляют корень из двух как просто некую внутреннюю точку, даже и не задумываясь о соображениях симметрии. А затем двойку -- чтобы зафиксировать положение одного из лучей, после чего положение второго определяется уже автоматически.