Coeficientes de Bézout: inteiros x, y com a·x + b·y = mdc

A identidade de Bézout afirma que, para quaisquer inteiros a e b que não sejam ambos zero, existem inteiros x e y tais que a vezes x mais b vezes y é igual ao máximo divisor comum de a e b. Esses coeficientes são o núcleo construtivo das equações diofantinas lineares, das inversas modulares quando o mdc vale um, e das demonstrações escolares de que dois números são coprimos.

O que a identidade de Bézout afirma e por que os coeficientes importam

Todo par de inteiros que não seja ambos zero tem um máximo divisor comum não negativo bem definido g. A identidade de Bézout vai além: garante inteiros x e y para os quais a vezes x mais b vezes y é igual a esse g. A prova de existência é construtiva e segue o processo de restos euclidianos.

A divisão ordinária substitui repetidamente um par pelo resto seguinte até aparecer zero; o último resto não nulo é o mdc. Ao rastrear como cada resto se escreve como combinação linear inteira das entradas originais, obtêm-se os coeficientes ao terminar. Textos escolares costumam fazer retro-substituição dos quocientes da tabela de divisões; o código de produção em geral atualiza dois pares de coeficientes em um único laço sem guardar a pilha de restos.

Ambas as abordagens calculam o mesmo objeto matemático. Os coeficientes não são únicos: se um par funciona, também funciona todo par deslocado por múltiplos inteiros de b sobre g e de a sobre g com sinais opostos. Esta ferramenta devolve uma solução particular do algoritmo iterativo, sempre com mdc não negativo, para que scripts e corretores comparem com uma convenção fixa sem rederivar o conjunto geral de soluções.

Como chamar a calculadora e ler a resposta

Envie os inteiros a e b. O par zero e zero também é rejeitado, porque o mdc de zero e zero é indefinido e nenhum coeficiente produz uma equação de Bézout significativa.

Em caso de sucesso a resposta inclui a e b normalizados, o mdc, x, y, um objeto bezout aninhado com os mesmos coeficientes, um check numérico igual a a vezes x mais b vezes y, uma string de equação no estilo duzentos e quarenta vezes menos nove mais quarenta e seis vezes quarenta e sete é igual a dois, e um campo identity com a relação geral.

Verificações típicas: para duzentos e quarenta e quarenta e seis o mdc é dois com uma solução válida x igual a menos nove e y igual a quarenta e sete; para um par primo com mdc um os coeficientes dão a inversa modular de a módulo b após reduzir x. Casos com um zero e um parceiro não nulo dão mdc igual ao valor absoluto da entrada não nula e um padrão trivial de coeficientes.

Onde os coeficientes de Bézout aparecem na prática

Programadores de competição resolvem a vezes x mais b vezes y igual a c calculando primeiro o mdc e um par base de Bézout, depois escalando e parametrizando a solução geral quando o mdc divide c. Estudantes de criptografia recuperam inversas modulares para exemplos didáticos de RSA e cifras afins quando o mdc de a e m vale um, lendo o coeficiente de a após redução módulo m.

Professores pedem provas construtivas de que dois inteiros são coprimos e precisam de um oráculo determinístico que mostre a combinação linear, não apenas um bit de coprimalidade. Engenheiros de dados e de sistemas às vezes precisam de combinações lineares explícitas ao reconciliar agendas periódicas ou aritmética de passos. Use a ferramenta do navegador para revisar lições com rapidez e depois automatize o mesmo contrato quando seu serviço precisar de checagens diofantinas em massa.

Se você só precisa do mdc sem coeficientes, esta página ainda atende a essa necessidade e ensina o resultado construtivo de Bézout que embasa currículos de teoria dos números e perguntas de entrevista sobre o raciocínio de Euclides estendido.