Top Banner
MATH 3210: Euclidean and Non-Euclidean Geometry The Poincaré Model Incidence, the Failure of (P), and Betweenness April 20, 2020 The Poincaré Model MATH 3210: Euclidean and Non-Euclidean Geometry
46

MATH 3210: Euclidean and Non-Euclidean Geometryszendrei/Geom_S20/lec-04-20.pdf · Euclidean and Non-Euclidean Geometry The Poincaré Model Incidence, the Failure of (P), and Betweenness

Sep 13, 2020

Download

Documents

dariahiddleston
Welcome message from author
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Page 1: MATH 3210: Euclidean and Non-Euclidean Geometryszendrei/Geom_S20/lec-04-20.pdf · Euclidean and Non-Euclidean Geometry The Poincaré Model Incidence, the Failure of (P), and Betweenness

MATH 3210:Euclidean and Non-Euclidean Geometry

The Poincaré Model

Incidence, the Failure of (P), and Betweenness

April 20, 2020

The Poincaré Model MATH 3210: Euclidean and Non-Euclidean Geometry

Page 2: MATH 3210: Euclidean and Non-Euclidean Geometryszendrei/Geom_S20/lec-04-20.pdf · Euclidean and Non-Euclidean Geometry The Poincaré Model Incidence, the Failure of (P), and Betweenness

The Poincaré Model

The Poincaré model• is a geometry (with points, lines, and notions of betweenness and

conguence for segments and angles) defined within a Cartesianplane ΠF over a Euclidean ordered field (F ;<), which

• satisfies Hilbert’s axioms (I1)–(I3), (B1)–(B4), and (C1)–(C6),• but fails to satisfy Playfair’s axiom (P).

Let ΠF be a Cartesian plane ΠF over a Euclidean ordered field (F ;<), andlet Γ be a fixed circle in ΠF with center O.

Definition. The points of the Poincaré model,called P-points, are the points of ΠF inside Γ.The lines of the Poincaré model, calledP-lines are� the sets `P of P-points of lines ` (in ΠF )

that pass through O; and� the sets γP of P-points of circles γ (in ΠF )

that are perpendicular to Γ.

Γ

O

`

`P

γ

γP

The Poincaré Model MATH 3210: Euclidean and Non-Euclidean Geometry

Page 3: MATH 3210: Euclidean and Non-Euclidean Geometryszendrei/Geom_S20/lec-04-20.pdf · Euclidean and Non-Euclidean Geometry The Poincaré Model Incidence, the Failure of (P), and Betweenness

The Poincaré Model

The Poincaré model• is a geometry (with points, lines, and notions of betweenness and

conguence for segments and angles) defined within a Cartesianplane ΠF over a Euclidean ordered field (F ;<), which• satisfies Hilbert’s axioms (I1)–(I3), (B1)–(B4), and (C1)–(C6),

• but fails to satisfy Playfair’s axiom (P).

Let ΠF be a Cartesian plane ΠF over a Euclidean ordered field (F ;<), andlet Γ be a fixed circle in ΠF with center O.

Definition. The points of the Poincaré model,called P-points, are the points of ΠF inside Γ.The lines of the Poincaré model, calledP-lines are� the sets `P of P-points of lines ` (in ΠF )

that pass through O; and� the sets γP of P-points of circles γ (in ΠF )

that are perpendicular to Γ.

Γ

O

`

`P

γ

γP

The Poincaré Model MATH 3210: Euclidean and Non-Euclidean Geometry

Page 4: MATH 3210: Euclidean and Non-Euclidean Geometryszendrei/Geom_S20/lec-04-20.pdf · Euclidean and Non-Euclidean Geometry The Poincaré Model Incidence, the Failure of (P), and Betweenness

The Poincaré Model

The Poincaré model• is a geometry (with points, lines, and notions of betweenness and

conguence for segments and angles) defined within a Cartesianplane ΠF over a Euclidean ordered field (F ;<), which• satisfies Hilbert’s axioms (I1)–(I3), (B1)–(B4), and (C1)–(C6),• but fails to satisfy Playfair’s axiom (P).

Let ΠF be a Cartesian plane ΠF over a Euclidean ordered field (F ;<), andlet Γ be a fixed circle in ΠF with center O.

Definition. The points of the Poincaré model,called P-points, are the points of ΠF inside Γ.The lines of the Poincaré model, calledP-lines are� the sets `P of P-points of lines ` (in ΠF )

that pass through O; and� the sets γP of P-points of circles γ (in ΠF )

that are perpendicular to Γ.

Γ

O

`

`P

γ

γP

The Poincaré Model MATH 3210: Euclidean and Non-Euclidean Geometry

Page 5: MATH 3210: Euclidean and Non-Euclidean Geometryszendrei/Geom_S20/lec-04-20.pdf · Euclidean and Non-Euclidean Geometry The Poincaré Model Incidence, the Failure of (P), and Betweenness

The Poincaré Model

The Poincaré model• is a geometry (with points, lines, and notions of betweenness and

conguence for segments and angles) defined within a Cartesianplane ΠF over a Euclidean ordered field (F ;<), which• satisfies Hilbert’s axioms (I1)–(I3), (B1)–(B4), and (C1)–(C6),• but fails to satisfy Playfair’s axiom (P).

Let ΠF be a Cartesian plane ΠF over a Euclidean ordered field (F ;<), andlet Γ be a fixed circle in ΠF with center O.

Definition. The points of the Poincaré model,called P-points, are the points of ΠF inside Γ.The lines of the Poincaré model, calledP-lines are� the sets `P of P-points of lines ` (in ΠF )

that pass through O; and� the sets γP of P-points of circles γ (in ΠF )

that are perpendicular to Γ.

Γ

O

`

`P

γ

γP

The Poincaré Model MATH 3210: Euclidean and Non-Euclidean Geometry

Page 6: MATH 3210: Euclidean and Non-Euclidean Geometryszendrei/Geom_S20/lec-04-20.pdf · Euclidean and Non-Euclidean Geometry The Poincaré Model Incidence, the Failure of (P), and Betweenness

The Poincaré Model

The Poincaré model• is a geometry (with points, lines, and notions of betweenness and

conguence for segments and angles) defined within a Cartesianplane ΠF over a Euclidean ordered field (F ;<), which• satisfies Hilbert’s axioms (I1)–(I3), (B1)–(B4), and (C1)–(C6),• but fails to satisfy Playfair’s axiom (P).

Let ΠF be a Cartesian plane ΠF over a Euclidean ordered field (F ;<), andlet Γ be a fixed circle in ΠF with center O.

Definition. The points of the Poincaré model,called P-points, are the points of ΠF inside Γ.

The lines of the Poincaré model, calledP-lines are� the sets `P of P-points of lines ` (in ΠF )

that pass through O; and� the sets γP of P-points of circles γ (in ΠF )

that are perpendicular to Γ.

Γ

O

`

`P

γ

γP

The Poincaré Model MATH 3210: Euclidean and Non-Euclidean Geometry

Page 7: MATH 3210: Euclidean and Non-Euclidean Geometryszendrei/Geom_S20/lec-04-20.pdf · Euclidean and Non-Euclidean Geometry The Poincaré Model Incidence, the Failure of (P), and Betweenness

The Poincaré Model

The Poincaré model• is a geometry (with points, lines, and notions of betweenness and

conguence for segments and angles) defined within a Cartesianplane ΠF over a Euclidean ordered field (F ;<), which• satisfies Hilbert’s axioms (I1)–(I3), (B1)–(B4), and (C1)–(C6),• but fails to satisfy Playfair’s axiom (P).

Let ΠF be a Cartesian plane ΠF over a Euclidean ordered field (F ;<), andlet Γ be a fixed circle in ΠF with center O.

Definition. The points of the Poincaré model,called P-points, are the points of ΠF inside Γ.The lines of the Poincaré model, calledP-lines are

� the sets `P of P-points of lines ` (in ΠF )that pass through O; and� the sets γP of P-points of circles γ (in ΠF )

that are perpendicular to Γ.

Γ

O

`

`P

γ

γP

The Poincaré Model MATH 3210: Euclidean and Non-Euclidean Geometry

