MATH 3210: Euclidean and Non-Euclidean Geometry The Poincaré Model Examples April 27, 2020 The Poincaré Model MATH 3210: Euclidean and Non-Euclidean Geometry
31

# MATH 3210: Euclidean and Non-Euclidean Geometryszendrei/Geom_S20/lec-04-27.pdf · Euclidean and Non-Euclidean Geometry The Poincaré Model Examples April 27, 2020 The Poincaré Model

Jul 19, 2020

## Documents

dariahiddleston
Welcome message from author
Transcript MATH 3210:Euclidean and Non-Euclidean Geometry

The Poincaré Model

Examples

April 27, 2020

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

Our goal is to illustrate by examples that the Poincaré model is aHilbert plane with a number of unexpected properties.

In particular,• many familiar theorems that are true in every Hilbert plane

satisfying Playfair’s axiom (P), and• important notions that work well in every Hilbert plane

satisfying Playfair’s axiom (P)fail in the Poincaré model.

The theorems/notions that we will discuss are the following:� Theorem: The perpendicular bisectors of the sides of a triangle

meet at the same point [(IV.5), see Problem 1 on HW3].� Theorem: An exterior angle of a triangle is congruent to the sum

of the two opposite interior angles [(I.32)].� Notion: Similarity.

Throughout, we will work in the circle Γ with equation x2 + y2 = 1 and centerO = (0, 0) in a Cartesian plane ΠF (with F a Euclidean ordered field); e.g., F = R.

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

Our goal is to illustrate by examples that the Poincaré model is aHilbert plane with a number of unexpected properties. In particular,• many familiar theorems that are true in every Hilbert plane

satisfying Playfair’s axiom (P), and

• important notions that work well in every Hilbert planesatisfying Playfair’s axiom (P)

fail in the Poincaré model.

The theorems/notions that we will discuss are the following:� Theorem: The perpendicular bisectors of the sides of a triangle

meet at the same point [(IV.5), see Problem 1 on HW3].� Theorem: An exterior angle of a triangle is congruent to the sum

of the two opposite interior angles [(I.32)].� Notion: Similarity.

Throughout, we will work in the circle Γ with equation x2 + y2 = 1 and centerO = (0, 0) in a Cartesian plane ΠF (with F a Euclidean ordered field); e.g., F = R.

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

Our goal is to illustrate by examples that the Poincaré model is aHilbert plane with a number of unexpected properties. In particular,• many familiar theorems that are true in every Hilbert plane

satisfying Playfair’s axiom (P), and• important notions that work well in every Hilbert plane

satisfying Playfair’s axiom (P)fail in the Poincaré model.

The theorems/notions that we will discuss are the following:� Theorem: The perpendicular bisectors of the sides of a triangle

meet at the same point [(IV.5), see Problem 1 on HW3].� Theorem: An exterior angle of a triangle is congruent to the sum

of the two opposite interior angles [(I.32)].� Notion: Similarity.

Throughout, we will work in the circle Γ with equation x2 + y2 = 1 and centerO = (0, 0) in a Cartesian plane ΠF (with F a Euclidean ordered field); e.g., F = R.

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

Our goal is to illustrate by examples that the Poincaré model is aHilbert plane with a number of unexpected properties. In particular,• many familiar theorems that are true in every Hilbert plane

satisfying Playfair’s axiom (P), and• important notions that work well in every Hilbert plane

satisfying Playfair’s axiom (P)fail in the Poincaré model.

The theorems/notions that we will discuss are the following:

� Theorem: The perpendicular bisectors of the sides of a trianglemeet at the same point [(IV.5), see Problem 1 on HW3].� Theorem: An exterior angle of a triangle is congruent to the sum

of the two opposite interior angles [(I.32)].� Notion: Similarity.

Throughout, we will work in the circle Γ with equation x2 + y2 = 1 and centerO = (0, 0) in a Cartesian plane ΠF (with F a Euclidean ordered field); e.g., F = R.

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

Our goal is to illustrate by examples that the Poincaré model is aHilbert plane with a number of unexpected properties. In particular,• many familiar theorems that are true in every Hilbert plane

satisfying Playfair’s axiom (P), and• important notions that work well in every Hilbert plane

satisfying Playfair’s axiom (P)fail in the Poincaré model.

The theorems/notions that we will discuss are the following:� Theorem: The perpendicular bisectors of the sides of a triangle

