Resumos · Matemática APT · Secundário

Geometria sintética (axiomática, demonstração e lugares geométricos)

Este tema introduz o modo de pensar próprio da Matemática: o método axiomático (definições, axiomas, teoremas e demonstrações) e a lógica que o sustenta (condições, conetivos e quantificadores). Aplica-se à demonstração de resultados clássicos — como a irracionalidade de raiz de 2 — e à caracterização de lugares geométricos no plano. É matéria de 10.º ano avaliada no Exame Nacional.

4 secções~12 min de leitura4 competênciasNível Padrão 3 · Aprofundamento 1

T·0333 / 17

Perfil de exame

Distinguir definição, axioma, teorema e demonstraçãoTraduzir, relacionar e negar proposições com conetivos e quantificadoresDemonstrar por via direta, por contrarrecíproco e por redução ao absurdoCaracterizar lugares geométricos no plano

Operadores:demonstrajustificaprovadefinenegaidentificarelaciona

nível básico

Compreender a estrutura de uma demonstração e caracterizar lugares geométricos elementares (mediatriz, bissetriz, circunferência).

nível avançado

Construir demonstrações completas (direta, contrarrecíproco, absurdo) e manipular proposições com quantificadores e as leis de De Morgan.

Profundidade

Texto

Conteúdo · 4 secções

Geometria sintética (axiomática, demonstração e lugares geométricos)

Método axiomático e demonstração#

PadrãoAE-matematica-a-10-geometria-sintetica

A Matemática organiza-se como um sistema dedutivo. Parte de termos primitivos (aceites sem definição, como «ponto» e «reta») e de axiomas (proposições aceites como verdadeiras sem demonstração). A partir destes, definem-se novos conceitos e demonstram-se teoremas — proposições cuja veracidade é estabelecida por um raciocínio dedutivo válido, a demonstração. Este é o método axiomático, herdado de Euclides: a certeza matemática não vem da observação, mas da dedução a partir de premissas explícitas.

Um teorema tem, tipicamente, a forma «se P, então Q» (P ⇒ Q), onde «P» é a hipótese e «Q» a tese. Demonstrar é encadear passos logicamente válidos, cada um justificado por um axioma, uma definição ou um teorema já provado, até obter «Q» a partir de «P». Distinguem-se três grandes estratégias de demonstração (ver Fig. 1): a via direta, o contrarrecíproco e a redução ao absurdo.

Três estratégias de demonstração

Fig. 1Fig. 1 — Perante um teorema «P ⇒ Q», três estratégias de demonstração: direta, por contrarrecíproco e por redução ao absurdo.

Na demonstração direta parte-se da hipótese «P» e deduz-se «Q». No contrarrecíproco usa-se a equivalência «(P ⇒ Q) ⇔ (não Q ⇒ não P)»: prova-se que, negada a tese, se nega a hipótese. Na redução ao absurdo supõe-se que «P» é verdadeira mas «Q» é falsa e deduz-se uma contradição — o que obriga a concluir que «Q» tem de ser verdadeira. Escolher a estratégia certa é metade do trabalho de uma demonstração.

Importa ainda distinguir uma demonstração de uma verificação em casos particulares. Confirmar que uma propriedade se verifica para 1, 2 e 3 não a demonstra para todos os naturais — para isso existe a indução matemática (tratada em Sucessões). Um único contraexemplo, porém, basta para refutar uma afirmação universal: para mostrar que «todos os números primos são ímpares» é falso, basta exibir o 2.

Exemplo resolvido

Irracionalidade de raiz de 2 (redução ao absurdo)

Demonstra que raiz de 2 é um número irracional.