Page 8: MATH 3210: Euclidean and Non-Euclidean Geometryszendrei/Geom_S20/lec-04-20.pdf · Euclidean and Non-Euclidean Geometry The Poincaré Model Incidence, the Failure of (P), and Betweenness

The Poincaré Model

The Poincaré model• is a geometry (with points, lines, and notions of betweenness and

conguence for segments and angles) defined within a Cartesianplane ΠF over a Euclidean ordered field (F ;<), which• satisfies Hilbert’s axioms (I1)–(I3), (B1)–(B4), and (C1)–(C6),• but fails to satisfy Playfair’s axiom (P).

Let ΠF be a Cartesian plane ΠF over a Euclidean ordered field (F ;<), andlet Γ be a fixed circle in ΠF with center O.

Definition. The points of the Poincaré model,called P-points, are the points of ΠF inside Γ.The lines of the Poincaré model, calledP-lines are� the sets `P of P-points of lines ` (in ΠF )

that pass through O; and

� the sets γP of P-points of circles γ (in ΠF )that are perpendicular to Γ.

Γ

O

`

`P

γ

γP

The Poincaré Model MATH 3210: Euclidean and Non-Euclidean Geometry

Page 9: MATH 3210: Euclidean and Non-Euclidean Geometryszendrei/Geom_S20/lec-04-20.pdf · Euclidean and Non-Euclidean Geometry The Poincaré Model Incidence, the Failure of (P), and Betweenness

The Poincaré Model

The Poincaré model• is a geometry (with points, lines, and notions of betweenness and

conguence for segments and angles) defined within a Cartesianplane ΠF over a Euclidean ordered field (F ;<), which• satisfies Hilbert’s axioms (I1)–(I3), (B1)–(B4), and (C1)–(C6),• but fails to satisfy Playfair’s axiom (P).

Let ΠF be a Cartesian plane ΠF over a Euclidean ordered field (F ;<), andlet Γ be a fixed circle in ΠF with center O.

Definition. The points of the Poincaré model,called P-points, are the points of ΠF inside Γ.The lines of the Poincaré model, calledP-lines are� the sets `P of P-points of lines ` (in ΠF )

that pass through O; and� the sets γP of P-points of circles γ (in ΠF )

that are perpendicular to Γ.

Γ

O

`

`P

γ

γP

The Poincaré Model MATH 3210: Euclidean and Non-Euclidean Geometry

Page 10: MATH 3210: Euclidean and Non-Euclidean Geometryszendrei/Geom_S20/lec-04-20.pdf · Euclidean and Non-Euclidean Geometry The Poincaré Model Incidence, the Failure of (P), and Betweenness

The Incidence Axioms Hold in the Poincaré Model

(I1) holds: For any two distinct P-points A and B there exists aunique P-line that contains both A and B.

Proof. Let A 6= B be P-points; say A 6= O. Let A′ = ρΓ(A) (in ΠF ).• A,B,A′ are distinct, and O,A,A′ are collinear (in ΠF ).

Case 1: A,B,O are not collinear (in ΠF ).• No P-line `P (O ∈ `) contains both A,B.• A circle γ ⊥ Γ passing through A,B has to

contain the noncollinear points A,B,A′.• Hence there is a unique P-line γP containing both A,B.

Γ

O

γ

γP

A

B

A′

Γ

O

`P

`

A

B

A′

Case 2: A,B,O (hence also A′) lie on a line ` (in ΠF ).• A,B ∈ `P.• No other P-line mP (O ∈ m 6= `) contains both A,B.• No circle γ ⊥ Γ passes through A,B, because

such a γ should contain A,B,A′ ∈ `.• Therefore no P-line γP contains both A,B.

(I2) holds: Every P-line contains at least two points.

(I3) holds: There exist three P-points that are not contained in asingle P-line.

The Poincaré Model MATH 3210: Euclidean and Non-Euclidean Geometry

Page 11: MATH 3210: Euclidean and Non-Euclidean Geometryszendrei/Geom_S20/lec-04-20.pdf · Euclidean and Non-Euclidean Geometry The Poincaré Model Incidence, the Failure of (P), and Betweenness

The Incidence Axioms Hold in the Poincaré Model

(I1) holds: For any two distinct P-points A and B there exists aunique P-line that contains both A and B.

Proof. Let A 6= B be P-points; say A 6= O.

Let A′ = ρΓ(A) (in ΠF ).• A,B,A′ are distinct, and O,A,A′ are collinear (in ΠF ).

Case 1: A,B,O are not collinear (in ΠF ).• No P-line `P (O ∈ `) contains both A,B.• A circle γ ⊥ Γ passing through A,B has to

contain the noncollinear points A,B,A′.• Hence there is a unique P-line γP containing both A,B.

Γ

O

γ

γP

A

B

A′

Γ

O

`P

`

A

B

A′

Case 2: A,B,O (hence also A′) lie on a line ` (in ΠF ).• A,B ∈ `P.• No other P-line mP (O ∈ m 6= `) contains both A,B.• No circle γ ⊥ Γ passes through A,B, because

such a γ should contain A,B,A′ ∈ `.• Therefore no P-line γP contains both A,B.

(I2) holds: Every P-line contains at least two points.

(I3) holds: There exist three P-points that are not contained in asingle P-line.

The Poincaré Model MATH 3210: Euclidean and Non-Euclidean Geometry

Page 12: MATH 3210: Euclidean and Non-Euclidean Geometryszendrei/Geom_S20/lec-04-20.pdf · Euclidean and Non-Euclidean Geometry The Poincaré Model Incidence, the Failure of (P), and Betweenness

The Incidence Axioms Hold in the Poincaré Model

(I1) holds: For any two distinct P-points A and B there exists aunique P-line that contains both A and B.

Proof. Let A 6= B be P-points; say A 6= O. Let A′ = ρΓ(A) (in ΠF ).

• A,B,A′ are distinct, and O,A,A′ are collinear (in ΠF ).

Case 1: A,B,O are not collinear (in ΠF ).• No P-line `P (O ∈ `) contains both A,B.• A circle γ ⊥ Γ passing through A,B has to

contain the noncollinear points A,B,A′.• Hence there is a unique P-line γP containing both A,B.

Γ

O

γ

γP

A

B

A′

Γ

O

`P

`

A

B

A′

Case 2: A,B,O (hence also A′) lie on a line ` (in ΠF ).• A,B ∈ `P.• No other P-line mP (O ∈ m 6= `) contains both A,B.• No circle γ ⊥ Γ passes through A,B, because

such a γ should contain A,B,A′ ∈ `.• Therefore no P-line γP contains both A,B.

(I2) holds: Every P-line contains at least two points.

(I3) holds: There exist three P-points that are not contained in asingle P-line.

The Poincaré Model MATH 3210: Euclidean and Non-Euclidean Geometry

Page 13: MATH 3210: Euclidean and Non-Euclidean Geometryszendrei/Geom_S20/lec-04-20.pdf · Euclidean and Non-Euclidean Geometry The Poincaré Model Incidence, the Failure of (P), and Betweenness

The Incidence Axioms Hold in the Poincaré Model

(I1) holds: For any two distinct P-points A and B there exists aunique P-line that contains both A and B.

Proof. Let A 6= B be P-points; say A 6= O. Let A′ = ρΓ(A) (in ΠF ).• A,B,A′ are distinct, and O,A,A′ are collinear (in ΠF ).

Case 1: A,B,O are not collinear (in ΠF ).• No P-line `P (O ∈ `) contains both A,B.• A circle γ ⊥ Γ passing through A,B has to

contain the noncollinear points A,B,A′.• Hence there is a unique P-line γP containing both A,B.

Γ

O

γ

γP

A

B

A′

Γ

O

`P

`

A

B

A′

