Verificador de Números Amigáveis

Verificador de Números Amigáveis

Bem-vindo ao Verificador de Números Amigáveis, uma ferramenta interativa que verifica se dois números inteiros positivos formam um par amigável — uma das relações mais elegantes da teoria dos números. Você pode inserir um par para verificar ou fornecer um único número e deixar que a ferramenta descubra seu parceiro candidato automaticamente. A página de resultados inclui uma prova de cinco etapas, um diagrama de aperto de mão mostrando as duas condições de soma cruzada, um detalhamento de divisores lado a lado e uma visualização da cadeia de alíquotas.

O Que São Números Amigáveis?

Dois inteiros positivos distintos \(a\) e \(b\) formam um par amigável se a soma dos divisores próprios de cada um for igual ao outro. Em outras palavras, a soma de alíquotas — a soma de todos os divisores positivos de um número, excluindo ele mesmo — aponta de \(a\) para \(b\) e de \(b\) de volta para \(a\).

O menor par amigável é (220, 284):

• Divisores próprios de 220: 1 + 2 + 4 + 5 + 10 + 11 + 20 + 22 + 44 + 55 + 110 = 284
• Divisores próprios de 284: 1 + 2 + 4 + 71 + 142 = 220

Cada número "gera" o outro através de seus próprios divisores — daí o nome amigável (do latim amicabilis).

Uma Breve História dos Números Amigáveis

Os números amigáveis fascinam os matemáticos há mais de 2.500 anos:

• Pitágoras (c. 500 a.C.): De acordo com Jâmblico, Pitágoras conhecia o par (220, 284) e o chamava de símbolo da amizade.
• Thabit ibn Qurra (Século IX): Descobriu a primeira regra geral para gerar pares amigáveis — agora conhecida como Teorema de Thabit.
• Ibn al-Banna (Século XIII): Descobriu o par (17296, 18416), redescoberto por Fermat em 1636.
• Fermat & Descartes (Século XVII): Encontraram independentemente (9.363.584; 9.437.056).
• Euler (Século XVIII): Expandiu vastamente a lista, descobrindo 59 novos pares e formalizando a teoria.
• Paganini (1866): Um italiano de 16 anos chamado Niccolò Paganini encontrou (1184, 1210), o segundo menor par — que todos os grandes matemáticos antes dele haviam deixado passar.
• Era moderna: Até a década de 2020, a computação colaborativa encontrou mais de 1,2 bilhão de pares amigáveis.

Como Usar Esta Calculadora

1. Insira os números: Digite um ou dois inteiros positivos. Deixe o segundo campo em branco para permitir que a ferramenta encontre automaticamente um parceiro candidato.
2. Verifique: Clique em "Verificar Par Amigável" para executar a verificação.
3. Leia o veredito: O banner colorido no topo mostra se o par é amigável (verde) ou não (vermelho).
4. Explore: Revise o diagrama de aperto de mão, o detalhamento dos divisores lado a lado, a prova passo a passo, os gráficos de barras de divisores e a prévia da cadeia de alíquotas.

Regra de Thabit ibn Qurra

Por volta de 850 d.C., o polímata árabe Thabit ibn Qurra encontrou uma fórmula parcial para gerar pares amigáveis. Seja:

Definir \(n = 2\) resulta em \(p=5, q=11, r=71\) — todos primos — produzindo o par clássico (220, 284). A regra produz resultados válidos apenas para alguns valores de \(n\) e, portanto, não é exaustiva, mas deu aos matemáticos uma base para encontrar novos pares séculos antes dos computadores.

Sequências de Alíquotas e Números Sociáveis

A sequência de alíquotas de um número \(n\) é a sequência \(n, s(n), s(s(n)), \ldots\) obtida pela aplicação repetida da soma dos divisores próprios. O comportamento de uma sequência revela uma estrutura profunda:

• Números perfeitos formam pontos fixos: \(s(n) = n\) (período 1).
• Pares amigáveis formam ciclos de 2: \(s(s(n)) = n\) (período 2).
• Números sociáveis formam ciclos mais longos de período 3 ou mais (ex: o ciclo de 5 começando em 12496).
• Números aspirantes eventualmente atingem um número perfeito.
• Cadeias deficientes caem para 1 e terminam.
• Os cinco de Lehmer: as sequências que começam em 276, 552, 564, 660 e 966 foram computadas até bilhões de termos sem resolução — o destino delas é desconhecido.

Dez Primeiros Pares Amigáveis

Curiosidades Sobre Números Amigáveis

• Na Bíblia, Jacó oferece a Esaú 220 cabras como presente de paz (Gênesis 32:14) — alguns estudiosos veem nisso uma referência ao par amigável (220, 284).
• Talismãs medievais ocasionalmente gravavam 220 e 284 em dois objetos trocados entre amigos ou amantes.
• Todos os pares amigáveis conhecidos compartilham a mesma paridade: ambos pares ou ambos ímpares — nenhum par de paridade mista jamais foi encontrado, embora a existência de tal par seja um problema em aberto.
• Cada par amigável conhecido também compartha um fator comum maior que 1. A existência de um par amigável coprimo permanece sem solução e, se existir, deve exceder \(10^{67}\).