meet at the same point [(IV.5), see Problem 1 on HW3].

� Theorem: An exterior angle of a triangle is congruent to the sumof the two opposite interior angles [(I.32)].� Notion: Similarity.

Throughout, we will work in the circle Γ with equation x2 + y2 = 1 and centerO = (0, 0) in a Cartesian plane ΠF (with F a Euclidean ordered field); e.g., F = R.

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

Our goal is to illustrate by examples that the Poincaré model is aHilbert plane with a number of unexpected properties. In particular,• many familiar theorems that are true in every Hilbert plane

satisfying Playfair’s axiom (P), and• important notions that work well in every Hilbert plane

satisfying Playfair’s axiom (P)fail in the Poincaré model.

The theorems/notions that we will discuss are the following:� Theorem: The perpendicular bisectors of the sides of a triangle

meet at the same point [(IV.5), see Problem 1 on HW3].� Theorem: An exterior angle of a triangle is congruent to the sum

of the two opposite interior angles [(I.32)].

� Notion: Similarity.

Throughout, we will work in the circle Γ with equation x2 + y2 = 1 and centerO = (0, 0) in a Cartesian plane ΠF (with F a Euclidean ordered field); e.g., F = R.

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

Our goal is to illustrate by examples that the Poincaré model is aHilbert plane with a number of unexpected properties. In particular,• many familiar theorems that are true in every Hilbert plane

satisfying Playfair’s axiom (P), and• important notions that work well in every Hilbert plane

satisfying Playfair’s axiom (P)fail in the Poincaré model.

The theorems/notions that we will discuss are the following:� Theorem: The perpendicular bisectors of the sides of a triangle

meet at the same point [(IV.5), see Problem 1 on HW3].� Theorem: An exterior angle of a triangle is congruent to the sum

of the two opposite interior angles [(I.32)].� Notion: Similarity.

Throughout, we will work in the circle Γ with equation x2 + y2 = 1 and centerO = (0, 0) in a Cartesian plane ΠF (with F a Euclidean ordered field); e.g., F = R.

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

Our goal is to illustrate by examples that the Poincaré model is aHilbert plane with a number of unexpected properties. In particular,• many familiar theorems that are true in every Hilbert plane

satisfying Playfair’s axiom (P), and• important notions that work well in every Hilbert plane

satisfying Playfair’s axiom (P)fail in the Poincaré model.

The theorems/notions that we will discuss are the following:� Theorem: The perpendicular bisectors of the sides of a triangle

meet at the same point [(IV.5), see Problem 1 on HW3].� Theorem: An exterior angle of a triangle is congruent to the sum

of the two opposite interior angles [(I.32)].� Notion: Similarity.

Throughout, we will work in the circle Γ with equation x2 + y2 = 1 and centerO = (0, 0) in a Cartesian plane ΠF (with F a Euclidean ordered field); e.g., F = R.

The Poincaré Model MATH 3210: Euclidean and Non-Euclidean Geometry Example 1: Perpendicular Bisectors in the P-modelExample 1. Let Γ be the circle with equationx2 + y2 = 1 in ΠF . Let O = (0,0), M = (a,a)

where 0 < a <√

22 ,

and let ` denote the x-axisand m the line OM (in ΠF ).

O

ΓM

`

m

M′

γA

B(1) Find the P-line through M that isperpendicular to the P-line mP.• The P-line is γP, γ has diameter MM′ with M′ = ρΓ(M).• Thus, γ has center ( 1

4 (a−1 + 2a), 14 (a−1 + 2a)) and radius

√2

4 (a−1 − 2a).

(2) Notice that if a is close enough to√

22 , then the P-lines γP and `P

are parallel. Therefore, there is no P-triangle with base OMP

and base angles 12 RA at O and RA at M.

(3) Find a P-triangle such that the perpendicular P-bisectors of theP-sides do not meet.• (C1)⇒ there is a P-point A such that M is the P-midpoint of OA

P(i.e.,

O ∗P M ∗P A and OMP ∼=P MA

P), so γP is the perpendicular P-bisector of OA

P.

• Reflect M, A, γP in `P to get N, B, δP.• 4POAB is an isosceles P-triangle in which the perpendicular P-bisectorsγP, δP, `P of the P-sides do not meet, if a is close enough to

√2

2 .

The Poincaré Model MATH 3210: Euclidean and Non-Euclidean Geometry Example 1: Perpendicular Bisectors in the P-modelExample 1. Let Γ be the circle with equationx2 + y2 = 1 in ΠF . Let O = (0,0), M = (a,a)

where 0 < a <√

22 , and let ` denote the x-axis

