Figuras Geométricas Congruentes

Como verificar congruência na prática

Quando você recebe duas figuras geométricas e precisa determinar se são congruentes, o caminho mais direto é testar sobreposição por meio de transformações isométricas: translação, rotação e reflexão. Na teoria isso parece simples, mas na prática há detalhes que quebram a abordagem mecânica e fazem você perder tempo. A definição básica é que duas figuras são congruentes quando existe uma sequência de movimentos rígidos que leva uma figura exatamente sobre a outra, preservando distâncias e ângulos. Isso significa lados correspondentes iguais e ângulos correspondentes iguais. Você pode verificar lado a lado, mas cuidado para não pular o passo dos ângulos.

O que realmente define figuras geométricas congruentes

Congruência não é similaridade. Duas triângulos podem ter os mesmos ângulos e lados proporcionais, o que seria semelhança, mas não congruência. Para congruência, a escala precisa ser exatamente 1. Um erro comum é olhar apenas os ângulos e assumir congruência, o que está errado. Um triângulo com lados 3, 4, 5 e outro com lados 6, 8, 10 têm ângulos idênticos, mas não são congruentes. São semelhantes. Outro ponto que as pessoas esquecem: congruência permite reflexão. Um triângulo e seu espelhado são congruentes mesmo que nenhum movimento de translação e rotação no plano consiga sobrepor diretamente. Em 2D, você precisa permitir o flip, ou considerar o plano como algo onde reflexão é uma transformação válida. Na prática de geometria computacional, isso muda tudo. Se você estiver implementando um verificador automático, precisa tratar reflexão como caso separado, senão figuras que são claramente congruentes vão retornar falso.

Verificação passo a passo que funciona

Para figuras simples como triângulos, o método mais confiável é verificar pelos critérios de congruência de triângulos. Lados-lados-lados (LLL) resolve sozinho: se os três lados de um triângulo são iguais aos três lados do outro, os triângulos são congruentes. Não precisa checar ângulos. Ângulo-lado-ângulo (ALA) também funciona: dois ângulos e o lado compreendido. Lado-ângulo-lado (LAL). Para triângulos retângulos, hipotenusa-cateto é suficiente. O problema é que esses critérios só valem para triângulos. Para quadriláteros e polígonos com mais lados, o cenário é diferente. Um quadrilátero com lados 5, 5, 5, 5 pode ser um quadrado ou um losango com ângulo de 60 graus. Mesmo que todos os lados sejam iguais, os ângulos podem variar. Então para polígonos com mais de três lados, você precisa verificar lados E ângulos correspondentes, ou usar uma abordagem baseada em transformações. Eu trabalhava num projeto de detecção de peças mecânicas onde precisávamos verificar se duas vistas técnicas de uma peça eram congruentes. A dificuldade era que as peças vinham em escalas diferentes e com rotações arbitrárias. O método que funcionou foi normalizar as coordenadas: primeiro calcular o centróide de cada polígono e transladar para a origem, depois normalizar pela escala usando o comprimento da diagonal mais longa, e por fim testar sobreposição usando uma busca por correspondência de vértices ordenados por ângulo polar. A verificação de congruência por reflexão exigia rodar o conjunto de vértices tanto na ordem original quanto na ordem invertida.

Um detalhe importante que custou duas semanas de debugging: quando normalizamos por escala, perdemos a informação absoluta. Ou seja, conseguimos verificar congruência relativa, mas não sabemos a escala real. Se o requisito era verificar se as peças eram congruentes em tamanho absoluto, essa normalização era inútil. Nesse caso, tínhamos que confiar nas coordenadas originais e usar matching direto com tolerância numérica, geralmente tolerância de 1e-6 para coordenadas em milímetros.

Pegadinhas que todo mundo encontra

A primeira pegadinha é a ordem dos vértices. Duas figuras podem ter os mesmos vértices e lados, mas se a sequência de conexão dos vértices for diferente, são figuras diferentes. Um exemplo clássico: dados quatro pontos, você pode conectá-los formando um quadrilátero convexo ou um quadilátero cruzado. As arestas têm os mesmos comprimentos, mas as figuras não são congruentes porque a ordem de conexão muda a geometria interna. A segunda pegadinha é a ambiguidade SSA. No contexto de triângulos, saber dois lados e um ângulo não compreendido não garante congruência. Isso é o famoso caso ambíguo do seno. Dois triângulos podem satisfazer a mesma informação SSA e ter formas diferentes. Esse é um dos erros mais comuns em livros didáticos e em provas. Sempre verifique se o ângulo é o compreendido entre os dois lados, senão o critério não se aplica. A terceira pegadinha é a questão da orientação. No plano bidimensional, congruência é uma relação de equivalência. Isso significa que é reflexiva, simétrica e transitiva. Se A é congruente a B e B é congruente a C, então A é congruente a C. Isso parece óbvio, mas em implementações computacionais, às vezes a transitividade quebra por erros de arredondamento. Duas figuras muito próximas podem ser consideradas congruentes em pares, mas não em trios quando a tolerância se acumula.

Limitações e quando o método falha

O teste baseado em correspondência de vértices funciona bem para polígonos simples com vértices distintos e bem definidos. Mas ele falha em situações reais. Figuras com curvas, como círculos e semicírculos, exigem abordagem diferente. Dois círculos são congruentes se e somente se tiverem o mesmo raio. Esse é um dos poucos casos onde a verificação é trivial, mas figuras compostas de arcos e segmentos precisam ser tratadas caso a caso. Para figuras irregulares sem estrutura de polígono claro, não existe critério algébrico genérico de congruência. A única via é a definição original: verificar se existe isometria que mapeie uma figura na outra. Isso é computacionalmente mais caro e, em muitos casos, exige aproximações numéricas. O custo aumenta drasticamente com a complexidade da fronteira da figura. Outro ponto fraco: a tolerância numérica. Quando você trabalha com coordenadas de ponto flutuante, dois valores que deveriam ser iguais podem diferir em 1e-15 ou mais. Isso não é bug do algoritmo, é a natureza do problema. A solução prática é definir uma tolerância adaptativa ao tamanho da figura. Tolerância absoluta de 1e-6 funciona bem para coordenadas em metros, mas falha para modelos em quilômetros ou em micrômetros. O ideal é usar tolerância relativa, tipo 1e-9 multiplicado pela magnitude característica da figura.

Se o seu contexto envolve figuras complexas com bordas irregulares ou dados escaneados, a abordagem por polígonos não vai funcionar bem. Nesse caso, métodos baseados em assinaturas geométricas, como momentos invariantes ou descriptors de contorno, são mais adequados, ainda que percam o rigor da congruência exata em favor de uma similaridade robusta a ruído. O que costuma dar certo é começar pelo teste mais simples possível. Para triângulos, use LLL, ALA ou LAL. Para quadriláteros, verifique lados e ângulos na mesma ordem, testando tanto a orientação original quanto a invertida. Para figuras mais complexas, normalize as coordenadas, ordene os vértices por ângulo polar em relação ao centróide e compare. Se a comparação falhar, o problema provavelmente está na ordenação dos vértices ou na presença de vértices colineares que distorcem o critério angular. Remover vértices colineares antes da ordenação resolve a maioria desses casos. A parte mais subestimada é a validação dos resultados. Sempre faça um teste de fechamento: aplique a transformação inversa e verifique se o erro de sobreposição é compatível com a tolerância escolhida. Se o erro for muito maior que a tolerância, há algo errado na correspondência dos vértices. É aqui que a maioria dos bugs aparece, e é também onde você economiza horas de frustração achando que o algoritmo está funcionando quando na verdade está produzindo falsos positivos.