The Apple Pear Basket Problem: A Combinatorial Exploration

1. Definição do Problema

O artigo investiga um quebra-cabeça combinatório que envolve a distribuição de $N$ maçãs e $N$ peras em um conjunto de cestas, sujeito a duas restrições fundamentais:

1. Restrição de Maçãs: Cada cesta deve conter o mesmo número de maçãs.
2. Restrição de Peras: Cada cesta deve conter um número distinto de peras (inteiros não negativos).

O objetivo é determinar o número máximo de cestas ($n_{max}$) que podem ser utilizadas para distribuir toda a fruta satisfazendo ambas as condições simultaneamente. O problema original proposto na literatura recreativa utilizava $N = 60$.

2. Metodologia e Análise Matemática

O autor aborda o problema decompondo-o em duas condições independentes que devem ser satisfeitas simultaneamente:

A. A Condição Divisória (Maçãs)

Sejam $n$ o número de cestas e $k$ o número de maçãs por cesta. Como o total de maçãs é $N$, temos:
$$n \times k = N$$
Isso implica que $n$ deve ser um divisor de $N$.

B. A Condição Combinatória (Peras)

Sejam $p_1, p_2, \dots, p_n$ os números de peras em cada cesta, onde todos os $p_i$ são distintos e não negativos, e $\sum p_i = N$.
O autor aplica o Lema da Soma Mínima (Lemma 1), que estabelece que a soma mínima de $n$ inteiros não negativos distintos é dada pela soma dos primeiros $n-1$ inteiros:
$$\sum_{i=1}^{n} p_i \geq 0 + 1 + 2 + \dots + (n-1) = \frac{n(n-1)}{2}$$
Portanto, para que uma distribuição de peras seja possível, deve-se ter:
$$\frac{n(n-1)}{2} \leq N$$
Resolvendo para $n$, obtém-se um limite superior aproximado baseado no número triangular:
$$n \leq \frac{1 + \sqrt{1 + 8N}}{2}$$

C. Solução Geral (Teorema 2)

A solução ótima é a interseção das duas condições acima. O número máximo de cestas, $n_{max}$, é definido como o maior divisor de $N$ que não excede o limite superior derivado da restrição das peras.
$$n_{max} = \max \left\{ d \in \mathbb{Z}^+ : d \mid N \quad \text{e} \quad d \leq \frac{1 + \sqrt{1 + 8N}}{2} \right\}$$
O autor demonstra que, sempre que essas condições são atendidas, uma distribuição válida de peras sempre existe (atribuindo $0, 1, \dots, n-2$ e colocando o excedente na última cesta).

3. Contribuições Principais e Classificação

O artigo não apenas resolve o problema, mas classifica os inteiros $N$ com base na eficiência de seu "empacotamento" em cestas:

• Valores Perfeitos (Perfect Values): Ocorrem quando a restrição das peras é exatamente "apertada" ($N = n(n-1)/2$) e $n$ divide $N$. Isso acontece quando $n$ é ímpar, correspondendo aos números triangulares de índice par. Nestes casos, a distribuição de peras é única: $\{0, 1, \dots, n-1\}$.
• Barreira dos Primos (Prime Barrier): Para $N$ sendo um número primo $p \geq 5$, os únicos divisores são 1 e $p$. Como $p$ geralmente excede o limite das peras, a única solução viável é $n_{max} = 1$ (uma única cesta). Isso representa um colapso drástico na eficiência.
• Números Altamente Compostos: Números com muitos divisores pequenos (como 60 ou 120) tendem a ter um divisor muito próximo do limite teórico das peras, resultando em uma eficiência ($n_{max}$) alta. O artigo conecta isso ao estudo de Ramanujan sobre números altamente compostos.

4. Resultados Computacionais e Comportamento Assintótico

O autor realizou simulações computacionais para $N$ até 1.000.000, gerando gráficos e tabelas (incluindo uma tabela completa para $N=1$ a $100$).

• Crescimento Assintótico: O comportamento de $n_{max}$ é limitado por $O(\sqrt{N})$, especificamente seguindo o envelope $\sqrt{2N}$ imposto pela restrição das peras.
• Distribuição:
  • Os valores perfeitos traçam o limite superior $\sqrt{2N}$.
  • Os números primos ficam "presos" no chão ($n_{max}=1$), criando uma densidade que diminui conforme o Teorema dos Números Primos.
  • Os demais inteiros espalham-se entre esses extremos, dependendo da estrutura de seus divisores.
• Caso $N=60$: O limite das peras é $\approx 11,47$. Os divisores de 60 abaixo desse limite são $\{1, 2, 3, 4, 5, 6, 10\}$. O máximo é 10 cestas, com 6 maçãs cada e peras distribuídas como $\{0, 1, 2, 3, 4, 5, 6, 7, 8, 24\}$.

5. Significado e Conclusão

O trabalho destaca como um problema aparentemente simples de recreação matemática revela uma interação profunda entre duas áreas da matemática elementar:

1. Teoria dos Números: Através das propriedades de divisibilidade de $N$.
2. Combinatória: Através da soma mínima de inteiros distintos e teoria de partições.

A principal conclusão é que a solução não possui uma forma fechada suave, pois depende intrinsecamente da fatoração prima de $N$. O problema serve como um exemplo elegante de como condições analíticas suaves (o limite quadrático das peras) interagem com condições aritméticas irregulares (a estrutura de divisores), criando um cenário rico para classificação de inteiros e estudo de eficiência de empacotamento.