and m the line OM (in ΠF ). O

ΓM

`

m

M′

γA

B(1) Find the P-line through M that isperpendicular to the P-line mP.• The P-line is γP, γ has diameter MM′ with M′ = ρΓ(M).• Thus, γ has center ( 1

4 (a−1 + 2a), 14 (a−1 + 2a)) and radius

√2

4 (a−1 − 2a).

(2) Notice that if a is close enough to√

22 , then the P-lines γP and `P

are parallel. Therefore, there is no P-triangle with base OMP

and base angles 12 RA at O and RA at M.

(3) Find a P-triangle such that the perpendicular P-bisectors of theP-sides do not meet.• (C1)⇒ there is a P-point A such that M is the P-midpoint of OA

P(i.e.,

O ∗P M ∗P A and OMP ∼=P MA

P), so γP is the perpendicular P-bisector of OA

P.

• Reflect M, A, γP in `P to get N, B, δP.• 4POAB is an isosceles P-triangle in which the perpendicular P-bisectorsγP, δP, `P of the P-sides do not meet, if a is close enough to

√2

2 .

The Poincaré Model MATH 3210: Euclidean and Non-Euclidean Geometry Example 1: Perpendicular Bisectors in the P-modelExample 1. Let Γ be the circle with equationx2 + y2 = 1 in ΠF . Let O = (0,0), M = (a,a)

where 0 < a <√

22 , and let ` denote the x-axis

and m the line OM (in ΠF ). O

ΓM

`

m

M′

γA

B

(1) Find the P-line through M that isperpendicular to the P-line mP.

• The P-line is γP, γ has diameter MM′ with M′ = ρΓ(M).• Thus, γ has center ( 1

4 (a−1 + 2a), 14 (a−1 + 2a)) and radius

√2

4 (a−1 − 2a).

(2) Notice that if a is close enough to√

22 , then the P-lines γP and `P

are parallel. Therefore, there is no P-triangle with base OMP

and base angles 12 RA at O and RA at M.

(3) Find a P-triangle such that the perpendicular P-bisectors of theP-sides do not meet.• (C1)⇒ there is a P-point A such that M is the P-midpoint of OA

P(i.e.,

O ∗P M ∗P A and OMP ∼=P MA

P), so γP is the perpendicular P-bisector of OA

P.

• Reflect M, A, γP in `P to get N, B, δP.• 4POAB is an isosceles P-triangle in which the perpendicular P-bisectorsγP, δP, `P of the P-sides do not meet, if a is close enough to

√2

2 .

The Poincaré Model MATH 3210: Euclidean and Non-Euclidean Geometry Example 1: Perpendicular Bisectors in the P-modelExample 1. Let Γ be the circle with equationx2 + y2 = 1 in ΠF . Let O = (0,0), M = (a,a)

where 0 < a <√

22 , and let ` denote the x-axis

and m the line OM (in ΠF ). O

ΓM

`

m

M′

γ

A

B

(1) Find the P-line through M that isperpendicular to the P-line mP.• The P-line is γP, γ has diameter MM′ with M′ = ρΓ(M).

• Thus, γ has center ( 14 (a−1 + 2a), 1

4 (a−1 + 2a)) and radius√

24 (a−1 − 2a).

(2) Notice that if a is close enough to√

22 , then the P-lines γP and `P

are parallel. Therefore, there is no P-triangle with base OMP

and base angles 12 RA at O and RA at M.

(3) Find a P-triangle such that the perpendicular P-bisectors of theP-sides do not meet.• (C1)⇒ there is a P-point A such that M is the P-midpoint of OA

P(i.e.,

O ∗P M ∗P A and OMP ∼=P MA

P), so γP is the perpendicular P-bisector of OA

P.

• Reflect M, A, γP in `P to get N, B, δP.• 4POAB is an isosceles P-triangle in which the perpendicular P-bisectorsγP, δP, `P of the P-sides do not meet, if a is close enough to

√2

2 .

The Poincaré Model MATH 3210: Euclidean and Non-Euclidean Geometry Example 1: Perpendicular Bisectors in the P-modelExample 1. Let Γ be the circle with equationx2 + y2 = 1 in ΠF . Let O = (0,0), M = (a,a)

