Loading [MathJax]/jax/output/HTML-CSS/jax.js
Skip to main content
LibreTexts - Ukrayinska

12.3: Допоміжні заяви

Можна порівняти конформну модель з телескопом — це дає можливість побачити h-площину з евклідової площини. Продовжуючи цю аналогію далі, ми можемо сказати, що наступна лема буде використана для націлювання телескопа в будь-яку конкретну точку в h-площині.

Лемма12.3.1

Розглянемо h-площину з одиничною окружністю як абсолютну. OДозволяти бути центром абсолюту іP бути іншою h-точкою. Припустимо, щоP позначає зворотнеP в абсолюті.

Потім колоΓ з центромP і радіусом1OP2OP перпендикулярно абсолюту. Більш того,O є зворотнимP вΓ.

2021-02-23 пнг

Доказ

Випливає з вправи 10.5.2.

Припустимо,Γ це лінія кола, яка перпендикулярна до абсолюту. Розглянемо інверсіюXX вΓ, або якщоΓ це лінія,XX встановлена як відображення поперекΓ.

Наступне спостереження говорить про те, що картаXX поважає всі поняття, введені в попередньому розділі. Разом з лемою вище, це означає, що в будь-якій задачі, яка сформульована повністю в h-терміні, ми можемо припустити, що задана h-точка лежить в центрі абсолюту.

Теорема12.3.1

XXОписана вище карта являє собою біекцію від h-площини до себе. Причому для будь-яких h-точокPQ,R таких, щоPQ іQR, дотримуються наступні умови:

  1. h-лінія(PQ)h, h-half-line[PQ)h та h-сегмент[PQ]h перетворюються в(PQ)h[PQ)h, і[PQ]h відповідно.
  2. δ(P,Q)=δ(P,Q)іPQh=PQh.
  3. hPQRhPQR.

Повчально порівнювати це спостереження з пропозицією [prop:reflection].

Доказ

Згідно з теоремою 10.5.1, карта посилає абсолют собі. Зверніть увагу, що точки наΓ не рухаються, з цього випливає, що точки всередині абсолюту залишаються всередині після відображення. ЗвідкиXX це біекція від h-площини до себе.

Частина (а) випливає з теореми 10.3.1 та теореми 10.6.1.

Частина (b) випливає з теореми 10.2.1.

Частина (c) випливає з теореми 10.6.1.

Лемма12.3.2

Припустімо, що абсолют є одиничною окружністю з центромO. З огляду на h-точкуP, встановлюютьx=OP іy=OPh. Тоді

y=ln1+x1xіx=ey1ey+1.

Спостерігайте, що згідно з лемою,OPh якOP1. Тобто, якщоP наближається до абсолюту в евклідовому сенсі, він тікає до нескінченності в h-сенсі.

Доказ

2021-02-23 см

Зверніть увагу, що h-лінія(OP)h утворює діаметр абсолютного. ЯкщоA іB є ідеальними точками, як при визначенні h-відстані, то

OA=OB=1,PA=1+x,PB=1x.

Зокрема,

y=lnAPBOPBOA=ln1+x1x.

Взявши експоненціальну функцію лівої та правої сторони і застосувавши очевидні маніпуляції алгебри, отримуємо, що

x=ey1ey+1.

Лемма12.3.3

Припустімо точки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)=AQBPQBPAARBQRBQA==ARBPRBPA==δ(P,R).

Звідси випливає 12.3.1.

PДозволяти бути h-точка іρ>0. Безліч усіх h-точок,QPQh=ρ таких як h-коло з центромP і h-радіусомρ.

Лемма12.3.4

Будь-яке h-коло - це евклідове коло, яке повністю лежить в h-площині.

Точніше для будь-якої h-точкиP іρ0 єˆρ0 і точкаˆP така, що

для будь-якої точки hQ.

Причому якщоO це центр абсолюту, то

  1. ˆO=Oдля будь-якихρ і
  2. ˆP(OP)для будь-якогоPO.
Доказ

За словами Лемми12.3.2,OQh\z=ρ якщо і тільки якщо

Тому локус h-точокQ такий, щоOQh=ρ є евклідовим кругом, позначають його поΔρ.

2021-02-24 пнг

ЯкщоPO, то за Леммою12.3.1 і основним спостереженням (теоремою12.3.1) відбувається інверсія, яка поважає всі h-поняття і посилаєOP.

ΔρДозволяти бути зворотнимΔρ. Так як інверсія зберігає h-відстань,PQh=ρ якщо і тільки якщоQΔρ.

Відповідно до теореми 10.3.1,Δρ є евклідовим кругом. НехайˆP іˆρ позначають евклідовий центр і радіусΔρ.

Нарешті, зверніть увагу, щоΔρ відображає себе поперек(OP); тобто центрˆP лежить на(OP).

Вправа12.3.1

ПрипустимоPˆP,, іO знаходяться як в Леммі12.3.1 іPO. Покажіть, щоˆ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)(1p)(1x)(1+p)=(1+p)˙(1y)(1p)(1+y).

Залишається показати, що все це має на увазі0<ˆp<p.