Calculadora de Demonstrações Geométricas

Uma demonstração geométrica é um argumento passo a passo que demonstra a verdade de uma afirmação usando definições, postulados e teoremas previamente demonstrados. A Calculadora de Demonstrações Geométricas recebe uma condição "dada" e uma afirmação "a demonstrar" e produz uma demonstração completa em duas colunas — passo, razão, passo, razão — utilizando os postulados e teoremas aplicáveis. Este tutorial explica a estrutura de uma demonstração em duas colunas, o que conta como uma razão válida e os tipos de demonstração mais comuns que você encontrará em geometria.

O formato da demonstração em duas colunas

O formato tradicional para demonstrações de geometria do ensino médio possui duas colunas:

Cada passo deve ter uma justificativa no lado direito. Justificativas aceitáveis:

• Dado — enunciado no problema
• Definição — pela definição de um termo (ex.: "definição de ponto médio")
• Postulado — uma suposição fundamental que não precisa de prova (ex.: Postulado LLL)
• Teorema — uma afirmação previamente demonstrada (ex.: "Teorema dos Ângulos Opostos pelo Vértice")
• Propriedade — uma propriedade algébrica (reflexiva, simétrica, transitiva, substituição, distributiva)
• CPCTC — Partes Correspondentes de Triângulos Congruentes são Congruentes (usado após provar a congruência de dois triângulos)

Como a calculadora funciona

Nos bastidores, a calculadora usa um modelo de linguagem grande treinado em milhares de demonstrações geométricas. Você fornece:

1. O dado: as condições iniciais. Exemplo: "AB = CD, BC = DE, ABCD é um quadrilátero".
2. O a demonstrar: a afirmação que deseja demonstrar. Exemplo: "Triângulo ABE ≅ Triângulo CDE".
3. Opcional: uma fotografia da figura. O sistema de Visão Artificial pode ler tanto o diagrama quanto quaisquer rótulos impressos.

A IA:

1. Analisa as condições dadas e o objetivo.
2. Identifica qual(is) teorema(s) as conecta.
3. Constrói a cadeia de declarações, citando cada justificativa.
4. Gera a demonstração no formato de duas colunas (ou em forma de parágrafo, mediante solicitação).

Tipos padrão de demonstração

A maioria das demonstrações introdutórias de geometria se enquadra em uma destas categorias:

1. Demonstrações de congruência de triângulos

Use um dos 5 postulados de congruência (LLL, LAL, ALA, ALA, HL) para provar que dois triângulos são congruentes. Em seguida, use CPCTC para extrair igualdades específicas de partes correspondentes.

Estrutura típica: identifique elementos compartilhados (lados reflexivos, ângulos opostos pelo vértice, ângulos alternos internos), relacione-os, invoque o postulado e conclua a congruência.

2. Demonstrações de semelhança de triângulos

Use um dos 3 postulados de semelhança (AA, LLL-sem, LAL-sem) para mostrar que dois triângulos são semelhantes. Em seguida, use a proporcionalidade dos lados correspondentes para derivar razões específicas.

3. Demonstrações de ângulos com retas paralelas

Estabeleça que duas retas são paralelas mostrando uma das condições angulares equivalentes (correspondentes iguais, alternos internos iguais, consecutivos suplementares). Ou use retas já paralelas para derivar ângulos iguais.

4. Demonstrações de classificação de quadriláteros

Mostre que um quadrilátero é um paralelogramo, losango, retângulo, quadrado, deltóide ou trapézio isósceles demonstrando suas propriedades definidoras.

Exemplo: "Prove que ABCD é um paralelogramo." Estratégia: mostre que ambos os pares de lados opostos são paralelos, OU ambos os pares de lados opostos são iguais, OU ambos os pares de ângulos opostos são iguais, OU as diagonais se bissectam — QUALQUER UMA dessas condições é suficiente.

5. Demonstrações de teoremas circulares

Teorema do ângulo inscrito, propriedades da reta tangente, relações entre cordas e arcos, teoremas angulares de quadriláteros cíclicos.

6. Demonstrações de segmentos e ângulos

Bissetrizes, pontos médios, perpendiculares, adições/subtrações de ângulos. Frequentemente usam propriedades algébricas (substituição, transitividade) juntamente com as geométricas.

O que torna uma demonstração "rigorosa"

Uma demonstração é rigorosa quando cada passo é justificado por uma afirmação previamente estabelecida — sem saltos de intuição, sem "óbviamente isso é verdade". As rubricas padrão de avaliação de geometria do ensino médio esperam:

• Cada passo numerado.
• Cada passo justificado pelo nome (ex.: "Teorema dos Ângulos Opostos pelo Vértice", não "óbvio").
• A progressão lógica — cada passo decorre dos anteriores através do teorema/propriedade citado.
• O passo final corresponde exatamente ao "a demonstrar".

Exemplo resolvido

Dado: AB ∥ CD; AB = CD.
A demonstrar: △ABE ≅ △CDE (onde E é a interseção das diagonais AC e BD).

A demonstração tem 5 linhas, cada uma justificada, levando do dado à conclusão.

Dicas para escrever demonstrações à mão

• Comece com o dado, termine com o objetivo. Certifique-se de que o passo 1 cita um "dado" e o último passo corresponde exatamente ao "a demonstrar".
• Identifique elementos compartilhados cedo. Um lado compartilhado ou um ângulo compartilhado (reflexivo) é frequentemente um passo gratuito que conecta as duas partes da sua demonstração.
• Procure por retas paralelas. Elas fornecem muitas igualdades angulares "de graça" através dos teoremas de retas paralelas.
• Não pule passos. Mesmo passos algebricamente óbvios, como a substituição, precisam ser citados. "A = B, B = C, portanto A = C" são três passos, não um.
• Escreva CPCTC, não "partes correspondentes". A sigla padrão é universalmente aceita.

Quando usar IA vs fazer à mão

A IA é mais rápida para:

• Verificar se você encontrou uma demonstração correta (compare seu trabalho com o da IA).
• Gerar uma demonstração quando você está travado e precisa de uma estratégia inicial.
• Traduzir uma demonstração de livro didático de forma de parágrafo para forma de duas colunas (ou vice-versa).
• Ler um problema a partir de uma foto e obter uma demonstração instantânea.

Faça à mão quando:

• É um trabalho avaliado e o professor exige.
• Você está estudando para uma prova (escrever demonstrações à mão fixa os padrões).
• A demonstração é curta — para demonstrações de 3 linhas, a IA é exagero.

Limitações

• A IA pode citar o nome errado do teorema. O raciocínio geralmente está correto, mas o nome explícito (ex.: "Teorema dos Ângulos Opostos pelo Vértice" vs "Teorema do Par Linear") pode ser inconsistente. Leia criticamente.
• Demonstrações longas e multietapas podem ser resumidas. Uma demonstração que requer 12+ passos pode ser comprimida para 6-7. Se você precisar de cada passo, peça "demonstração completa em duas colunas, sem passos resumidos".
• Geometria não euclidiana não suportada. A IA assume os axiomas euclidianos padrão. Demonstrações de geometria esférica/hiperbólica/projetiva estão fora do escopo.