where 0 < a <√

22 , and let ` denote the x-axis

and m the line OM (in ΠF ). O

ΓM

`

m

M′

γ

A

B

(1) Find the P-line through M that isperpendicular to the P-line mP.• The P-line is γP, γ has diameter MM′ with M′ = ρΓ(M).• Thus, γ has center ( 1

4 (a−1 + 2a), 14 (a−1 + 2a)) and radius

√2

4 (a−1 − 2a).

(2) Notice that if a is close enough to√

22 , then the P-lines γP and `P

are parallel. Therefore, there is no P-triangle with base OMP

and base angles 12 RA at O and RA at M.

(3) Find a P-triangle such that the perpendicular P-bisectors of theP-sides do not meet.• (C1)⇒ there is a P-point A such that M is the P-midpoint of OA

P(i.e.,

O ∗P M ∗P A and OMP ∼=P MA

P), so γP is the perpendicular P-bisector of OA

P.

• Reflect M, A, γP in `P to get N, B, δP.• 4POAB is an isosceles P-triangle in which the perpendicular P-bisectorsγP, δP, `P of the P-sides do not meet, if a is close enough to

√2

2 .

The Poincaré Model MATH 3210: Euclidean and Non-Euclidean Geometry Example 1: Perpendicular Bisectors in the P-modelExample 1. Let Γ be the circle with equationx2 + y2 = 1 in ΠF . Let O = (0,0), M = (a,a)

where 0 < a <√

22 , and let ` denote the x-axis

and m the line OM (in ΠF ). O

ΓM

`

m

M′

γ

A

B

(1) Find the P-line through M that isperpendicular to the P-line mP.• The P-line is γP, γ has diameter MM′ with M′ = ρΓ(M).• Thus, γ has center ( 1

4 (a−1 + 2a), 14 (a−1 + 2a)) and radius

√2

4 (a−1 − 2a).

(2) Notice that if a is close enough to√

22 , then the P-lines γP and `P

are parallel.

Therefore, there is no P-triangle with base OMP

and base angles 12 RA at O and RA at M.

(3) Find a P-triangle such that the perpendicular P-bisectors of theP-sides do not meet.• (C1)⇒ there is a P-point A such that M is the P-midpoint of OA

P(i.e.,

O ∗P M ∗P A and OMP ∼=P MA

P), so γP is the perpendicular P-bisector of OA

P.

• Reflect M, A, γP in `P to get N, B, δP.• 4POAB is an isosceles P-triangle in which the perpendicular P-bisectorsγP, δP, `P of the P-sides do not meet, if a is close enough to

√2

2 .

The Poincaré Model MATH 3210: Euclidean and Non-Euclidean Geometry Example 1: Perpendicular Bisectors in the P-modelExample 1. Let Γ be the circle with equationx2 + y2 = 1 in ΠF . Let O = (0,0), M = (a,a)

where 0 < a <√

22 , and let ` denote the x-axis

and m the line OM (in ΠF ). O

ΓM

`

m

M′

γ

A

B

(1) Find the P-line through M that isperpendicular to the P-line mP.• The P-line is γP, γ has diameter MM′ with M′ = ρΓ(M).• Thus, γ has center ( 1

4 (a−1 + 2a), 14 (a−1 + 2a)) and radius

√2

4 (a−1 − 2a).

(2) Notice that if a is close enough to√

22 , then the P-lines γP and `P

are parallel. Therefore, there is no P-triangle with base OMP

and base angles 12 RA at O and RA at M.

(3) Find a P-triangle such that the perpendicular P-bisectors of theP-sides do not meet.• (C1)⇒ there is a P-point A such that M is the P-midpoint of OA

P(i.e.,

O ∗P M ∗P A and OMP ∼=P MA

P), so γP is the perpendicular P-bisector of OA

P.

• Reflect M, A, γP in `P to get N, B, δP.• 4POAB is an isosceles P-triangle in which the perpendicular P-bisectorsγP, δP, `P of the P-sides do not meet, if a is close enough to

√2

2 .

The Poincaré Model MATH 3210: Euclidean and Non-Euclidean Geometry Example 1: Perpendicular Bisectors in the P-modelExample 1. Let Γ be the circle with equationx2 + y2 = 1 in ΠF . Let O = (0,0), M = (a,a)

where 0 < a <√

22 , and let ` denote the x-axis