Supor o contrário
Suponhamos, por absurdo, que √2 é racional. Então √2 = p/q, com p e q inteiros, q ≠ 0, e a fração já irredutível (p e q sem fatores comuns).
Elevar ao quadrado
De √2 = p/q vem 2 = p²/q², ou seja p² = 2q². Logo p² é par, e portanto p é par (se p fosse ímpar, p² seria ímpar).
Substituir p = 2k
Sendo p = 2k, temos (2k)² = 2q², isto é 4k² = 2q², donde q² = 2k². Logo q² é par e q é par.
Contradição
p e q são ambos pares, contra a hipótese de p/q ser irredutível. A contradição mostra que a suposição inicial é falsa.
$p^2 = 2q^2 \;\Rightarrow\; p \text{ par} \;\Rightarrow\; q \text{ par} \;\Rightarrow\!\Leftarrow$
Conclusão
Não existe fração irredutível igual a √2; logo √2 é irracional.

Resultado: √2 não pode escrever-se como quociente de dois inteiros: é irracional (demonstração por redução ao absurdo).

Erros frequentes

Confundir «provar para alguns casos» com «demonstrar para todos».
Trocar o recíproco (Q ⇒ P) com o contrarrecíproco (não Q ⇒ não P).

Revisão ativa

Demonstra, por via direta, que a soma de dois números pares é par (usa a definição de número par: 2k, com k inteiro).

Evocação ativa

Recorda os pontos-chave — depois revela.

Fontes: Aprendizagens Essenciais de Matemática A — 10.º ano (Despacho 702/2023) (Direção-Geral da Educação (DGE))

Lógica, condições e quantificadores#

PadrãoAE-matematica-a-10-geometria-sintetica

Uma proposição é uma afirmação à qual se pode atribuir um e um só valor lógico: verdadeiro ou falso. As proposições combinam-se por conetivos lógicos: a negação «¬p» (não p), a conjunção «p ∧ q» (p e q), a disjunção «p ∨ q» (p ou q, inclusivo) e a implicação «p ⇒ q» (se p então q). A tabela de verdade de cada conetivo define rigorosamente o seu valor lógico (ver Fig. 2).

Conetivos lógicos e as suas negações

Fig. 2Fig. 2 — Conetivos e quantificadores, com a respetiva negação (leis de De Morgan).

A implicação «p ⇒ q» merece atenção especial. Diz-se que «p» é condição suficiente para «q» (basta p para garantir q) e que «q» é condição necessária para «p» (sem q não há p). A equivalência «p ⇔ q» (p se e só se q) vale quando cada uma é condição necessária e suficiente da outra. Confundir uma implicação com a sua recíproca é um dos erros lógicos mais comuns.

Uma condição (ou proposição com variável), como «x > 0», torna-se proposição quando se quantifica. O quantificador universal «∀» (qualquer que seja) afirma que a condição é válida para todos os valores; o quantificador existencial «∃» (existe pelo menos um) afirma que há pelo menos um valor que a satisfaz. As segundas leis de De Morgan regem a negação dos quantificadores: negar «para todo o x, p(x)» dá «existe x tal que não p(x)», e vice-versa.

Estas regras são a gramática de toda a Matemática: enunciar teoremas, escrever condições necessárias e suficientes, e negar proposições com rigor. As primeiras leis de De Morgan tratam os conetivos — «¬(p ∧ q) ⇔ ¬p ∨ ¬q» e «¬(p ∨ q) ⇔ ¬p ∧ ¬q» —, permitindo transformar e simplificar expressões lógicas, um passo frequente na resolução de condições e na demonstração.

Exemplo resolvido

Negar uma proposição quantificada

Nega a proposição «∀x ∈ ℝ, x² ≥ 0» e determina o valor lógico da negação.

Aplicar De Morgan
A negação de «∀x, p(x)» é «∃x: ¬p(x)». Aqui p(x) é «x² ≥ 0», cuja negação é «x² < 0».
Escrever a negação
¬(∀x ∈ ℝ, x² ≥ 0) ⇔ ∃x ∈ ℝ: x² < 0.
Valor lógico
Nenhum real tem quadrado negativo, logo «∃x: x² < 0» é falsa. Portanto a proposição original é verdadeira.

Resultado: A negação é «∃x ∈ ℝ: x² < 0», que é falsa; logo a proposição «∀x ∈ ℝ, x² ≥ 0» é verdadeira.

Erros frequentes

