GEOMETRIA B´ASICA - Arquivo Escolar
GEOMETRIA B´ASICA - Arquivo Escolar
GEOMETRIA B´ASICA - Arquivo Escolar
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