Perguntas Frequentes

O que são números amigáveis?

Números amigáveis são dois inteiros positivos distintos (a, b) tais que a soma dos divisores próprios de a é igual a b, e a soma dos divisores próprios de b é igual a a. O menor par amigável é (220, 284), atribuído a Pitágoras.

Como verifico se dois números são amigáveis?

Calcule os divisores próprios (todos os divisores menores que o próprio número) de ambos os números e some-os. Se \(s(a) = b\) e \(s(b) = a\), e \(a \neq b\), então \((a, b)\) é um par amigável. Nossa ferramenta faz isso automaticamente e mostra cada etapa.

Posso inserir apenas um número para encontrar seu parceiro amigável?

Sim. Deixe o segundo campo em branco e a ferramenta calculará \(s(a)\) como o parceiro candidato, verificando então se \(s(s(a)) = a\). Se for, os dois números formam um par amigável.

Qual é a diferença entre números amigáveis e números perfeitos?

Um número perfeito é um único número que é igual à soma de seus próprios divisores próprios (ex: 6 = 1+2+3). Um par amigável consiste em dois números distintos onde cada um é igual à soma dos divisores próprios do outro. Números perfeitos podem ser vistos como o caso degenerado onde \(a = b\), mas por convenção não são chamados de amigáveis.

Quantos pares amigáveis são conhecidos?

Até a década de 2020, mais de 1,2 bilhão de pares amigáveis foram computados por projetos colaborativos. Os primeiros são (220, 284), (1184, 1210), (2620, 2924), (5020, 5564) e (6232, 6368). O menor par amigável ímpar conhecido é (12285, 14595).

Quem descobriu o par (1184, 1210)?

Foi encontrado em 1866 por Niccolò Paganini, um estudante italiano de 16 anos. Este par foi ignorado por séculos de matemáticos, incluindo Fermat, Descartes e Euler, apesar de ser o segundo menor par amigável.

Recursos Adicionais

• Números Amigáveis - Wikipedia
• Sequência de Alíquotas - Wikipedia
• Números Sociáveis - Wikipedia
• Regra de Thabit ibn Qurra - Wikipedia
• OEIS A259180: Pares amigáveis

Operações básicas de matemática:

• Calculadora de fator comum
• Calculadora de Cubo e Raiz Cúbica
• Calculadora de Raiz Cúbica
• Divida em Duas Partes
• Calculadora de Teste de Divisibilidade
• Calculadora de Fatores
• Encontrar Mínimo e Máximo
• Primeiros n Dígitos de e Em Destaque
• Primeiros n Dígitos do Pi Em Destaque
• Calculadora de Máximo Divisor Comum
• É um Número Primo? Em Destaque
• Calculadora de Mínimo Múltiplo Comum
• Calculadora de Módulo Em Destaque
• Calculadora de Multiplicação Em Destaque
• Calculadora de Raiz N-ésima de Alta Precisão
• Calculadora de Número de Dígitos Em Destaque
• Calculadora de Fator Primo
• Calculadora de Fatoração de Primos
• Calculadora de quociente e restante
• Classificar Números Em Destaque
• Calculadora de raiz quadrada Em Destaque
• Calculadora de Soma
• Calculadora de Razão Novo
• Calculadora de Divisão Longa Novo
• Calculadora de Multiplicação Cruzada Novo
• Gerador de Tabuada Novo
• Calculadora de Multiplicação Longa Novo
• Calculadora de Adição e Subtração Longa Novo
• Calculadora de Ordem das Operações (PEMDAS) Novo
• Gerador de Gráfico de Valor Posicional Novo
• Encontrador de Padrões Numéricos Novo
• Verificador de Número Par ou Ímpar Novo
• Calculadora de Valor Absoluto Novo
• Calculadora de Teto e Piso Novo
• Calculadora de Taxa Unitária Novo
• Gerador de Contagem Salteada Novo
• Calculadora de Estimativa Novo
• Verificador de Número Perfeito Novo
• Verificador de Números Amigáveis Novo
• Verificador de Primo de Mersenne Novo
• Verificador da Conjectura de Goldbach Novo
• Calculadora de Função de Möbius Novo
• Verificador de Número de Fibonacci Novo
• Calculadora de Raiz Digital Novo
• Gerador de Problemas de Matemática Aleatórios Novo
• Gerador de Decomposições Numéricas Novo
• Visualizador de Vai um e Empresta Novo
• Quiz de Tabuada Novo
• Treinador de Matemática Mental Novo
• Calculadora de Matemática com Números Romanos Novo
• Calculadora de Multiplicação Egípcia Novo
• Calculadora de Truques de Matemática Védica Novo
• Multiplicação Camponesa Russa Novo
• Simulador de Soroban Ábaco Japonês Novo