Transposição BC AH Compasso Colapsável • Com um compasso duro bastava marcar a distância BC e transpor para AH
• Euclides não fez desse modo pois provavelmente possuía um
compasso mole, que fechava ao ser retirado do papel. Dito colapsável. • Na construção feita na Proposição 2, o compasso é usado para transportar o segmento BC para o ponto A, sem que haja a necessidade de se tirar o compasso do papel
• A Proposição 2 afirma que, mesmo com um compasso colapsável, é
possível fazer o transporte de um segmento de reta. Portanto, podemos supor sem perda de generalidade, que nossos compassos não são colapsáveis, ou seja, têm pernas rígidas. • A expressão “sem perda de generalidade” significa que podemos supor que algo especial acontece e mesmo assim obteremos os mesmos resultados.
• No caso do compasso, mesmo que ele seja colapsável, obteremos os
mesmos resultados que obteríamos se ele não fosse colapsável.
• Feito isso, Euclides passa a fazer o transporte de segmentos sem
maiores comentários. Essa é a essência do pensamento euclidiano: uma vez demonstrada uma proposição, podemos recorrer a ela como uma ferramenta, sem a necessidade de repetir a sua demonstração Axiomas de congruência e o seu papel no transporte de segmentos. • Agora, retornaremos ao ponto de vista moderno, ou axiomático, seguindo a abordagem do matemático alemão David Hilbert (1862-1943)
• David Hilbert (1862- 1943) foi um grande matemático da primeira metade
do século XX, tendo contribuído para várias áreas da Matemática, como Álgebra, Geometria e Teoria dos Números.
• No congresso internacional de Matemáticos de 1900, realizado em Paris,
propôs uma lista de 23 problemas que guiaram boa parte da pesquisa em Matemática durante o século XX. Congruência
• Nós já vimos as noções primitivas de ponto, reta e “estar entre”.
• Além dos axiomas de incidência e de ordem.
• Vamos considerar também a noção primitiva de congruência de
segmentos de reta. Igualdade de Euclides • Nos Elementos, Euclides identifica segmentos, ou figuras geométricas em geral, se eles diferem apenas por sua posição, ou seja, se um deles pode ser movido até se sobrepor ao outro.
• Ele chama figuras desse tipo de iguais.
• Nos textos modernos, essa noção de igualdade é substituída pela
noção de congruência. • Vamos considerar uma relação entre segmentos de reta não definida (ou seja, uma noção primitiva), que chamaremos de congruência de segmentos. • Dados dois segmentos de reta, AB e CD, apenas duas opções: • os segmentos são congruentes (escrevemos 𝐴𝐵 ≡ 𝐶𝐷 e lemos o segmento AB é congruente ao segmento CD) • os segmentos não são congruentes (escrevemos 𝐴𝐵 ≢ 𝐶𝐷 e lemos o segmento AB não é congruente ao segmento CD). Axiomas de congruência de segmentos: • C1. (Transporte) Dada uma semirreta 𝑟 com origem no ponto 𝐴 e dado um segmento BC, existe um único ponto 𝐷 sobre 𝑟 tal que 𝐴𝐷 ≡ 𝐵𝐶.
• C2. (Equivalência) Se 𝐴𝐵 ≡ 𝐶𝐷 e 𝐴𝐵 ≡ 𝐸𝐹 então 𝐶𝐷 ≡ 𝐸𝐹. Todo
segmento é congruente a si mesmo.
• C3. (Adição) Dados três pontos colineares 𝐴, 𝐵, 𝐶 tais que 𝐴 ∗ 𝐵 ∗ 𝐶
e três outros pontos colineares 𝐷, 𝐸, 𝐹 tais que 𝐷 ∗ 𝐸 ∗ 𝐹, se 𝐴𝐵 ≡ 𝐷𝐸 e 𝐵𝐶 ≡ 𝐸𝐹 , então 𝐴𝐶 ≡ 𝐷𝐹. Uma relação que satisfaz essas condições é chamada de relação de equivalência; Demonstração do teorema 2.1 Definindo soma de segmentos
A soma de dois segmentos 𝐴𝐵
e 𝐶𝐷 sobrepondo um segmento BE congruente a 𝐶𝐷 Soma de segmentos congruentes Demonstração do Teorema 2.2