Mediatriz De Um Segmento De Reta

Construção e cálculo da mediatriz na prática

A mediatriz de um segmento de reta é o lugar geométrico dos pontos equidistantes dos dois extremos do segmento. Isso significa que todo ponto dessa linha está exatamente à mesma distância de A quanto de B. O nome já diz: "mediatriz" = passa pelo ponto médio e é perpendicular ao segmento. O conceito é simples. A execução tem suas armadilhas. No compasso e régua, o procedimento padrão é: abra o compasso com raio maior que a metade do comprimento do segmento AB. Com a ponta seca em A, trace um arco. Sem mudar a abertura, repita em B. Os dois arcos se cruzam em dois pontos. A reta que passa por esses dois pontos de interseção é a mediatriz. Fácil. O problema é que raramente você está desenhando no papel com compasso. Na maioria das vezes, trabalha com coordenadas, CAD, ou código. No plano cartesiano, o processo é mais direto mas exige atenção. Dados os pontos A = (x, y) e B = (x, y):

1. Encontre o ponto médio: M = ((x + x)/2, (y + y)/2) 2. Calcule o coeficiente angular do segmento: m = (y - y) / (x - x). Se x = x, o segmento é vertical e a mediatriz é horizontal. Se y = y, o segmento é horizontal e a mediatriz é vertical. Esses são os casos que todo mundo esquece e que dão erro em implementação. 3. O coeficiente angular da mediatriz é o negativo do inverso: m_perp = -1/m. Aí usa a forma ponto-inclinação com o ponto médio para escrever a equação da reta.

Para um exemplo concreto: A = (1, 3) e B = (7, 9). O ponto médio é (4, 6). O coeficiente de AB é (9-3)/(7-1) = 1. A mediatriz tem coeficiente -1. A equação é y - 6 = -1(x - 4), ou seja, y = -x + 10. Pode verificar: o ponto (4, 6) está na reta, e qualquer outro ponto nela, como (5, 5), está igualmente distante de A e B. Na prática de geometria analítica, encontrei um problema específico com mediatriz de um segmento de reta envolvendo triângulos. Estava calculando a circunferência circunscrita de um triângulo com vértices quase colineares —digamos, três pontos com coordenadas como (0, 0), (10000, 0.0001), e (20000, -0.0002). As mediatrizes dos lados praticamente paralelas geravam um ponto de interseção extremamente sensível a erros de ponto flutuante. A circuncentro "balançava" por toda parte dependendo da ordem de cálculo. A solução foi usar aritmética de alta precisão com a biblioteca decimal do Python em vez de floats padrão, e ainda assim limitar a precisão a 50 casas decimais porque acima disso o tempo de processamento triplicava sem ganho real. Outro ponto que gente nova não costuma considerar: a mediatriz de um segmento não é a mesma coisa que a perpendicular traçada por um ponto qualquer do segmento. Ela só é a mediatriz quando passa necessariamente pelo ponto médio. Se você traça uma perpendicular por um ponto que não é o meio, não importa quão bem desenhada ela seja —não é mediatriz. Isso parece óbvio até você ver alguém construindo mediatrizes para achar o circuncentro de um triângulo e confundir os passos.

Em CAD, o recurso de mediatriz existe mas custa verificar se o software está usando aproximação numérica ou cálculo exato. Algumas ferramentas aproximam arcos com splines e isso introduz erro. Para projetos de engenharia onde a tolerância é da ordem de micrômetros, isso se soma rapidamente. Em modelagem 3D com malhas triangulares, calcular mediatrizes de arestas para gerar biseções de Voronoi é rotina, mas a eficiência depende de estruturar os dados corretamente. Um loop ingênuo sobre todos os pares de vértices dá complexidade O(n²) —para uma malha com milhares de arestas, isso vira gargalo. Estruturas espaciais como árvores k-d reduzem para algo próximo de O(n log n). O limite mais importante a reconhecer: a mediatriz é indefinida quando os dois pontos coincidem. Se A e B são o mesmo ponto, não há segmento, não há único ponto médio, e qualquer reta que passe por ele tecnicamente contém pontos equidistantes —mas a definição quebra. Em código, isso deve ser tratado como caso degenerado, não simplesmente ignorado. Se estiver construindo um sistema que gera mediatrizes automaticamente a partir de dados de entrada, sempre valide que os extremos são distintos antes de prosseguir. Quando a precisão flutuante é insuficiente, a alternativa é usar álgebra exata com frações racionais. Em Python, a classe Fraction do módulo fractions lida com coordenadas fracionárias sem perda de precisão. A desvantagem é velocidade: para cálculos únicos não faz diferença, mas em iterações massivas com milhares de segmentos, o overhead é perceptível. O ganho em confiabilidade compensa quando o resultado final é usado como entrada para outra operação geométrica sensível, como interseção de semi-planos ou construçāo de diagramas de Voronoi.

Se você está estudando isso para prova ou para aplicar em programação, o essencial é dominar o cálculo do ponto médio e a relação entre inclinações perpendiculares. O resto é caso a caso. A mediatriz de um segmento de reta não tem segredo, mas os erros acontecem nos detalhes que parecem triviais.