Professional Documents
Culture Documents
Resolucao de Ponto, Recta, Axiomas de Incidencia e de Ordem. Salvador. GE. 2023
Resolucao de Ponto, Recta, Axiomas de Incidencia e de Ordem. Salvador. GE. 2023
Resolução:
Dada uma reta r com os pontos A e B distintos, suponha por absurdo que entre A e B exista um
conjunto finito de pontos. Por definição um conjunto é finito quando pode ser colocado em
correspondência biunívoca com o conjunto ℕ. Assim teremos que:
𝐴𝐴𝐴𝐴 = {𝑃𝑃1 , 𝑃𝑃2 , 𝑃𝑃3 … 𝑃𝑃𝑁𝑁 }, que significa AB é um conjunto com n elementos.
Tomando agora um ponto 𝑃𝑃𝑘𝑘 (𝑘𝑘 ≤ 𝑛𝑛) e o ponto 𝑃𝑃𝑘𝑘−1 pelo axioma II2 existe um ponto
𝑃𝑃𝑟𝑟 , (𝑘𝑘 − 1 < 𝑟𝑟 < 𝑘𝑘) tal que 𝑃𝑃𝑘𝑘−1 − 𝑃𝑃𝑟𝑟 − 𝑃𝑃𝑘𝑘 o que seria um absurdo pois nesse caso AB teria
𝑛𝑛 + 1 elementos.
2. Sejam P = {a, b, c}, m1 = {a, b}, m2 = {a, c}, m3 = {b, c}. Chame P de plano e m1, m2 e
m3 de retas. Verifique que nesta “geometria” vale o axioma I2.
Resolução: Basta observar que todas as combinações possíveis entre os 3 pontos do plano P,
tomados dois a dois pertence a uma das três rectas dessa geometria. Por exemplo, as
combinações possíveis são: 𝒂𝒂𝒂𝒂, 𝒂𝒂𝒂𝒂, 𝒃𝒃𝒃𝒃, 𝒃𝒃𝒃𝒃, 𝒄𝒄𝒄𝒄 𝒆𝒆 𝒄𝒄𝒄𝒄. Note que por ab passa somente uma
recta, a recta m1. Do mesmo modo pelos demais pares de pontos passam apenas uma das retas
citadas (m1; m2; m3). O que mostra que nessa geometria vale o axioma I2.
3. Três pontos não colineares determinam três rectas. Quantas rectas são determinadas
por quatro pontos sendo que quaisquer três deles são não colineares?
Resolução:
Analogamente ao exercício três construiremos a seguinte tabela, onde 𝑟𝑟𝑖𝑖𝑖𝑖 e a reta determinada
pelos pontos Pi e Pj .
Resolução: Sim, rectas que são paralelas como indica a proposição 1.1 “Duas rectas distintas
ou não intersectam-se ou intersectam-se em um único ponto”.
Portanto a Proposição 1.1 “diz que se duas rectas não são paralelas, então elas têm um ponto
em comum”.
5. Prove que, se uma recta intercepta um lado de um triangulo e não passa por nenhum de
seus vértices, então ela intercepta também um dos outros dois lados.
Resolução: Dado um triângulo ABC e uma recta r, se r intercepta o segmento AB então A está
do lado oposto a B em relação a recta r. Como por hipótese r não passa por C então C está do
lado da A ou de B.
6. Repita o exercício 3 para o caso de 5 e 6 rectas. Faça uma conjectura de qual será a
resposta no caso de n rectas.
𝒏𝒏(𝒏𝒏−𝟏𝟏)
Resolução: Usando a formula de n de rectas: , substituindo n = 5 e n = 6, temos:
𝟐𝟐
7. Mostre que não existe um exemplo de uma “geometria” com 6 pontos, em que sejam
validos os axiomas I1 e I2 e em que todas as retas tenham exatamente 3 pontos.
• Axioma I1. Qualquer que seja a reta existem pontos que pertencem a reta e pontos que
não pertencem `a recta.
• Axioma I2. Dado dois pontos distintos existe uma única reta que contem esses pontos.
Resolução: Tomando uma reta r = {P1, P2} por hipótese existe um Q1 ∈ P diferente de P1 e
P2.
Seja Q2 ∈ P e diferente de P1, P2 e Q1, também por hipótese, temos que Q2 ∉ 𝑟𝑟 pois r já possui
3 pontos. Logo, existe uma reta s = {P1, Q2} e que contém um ponto Q2 ∈ P com Q3 ≠ P1, P2,
Q1, Q2.
Agora tome Q4 ∈ P com Q4 ≠ P1, P2, Q1, Q2, Q3. Novamente por hipótese Q4 ∉ r, s pois ambos
já possuem três pontos. Logo deve existir uma reta t = {P1, Q4} que deve conter (por hipótese),
um terceiro ponto Q5. Temos então Q5 ≠ P1 e Q5 ≠ Q4 e, por construção, Q5 ≠ Q1 e Q5 ≠ P2,
pois r ≠ t, Q5 ≠ Q2 e Q5 ≠ Q3, pois s ≠ t. Isto nos leva a uma contradição pois Q5 seria o sétimo
ponto da geometria dada.
Resolução:
Sendo A3 o ponto médio do segmento A1A2 então a coordenada A3 será a média aritmética:
𝐴𝐴1 + 𝐴𝐴2 1 + 2 𝟑𝟑 𝟏𝟏
𝐴𝐴3 = = = = 𝟏𝟏
2 2 𝟐𝟐 𝟐𝟐
3 4 7
+ 7 1 𝟕𝟕 𝟑𝟑
𝐴𝐴4 = 2 2 = 2 = . = = 𝟏𝟏
2 2 2 2 𝟒𝟒 𝟒𝟒
3 7 3 7 6 7 13
+ + +
2 4 13 1 𝟏𝟏𝟏𝟏 𝟓𝟓
𝐴𝐴5 = 2 4 = =4 4= 4 =
(2) (1)
. = = 𝟏𝟏
2 2 2 2 4 2 𝟖𝟖 𝟖𝟖
9. Desenhe uma recta e sobre ela merque dois pontos A e B. Suponha que a coordenada
do ponto A seja zero e a do ponto B seja um. Marque agora dois pontos cujas coordenadas
são 3, 5, 5/2, 1/3, 3/2, 2, -1, -2, -5, -1/3, -5/3.
Resolução:
Referências Bibliográficas
3. Boyer, C. (1976). História da Matemática, Ed. Edgar Blucher, São Paulo SP.
7. Hilbert, D. (1902). The foundations of Geometry, traduzido por E.J. Townsend, The
Open Court Publishing Co, Chicago.