🔢 mathematics

Calculating the natural density of Mersenne numbers using nonstandard mathematical analysis

Utilizando análise matemática não padrão e uma matriz bidimensional baseada na função de emparelhamento de Pepis-Kalmar, o artigo propõe que a densidade natural dos números de Mersenne é um valor infinitesimal equivalente ao recíproco da soma infinita dos recíprocos dos números ímpares.

Autores originais: Gennady Eremin

Publicado 2026-07-07

📖 5 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Gennady Eremin

Artigo original sob licença CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo

A Grande Questão: Quão "Lotados" são os Números de Mersenne?

Imagine que você tem uma linha infinente de pessoas numeradas 0, 1, 2, 3 e assim por diante. Este é o conjunto de todos os números naturais. Agora, escolha um grupo específico de pessoas desta linha: os números de Mersenne (0, 1, 3, 7, 15, 31...). Estes são números que são um menos que uma potência de dois.

Matemáticos há muito tempo se perguntam: Se você olhar para um enorme pedaço desta linha, qual a porcentagem de pessoas que são números de Mersenne?

É 50%? (Como os números pares).
É 10%?
Ou é tão minúsculo que é efetivamente zero?

Por muito tempo, isso foi um mistério não resolvido. Este artigo afirma resolvê-lo usando um tipo especial de matemática chamada Análise Não Padrão.

A Ferramenta: Uma Planilha Gigante (A Matriz)

Para resolver isso, o autor não olha apenas para uma única linha de números. Ele constrói uma gigante planilha bidimensional (uma matriz) que contém todos os números naturais exatamente uma vez. Sem duplicatas, sem números faltando.

Ele usa uma regra de ordenação inteligente (a função de emparelhamento de Pepis-Kalmar) para organizar esta planilha:

As Linhas (Horizontal): Estas são padrões aritméticos simples. Se você olhar para qualquer linha individual, os números estão espaçados uniformemente.
As Colunas (Vertical): Esta é a parte interessante. Cada coluna começa com um número par (a "raiz") e então segue uma regra específica para gerar o próximo número: Multiplicar por 2 e somar 1.
- Exemplo: Comece com 0. O próximo é $2(0)+1 = 1$ . O próximo é $2(1)+1 = 3$ . O próximo é $2(3)+1 = 7$ .
- Isso cria uma "árvore" de números crescendo para cima. A primeiríssima coluna é os números de Mersenne. A próxima coluna é uma família semelhante chamada números de Thabit, e assim por diante.

A Reviravolta "Não Padrão": Infinito e Infinitesimal

A matemática padrão geralmente lida com limites (aproximando-se de zero). Este artigo usa a Análise Não Padrão, que trata números "infinitamente pequenos" e "infinitamente grandes" como valores reais e fixos.

Pense nisso como:

Infinitamente Grande ( $\omega$ ): Imagine um número tão grande que é maior do que qualquer número que você consiga contar.
Infinitesimal ( $\epsilon$ ): Imagine um número tão pequeno que é menor do que qualquer fração que você possa escrever, mas ele não é zero. É o "fantasma" de um número.

O Cálculo: Balanceando a Equação

O autor observa a "densidade" (quão lotados são os números) nas colunas de sua planilha.

As Linhas são Fáceis: Se você olhar para as linhas, a matemática é simples. A primeira linha tem uma densidade de 1/2, a segunda 1/4, a terceira 1/8, e assim por diante. Se você somar todos esses ( $1/2 + 1/4 + 1/8...$ ), você obtém exatamente 1. Isso faz sentido porque toda a planilha representa 100% de todos os números.
As Colunas são Complicadas:
- A primeira coluna (números de Mersenne) é tão esparsa que sua densidade é um número infinitesimal. Vamos chamar este valor minúsculo de $\epsilon$ .
- A segunda coluna (números de Thabit) é ainda mais esparsa. Sua densidade é $\epsilon / 3$ .
- A terceira coluna é ainda mais esparsa: $\epsilon / 5$ .
- A quarta: $\epsilon / 7$ .
- E assim por diante, para sempre.

O autor argumenta que, se você somar a densidade de todas as colunas, você deve voltar para 1 (porque as colunas cobrem todos os números naturais).

Então, ele estabelece esta equação:
$1 = \epsilon + \frac{\epsilon}{3} + \frac{\epsilon}{5} + \frac{\epsilon}{7} + \dots$

Se você colocar o pequeno $\epsilon$ em evidência, fica assim:
$1 = \epsilon \times \left( 1 + \frac{1}{3} + \frac{1}{5} + \frac{1}{7} + \dots \right)$

A Conclusão

A parte entre parênteses é a soma dos recíprocos de todos os números ímpares ( $1 + 1/3 + 1/5...$ ). Na matemática padrão, esta soma vai para o infinito. Na visão não padrão deste artigo, esta soma é um número infinitamente grande, que o autor chama de $\omega$ .

Assim, a equação torna-se:
$1 = \epsilon \times \omega$

Para encontrar a densidade dos números de Mersenne ( $\epsilon$ ), basta dividir 1 por esse número enorme:
$\epsilon = \frac{1}{\omega}$

O Que Isso Significa

O artigo afirma duas coisas principais:

A densidade NÃO é zero. Como $\epsilon$ é um número infinitesimal específico e não nulo, os números de Mersenne existem no conjunto dos números naturais com uma densidade "positiva" (embora incrivelmente minúscula).
O valor exato. A densidade é exatamente o recíproco da soma dos recíprocos de todos os números ímpares.

