Calculadora do postulado da adição de segmentos

O postulado da adição de segmentos é a primeira identidade de comprimentos da geometria euclidiana: se o ponto B fica entre A e C sobre uma reta, as duas partes somam exatamente o todo, escrito AB + BC = AC. Todo resultado posterior sobre pontos colineares, pontos médios e segmentos congruentes assenta nessa única frase. Esta calculadora aplica o postulado na forma de que o estudante precisa na carteira: forneça dois quaisquer dos três comprimentos finitos AB, BC e AC, e ela devolve o comprimento que falta junto com o tripleto já completo. Quando os dois números dados forçariam a parte desconhecida a ser negativa — um suposto todo mais curto do que uma de suas partes — o mesmo erro tipado é lançado, em vez de inventar uma distância com sinal.

O que afirma o postulado da adição de segmentos

Tome três pontos colineares A, B e C com B entre A e C. O trecho que começa em A e termina em C é um segmento de comprimento AC, e o ponto interior B o divide em dois pedaços menores AB e BC. O postulado da adição de segmentos afirma que essas peças não são enfeites independentes do diagrama: seus comprimentos somam, sem resto e sem sobreposição, o comprimento do todo.

Em símbolos a afirmação é AB + BC = AC, e essa única equação basta para recuperar qual dos três números um enunciado deixou em branco. Se as duas partes são conhecidas, o todo é a soma delas. Se o todo e uma parte são conhecidos, a outra parte é a diferença, desde que essa diferença não seja negativa — um resto negativo significaria que a «parte» rotulada já é mais longa do que o segmento em que deveria caber, o que não ocorre na medida euclidiana comum.

O postulado não exige um sistema de coordenadas, uma conversão de unidades nem um ângulo. É um enunciado apenas sobre intermediariedade e medida, por isso uma calculadora de três campos pode implementá-lo com uma adição ou uma subtração e alguns testes de sinal. A linguagem da sala de aula às vezes reformula o mesmo fato como «o todo é igual à soma das partes» ou escreve as três letras em outra ordem (BA + AC = BC quando A é o ponto interior).

Contrato de entrada, como se obtém o comprimento que falta e os erros

Deixe o campo desconhecido de fora por completo; não envie null. Zero é um comprimento degenerado lícito (A e B coincidem, ou o ponto interior cai em um extremo). Quando o campo omitido é ac, a resposta é ab mais bc.

Quando o omitido é bc, a resposta é ac menos ab. Quando o omitido é ab, a resposta é ac menos bc. Se essa diferença for negativa, o par viola o postulado e a tarefa falha em vez de devolver um comprimento com sinal.

Em caso de sucesso, o corpo ecoa o tripleto completo ab, bc e ac; nomeia o campo reconstruído em missing; informa a medida reconstruída em length; e repete a identidade em formula como AB + BC = AC. Os números são arredondados a doze casas decimais para que os valores de referência coincidam byte a byte entre ambientes. Exemplo: ab igual a cinco e bc igual a oito produz ac treze, missing ac e length treze.

Exemplo: ab igual a cinco e ac igual a treze produz bc oito. As unidades atravessam sem mudança: centímetros na entrada, centímetros na saída.

Onde uma calculadora de adição de segmentos justifica o seu uso

Salas de geometria e plataformas de tutoria usam uma calculadora do postulado da adição de segmentos para que quem aprende confira um comprimento que falta sem inverter à mão uma soma ou uma subtração, e depois veja o tripleto AB, BC, AC completo ao lado da fórmula que deve anotar na margem. Geradores de preparação para exames e plugins LMS precisam de um oráculo determinístico que marque um comprimento negativo como errado, em vez de devolver em silêncio um NaN que um corretor defeituoso poderia tomar por sucesso.

Scripts de desenho, CAD e locação de obra muitas vezes conhecem duas distâncias medidas em uma parede ou em uma lista de corte e precisam da terceira medida colinear antes de posicionar um montante, uma solda ou uma cota. Pipelines de jogos e mapas que guardam pontos de passagem como uma cadeia de comprimentos de segmento recuperam o trecho que falta do mesmo modo, sem puxar um sistema completo de álgebra computacional para uma só adição. A validação malsucedida não consome saldo.

Mantenha as requisições pequenas, fixe o comprimento arredondado nos testes e você obterá comprimentos faltantes reproduzíveis para a lição de casa, corretores em lote e workers de borda, sem montar infraestrutura própria de geometria simbólica.