UNIVERSIDADE FEDERAL DO RIO DE JANEIRO

Instituto de Matmática - Departamento de Matemática

Geometria II / Geometria Não-Euclidiana
Profa. Katrin Gelfert

Tarefa 6
Considere uma geometria neutra. Dado quatro pontos distintos A, B, C, D tais que vale A ∗ B ∗ C e a reta
←→ ←→
DC é perpendicular à reta AC. Mostre que vale então AD > BD > CD.
Solução.
Proposição ⇒ vale apenas um dos seguintes casos: BD = CD ou BD < CD ou BD > CD.
Caso BD = CD:
⇒ 4BCD é triângulo isócseles
(truque de Pappus e axioma C-VI (LAL)) ⇒ ∠DBC ∼ = ∠DCB
⇒ ∠DBC é reto
⇒ soma dos graus dos ângulos internos em 4BCD é > 180◦
contradição com o teorema de Saccheri-Legendre. ⇒ BD 6= CD
Caso BD < CD:
(C-1) ⇒ existe C ∗ E ∗ D tal que ED ∼= BD
(teorema do ângulo exterior no triângulo 4CEB) ⇒ (∠DEB)◦ > 90◦
ED ∼ = BD ⇒ 4EBD é triângulo isócseles
⇒ ∠DEB ∼ = ∠DBE
⇒ (∠DBE)◦ > 90◦
⇒ soma dos graus dos ângulos internos em 4BCD é > 180◦
contradição com o teorema de Saccheri-Legendre. ⇒ BD 6< CD
⇒ BD > CD.
(teorema do ângulo exterior no triângulo 4CBD) ⇒ ∠DBA é obtuso.

Proposição ⇒ vale apenas um dos seguintes casos: AD = BD ou AD < BD ou BD > AD.

Caso AD = BD:
⇒ 4BAD é triângulo isócseles
(truque de Pappus e axioma C-VI (LAL)) ⇒ ∠DBA ∼ = ∠DAB
⇒ ∠BAD obtuso
⇒ contradição com o teorema de Saccheri-Legendre.
Caso AD < BD:
(C-1) ⇒ existe B ∗ F ∗ D tal que F D ∼
= AD
∼
F D = AD ⇒ 4F AD é triângulo isócseles
⇒ ∠DF A ∼ = ∠DAF
⇒ (∠DAF )◦ > 90◦
contradição com o teorema de Saccheri-Legendre. ⇒ AD 6< BD
⇒ AD > BD.