Em termos simples: O autor construiu uma grade gigante para organizar todos os números. Ele descobriu que, embora os números de Mersenne sejam incrivelmente raros (tão raros que sua densidade é um "infinitesimal"), eles não são inexistentes. Sua "raridade" é matematicamente equilibrada contra a soma infinita das frações ímpares para igualar exatamente 1.

Nota: O artigo apresenta isso como uma solução teórica usando ferramentas matemáticas não padrão específicas. Não discute aplicações práticas, como usos em criptografia ou ciência da computação, mas foca puramente em resolver este enigma teórico da teoria dos números.

Resumo Técnico: Calculando a Densidade Natural de Números de Mersenne Usando Análise Matemática Não Padrão

Enunciado do Problema
O artigo aborda um problema de longa data na teoria dos números: determinar a densidade natural da sequência de números de Mersenne dentro do conjunto dos inteiros não negativos ( $\mathbb{N} = \{0, 1, 2, \dots\}$ ). Especificamente, o autor investiga se esta densidade é zero ou um valor positivo. Embora a análise padrão sugira que a densidade tende a zero conforme o intervalo aumenta, o artigo busca resolver a natureza deste limite usando a análise matemática não padrão.

Metodologia
O autor emprega uma abordagem de duas frentes combinando teoria dos números combinatória e análise não padrão:

Construção de Matriz via Emparelhamento de Pepis-Kalmar:
O autor constrói uma matriz bidimensional $\mathbb{M}$ contendo todos os inteiros não negativos sem repetição. Esta matriz é gerada pela função de emparelhamento de Pepis-Kalmar:
$f(x, y) = (2x + 1) \times 2^y - 1$
- Estrutura: O eixo $x$ representa números pares (começando em 0) e o eixo $y$ representa a profundidade da sequência.
- Colunas (Árvores de Mersenne): Cada coluna corresponde a um valor específico de $x$ $x$ e forma uma "árvore unária" (ou árvore de Mersenne) onde os termos são gerados pela recorrência $t' = 2t + 1$ $t^{'} = 2 t + 1$ .
  - A coluna inicial ( $x=0$ ) contém os números de Mersenne ( $2^y - 1$ ).
  - A segunda coluna ( $x=1$ ) contém números de Thabit ( $3 \times 2^y - 1$ ).
  - As colunas subsequentes seguem o padrão $(2x+1) \times 2^y - 1$ .
- Unicidade: O autor prova que todos os termos nesta matriz são únicos, garantindo que a matriz particione o conjunto dos números naturais $\mathbb{N}$ .
Estrutura de Análise Não Padrão:
O artigo utiliza a análise não padrão, que introduz quantidades infinitesimais reais ( $\epsilon$ ) e infinitamente grandes ( $\omega$ ) como quantidades constantes em vez de variáveis.
- Linhas: A densidade natural de cada linha (uma progressão aritmética) é calculada como o inverso de sua diferença comum ( $1/2, 1/4, 1/8, \dots$ ). A soma dessas densidades é igual a 1, consistente com a densidade de $\mathbb{N}$ .
- Colunas: O autor analisa a densidade das colunas. Para a coluna inicial (números de Mersene), a densidade é denotada como um infinitesimal $\epsilon$ . Para as colunas subsequentes ( $x=1, 2, \dots$ ), as densidades são derivadas como $\epsilon/3, \epsilon/5, \dots$ , correspondendo aos fatores ímpares $(2x+1)$ .

Contribuições Principais e Resultados
A principal contribuição é a derivação de uma equação específica relacionando a densidade natural dos números de Mersenne à soma dos recíprocos dos números ímpares.

Derivação da Densidade: Ao somar as densidades de todas as colunas da matriz, o autor iguala a densidade total a 1 (a densidade de $\mathbb{N}$ ). Isso resulta na equação:
$1 = \epsilon + \frac{\epsilon}{3} + \frac{\epsilon}{5} + \frac{\epsilon}{7} + \dots = \epsilon \times \left(1 + \frac{1}{3} + \frac{1}{5} + \frac{1}{7} + \dots\right)$
Definição de $\omega$ : O termo entre parênteses é identificado como $\omega$ , a soma dos recíprocos de todos os números ímpares naturais, que é um valor infinitamente grande na análise não padrão.
A Equação Principal: A relação é formalizada como:
$\epsilon \times \omega = 1 \quad \text{ou} \quad \epsilon = \frac{1}{\omega}$
Teorema 2: O artigo conclui que a densidade natural dos números de Mersenne ( $\epsilon$ ) e o recíproco da soma dos recíprocos dos números ímpares naturais ( $1/\omega$ ) são números infinitesimais equivalentes.

Significância e Alegações
O artigo afirma resolver o problema em aberto sobre a densidade natural dos números de Mersenne ao provar que a densidade é positiva (não nula).

Prova de Positividade: O autor argumenta que, se $\epsilon$ fosse zero, a soma das densidades das colunas seria zero, contradizendo o fato de que a matriz cobre todos os números naturais (densidade = 1). Portanto, $\epsilon$ deve ser um infinitesimal positivo.
Determinação Concreta: Embora reconheça que a densidade de distribuição dos números de Mersenne é tradicionalmente desconhecida na matemática padrão, o artigo afirma ter obtido uma "equação concreta" para determinar esta densidade dentro do framework da análise não padrão.
Equivalência: O resultado estabelece uma equivalência entre a densidade dos números de Mersenne e o recíproco da série harmônica divergente dos números ímpares, tratando ambos como valores infinitesimais específicos e não nulos dentro do sistema numérico não padrão.

O artigo não propõe aplicações experimentais ou extensões futuras além da derivação matemática apresentada. A significância é enquadrada estritamente dentro do contexto de resolver a questão teórica da densidade dos números de Mersenne usando as ferramentas da análise não padrão.