Case 2: A,B,O (hence also A′) lie on a line ` (in ΠF ).• A,B ∈ `P.• No other P-line mP (O ∈ m 6= `) contains both A,B.• No circle γ ⊥ Γ passes through A,B, because

such a γ should contain A,B,A′ ∈ `.• Therefore no P-line γP contains both A,B.

(I2) holds: Every P-line contains at least two points.

(I3) holds: There exist three P-points that are not contained in asingle P-line.

The Poincaré Model MATH 3210: Euclidean and Non-Euclidean Geometry

Page 14: MATH 3210: Euclidean and Non-Euclidean Geometryszendrei/Geom_S20/lec-04-20.pdf · Euclidean and Non-Euclidean Geometry The Poincaré Model Incidence, the Failure of (P), and Betweenness

The Incidence Axioms Hold in the Poincaré Model

(I1) holds: For any two distinct P-points A and B there exists aunique P-line that contains both A and B.

Proof. Let A 6= B be P-points; say A 6= O. Let A′ = ρΓ(A) (in ΠF ).• A,B,A′ are distinct, and O,A,A′ are collinear (in ΠF ).

Case 1: A,B,O are not collinear (in ΠF ).

• No P-line `P (O ∈ `) contains both A,B.• A circle γ ⊥ Γ passing through A,B has to

contain the noncollinear points A,B,A′.• Hence there is a unique P-line γP containing both A,B.

Γ

O

γ

γP

A

B

A′

Γ

O

`P

`

A

B

A′

Case 2: A,B,O (hence also A′) lie on a line ` (in ΠF ).• A,B ∈ `P.• No other P-line mP (O ∈ m 6= `) contains both A,B.• No circle γ ⊥ Γ passes through A,B, because

such a γ should contain A,B,A′ ∈ `.• Therefore no P-line γP contains both A,B.

(I2) holds: Every P-line contains at least two points.

(I3) holds: There exist three P-points that are not contained in asingle P-line.

The Poincaré Model MATH 3210: Euclidean and Non-Euclidean Geometry

Page 15: MATH 3210: Euclidean and Non-Euclidean Geometryszendrei/Geom_S20/lec-04-20.pdf · Euclidean and Non-Euclidean Geometry The Poincaré Model Incidence, the Failure of (P), and Betweenness

The Incidence Axioms Hold in the Poincaré Model

(I1) holds: For any two distinct P-points A and B there exists aunique P-line that contains both A and B.

Proof. Let A 6= B be P-points; say A 6= O. Let A′ = ρΓ(A) (in ΠF ).• A,B,A′ are distinct, and O,A,A′ are collinear (in ΠF ).

Case 1: A,B,O are not collinear (in ΠF ).• No P-line `P (O ∈ `) contains both A,B.

• A circle γ ⊥ Γ passing through A,B has tocontain the noncollinear points A,B,A′.• Hence there is a unique P-line γP containing both A,B.

Γ

O

γ

γP

A

B

A′

Γ

O

`P

`

A

B

A′

Case 2: A,B,O (hence also A′) lie on a line ` (in ΠF ).• A,B ∈ `P.• No other P-line mP (O ∈ m 6= `) contains both A,B.• No circle γ ⊥ Γ passes through A,B, because

such a γ should contain A,B,A′ ∈ `.• Therefore no P-line γP contains both A,B.

(I2) holds: Every P-line contains at least two points.

(I3) holds: There exist three P-points that are not contained in asingle P-line.

The Poincaré Model MATH 3210: Euclidean and Non-Euclidean Geometry

Page 16: MATH 3210: Euclidean and Non-Euclidean Geometryszendrei/Geom_S20/lec-04-20.pdf · Euclidean and Non-Euclidean Geometry The Poincaré Model Incidence, the Failure of (P), and Betweenness

The Incidence Axioms Hold in the Poincaré Model

(I1) holds: For any two distinct P-points A and B there exists aunique P-line that contains both A and B.

Proof. Let A 6= B be P-points; say A 6= O. Let A′ = ρΓ(A) (in ΠF ).• A,B,A′ are distinct, and O,A,A′ are collinear (in ΠF ).

Case 1: A,B,O are not collinear (in ΠF ).• No P-line `P (O ∈ `) contains both A,B.• A circle γ ⊥ Γ passing through A,B has to

contain the noncollinear points A,B,A′.

• Hence there is a unique P-line γP containing both A,B.

Γ

O

γ

γP

A

B

A′

Γ

O

`P

`

A

B

A′

Case 2: A,B,O (hence also A′) lie on a line ` (in ΠF ).• A,B ∈ `P.• No other P-line mP (O ∈ m 6= `) contains both A,B.• No circle γ ⊥ Γ passes through A,B, because

such a γ should contain A,B,A′ ∈ `.• Therefore no P-line γP contains both A,B.

(I2) holds: Every P-line contains at least two points.

(I3) holds: There exist three P-points that are not contained in asingle P-line.

The Poincaré Model MATH 3210: Euclidean and Non-Euclidean Geometry

Page 17: MATH 3210: Euclidean and Non-Euclidean Geometryszendrei/Geom_S20/lec-04-20.pdf · Euclidean and Non-Euclidean Geometry The Poincaré Model Incidence, the Failure of (P), and Betweenness

The Incidence Axioms Hold in the Poincaré Model

(I1) holds: For any two distinct P-points A and B there exists aunique P-line that contains both A and B.

Proof. Let A 6= B be P-points; say A 6= O. Let A′ = ρΓ(A) (in ΠF ).• A,B,A′ are distinct, and O,A,A′ are collinear (in ΠF ).

Case 1: A,B,O are not collinear (in ΠF ).• No P-line `P (O ∈ `) contains both A,B.• A circle γ ⊥ Γ passing through A,B has to

contain the noncollinear points A,B,A′.• Hence there is a unique P-line γP containing both A,B.

Γ

O

γ

γP

A

B

A′

Γ

O

`P

`

A

B

A′

Case 2: A,B,O (hence also A′) lie on a line ` (in ΠF ).• A,B ∈ `P.• No other P-line mP (O ∈ m 6= `) contains both A,B.• No circle γ ⊥ Γ passes through A,B, because

such a γ should contain A,B,A′ ∈ `.• Therefore no P-line γP contains both A,B.

(I2) holds: Every P-line contains at least two points.

(I3) holds: There exist three P-points that are not contained in asingle P-line.

The Poincaré Model MATH 3210: Euclidean and Non-Euclidean Geometry

Page 18: MATH 3210: Euclidean and Non-Euclidean Geometryszendrei/Geom_S20/lec-04-20.pdf · Euclidean and Non-Euclidean Geometry The Poincaré Model Incidence, the Failure of (P), and Betweenness

The Incidence Axioms Hold in the Poincaré Model

(I1) holds: For any two distinct P-points A and B there exists aunique P-line that contains both A and B.

Proof. Let A 6= B be P-points; say A 6= O. Let A′ = ρΓ(A) (in ΠF ).• A,B,A′ are distinct, and O,A,A′ are collinear (in ΠF ).

Case 1: A,B,O are not collinear (in ΠF ).• No P-line `P (O ∈ `) contains both A,B.• A circle γ ⊥ Γ passing through A,B has to

contain the noncollinear points A,B,A′.• Hence there is a unique P-line γP containing both A,B.

Γ

O

γ

γP

A

B

A′

Γ

O

`P

`

A

B

A′

Case 2: A,B,O (hence also A′) lie on a line ` (in ΠF ).

• A,B ∈ `P.• No other P-line mP (O ∈ m 6= `) contains both A,B.• No circle γ ⊥ Γ passes through A,B, because

such a γ should contain A,B,A′ ∈ `.• Therefore no P-line γP contains both A,B.

(I2) holds: Every P-line contains at least two points.

(I3) holds: There exist three P-points that are not contained in asingle P-line.

The Poincaré Model MATH 3210: Euclidean and Non-Euclidean Geometry

Page 19: MATH 3210: Euclidean and Non-Euclidean Geometryszendrei/Geom_S20/lec-04-20.pdf · Euclidean and Non-Euclidean Geometry The Poincaré Model Incidence, the Failure of (P), and Betweenness

The Incidence Axioms Hold in the Poincaré Model

(I1) holds: For any two distinct P-points A and B there exists aunique P-line that contains both A and B.

Proof. Let A 6= B be P-points; say A 6= O. Let A′ = ρΓ(A) (in ΠF ).• A,B,A′ are distinct, and O,A,A′ are collinear (in ΠF ).

Case 1: A,B,O are not collinear (in ΠF ).• No P-line `P (O ∈ `) contains both A,B.• A circle γ ⊥ Γ passing through A,B has to

contain the noncollinear points A,B,A′.• Hence there is a unique P-line γP containing both A,B.

Γ

O

γ

γP

A

B

A′

Γ

O

`P

`

