01.03.2013 Views

GEOMETRIA B´ASICA - Arquivo Escolar

GEOMETRIA B´ASICA - Arquivo Escolar

GEOMETRIA B´ASICA - Arquivo Escolar

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

IV. Introdução ao plano hiperbólico<br />

1 Inversões<br />

As inversões são um tipo de transformações do plano com belíssimas propriedades e inúmeras<br />

aplicações em problemas geométricos (o problema de Steiner, o problema de Apolónio...) Nesta<br />

secção serão apresentadas unicamente os conceitos básicos, necessários para definir o Disco de<br />

Poincaré. O Disco de Poincaré é um modelo analítico do plano hiperbólico,isto é, um modelo<br />

de plano de incidência que verifica os mesmos axiomas que o plano euclideano à excepção do<br />

axioma das paralelas de Euclides.<br />

Para facilitar este estudo, fazemos, de seguida, uma apresentação do plano R 2 através do<br />

conjunto dos números complexos C.<br />

Transformações geométricas básicas em C.<br />

Recorde-se a identificação de R 2 com o corpo dos números complexos C, dada por<br />

FACTOS E NOTAÇÕES<br />

R 2 ≡ C<br />

(a,b) ≡ a+ib.<br />

• Se z = a+ib e z ′ = a ′ +ib ′ , com a,b,a ′ ,b ′ ∈ R, então z+z ′ identifica-se com (a+a ′ ,b+b ′ )<br />

que é a soma dos vectores (a,b) e (a ′ ,b ′ ).<br />

• Se z = a + ib, com a,b ∈ R, o conjugado z = a − ib identifica-se com (a,−b) que é<br />

o simétrico em relação ao eixo dos xx do vector (a,b). Recorde-se que zz = a 2 + b 2 e<br />

z +z = 2a são números reais.<br />

• O módulo |z| é o comprimento do vector (a,b), recorde-se que verifica |z| 2 = zz.<br />

• Sejam ρ um real positivo e z um número complexo, z = x1 + ix2, com x1,x2 ∈ R. O<br />

complexo ρz identifica-se com o vector (ρx1,ρx2) e então é possível interpretar o produto<br />

por um real positivo ρ como uma homotetia com centro na origem e razão ρ.<br />

• Sejaa+ib, coma,b ∈ R, umcomplexodemódulo1, istoé, talquea 2 +b 2 = 1. Note-seque<br />

existe θ ∈ R (único a menos de 2kπ) tal que a = cosθ e b = sinθ, isto é, e iθ = a+ib. Dado<br />

121

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!