Negar «∀x, p(x)» como «∀x, ¬p(x)» em vez de «∃x, ¬p(x)».
Trocar condição necessária com condição suficiente numa implicação.

Revisão ativa

Escreve a negação da proposição «∀x ∈ ℝ, x² ≥ 0» e indica o seu valor lógico.

Evocação ativa

Recorda os pontos-chave — depois revela.

Fontes: Aprendizagens Essenciais de Matemática A — 10.º ano (Despacho 702/2023) (Direção-Geral da Educação (DGE))

Lugares geométricos no plano#

PadrãoAE-matematica-a-10-geometria-sintetica

Um lugar geométrico é o conjunto de todos os pontos do plano (ou do espaço) que satisfazem uma dada condição — e apenas esses. Caracterizar um lugar geométrico é responder a duas perguntas: todos os pontos que satisfazem a condição pertencem à figura? E todos os pontos da figura satisfazem a condição? Só quando as duas respostas são «sim» a caracterização está completa.

A mediatriz de um segmento «[AB]» é o lugar geométrico dos pontos do plano equidistantes das extremidades «A» e «B». Demonstra-se que é a reta perpendicular ao segmento que passa pelo seu ponto médio (ver Fig. 3). A propriedade «PA = PB» caracteriza-a completamente: qualquer ponto da mediatriz está à mesma distância de A e de B, e qualquer ponto equidistante de A e de B está na mediatriz.

A mediatriz como lugar geométrico

Fig. 3Fig. 3 — Mediatriz de [AB]: a reta perpendicular a [AB] no ponto médio M. Todo o ponto P da mediatriz verifica PA = PB.

Outros lugares geométricos fundamentais: a bissetriz de um ângulo é o lugar dos pontos equidistantes dos dois lados do ângulo; a circunferência de centro «O» e raio «r» é o lugar dos pontos cuja distância a «O» é igual a «r»; o círculo é o lugar dos pontos cuja distância a «O» é menor ou igual a «r». Cada um traduz uma condição geométrica precisa numa figura.

Os lugares geométricos ligam a geometria sintética (baseada em propriedades e demonstrações) à geometria analítica (baseada em coordenadas e equações). A mediatriz de «[AB]», por exemplo, tem a caracterização sintética «PA = PB» e, em coordenadas, dá origem a uma equação de reta — ponte que se explora no tema de Geometria Analítica. Reconhecer o lugar geométrico por detrás de uma condição é uma competência transversal a toda a geometria.

Exemplo resolvido

Caracterizar a mediatriz

Mostra que o lugar geométrico dos pontos P equidistantes de A e de B é a reta perpendicular a [AB] no seu ponto médio M.

Condição
O lugar é o conjunto dos P tais que PA = PB.
M pertence
O ponto médio M verifica MA = MB, logo pertence ao lugar.
Perpendicularidade
Se PA = PB e P ≠ M, o triângulo [APB] é isósceles; a mediana PM relativa à base [AB] é também altura, logo PM ⊥ AB.
Dupla inclusão
Todo o P com PA = PB está nessa reta; e todo o ponto dessa reta é equidistante de A e B (triângulos iguais). Logo o lugar é exatamente a mediatriz.

Resultado: O lugar geométrico é a reta perpendicular a [AB] no ponto médio M — a mediatriz de [AB].

Erros frequentes

Descrever a figura sem verificar que só os seus pontos satisfazem a condição.
Confundir circunferência (a linha) com círculo (a região interior incluída).

Revisão ativa

Caracteriza o lugar geométrico dos pontos do plano equidistantes de dois pontos fixos A e B e justifica que é a mediatriz de [AB].

Evocação ativa

Recorda os pontos-chave — depois revela.

Fontes: Aprendizagens Essenciais de Matemática A — 10.º ano (Despacho 702/2023) (Direção-Geral da Educação (DGE))

Demonstrações clássicas da geometria#

AprofundamentoAE-matematica-a-10-geometria-sintetica