A

B

A′

Case 2: A,B,O (hence also A′) lie on a line ` (in ΠF ).• A,B ∈ `P.

• No other P-line mP (O ∈ m 6= `) contains both A,B.• No circle γ ⊥ Γ passes through A,B, because

such a γ should contain A,B,A′ ∈ `.• Therefore no P-line γP contains both A,B.

(I2) holds: Every P-line contains at least two points.

(I3) holds: There exist three P-points that are not contained in asingle P-line.

The Poincaré Model MATH 3210: Euclidean and Non-Euclidean Geometry

Page 20: MATH 3210: Euclidean and Non-Euclidean Geometryszendrei/Geom_S20/lec-04-20.pdf · Euclidean and Non-Euclidean Geometry The Poincaré Model Incidence, the Failure of (P), and Betweenness

The Incidence Axioms Hold in the Poincaré Model

(I1) holds: For any two distinct P-points A and B there exists aunique P-line that contains both A and B.

Proof. Let A 6= B be P-points; say A 6= O. Let A′ = ρΓ(A) (in ΠF ).• A,B,A′ are distinct, and O,A,A′ are collinear (in ΠF ).

Case 1: A,B,O are not collinear (in ΠF ).• No P-line `P (O ∈ `) contains both A,B.• A circle γ ⊥ Γ passing through A,B has to

contain the noncollinear points A,B,A′.• Hence there is a unique P-line γP containing both A,B.

Γ

O

γ

γP

A

B

A′

Γ

O

`P

`

A

B

A′

Case 2: A,B,O (hence also A′) lie on a line ` (in ΠF ).• A,B ∈ `P.• No other P-line mP (O ∈ m 6= `) contains both A,B.

• No circle γ ⊥ Γ passes through A,B, becausesuch a γ should contain A,B,A′ ∈ `.• Therefore no P-line γP contains both A,B.

(I2) holds: Every P-line contains at least two points.

(I3) holds: There exist three P-points that are not contained in asingle P-line.

The Poincaré Model MATH 3210: Euclidean and Non-Euclidean Geometry

Page 21: MATH 3210: Euclidean and Non-Euclidean Geometryszendrei/Geom_S20/lec-04-20.pdf · Euclidean and Non-Euclidean Geometry The Poincaré Model Incidence, the Failure of (P), and Betweenness

The Incidence Axioms Hold in the Poincaré Model

(I1) holds: For any two distinct P-points A and B there exists aunique P-line that contains both A and B.

Proof. Let A 6= B be P-points; say A 6= O. Let A′ = ρΓ(A) (in ΠF ).• A,B,A′ are distinct, and O,A,A′ are collinear (in ΠF ).

Case 1: A,B,O are not collinear (in ΠF ).• No P-line `P (O ∈ `) contains both A,B.• A circle γ ⊥ Γ passing through A,B has to

contain the noncollinear points A,B,A′.• Hence there is a unique P-line γP containing both A,B.

Γ

O

γ

γP

A

B

A′

Γ

O

`P

`

A

B

A′

Case 2: A,B,O (hence also A′) lie on a line ` (in ΠF ).• A,B ∈ `P.• No other P-line mP (O ∈ m 6= `) contains both A,B.• No circle γ ⊥ Γ passes through A,B, because

such a γ should contain A,B,A′ ∈ `.

• Therefore no P-line γP contains both A,B.

(I2) holds: Every P-line contains at least two points.

(I3) holds: There exist three P-points that are not contained in asingle P-line.

The Poincaré Model MATH 3210: Euclidean and Non-Euclidean Geometry

Page 22: MATH 3210: Euclidean and Non-Euclidean Geometryszendrei/Geom_S20/lec-04-20.pdf · Euclidean and Non-Euclidean Geometry The Poincaré Model Incidence, the Failure of (P), and Betweenness

The Incidence Axioms Hold in the Poincaré Model

(I1) holds: For any two distinct P-points A and B there exists aunique P-line that contains both A and B.

Proof. Let A 6= B be P-points; say A 6= O. Let A′ = ρΓ(A) (in ΠF ).• A,B,A′ are distinct, and O,A,A′ are collinear (in ΠF ).

Case 1: A,B,O are not collinear (in ΠF ).• No P-line `P (O ∈ `) contains both A,B.• A circle γ ⊥ Γ passing through A,B has to

contain the noncollinear points A,B,A′.• Hence there is a unique P-line γP containing both A,B.

Γ

O

γ

γP

A

B

A′

Γ

O

`P

`

A

B

A′

Case 2: A,B,O (hence also A′) lie on a line ` (in ΠF ).• A,B ∈ `P.• No other P-line mP (O ∈ m 6= `) contains both A,B.• No circle γ ⊥ Γ passes through A,B, because

such a γ should contain A,B,A′ ∈ `.• Therefore no P-line γP contains both A,B.

(I2) holds: Every P-line contains at least two points.

(I3) holds: There exist three P-points that are not contained in asingle P-line.

The Poincaré Model MATH 3210: Euclidean and Non-Euclidean Geometry

Page 23: MATH 3210: Euclidean and Non-Euclidean Geometryszendrei/Geom_S20/lec-04-20.pdf · Euclidean and Non-Euclidean Geometry The Poincaré Model Incidence, the Failure of (P), and Betweenness

The Incidence Axioms Hold in the Poincaré Model

(I1) holds: For any two distinct P-points A and B there exists aunique P-line that contains both A and B.

Proof. Let A 6= B be P-points; say A 6= O. Let A′ = ρΓ(A) (in ΠF ).• A,B,A′ are distinct, and O,A,A′ are collinear (in ΠF ).

Case 1: A,B,O are not collinear (in ΠF ).• No P-line `P (O ∈ `) contains both A,B.• A circle γ ⊥ Γ passing through A,B has to

contain the noncollinear points A,B,A′.• Hence there is a unique P-line γP containing both A,B.

Γ

O

γ

γP

A

B

A′

Γ

O

`P

`

A

B

A′

Case 2: A,B,O (hence also A′) lie on a line ` (in ΠF ).• A,B ∈ `P.• No other P-line mP (O ∈ m 6= `) contains both A,B.• No circle γ ⊥ Γ passes through A,B, because

such a γ should contain A,B,A′ ∈ `.• Therefore no P-line γP contains both A,B.

(I2) holds: Every P-line contains at least two points.

(I3) holds: There exist three P-points that are not contained in asingle P-line.

The Poincaré Model MATH 3210: Euclidean and Non-Euclidean Geometry

Page 24: MATH 3210: Euclidean and Non-Euclidean Geometryszendrei/Geom_S20/lec-04-20.pdf · Euclidean and Non-Euclidean Geometry The Poincaré Model Incidence, the Failure of (P), and Betweenness

The Incidence Axioms Hold in the Poincaré Model

(I1) holds: For any two distinct P-points A and B there exists aunique P-line that contains both A and B.

Proof. Let A 6= B be P-points; say A 6= O. Let A′ = ρΓ(A) (in ΠF ).• A,B,A′ are distinct, and O,A,A′ are collinear (in ΠF ).

Case 1: A,B,O are not collinear (in ΠF ).• No P-line `P (O ∈ `) contains both A,B.• A circle γ ⊥ Γ passing through A,B has to

contain the noncollinear points A,B,A′.• Hence there is a unique P-line γP containing both A,B.

Γ

O

γ

γP

A

B

A′

Γ

O

`P

`

A

B

A′