and m the line OM (in ΠF ). O

ΓM

`

m

M′

γ

A

B

(1) Find the P-line through M that isperpendicular to the P-line mP.• The P-line is γP, γ has diameter MM′ with M′ = ρΓ(M).• Thus, γ has center ( 1

4 (a−1 + 2a), 14 (a−1 + 2a)) and radius

√2

4 (a−1 − 2a).

(2) Notice that if a is close enough to√

22 , then the P-lines γP and `P

are parallel. Therefore, there is no P-triangle with base OMP

and base angles 12 RA at O and RA at M.

(3) Find a P-triangle such that the perpendicular P-bisectors of theP-sides do not meet.

• (C1)⇒ there is a P-point A such that M is the P-midpoint of OAP

(i.e.,O ∗P M ∗P A and OM

P ∼=P MAP

), so γP is the perpendicular P-bisector of OAP

.• Reflect M, A, γP in `P to get N, B, δP.• 4POAB is an isosceles P-triangle in which the perpendicular P-bisectorsγP, δP, `P of the P-sides do not meet, if a is close enough to

√2

2 .

The Poincaré Model MATH 3210: Euclidean and Non-Euclidean Geometry Example 1: Perpendicular Bisectors in the P-modelExample 1. Let Γ be the circle with equationx2 + y2 = 1 in ΠF . Let O = (0,0), M = (a,a)

where 0 < a <√

22 , and let ` denote the x-axis

and m the line OM (in ΠF ). O

ΓM

`

m

M′

γA

B

(1) Find the P-line through M that isperpendicular to the P-line mP.• The P-line is γP, γ has diameter MM′ with M′ = ρΓ(M).• Thus, γ has center ( 1

4 (a−1 + 2a), 14 (a−1 + 2a)) and radius

√2

4 (a−1 − 2a).

(2) Notice that if a is close enough to√

22 , then the P-lines γP and `P

are parallel. Therefore, there is no P-triangle with base OMP

and base angles 12 RA at O and RA at M.

(3) Find a P-triangle such that the perpendicular P-bisectors of theP-sides do not meet.• (C1)⇒ there is a P-point A such that M is the P-midpoint of OA

P(i.e.,

O ∗P M ∗P A and OMP ∼=P MA

P),

so γP is the perpendicular P-bisector of OAP

.• Reflect M, A, γP in `P to get N, B, δP.• 4POAB is an isosceles P-triangle in which the perpendicular P-bisectorsγP, δP, `P of the P-sides do not meet, if a is close enough to

√2

2 .

The Poincaré Model MATH 3210: Euclidean and Non-Euclidean Geometry Example 1: Perpendicular Bisectors in the P-modelExample 1. Let Γ be the circle with equationx2 + y2 = 1 in ΠF . Let O = (0,0), M = (a,a)

where 0 < a <√

22 , and let ` denote the x-axis

and m the line OM (in ΠF ). O

ΓM

`

m

M′

γA

B

(1) Find the P-line through M that isperpendicular to the P-line mP.• The P-line is γP, γ has diameter MM′ with M′ = ρΓ(M).• Thus, γ has center ( 1

4 (a−1 + 2a), 14 (a−1 + 2a)) and radius

√2

4 (a−1 − 2a).

(2) Notice that if a is close enough to√

22 , then the P-lines γP and `P

are parallel. Therefore, there is no P-triangle with base OMP

and base angles 12 RA at O and RA at M.

(3) Find a P-triangle such that the perpendicular P-bisectors of theP-sides do not meet.• (C1)⇒ there is a P-point A such that M is the P-midpoint of OA

P(i.e.,

O ∗P M ∗P A and OMP ∼=P MA

P), so γP is the perpendicular P-bisector of OA

P.

• Reflect M, A, γP in `P to get N, B, δP.• 4POAB is an isosceles P-triangle in which the perpendicular P-bisectorsγP, δP, `P of the P-sides do not meet, if a is close enough to

√2

2 .

The Poincaré Model MATH 3210: Euclidean and Non-Euclidean Geometry Example 1: Perpendicular Bisectors in the P-modelExample 1. Let Γ be the circle with equationx2 + y2 = 1 in ΠF . Let O = (0,0), M = (a,a)

where 0 < a <√

22 , and let ` denote the x-axis

and m the line OM (in ΠF ). O

ΓM

`

