12.3: Допоміжні заяви
Можна порівняти конформну модель з телескопом — це дає можливість побачити h-площину з евклідової площини. Продовжуючи цю аналогію далі, ми можемо сказати, що наступна лема буде використана для націлювання телескопа в будь-яку конкретну точку в h-площині.
Розглянемо h-площину з одиничною окружністю як абсолютну. OДозволяти бути центром абсолюту іP бути іншою h-точкою. Припустимо, щоP′ позначає зворотнеP в абсолюті.
Потім колоΓ з центромP′ і радіусом√1−OP2OP перпендикулярно абсолюту. Більш того,O є зворотнимP вΓ.
- Доказ
-
Випливає з вправи 10.5.2.
Припустимо,Γ це лінія кола, яка перпендикулярна до абсолюту. Розглянемо інверсіюX↦X′ вΓ, або якщоΓ це лінія,X↦X′ встановлена як відображення поперекΓ.
Наступне спостереження говорить про те, що картаX↦X′ поважає всі поняття, введені в попередньому розділі. Разом з лемою вище, це означає, що в будь-якій задачі, яка сформульована повністю в h-терміні, ми можемо припустити, що задана h-точка лежить в центрі абсолюту.
X↦X′Описана вище карта являє собою біекцію від h-площини до себе. Причому для будь-яких h-точокPQ,R таких, щоP≠Q іQ≠R, дотримуються наступні умови:
- h-лінія(PQ)h, h-half-line[PQ)h та h-сегмент[PQ]h перетворюються в(P′Q′)h[P′Q′)h, і[P′Q′]h відповідно.
- δ(P′,Q′)=δ(P,Q)іP′Q′h=PQh.
- ∡hP′Q′R′≡−∡hPQR.
Повчально порівнювати це спостереження з пропозицією [prop:reflection].
- Доказ
-
Згідно з теоремою 10.5.1, карта посилає абсолют собі. Зверніть увагу, що точки наΓ не рухаються, з цього випливає, що точки всередині абсолюту залишаються всередині після відображення. ЗвідкиX↦X′ це біекція від h-площини до себе.
Частина (а) випливає з теореми 10.3.1 та теореми 10.6.1.
Частина (b) випливає з теореми 10.2.1.
Частина (c) випливає з теореми 10.6.1.
Припустімо, що абсолют є одиничною окружністю з центромO. З огляду на h-точкуP, встановлюютьx=OP іy=OPh. Тоді
y=ln1+x1−xіx=ey−1ey+1.
Спостерігайте, що згідно з лемою,OPh→∞ якOP→1. Тобто, якщоP наближається до абсолюту в евклідовому сенсі, він тікає до нескінченності в h-сенсі.
- Доказ
-
Зверніть увагу, що h-лінія(OP)h утворює діаметр абсолютного. ЯкщоA іB є ідеальними точками, як при визначенні h-відстані, то
OA=OB=1,PA=1+x,PB=1−x.
Зокрема,
y=lnAP⋅BOPB⋅OA=ln1+x1−x.
Взявши експоненціальну функцію лівої та правої сторони і застосувавши очевидні маніпуляції алгебри, отримуємо, що
x=ey−1ey+1.
Припустімо точкиPQ, іR з'являються на одній h-лінії в тому ж порядку. Тоді
PQh+QRh=PRh.
- Доказ
-
Зверніть увагу, що
PQh+QRh=PRh
еквівалентний
δ(P,Q)⋅δ(Q,R)=δ(P,R).
НехайA іB будуть ідеальними точками(PQ)h. Без втрати спільності можна вважати, що точкиA,,PQR, іB з'являються в тому ж порядку на окружній лінії, що містить(PQ)h. Тоді
δ(P,Q)⋅δ(Q,R)=AQ⋅BPQB⋅PA⋅AR⋅BQRB⋅QA==AR⋅BPRB⋅PA==δ(P,R).
Звідси випливає 12.3.1.
PДозволяти бути h-точка іρ>0. Безліч усіх h-точок,QPQh=ρ таких як h-коло з центромP і h-радіусомρ.
Будь-яке h-коло - це евклідове коло, яке повністю лежить в h-площині.
Точніше для будь-якої h-точкиP іρ≥0 єˆρ≥0 і точкаˆP така, що
для будь-якої точки hQ.
Причому якщоO це центр абсолюту, то
- ˆO=Oдля будь-якихρ і
- ˆP∈(OP)для будь-якогоP≠O.
- Доказ
-
За словами Лемми12.3.2,OQh\z=ρ якщо і тільки якщо
Тому локус h-точокQ такий, щоOQh=ρ є евклідовим кругом, позначають його поΔρ.
ЯкщоP≠O, то за Леммою12.3.1 і основним спостереженням (теоремою12.3.1) відбувається інверсія, яка поважає всі h-поняття і посилаєO↦P.
Δ′ρДозволяти бути зворотнимΔρ. Так як інверсія зберігає h-відстань,PQh=ρ якщо і тільки якщоQ∈Δ′ρ.
Відповідно до теореми 10.3.1,Δ′ρ є евклідовим кругом. НехайˆP іˆρ позначають евклідовий центр і радіусΔ′ρ.
Нарешті, зверніть увагу, щоΔ′ρ відображає себе поперек(OP); тобто центрˆP лежить на(OP).
ПрипустимоPˆP,, іO знаходяться як в Леммі12.3.1 іP≠O. Покажіть, щоˆP∈[OP].
- Підказка
-
НехайX іY позначають точки перетинів(OP) іΔ′rho. Розглянемо ізометрія(OP)→R така, якаO відповідає 0. Дозволятиx,y,p, іˆp позначають дійсне число, відповіднеX,Y,P, іˆP.
Можна припустити, щоp>0 іx<y. Зверніть увагу, щоˆp=x+y2 і
(1+x)⋅(1−p)(1−x)⋅(1+p)=(1+p)˙(1−y)(1−p)⋅(1+y).
Залишається показати, що все це має на увазі0<ˆp<p.