Case 2: A,B,O (hence also A′) lie on a line ` (in ΠF ).• A,B ∈ `P.• No other P-line mP (O ∈ m 6= `) contains both A,B.• No circle γ ⊥ Γ passes through A,B, because

such a γ should contain A,B,A′ ∈ `.• Therefore no P-line γP contains both A,B.

(I2) holds: Every P-line contains at least two points.

(I3) holds: There exist three P-points that are not contained in asingle P-line.

The Poincaré Model MATH 3210: Euclidean and Non-Euclidean Geometry

Page 25: MATH 3210: Euclidean and Non-Euclidean Geometryszendrei/Geom_S20/lec-04-20.pdf · Euclidean and Non-Euclidean Geometry The Poincaré Model Incidence, the Failure of (P), and Betweenness

Playfair’s Axiom (P) Fails in the Poincaré Model

(P) fails: There exist a P-line λ and a P-point A such that more thanone P-line through A is parallel to λ.

Proof. Let PQ be a diameter of Γ, and let ` = PQ (in ΠF ).Choose λ = `P.Choose A 6= O to be a P-point such that OA ⊥ ` (in ΠF ).Let A′ = ρΓ(A) (in ΠF ).

• The P-lines through A are� mP where m = OA, and� γP for all γ containing both A,A′.

• Every P-line γP s.t. the center of γ is close enough(in ΠF ) to line m = OA, is parallel to λ = `P.

C

Γ

OP Q

`

A

m

A′

λ = `P

Example. Let Γ have equation x2 + y2 = 4, and let A = (0, 1). Then• A′ = (0, 4), and the centers of the circles γ through A,A′ have their centers

on the line with equation y = 2.5.• The circle γ with center C = (x , 2.5) has radius CA of length

√x2 + 1.52, and

will meet the line ` (in ΠF ) iff√

x2 + 1.52 ≥ 2.5, i.e., iff |x | ≥ 2.• Thus, γP fails to meet `P if |x | < 2 or |x | = 2 (as P,Q = (∓2, 0) are not P-points).

The Poincaré Model MATH 3210: Euclidean and Non-Euclidean Geometry

Page 26: MATH 3210: Euclidean and Non-Euclidean Geometryszendrei/Geom_S20/lec-04-20.pdf · Euclidean and Non-Euclidean Geometry The Poincaré Model Incidence, the Failure of (P), and Betweenness

Playfair’s Axiom (P) Fails in the Poincaré Model

(P) fails: There exist a P-line λ and a P-point A such that more thanone P-line through A is parallel to λ.

Proof. Let PQ be a diameter of Γ, and let ` = PQ (in ΠF ).

Choose λ = `P.Choose A 6= O to be a P-point such that OA ⊥ ` (in ΠF ).Let A′ = ρΓ(A) (in ΠF ).

• The P-lines through A are� mP where m = OA, and� γP for all γ containing both A,A′.

• Every P-line γP s.t. the center of γ is close enough(in ΠF ) to line m = OA, is parallel to λ = `P.

C

Γ

OP Q

`

A

m

A′

λ = `P

Example. Let Γ have equation x2 + y2 = 4, and let A = (0, 1). Then• A′ = (0, 4), and the centers of the circles γ through A,A′ have their centers

on the line with equation y = 2.5.• The circle γ with center C = (x , 2.5) has radius CA of length

√x2 + 1.52, and

will meet the line ` (in ΠF ) iff√

x2 + 1.52 ≥ 2.5, i.e., iff |x | ≥ 2.• Thus, γP fails to meet `P if |x | < 2 or |x | = 2 (as P,Q = (∓2, 0) are not P-points).

The Poincaré Model MATH 3210: Euclidean and Non-Euclidean Geometry

Page 27: MATH 3210: Euclidean and Non-Euclidean Geometryszendrei/Geom_S20/lec-04-20.pdf · Euclidean and Non-Euclidean Geometry The Poincaré Model Incidence, the Failure of (P), and Betweenness

Playfair’s Axiom (P) Fails in the Poincaré Model

(P) fails: There exist a P-line λ and a P-point A such that more thanone P-line through A is parallel to λ.

Proof. Let PQ be a diameter of Γ, and let ` = PQ (in ΠF ).Choose λ = `P.

Choose A 6= O to be a P-point such that OA ⊥ ` (in ΠF ).Let A′ = ρΓ(A) (in ΠF ).

• The P-lines through A are� mP where m = OA, and� γP for all γ containing both A,A′.

• Every P-line γP s.t. the center of γ is close enough(in ΠF ) to line m = OA, is parallel to λ = `P.

C

Γ

OP Q

`

A

m

A′

λ = `P

Example. Let Γ have equation x2 + y2 = 4, and let A = (0, 1). Then• A′ = (0, 4), and the centers of the circles γ through A,A′ have their centers

on the line with equation y = 2.5.• The circle γ with center C = (x , 2.5) has radius CA of length

√x2 + 1.52, and

will meet the line ` (in ΠF ) iff√

x2 + 1.52 ≥ 2.5, i.e., iff |x | ≥ 2.• Thus, γP fails to meet `P if |x | < 2 or |x | = 2 (as P,Q = (∓2, 0) are not P-points).

The Poincaré Model MATH 3210: Euclidean and Non-Euclidean Geometry

Page 28: MATH 3210: Euclidean and Non-Euclidean Geometryszendrei/Geom_S20/lec-04-20.pdf · Euclidean and Non-Euclidean Geometry The Poincaré Model Incidence, the Failure of (P), and Betweenness

Playfair’s Axiom (P) Fails in the Poincaré Model

(P) fails: There exist a P-line λ and a P-point A such that more thanone P-line through A is parallel to λ.

Proof. Let PQ be a diameter of Γ, and let ` = PQ (in ΠF ).Choose λ = `P.Choose A 6= O to be a P-point such that OA ⊥ ` (in ΠF ).

Let A′ = ρΓ(A) (in ΠF ).

• The P-lines through A are� mP where m = OA, and� γP for all γ containing both A,A′.

• Every P-line γP s.t. the center of γ is close enough(in ΠF ) to line m = OA, is parallel to λ = `P.

C

Γ

OP Q

`

A

m

A′

λ = `P

Example. Let Γ have equation x2 + y2 = 4, and let A = (0, 1). Then• A′ = (0, 4), and the centers of the circles γ through A,A′ have their centers

on the line with equation y = 2.5.• The circle γ with center C = (x , 2.5) has radius CA of length

√x2 + 1.52, and

will meet the line ` (in ΠF ) iff√

x2 + 1.52 ≥ 2.5, i.e., iff |x | ≥ 2.• Thus, γP fails to meet `P if |x | < 2 or |x | = 2 (as P,Q = (∓2, 0) are not P-points).

The Poincaré Model MATH 3210: Euclidean and Non-Euclidean Geometry

Page 29: MATH 3210: Euclidean and Non-Euclidean Geometryszendrei/Geom_S20/lec-04-20.pdf · Euclidean and Non-Euclidean Geometry The Poincaré Model Incidence, the Failure of (P), and Betweenness

Playfair’s Axiom (P) Fails in the Poincaré Model

(P) fails: There exist a P-line λ and a P-point A such that more thanone P-line through A is parallel to λ.

Proof. Let PQ be a diameter of Γ, and let ` = PQ (in ΠF ).Choose λ = `P.Choose A 6= O to be a P-point such that OA ⊥ ` (in ΠF ).Let A′ = ρΓ(A) (in ΠF ).

• The P-lines through A are� mP where m = OA, and� γP for all γ containing both A,A′.

• Every P-line γP s.t. the center of γ is close enough(in ΠF ) to line m = OA, is parallel to λ = `P.

C

Γ

OP Q

`

A

m

A′

λ = `P

Example. Let Γ have equation x2 + y2 = 4, and let A = (0, 1). Then• A′ = (0, 4), and the centers of the circles γ through A,A′ have their centers

on the line with equation y = 2.5.• The circle γ with center C = (x , 2.5) has radius CA of length

√x2 + 1.52, and

will meet the line ` (in ΠF ) iff√

x2 + 1.52 ≥ 2.5, i.e., iff |x | ≥ 2.• Thus, γP fails to meet `P if |x | < 2 or |x | = 2 (as P,Q = (∓2, 0) are not P-points).

The Poincaré Model MATH 3210: Euclidean and Non-Euclidean Geometry

Page 30: MATH 3210: Euclidean and Non-Euclidean Geometryszendrei/Geom_S20/lec-04-20.pdf · Euclidean and Non-Euclidean Geometry The Poincaré Model Incidence, the Failure of (P), and Betweenness

Playfair’s Axiom (P) Fails in the Poincaré Model

(P) fails: There exist a P-line λ and a P-point A such that more thanone P-line through A is parallel to λ.

Proof. Let PQ be a diameter of Γ, and let ` = PQ (in ΠF ).Choose λ = `P.Choose A 6= O to be a P-point such that OA ⊥ ` (in ΠF ).Let A′ = ρΓ(A) (in ΠF ).

• The P-lines through A are

� mP where m = OA, and� γP for all γ containing both A,A′.

• Every P-line γP s.t. the center of γ is close enough(in ΠF ) to line m = OA, is parallel to λ = `P.

C

Γ

OP Q

`

A

m

A′

λ = `P

Example. Let Γ have equation x2 + y2 = 4, and let A = (0, 1). Then• A′ = (0, 4), and the centers of the circles γ through A,A′ have their centers

on the line with equation y = 2.5.• The circle γ with center C = (x , 2.5) has radius CA of length

√x2 + 1.52, and

will meet the line ` (in ΠF ) iff√

x2 + 1.52 ≥ 2.5, i.e., iff |x | ≥ 2.• Thus, γP fails to meet `P if |x | < 2 or |x | = 2 (as P,Q = (∓2, 0) are not P-points).

The Poincaré Model MATH 3210: Euclidean and Non-Euclidean Geometry

Page 31: MATH 3210: Euclidean and Non-Euclidean Geometryszendrei/Geom_S20/lec-04-20.pdf · Euclidean and Non-Euclidean Geometry The Poincaré Model Incidence, the Failure of (P), and Betweenness

Playfair’s Axiom (P) Fails in the Poincaré Model

(P) fails: There exist a P-line λ and a P-point A such that more thanone P-line through A is parallel to λ.

Proof. Let PQ be a diameter of Γ, and let ` = PQ (in ΠF ).Choose λ = `P.Choose A 6= O to be a P-point such that OA ⊥ ` (in ΠF ).Let A′ = ρΓ(A) (in ΠF ).

• The P-lines through A are� mP where m = OA, and

� γP for all γ containing both A,A′.

• Every P-line γP s.t. the center of γ is close enough(in ΠF ) to line m = OA, is parallel to λ = `P.

C

Γ

OP Q

`

A

m

A′

λ = `P

Example. Let Γ have equation x2 + y2 = 4, and let A = (0, 1). Then• A′ = (0, 4), and the centers of the circles γ through A,A′ have their centers

on the line with equation y = 2.5.• The circle γ with center C = (x , 2.5) has radius CA of length

√x2 + 1.52, and

will meet the line ` (in ΠF ) iff√

x2 + 1.52 ≥ 2.5, i.e., iff |x | ≥ 2.• Thus, γP fails to meet `P if |x | < 2 or |x | = 2 (as P,Q = (∓2, 0) are not P-points).

The Poincaré Model MATH 3210: Euclidean and Non-Euclidean Geometry

Page 32: MATH 3210: Euclidean and Non-Euclidean Geometryszendrei/Geom_S20/lec-04-20.pdf · Euclidean and Non-Euclidean Geometry The Poincaré Model Incidence, the Failure of (P), and Betweenness

Playfair’s Axiom (P) Fails in the Poincaré Model

(P) fails: There exist a P-line λ and a P-point A such that more thanone P-line through A is parallel to λ.

Proof. Let PQ be a diameter of Γ, and let ` = PQ (in ΠF ).Choose λ = `P.Choose A 6= O to be a P-point such that OA ⊥ ` (in ΠF ).Let A′ = ρΓ(A) (in ΠF ).

• The P-lines through A are� mP where m = OA, and� γP for all γ containing both A,A′.

• Every P-line γP s.t. the center of γ is close enough(in ΠF ) to line m = OA, is parallel to λ = `P.

C

Γ

OP Q

`

A

m

A′

λ = `P

Example. Let Γ have equation x2 + y2 = 4, and let A = (0, 1). Then• A′ = (0, 4), and the centers of the circles γ through A,A′ have their centers

on the line with equation y = 2.5.• The circle γ with center C = (x , 2.5) has radius CA of length

√x2 + 1.52, and

will meet the line ` (in ΠF ) iff√

x2 + 1.52 ≥ 2.5, i.e., iff |x | ≥ 2.• Thus, γP fails to meet `P if |x | < 2 or |x | = 2 (as P,Q = (∓2, 0) are not P-points).

The Poincaré Model MATH 3210: Euclidean and Non-Euclidean Geometry

Page 33: MATH 3210: Euclidean and Non-Euclidean Geometryszendrei/Geom_S20/lec-04-20.pdf · Euclidean and Non-Euclidean Geometry The Poincaré Model Incidence, the Failure of (P), and Betweenness

Playfair’s Axiom (P) Fails in the Poincaré Model

(P) fails: There exist a P-line λ and a P-point A such that more thanone P-line through A is parallel to λ.

Proof. Let PQ be a diameter of Γ, and let ` = PQ (in ΠF ).Choose λ = `P.Choose A 6= O to be a P-point such that OA ⊥ ` (in ΠF ).Let A′ = ρΓ(A) (in ΠF ).

• The P-lines through A are� mP where m = OA, and� γP for all γ containing both A,A′.

• Every P-line γP s.t. the center of γ is close enough(in ΠF ) to line m = OA, is parallel to λ = `P.

C

Γ

OP Q

`

A

m

A′

λ = `P

Example. Let Γ have equation x2 + y2 = 4, and let A = (0, 1). Then• A′ = (0, 4), and the centers of the circles γ through A,A′ have their centers

on the line with equation y = 2.5.• The circle γ with center C = (x , 2.5) has radius CA of length

√x2 + 1.52, and

will meet the line ` (in ΠF ) iff√

x2 + 1.52 ≥ 2.5, i.e., iff |x | ≥ 2.• Thus, γP fails to meet `P if |x | < 2 or |x | = 2 (as P,Q = (∓2, 0) are not P-points).

The Poincaré Model MATH 3210: Euclidean and Non-Euclidean Geometry

Page 34: MATH 3210: Euclidean and Non-Euclidean Geometryszendrei/Geom_S20/lec-04-20.pdf · Euclidean and Non-Euclidean Geometry The Poincaré Model Incidence, the Failure of (P), and Betweenness

Playfair’s Axiom (P) Fails in the Poincaré Model

(P) fails: There exist a P-line λ and a P-point A such that more thanone P-line through A is parallel to λ.

Proof. Let PQ be a diameter of Γ, and let ` = PQ (in ΠF ).Choose λ = `P.Choose A 6= O to be a P-point such that OA ⊥ ` (in ΠF ).Let A′ = ρΓ(A) (in ΠF ).

• The P-lines through A are� mP where m = OA, and� γP for all γ containing both A,A′.

• Every P-line γP s.t. the center of γ is close enough(in ΠF ) to line m = OA, is parallel to λ = `P.

C

Γ

OP Q

`

A

m

A′

λ = `P

Example. Let Γ have equation x2 + y2 = 4, and let A = (0, 1).

Then• A′ = (0, 4), and the centers of the circles γ through A,A′ have their centers

on the line with equation y = 2.5.• The circle γ with center C = (x , 2.5) has radius CA of length

√x2 + 1.52, and

will meet the line ` (in ΠF ) iff√

x2 + 1.52 ≥ 2.5, i.e., iff |x | ≥ 2.• Thus, γP fails to meet `P if |x | < 2 or |x | = 2 (as P,Q = (∓2, 0) are not P-points).

The Poincaré Model MATH 3210: Euclidean and Non-Euclidean Geometry

Page 35: MATH 3210: Euclidean and Non-Euclidean Geometryszendrei/Geom_S20/lec-04-20.pdf · Euclidean and Non-Euclidean Geometry The Poincaré Model Incidence, the Failure of (P), and Betweenness

Playfair’s Axiom (P) Fails in the Poincaré Model

(P) fails: There exist a P-line λ and a P-point A such that more thanone P-line through A is parallel to λ.

Proof. Let PQ be a diameter of Γ, and let ` = PQ (in ΠF ).Choose λ = `P.Choose A 6= O to be a P-point such that OA ⊥ ` (in ΠF ).Let A′ = ρΓ(A) (in ΠF ).

• The P-lines through A are� mP where m = OA, and� γP for all γ containing both A,A′.

• Every P-line γP s.t. the center of γ is close enough(in ΠF ) to line m = OA, is parallel to λ = `P.

C

Γ

OP Q

`

A

m

A′

λ = `P

Example. Let Γ have equation x2 + y2 = 4, and let A = (0, 1). Then• A′ = (0, 4), and the centers of the circles γ through A,A′ have their centers

on the line with equation y = 2.5.

• The circle γ with center C = (x , 2.5) has radius CA of length√

x2 + 1.52, andwill meet the line ` (in ΠF ) iff

√x2 + 1.52 ≥ 2.5, i.e., iff |x | ≥ 2.

• Thus, γP fails to meet `P if |x | < 2 or |x | = 2 (as P,Q = (∓2, 0) are not P-points).

The Poincaré Model MATH 3210: Euclidean and Non-Euclidean Geometry

Page 36: MATH 3210: Euclidean and Non-Euclidean Geometryszendrei/Geom_S20/lec-04-20.pdf · Euclidean and Non-Euclidean Geometry The Poincaré Model Incidence, the Failure of (P), and Betweenness

Playfair’s Axiom (P) Fails in the Poincaré Model

(P) fails: There exist a P-line λ and a P-point A such that more thanone P-line through A is parallel to λ.

Proof. Let PQ be a diameter of Γ, and let ` = PQ (in ΠF ).Choose λ = `P.Choose A 6= O to be a P-point such that OA ⊥ ` (in ΠF ).Let A′ = ρΓ(A) (in ΠF ).

• The P-lines through A are� mP where m = OA, and� γP for all γ containing both A,A′.

• Every P-line γP s.t. the center of γ is close enough(in ΠF ) to line m = OA, is parallel to λ = `P.

C

Γ

OP Q

`

A

m

A′

λ = `P

Example. Let Γ have equation x2 + y2 = 4, and let A = (0, 1). Then• A′ = (0, 4), and the centers of the circles γ through A,A′ have their centers

on the line with equation y = 2.5.• The circle γ with center C = (x , 2.5) has radius CA of length

√x2 + 1.52, and

will meet the line ` (in ΠF ) iff√

x2 + 1.52 ≥ 2.5, i.e., iff |x | ≥ 2.

• Thus, γP fails to meet `P if |x | < 2 or |x | = 2 (as P,Q = (∓2, 0) are not P-points).

The Poincaré Model MATH 3210: Euclidean and Non-Euclidean Geometry

Page 37: MATH 3210: Euclidean and Non-Euclidean Geometryszendrei/Geom_S20/lec-04-20.pdf · Euclidean and Non-Euclidean Geometry The Poincaré Model Incidence, the Failure of (P), and Betweenness

Playfair’s Axiom (P) Fails in the Poincaré Model

(P) fails: There exist a P-line λ and a P-point A such that more thanone P-line through A is parallel to λ.

Proof. Let PQ be a diameter of Γ, and let ` = PQ (in ΠF ).Choose λ = `P.Choose A 6= O to be a P-point such that OA ⊥ ` (in ΠF ).Let A′ = ρΓ(A) (in ΠF ).

• The P-lines through A are� mP where m = OA, and� γP for all γ containing both A,A′.

• Every P-line γP s.t. the center of γ is close enough(in ΠF ) to line m = OA, is parallel to λ = `P.

C

Γ

OP Q

`

A

m

A′

λ = `P

Example. Let Γ have equation x2 + y2 = 4, and let A = (0, 1). Then• A′ = (0, 4), and the centers of the circles γ through A,A′ have their centers

on the line with equation y = 2.5.• The circle γ with center C = (x , 2.5) has radius CA of length

√x2 + 1.52, and

will meet the line ` (in ΠF ) iff√

x2 + 1.52 ≥ 2.5, i.e., iff |x | ≥ 2.• Thus, γP fails to meet `P if |x | < 2 or |x | = 2 (as P,Q = (∓2, 0) are not P-points).

The Poincaré Model MATH 3210: Euclidean and Non-Euclidean Geometry

Page 38: MATH 3210: Euclidean and Non-Euclidean Geometryszendrei/Geom_S20/lec-04-20.pdf · Euclidean and Non-Euclidean Geometry The Poincaré Model Incidence, the Failure of (P), and Betweenness

Definition of Betweenness; (B1)–(B3) Hold in the P-Model

Definition. For P-points A,B,C, B is P-between A and C, denotedA ∗P B ∗P C, if A,B,C are distinct P-points on a P-line λ, and

• if λ = `P for a line ` through O, thenA ∗ B ∗ C (in ΠF ), while• if λ = γP for a circle γ ⊥ Γ with center O, then

(†)−→OB is in the interior of ∠AOC (in ΠF ).

Γ

O

`

`P

γ

γPA

B

C

A

B

C

O

C

BA

Q

P

CB

ANote: (†) is equivalent to:(‡) A ∗ B ∗ C holds (in ΠF ) for the points A, B, C where−→OA,−→OB,−→OC meet the chord PQ. (P,Q are the points where γ meets Γ.)

The Definition, the Note, and properties of the Euclidean plane ΠF imply that

(B1) holds: For any P-points A,B,C, if A ∗P B ∗P C, then A,B,C arethree distinct points on a P-line, and C ∗P B ∗P A also holds.(B2) holds: For any two distinct P-points A and B there exists aP-point C such that A ∗P B ∗P C.(B3) holds: For any three distinct P-points on a P-line one and onlyone of them is P-between the other two.

The Poincaré Model MATH 3210: Euclidean and Non-Euclidean Geometry

Page 39: MATH 3210: Euclidean and Non-Euclidean Geometryszendrei/Geom_S20/lec-04-20.pdf · Euclidean and Non-Euclidean Geometry The Poincaré Model Incidence, the Failure of (P), and Betweenness

Definition of Betweenness; (B1)–(B3) Hold in the P-Model

Definition. For P-points A,B,C, B is P-between A and C, denotedA ∗P B ∗P C, if A,B,C are distinct P-points on a P-line λ, and• if λ = `P for a line ` through O, then

A ∗ B ∗ C (in ΠF ), while

• if λ = γP for a circle γ ⊥ Γ with center O, then

(†)−→OB is in the interior of ∠AOC (in ΠF ).

Γ

O

`

`P

γ

γP

A

B

C

A

B

C

O

C

BA

Q

P

CB

ANote: (†) is equivalent to:(‡) A ∗ B ∗ C holds (in ΠF ) for the points A, B, C where−→OA,−→OB,−→OC meet the chord PQ. (P,Q are the points where γ meets Γ.)

The Definition, the Note, and properties of the Euclidean plane ΠF imply that

(B1) holds: For any P-points A,B,C, if A ∗P B ∗P C, then A,B,C arethree distinct points on a P-line, and C ∗P B ∗P A also holds.(B2) holds: For any two distinct P-points A and B there exists aP-point C such that A ∗P B ∗P C.(B3) holds: For any three distinct P-points on a P-line one and onlyone of them is P-between the other two.

The Poincaré Model MATH 3210: Euclidean and Non-Euclidean Geometry

Page 40: MATH 3210: Euclidean and Non-Euclidean Geometryszendrei/Geom_S20/lec-04-20.pdf · Euclidean and Non-Euclidean Geometry The Poincaré Model Incidence, the Failure of (P), and Betweenness

Definition of Betweenness; (B1)–(B3) Hold in the P-Model

Definition. For P-points A,B,C, B is P-between A and C, denotedA ∗P B ∗P C, if A,B,C are distinct P-points on a P-line λ, and• if λ = `P for a line ` through O, then

A ∗ B ∗ C (in ΠF ), while• if λ = γP for a circle γ ⊥ Γ with center O, then

(†)−→OB is in the interior of ∠AOC (in ΠF ).

Γ

O

`

`P

γ

γPA

B

C

A

B

C

O

C

BA

Q

P

CB

ANote: (†) is equivalent to:(‡) A ∗ B ∗ C holds (in ΠF ) for the points A, B, C where−→OA,−→OB,−→OC meet the chord PQ. (P,Q are the points where γ meets Γ.)

The Definition, the Note, and properties of the Euclidean plane ΠF imply that

(B1) holds: For any P-points A,B,C, if A ∗P B ∗P C, then A,B,C arethree distinct points on a P-line, and C ∗P B ∗P A also holds.(B2) holds: For any two distinct P-points A and B there exists aP-point C such that A ∗P B ∗P C.(B3) holds: For any three distinct P-points on a P-line one and onlyone of them is P-between the other two.

The Poincaré Model MATH 3210: Euclidean and Non-Euclidean Geometry

Page 41: MATH 3210: Euclidean and Non-Euclidean Geometryszendrei/Geom_S20/lec-04-20.pdf · Euclidean and Non-Euclidean Geometry The Poincaré Model Incidence, the Failure of (P), and Betweenness

Definition of Betweenness; (B1)–(B3) Hold in the P-Model

Definition. For P-points A,B,C, B is P-between A and C, denotedA ∗P B ∗P C, if A,B,C are distinct P-points on a P-line λ, and• if λ = `P for a line ` through O, then

A ∗ B ∗ C (in ΠF ), while• if λ = γP for a circle γ ⊥ Γ with center O, then

(†)−→OB is in the interior of ∠AOC (in ΠF ).

Γ

O

`

`P

γ

γPA

B

C

A

B

C

O

C

BA

Q

P

CB

ANote: (†) is equivalent to:(‡) A ∗ B ∗ C holds (in ΠF ) for the points A, B, C where−→OA,−→OB,−→OC meet the chord PQ. (P,Q are the points where γ meets Γ.)

The Definition, the Note, and properties of the Euclidean plane ΠF imply that

(B1) holds: For any P-points A,B,C, if A ∗P B ∗P C, then A,B,C arethree distinct points on a P-line, and C ∗P B ∗P A also holds.(B2) holds: For any two distinct P-points A and B there exists aP-point C such that A ∗P B ∗P C.(B3) holds: For any three distinct P-points on a P-line one and onlyone of them is P-between the other two.

The Poincaré Model MATH 3210: Euclidean and Non-Euclidean Geometry

Page 42: MATH 3210: Euclidean and Non-Euclidean Geometryszendrei/Geom_S20/lec-04-20.pdf · Euclidean and Non-Euclidean Geometry The Poincaré Model Incidence, the Failure of (P), and Betweenness

Definition of Betweenness; (B1)–(B3) Hold in the P-Model

Definition. For P-points A,B,C, B is P-between A and C, denotedA ∗P B ∗P C, if A,B,C are distinct P-points on a P-line λ, and• if λ = `P for a line ` through O, then

A ∗ B ∗ C (in ΠF ), while• if λ = γP for a circle γ ⊥ Γ with center O, then

(†)−→OB is in the interior of ∠AOC (in ΠF ).

Γ

O

`

`P

γ

γPA

B

C

A

B

C

O

C

BA

Q

P

CB

ANote: (†) is equivalent to:(‡) A ∗ B ∗ C holds (in ΠF ) for the points A, B, C where−→OA,−→OB,−→OC meet the chord PQ. (P,Q are the points where γ meets Γ.)

The Definition, the Note, and properties of the Euclidean plane ΠF imply that

(B1) holds: For any P-points A,B,C, if A ∗P B ∗P C, then A,B,C arethree distinct points on a P-line, and C ∗P B ∗P A also holds.(B2) holds: For any two distinct P-points A and B there exists aP-point C such that A ∗P B ∗P C.(B3) holds: For any three distinct P-points on a P-line one and onlyone of them is P-between the other two.

The Poincaré Model MATH 3210: Euclidean and Non-Euclidean Geometry

Page 43: MATH 3210: Euclidean and Non-Euclidean Geometryszendrei/Geom_S20/lec-04-20.pdf · Euclidean and Non-Euclidean Geometry The Poincaré Model Incidence, the Failure of (P), and Betweenness

Definition of Betweenness; (B1)–(B3) Hold in the P-Model

Definition. For P-points A,B,C, B is P-between A and C, denotedA ∗P B ∗P C, if A,B,C are distinct P-points on a P-line λ, and• if λ = `P for a line ` through O, then

A ∗ B ∗ C (in ΠF ), while• if λ = γP for a circle γ ⊥ Γ with center O, then

(†)−→OB is in the interior of ∠AOC (in ΠF ).

Γ

O

`

`P

γ

γPA

B

C

A

B

C

O

C

BA

Q

P

CB

ANote: (†) is equivalent to:(‡) A ∗ B ∗ C holds (in ΠF ) for the points A, B, C where−→OA,−→OB,−→OC meet the chord PQ. (P,Q are the points where γ meets Γ.)

The Definition, the Note, and properties of the Euclidean plane ΠF imply that

(B1) holds: For any P-points A,B,C, if A ∗P B ∗P C, then A,B,C arethree distinct points on a P-line, and C ∗P B ∗P A also holds.

(B2) holds: For any two distinct P-points A and B there exists aP-point C such that A ∗P B ∗P C.(B3) holds: For any three distinct P-points on a P-line one and onlyone of them is P-between the other two.

The Poincaré Model MATH 3210: Euclidean and Non-Euclidean Geometry

Page 44: MATH 3210: Euclidean and Non-Euclidean Geometryszendrei/Geom_S20/lec-04-20.pdf · Euclidean and Non-Euclidean Geometry The Poincaré Model Incidence, the Failure of (P), and Betweenness

Definition of Betweenness; (B1)–(B3) Hold in the P-Model

Definition. For P-points A,B,C, B is P-between A and C, denotedA ∗P B ∗P C, if A,B,C are distinct P-points on a P-line λ, and• if λ = `P for a line ` through O, then

A ∗ B ∗ C (in ΠF ), while• if λ = γP for a circle γ ⊥ Γ with center O, then

(†)−→OB is in the interior of ∠AOC (in ΠF ).

Γ

O

`

`P

γ

γPA

B

C

A

B

C

O

C

BA

Q

P

CB

ANote: (†) is equivalent to:(‡) A ∗ B ∗ C holds (in ΠF ) for the points A, B, C where−→OA,−→OB,−→OC meet the chord PQ. (P,Q are the points where γ meets Γ.)

The Definition, the Note, and properties of the Euclidean plane ΠF imply that

(B1) holds: For any P-points A,B,C, if A ∗P B ∗P C, then A,B,C arethree distinct points on a P-line, and C ∗P B ∗P A also holds.(B2) holds: For any two distinct P-points A and B there exists aP-point C such that A ∗P B ∗P C.

(B3) holds: For any three distinct P-points on a P-line one and onlyone of them is P-between the other two.

The Poincaré Model MATH 3210: Euclidean and Non-Euclidean Geometry

Page 45: MATH 3210: Euclidean and Non-Euclidean Geometryszendrei/Geom_S20/lec-04-20.pdf · Euclidean and Non-Euclidean Geometry The Poincaré Model Incidence, the Failure of (P), and Betweenness

Definition of Betweenness; (B1)–(B3) Hold in the P-Model

Definition. For P-points A,B,C, B is P-between A and C, denotedA ∗P B ∗P C, if A,B,C are distinct P-points on a P-line λ, and• if λ = `P for a line ` through O, then

A ∗ B ∗ C (in ΠF ), while• if λ = γP for a circle γ ⊥ Γ with center O, then

(†)−→OB is in the interior of ∠AOC (in ΠF ).

Γ

O

`

`P

γ

γPA

B

C

A

B

C

O

C

BA

Q

P

CB

ANote: (†) is equivalent to:(‡) A ∗ B ∗ C holds (in ΠF ) for the points A, B, C where−→OA,−→OB,−→OC meet the chord PQ. (P,Q are the points where γ meets Γ.)

The Definition, the Note, and properties of the Euclidean plane ΠF imply that

(B1) holds: For any P-points A,B,C, if A ∗P B ∗P C, then A,B,C arethree distinct points on a P-line, and C ∗P B ∗P A also holds.(B2) holds: For any two distinct P-points A and B there exists aP-point C such that A ∗P B ∗P C.(B3) holds: For any three distinct P-points on a P-line one and onlyone of them is P-between the other two.

The Poincaré Model MATH 3210: Euclidean and Non-Euclidean Geometry

Page 46: MATH 3210: Euclidean and Non-Euclidean Geometryszendrei/Geom_S20/lec-04-20.pdf · Euclidean and Non-Euclidean Geometry The Poincaré Model Incidence, the Failure of (P), and Betweenness

(B1)–(B3) in the Poincaré Model

Use the definition of P-betweenness and properties of the Euclidean plane ΠF toexplain why axioms (B1)–(B3) hold in the Poincaré Model.

The Poincaré Model MATH 3210: Euclidean and Non-Euclidean Geometry