m

M′

γA

B(1) Find the P-line through M that isperpendicular to the P-line mP.• The P-line is γP, γ has diameter MM′ with M′ = ρΓ(M).• Thus, γ has center ( 1

4 (a−1 + 2a), 14 (a−1 + 2a)) and radius

√2

4 (a−1 − 2a).

(2) Notice that if a is close enough to√

22 , then the P-lines γP and `P

are parallel. Therefore, there is no P-triangle with base OMP

and base angles 12 RA at O and RA at M.

(3) Find a P-triangle such that the perpendicular P-bisectors of theP-sides do not meet.• (C1)⇒ there is a P-point A such that M is the P-midpoint of OA

P(i.e.,

O ∗P M ∗P A and OMP ∼=P MA

P), so γP is the perpendicular P-bisector of OA

P.

• Reflect M, A, γP in `P to get N, B, δP.

• 4POAB is an isosceles P-triangle in which the perpendicular P-bisectorsγP, δP, `P of the P-sides do not meet, if a is close enough to

√2

2 .

The Poincaré Model MATH 3210: Euclidean and Non-Euclidean Geometry Example 1: Perpendicular Bisectors in the P-modelExample 1. Let Γ be the circle with equationx2 + y2 = 1 in ΠF . Let O = (0,0), M = (a,a)

where 0 < a <√

22 , and let ` denote the x-axis

and m the line OM (in ΠF ). O

ΓM

`

m

M′

γA

B(1) Find the P-line through M that isperpendicular to the P-line mP.• The P-line is γP, γ has diameter MM′ with M′ = ρΓ(M).• Thus, γ has center ( 1

4 (a−1 + 2a), 14 (a−1 + 2a)) and radius

√2

4 (a−1 − 2a).

(2) Notice that if a is close enough to√

22 , then the P-lines γP and `P

are parallel. Therefore, there is no P-triangle with base OMP

and base angles 12 RA at O and RA at M.

(3) Find a P-triangle such that the perpendicular P-bisectors of theP-sides do not meet.• (C1)⇒ there is a P-point A such that M is the P-midpoint of OA

P(i.e.,

O ∗P M ∗P A and OMP ∼=P MA

P), so γP is the perpendicular P-bisector of OA

P.

• Reflect M, A, γP in `P to get N, B, δP.• 4POAB is an isosceles P-triangle in which the perpendicular P-bisectorsγP, δP, `P of the P-sides do not meet, if a is close enough to

√2

2 .

The Poincaré Model MATH 3210: Euclidean and Non-Euclidean Geometry Example 2: Angles in P-TrianglesTheorem. In the Poincaré model, an exterior angle of any P-triangleis greater than the sum of the two opposite interior angles.

Proof.(1) Explain why it suffices to prove the claim for P-triangles4POAB where A = (a, 0)with 0 < a < 1 and the exterior angle is at O.

(2) Prove the claim for this special case by comparing the P-anglesof4POAB (in the P-model) with the angles of4OAB (in ΠF ).

Γ

A′

γ

O A

B

The Poincaré Model MATH 3210: Euclidean and Non-Euclidean Geometry Example 2: Angles in P-TrianglesTheorem. In the Poincaré model, an exterior angle of any P-triangleis greater than the sum of the two opposite interior angles.Proof.(1) Explain why it suffices to prove the claim for P-triangles4POAB where A = (a, 0)with 0 < a < 1 and the exterior angle is at O.

(2) Prove the claim for this special case by comparing the P-anglesof4POAB (in the P-model) with the angles of4OAB (in ΠF ).

Γ

A′

γ

O A

B

The Poincaré Model MATH 3210: Euclidean and Non-Euclidean Geometry Example 2: Angles in P-TrianglesTheorem. In the Poincaré model, an exterior angle of any P-triangleis greater than the sum of the two opposite interior angles.Proof.(1) Explain why it suffices to prove the claim for P-triangles4POAB where A = (a, 0)with 0 < a < 1 and the exterior angle is at O.

(2) Prove the claim for this special case by comparing the P-anglesof4POAB (in the P-model) with the angles of4OAB (in ΠF ).

Γ

A′

γ

O A

B

