As Diagonais De Um Quadrado São Congruentes

Como provar que as diagonais de um quadrado são congruentes (e por que todo mundo erra na demonstração)

A afirmação de que as diagonais de um quadrado são congruentes parece trivial até você tentar demostrá-la rigorosamente em geometria euclidiana e se perder em escolhas de critérios de congruência. Já vi estudante de engenharia cometa erro bobo aqui: escolher os triângulos errados e acabar provando coisa diferente. Vou mostrar o caminho direto primeiro, porque é o que funciona na prática. Depois entro nos detalhes que aparecem quando o exercício pede mais do que só "sim, são iguais".

Demons: as diagonais de um quadrado são congruentes

Coloca o quadrado ABCD no plano cartesiano, com vértices A(0,0), B(a,0), C(a,a) e D(0,a). A diagonal AC vai de (0,0) a (a,a), e a diagonal BD vai de (a,0) a (0,a). O comprimento de cada uma, pela distância euclidiana, é sqrt(a² + a²) = a*sqrt(2). Pronto. São iguais. Se o exercício proíbe coordenadas, usa triângulos. No quadrado ABCD, considera os triângulos ABC e DCB. AB = DC (lados do quadrado), BC é comum aos dois, e o ângulo ABC é igual ao ângulo DCB porque ambos são ângulos retos do quadrado. Pelo caso LAL (lado-ângulo-lado), os triângulos são congruentes. Portanto AC = BD, que são os lados correspondentes opostos aos ângulos congruentes. Achei essa segunda abordagem mais segura em provas, porque exige apenas o que o enunciado já te dá. Coordenadas economizam tempo, mas em contextos de geometria sintética são desconsideradas.

O que acontece quando você tenta o caminho errado

O erro mais comum é pegar os triângulos ABC e ADC e tentar provar congruência porLLL sem verificar todos os lados. Você sabe que AB = AD e BC = DC, mas precisa também confirmar que AC é comum. Às vezes o aluno esquece de dizer explicitamente que AC = AC e fica achando que o caso LLL já está completo. Na hora da correção, perde ponto só por isso. Outro erro frequente é usar o teorema de Pitágoras sem justificar que o quadrado tem ângulos retos. O Pitágoras vale para triângulos retângulos, e você precisa estabelecer que ângulos de um quadrado são 90 graus antes de aplicá-lo. Se pular essa justificação, a demonstração fica incompleta. Na minha experiência corrigindo listas de geometria do primeiro semestre, cerca de 60% dos erros vem desses dois tipos. O restante é falta de clareza na enumeração dos vértices — colocar ABCD em ordem errada gera triângulos cruzados que não representam o quadrado correto.

Propriedades que vêm junto e podem ser cobradas

Só provar que as diagonais são congruentes raramente é o objetivo final. Quase sempre pedem também que elas se bisseccionam e que são perpendiculares entre si. Essas três propriedades juntas caracterizam quadrados dentro da família dos retângulos e losangos. Para a bissecção: nos triângulos AOB e COD (onde O é a interseção das diagonais), temos ângulos alternos internos iguais porque AB é paralelo a CD, além de AB = CD. Pelo caso ALA, os triângulos são congruentes e portanto AO = OC e BO = OD. O mesmo raciocínio com os outros pares de triângulos mostra que O é ponto médio de ambas as diagonais. Para a perpendicularidade, considere que os triângulos AOB, BOC, COD e DOA são isósceles e congruentes. A soma dos ângulos em torno de O é 360 graus, e como todos são iguais, cada um mede 90 graus. As diagonais são perpendiculares.

Casos em que a propriedade falha e como contornar

Se você trabalha com quadriláteros gerais que parecem quadrados mas não são — um retângulo que não é quadrado, por exemplo — as diagonais continuam congruentes, mas param de ser perpendiculares. Já me deparei com aluno que assumia perpendicularidade automaticamente e aplicava fórmulas de área de losango onde só valia a de retângulo. O resultado numérico errava por um fator de sqrt(2). O inverso também acontece: num losango que não é quadrado, as diagonais são perpendiculares e se bisseccionam, mas não são congruentes. Se o problema só diz "paralelogramo com diagonais perpendiculares", você não pode concluir que é quadrado. Precisa juntar congruência das diagonais também. Em geometria esférica, a propriedade de que diagonais de um "quadrado" são congruentes continua válida por simetria, mas os valores numéricos mudam porque a métrica não é mais euclidiana. Se o exercício for em contexto não-euclidiano, trate com cuidado.

Dica prática para resolver exercícios rapidamente

Em provas com tempo limitado, a abordagem coordenada é geralmente mais rápida. Colocar o quadrado com lado a e vértices nos eixos leva menos de 30 segundos para mostrar que ambas as diagonais medem a*sqrt(2). Em exercícios que exigem demonstração geométrica formal, volte para o caso LAL nos triângulos formados por dois lados e o ângulo reto entre eles. Se precisar calcular a diagonal a partir do lado num problema prático, a relação direta é d = a*sqrt(2). Inversamente, a = d/sqrt(2) = d*sqrt(2)/2. Em aplicações de construção civil, isso aparece o tempo todo quando se precisa verificar se um quarto está realmente quadrado: mede-se as duas diagonais e, se forem iguais dentro da tolerância, os ângulos estão corretos. Tolerância típica de aceitação é da ordem de 3mm para um cômodo de 4 metros.