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.

Proposição . 1.3 Propriedades das isometrias<br />

Seja f : P −→ P uma isometria. Então:<br />

1. f é injectiva;<br />

2. f preserva a relação “estar entre”, de facto, C está entre A e B se e só se f(C) está<br />

entre f(A) e f(B);<br />

3. f preserva colinearidade, semi-rectas e semi-planos;<br />

4. Seja △ABC um triângulo, tem-se △ABC ≡ △f(A)f(B)f(C);<br />

5. f preserva os ângulos;<br />

6. f é sobrejectiva;<br />

7. f preserva e o paralelismo.<br />

(Demonstração)<br />

1. Se A=/ B então AB ≡ AA pelo que f(A)f(B) ≡ f(A)f(A) e portanto f(A) = f(B).<br />

2. Seja µ uma medida qualquer de segmentos. Recorde-se que um ponto C está entre A e<br />

B se e só se µ(AB) = µ(AC) + µ(CB). Uma isometria f preserva qualquer medida de<br />

segmentos(preservaacongruênciapordefinição)peloqueµ(f(A)f(B)) = µ(f(A)f(C))+<br />

µ(f(C)f(B)) e portanto f(C) está entre f(A) e f(B).<br />

3. Consequência da alínea anterior;<br />

4. Se A, B e C não são colineares, f(A), f(B) e f(C) também formam triângulo. Aplicando<br />

LLL obtem-se △ABC ≡ △f(A)f(B)f(C);<br />

5. Pela alínea anterior, △ABC ≡ △f(A)f(B)f(C), donde ∠ABC ≡ ∠f(A)f(B)f(C).<br />

6. Seja △ABC um triângulo fixado do plano e △f(A)f(B)f(C) o triângulo imagem. Seja<br />

M um ponto qualquer do plano. Considerar-se-ão dois casos:<br />

(a) M incide na recta < f(A),f(B) >;<br />

(b) M não incide nessa recta.<br />

Provar-se-á que em cada caso existe N ∈ P tal que f(N) = M.<br />

(a) Suponha-se que M está na recta definida por f(A) e f(B). Se M está na mesma<br />

semi-recta com origem f(A) passando por f(B) considere-se N na semi-recta com<br />

origem A passando por B tal que AN ≡ f(A)M. Se M está na semi-recta oposta<br />

considere-se N na semi-recta oposta. Por definição de isometria AN ≡ f(A)f(N) e<br />

então o axioma III-1 assegura que f(N) = M.<br />

98

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

Saved successfully!

Ooh no, something went wrong!