The Poincaré Model MATH 3210: Euclidean and Non-Euclidean Geometry Example 3: No Similarity in the P-ModelTheorem. If 4PABC and 4PA1B1C1 are two P-triangles in theP-model such that the corresponding P-angles are P-congruent, i.e.,(∗) ∠PCAB ∼=P ∠PC1A1B1, ∠PABC ∼=P ∠PA1B1C1, and ∠PBCA ∼=P ∠PB1C1A1,

then 4PABC ∼=P 4PA1B1C1.Verify this statement for isosceles triangles by following steps (1)–(3) below.Assume (∗) holds and (∗∗) CA

P ∼=P CBP

and C1A1P ∼=P C1B1

P.

(1) Explain why it suffices to prove the claim for the special case when C = C1 = Oand A = (a, 0), A1 = (a1, 0) with 0 < a ≤ a1 < 1.

(2) Express the tangents of the base angles of4PABO and4PA1B1Oin terms of a, a1, and the angles of these P-triangles at O.

(3) Deduce from (2) and (∗) that A = A1, and hence4PABC ∼=P 4PA1B1C1.

Γ

A′

γ

O A

B

The Poincaré Model MATH 3210: Euclidean and Non-Euclidean Geometry Example 3: No Similarity in the P-ModelTheorem. If 4PABC and 4PA1B1C1 are two P-triangles in theP-model such that the corresponding P-angles are P-congruent, i.e.,(∗) ∠PCAB ∼=P ∠PC1A1B1, ∠PABC ∼=P ∠PA1B1C1, and ∠PBCA ∼=P ∠PB1C1A1,then 4PABC ∼=P 4PA1B1C1.

Verify this statement for isosceles triangles by following steps (1)–(3) below.Assume (∗) holds and (∗∗) CA

P ∼=P CBP

and C1A1P ∼=P C1B1

P.

(1) Explain why it suffices to prove the claim for the special case when C = C1 = Oand A = (a, 0), A1 = (a1, 0) with 0 < a ≤ a1 < 1.

(2) Express the tangents of the base angles of4PABO and4PA1B1Oin terms of a, a1, and the angles of these P-triangles at O.

(3) Deduce from (2) and (∗) that A = A1, and hence4PABC ∼=P 4PA1B1C1.

Γ

A′

γ

O A

B

The Poincaré Model MATH 3210: Euclidean and Non-Euclidean Geometry Example 3: No Similarity in the P-ModelTheorem. If 4PABC and 4PA1B1C1 are two P-triangles in theP-model such that the corresponding P-angles are P-congruent, i.e.,(∗) ∠PCAB ∼=P ∠PC1A1B1, ∠PABC ∼=P ∠PA1B1C1, and ∠PBCA ∼=P ∠PB1C1A1,then 4PABC ∼=P 4PA1B1C1.Verify this statement for isosceles triangles by following steps (1)–(3) below.

Assume (∗) holds and (∗∗) CAP ∼=P CB

Pand C1A1

P ∼=P C1B1P

.(1) Explain why it suffices to prove the claim for the special case when C = C1 = O

and A = (a, 0), A1 = (a1, 0) with 0 < a ≤ a1 < 1.

(2) Express the tangents of the base angles of4PABO and4PA1B1Oin terms of a, a1, and the angles of these P-triangles at O.

(3) Deduce from (2) and (∗) that A = A1, and hence4PABC ∼=P 4PA1B1C1.

Γ

A′

γ

O A

B

The Poincaré Model MATH 3210: Euclidean and Non-Euclidean Geometry Example 3: No Similarity in the P-ModelTheorem. If 4PABC and 4PA1B1C1 are two P-triangles in theP-model such that the corresponding P-angles are P-congruent, i.e.,(∗) ∠PCAB ∼=P ∠PC1A1B1, ∠PABC ∼=P ∠PA1B1C1, and ∠PBCA ∼=P ∠PB1C1A1,then 4PABC ∼=P 4PA1B1C1.Verify this statement for isosceles triangles by following steps (1)–(3) below.Assume (∗) holds and (∗∗) CA

P ∼=P CBP

and C1A1P ∼=P C1B1

P.

(1) Explain why it suffices to prove the claim for the special case when C = C1 = Oand A = (a, 0), A1 = (a1, 0) with 0 < a ≤ a1 < 1.

(2) Express the tangents of the base angles of4PABO and4PA1B1Oin terms of a, a1, and the angles of these P-triangles at O.

(3) Deduce from (2) and (∗) that A = A1, and hence4PABC ∼=P 4PA1B1C1.

