Reescrita da primeira prova da disciplina de

Geometria Não Euclidiana

Aluno: Leonardo Knelsen

Enuncie e prove a desigualdade de Cauchy-Schwarz

Mostre que |x| − |y| ≤ |x − y|

Demonstração:
Sejam x e y vetores em R2 . A desigualdade de Cauchy-Schwarz afirma isto

|⟨x, y⟩| ≤ |x| · |y|

Sejam x = (x1 , x2 ) e y = (y1 , y2 ).

0 ≤ (x1 y2 − x2 y1 )2 ⇒ 0 ≤ (x1 y2 )2 − 2x1 y2 x2 y1 + (x2 y1 )2

⇒ 2x1 y2 x2 y1 ≤ (x1 y2 )2 + (x2 y1 )2
⇒ (x1 y1 )2 + 2x1 y2 x2 y1 + (x2 y2 )2 ≤ (x1 y1 )2 + (x1 y2 )2 + (x2 y1 )2 + (x2 y2 )2
⇒ (x1 y1 + x2 y2 )2 ≤ (x21 + x22 )(y12 + y22 )
⇒ ⟨x, y⟩2 ≤ |x|2 · |y|2
⇒ |⟨x, y⟩| ≤ ||x| · |y||
⇒ |⟨x, y⟩| ≤ |x| · |y|

Está demonstrada a desigualdade de Cauchy-Schwarz.

Agora demonstra-se que |x| − |y| ≤ |x − y|

|⟨x, y⟩| ≤ |x| · |y| ⇒ −2|x||y| ≤ −2⟨x, y⟩

⇒ |x|2 − 2|x||y| + |y|2 ≤ |x|2 − 2⟨x, y⟩ + |y|2
⇒ (|x| − |y|)2 ≤ |x − y|2
⇒ ||x| − |y|| ≤ |x − y|
⇒ |x| − |y| ≤ |x − y|

1
Mostre que duas retas distintas são paralelas se, e so-
mente se, têm o mesmo vetor diretor
Demonstração:
Sejam l = P + [v] e m = Q + [w] duas retas distintas tais que l ∩ m ̸= ∅.
Então

l ∩ m ̸= ∅ ⇒ ∃R(R ∈ R2 ∧ l = R + [v] ∧ m = R + [w])

l ̸= m ⇒ [v] ̸= [w]

Isto é

l ̸= m ∧ l ∩ m ̸= ∅ ⇒ [v] ̸= [w]

A contrapositiva da proposição acima é

[v] = [w] ⇒ l = m ∨ l ∩ m = ∅

Isso significa que, se duas retas têm o mesmo vetor diretor, então elas coin-
cidem ou são paralelas. Por hipótese as retas são distintas, então conclui-se
que l ∩ m = ∅, isto é, l e m são paralelas.

Sejam l = P + [v] e m = Q + [w] duas retas distintas tais que [u] ̸= [w].
Afirma-se que l ∩ m ̸= ∅. Com efeito, pode-se determinar um ponto de
interseção desta maneira

P + αv = Q + βw ⇒ P − Q = βw − αv

Como v e w são linearmente independentes, o ponto de interseção existe para

quaisquer P e Q.
Conclui-se que l ∩ m ̸= ∅.
A proposição demonstrada é

[v] ̸= [w] ⇒ l ∩ m ̸= ∅

Cuja contrapositiva é

l ∩ m = ∅ ⇒ [v] = [w]

Isto é, se duas retas distintas são paralelas, então seus vetores diretores são
iguais.

2
Defina reflexão e mostre que duas reflexões distintas
comutam se, e somente se, suas retas diretoras são per-
pendiculares
Demonstração:
Seja l = P + [v] uma reta.
Uma reflexão em torno da reta l é uma bijeção de R2 para R2 , denotada ΩL
e definida explicitamente desta maneira

Ωl (X) = X − 2⟨X − P, v ⊥ ⟩v ⊥

Sejam u e v vetores unitários.

Sejam l = P + [v] e m = Q + [u] retas distintas.
Sejam Ωl e Ωm reflexões em torno de l e m, respectivamente.
Sabe-se que X ∈ l se, e somente se, Ωl X = X. Portanto, se Ωl e Ωm comutam

Ωl Ωm X = Ωm Ωl X ⇒ Ωl Ωm X = Ωm X
⇒ Ωm X ∈ l
⇒ ∃α(α ∈ R ∧ Ωm X = X + αv)

Então

X − 2⟨X − Q, u⊥ ⟩u⊥ = Ωm X = X + αv
⇒ −2⟨X − Q, u⊥ ⟩u⊥ = αv

Isto é, v é um múltiplo de u⊥ .

Conclui-se que u e v são ortogonais e, portanto, l e m são perpendiculares.

3
Se u = v ⊥ , então l ∩ m ̸= ∅.
Seja O ∈ l ∩ m.
Seja X ∈ R2 , então existem escalares α e β tais que X = O + αv + βu, pois
{u, v} é uma base ortonormal de R2 .
É possı́vel, então, escrever Ωl desta maneira

Ωl (X) = (O + αv + βu) − 2⟨(O + αv + βu) − O, v ⊥ ⟩v ⊥

= (O + αv + βu) − 2⟨αv + βu, v ⊥ ⟩v ⊥
= (O + αv + βu) − 2(⟨αv, v ⊥ ⟩ + ⟨βu, v ⊥ ⟩)v ⊥
= (O + αv + βu) − 2⟨βu, v ⊥ ⟩v ⊥
= (O + αv + βu) − 2⟨βu, u⟩u
= (O + αv + βu) − 2β⟨u, u⟩u
= (O + αv + βu) − 2βu
= O + αv − βu

Analogamente

Ωm (X) = O − αv + βu

Agora demonstra-se que Ωl e Ωm comutam

Ωm (Ωl (X)) = Ωm (O + αv − βu)

= O − αv − βu
= Ωl (O − αv + βu)
= Ωl (Ωm (X))