A geometria sintética demonstra propriedades das figuras a partir dos axiomas e de resultados sobre ângulos e paralelismo. Um resultado central é o teorema da soma dos ângulos internos de um triângulo: em qualquer triângulo, a soma das amplitudes dos três ângulos internos é 180°. A sua demonstração ilustra o poder de uma construção auxiliar bem escolhida (ver Fig. 4).

Soma dos ângulos internos de um triângulo

Fig. 4Fig. 4 — Reta por C paralela a [AB]: os ângulos alternos internos reproduzem em C os ângulos de A e de B, somando 180°.

A demonstração usa uma reta auxiliar paralela a um dos lados, traçada pelo vértice oposto. Os ângulos alternos internos determinados por uma secante em duas retas paralelas são iguais — este é o resultado-chave que a construção mobiliza. Assim, os três ângulos do triângulo reaparecem, junto do vértice, a compor um ângulo raso (180°), o que estabelece o teorema.

Muitas outras propriedades se demonstram de modo análogo: os ângulos de um triângulo equilátero medem 60° cada; num triângulo isósceles, os ângulos da base são iguais; a soma dos ângulos internos de um polígono de «n» lados é «(n − 2)·180°». Em cada caso, o rigor está em invocar apenas propriedades já demonstradas (ângulos de paralelas, igualdade de triângulos) e em justificar cada passo.

Estas demonstrações treinam a competência mais valorizada no Exame Nacional: raciocinar dedutivamente e comunicar o raciocínio com linguagem matemática correta. Não basta chegar ao resultado — é preciso justificar cada afirmação. O hábito de perguntar «porquê?» a cada passo, e de responder invocando uma propriedade concreta, é o que distingue uma demonstração de uma simples descrição.

Exemplo resolvido

Soma dos ângulos internos de um triângulo

Demonstra que, num triângulo [ABC], a soma dos ângulos internos é 180°.

Construção auxiliar
Traça-se pelo vértice C a reta r paralela ao lado [AB].
Ângulos alternos internos
A secante [AC] determina, com r ∥ [AB], ângulos alternos internos iguais: junto de C surge um ângulo igual ao ângulo em A. Do mesmo modo, a secante [BC] faz surgir em C um ângulo igual ao ângulo em B.
Ângulo raso em C
Em torno de C, do lado da reta r, os três ângulos — o de A, o de C e o de B — juntam-se para formar um ângulo raso.
Conclusão
Logo Â + B̂ + Ĉ = 180°.
$\hat{A} + \hat{B} + \hat{C} = 180^\circ$

Resultado: A soma dos ângulos internos de qualquer triângulo é 180°, demonstrada com a paralela por C e os ângulos alternos internos.

Erros frequentes

Usar o resultado a demonstrar como se fosse já conhecido (raciocínio circular).
Afirmar igualdades de ângulos sem justificar (alternos internos, correspondentes).

Revisão ativa

Demonstra que a soma dos ângulos internos de um triângulo é 180°, traçando pelo vértice C uma reta paralela ao lado [AB].

Evocação ativa

Recorda os pontos-chave — depois revela.

Fontes: Aprendizagens Essenciais de Matemática A — 10.º ano (Despacho 702/2023) (Direção-Geral da Educação (DGE))

Referências e fontes

Fontes

Direção-Geral da Educação (DGE)

Aprendizagens Essenciais de Matemática A — 10.º ano (Despacho 702/2023)

Geometria sintética (axiomática, demonstração e lugares geométricos)

4 secções~12 min de leitura4 competênciasNível Padrão 3 · Aprofundamento 1

Geometria sintética (axiomática, demonstração e lugares geométricos)

Pontos-chave

Irracionalidade de raiz de 2 (redução ao absurdo)

Pontos-chave

Negar uma proposição quantificada

Pontos-chave

Caracterizar a mediatriz

Pontos-chave

Soma dos ângulos internos de um triângulo

Fontes

Geometria sintética (axiomática, demonstração e lugares geométricos)

Pontos-chave

Irracionalidade de raiz de 2 (redução ao absurdo)

Pontos-chave

Negar uma proposição quantificada

Pontos-chave

Caracterizar a mediatriz

Pontos-chave

Soma dos ângulos internos de um triângulo

Fontes