Γ

A′

γ

O A

B

The Poincaré Model MATH 3210: Euclidean and Non-Euclidean Geometry Example 3: No Similarity in the P-ModelTheorem. If 4PABC and 4PA1B1C1 are two P-triangles in theP-model such that the corresponding P-angles are P-congruent, i.e.,(∗) ∠PCAB ∼=P ∠PC1A1B1, ∠PABC ∼=P ∠PA1B1C1, and ∠PBCA ∼=P ∠PB1C1A1,then 4PABC ∼=P 4PA1B1C1.Verify this statement for isosceles triangles by following steps (1)–(3) below.Assume (∗) holds and (∗∗) CA

P ∼=P CBP

and C1A1P ∼=P C1B1

P.

(1) Explain why it suffices to prove the claim for the special case when C = C1 = Oand A = (a, 0), A1 = (a1, 0) with 0 < a ≤ a1 < 1.

(2) Express the tangents of the base angles of4PABO and4PA1B1Oin terms of a, a1, and the angles of these P-triangles at O.

(3) Deduce from (2) and (∗) that A = A1, and hence4PABC ∼=P 4PA1B1C1.

Γ

A′

γ

O A

B

The Poincaré Model MATH 3210: Euclidean and Non-Euclidean Geometry Example 3: No Similarity in the P-ModelTheorem. If 4PABC and 4PA1B1C1 are two P-triangles in theP-model such that the corresponding P-angles are P-congruent, i.e.,(∗) ∠PCAB ∼=P ∠PC1A1B1, ∠PABC ∼=P ∠PA1B1C1, and ∠PBCA ∼=P ∠PB1C1A1,then 4PABC ∼=P 4PA1B1C1.Verify this statement for isosceles triangles by following steps (1)–(3) below.Assume (∗) holds and (∗∗) CA

P ∼=P CBP

and C1A1P ∼=P C1B1

P.

(1) Explain why it suffices to prove the claim for the special case when C = C1 = Oand A = (a, 0), A1 = (a1, 0) with 0 < a ≤ a1 < 1.

(2) Express the tangents of the base angles of4PABO and4PA1B1Oin terms of a, a1, and the angles of these P-triangles at O.

(3) Deduce from (2) and (∗) that A = A1, and hence4PABC ∼=P 4PA1B1C1.

Γ

A′

γ

O A

B

The Poincaré Model MATH 3210: Euclidean and Non-Euclidean Geometry Example 3: No Similarity in the P-ModelTheorem. If 4PABC and 4PA1B1C1 are two P-triangles in theP-model such that the corresponding P-angles are P-congruent, i.e.,(∗) ∠PCAB ∼=P ∠PC1A1B1, ∠PABC ∼=P ∠PA1B1C1, and ∠PBCA ∼=P ∠PB1C1A1,then 4PABC ∼=P 4PA1B1C1.Verify this statement for isosceles triangles by following steps (1)–(3) below.Assume (∗) holds and (∗∗) CA

P ∼=P CBP

and C1A1P ∼=P C1B1

P.

(1) Explain why it suffices to prove the claim for the special case when C = C1 = Oand A = (a, 0), A1 = (a1, 0) with 0 < a ≤ a1 < 1.

(2) Express the tangents of the base angles of4PABO and4PA1B1Oin terms of a, a1, and the angles of these P-triangles at O.

(3) Deduce from (2) and (∗) that A = A1, and hence4PABC ∼=P 4PA1B1C1.

Γ

A′

γ

O A

B

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

Related Documents
##### The Poincaré Conjecture
Category: Documents
##### Lorentz Transformation, Poincaré Vectors and Poincaré...
Category: Documents
##### Henri Poincaré
Category: Documents
##### Jules Henri Poincaré
Category: Documents
##### Curvilinear Poincaré vector beams
Category: Documents
##### The Poincaré Conjecture and Poincaré’s Prize · The...
Category: Documents
##### Euclidean versus Non-Euclidean Geometry -...
Category: Documents
##### 10 Advanced Euclidean Geometry - UNC...
Category: Documents
##### Sobolevräume und...
Category: Documents
##### MA232A: Euclidean and non-Euclidean Geometry Michaelmas ...
Category: Documents
##### Euclidean m-Space & Linear Equations Euclidean m-space.
Category: Documents
##### Conjetura de poincaré, Demostración.
Category: Documents