🔢 mathematics

The Apple Pear Basket Problem: A Combinatorial Exploration

Ce papier démontre que le nombre maximal de paniers permettant de répartir $N$ pommes et $N$ poires sous les contraintes d'un nombre égal de pommes par panier et d'un nombre distinct de poires par panier est le plus grand diviseur de $N$ inférieur ou égal à $(1 + \sqrt{1+8N})/2$ , ce qui donne 10 paniers pour le cas $N=60$ .

Auteurs originaux : Rethna Pulikkoonattu

Publié 2026-04-22

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Rethna Pulikkoonattu

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

🍎🍐 Le Grand Jeu des Paniers : Pommes et Poires

Imaginez que vous êtes un magicien de la distribution de fruits. Vous avez un stock précis : N pommes et N poires. Votre mission ? Remplir le maximum de paniers possibles en respectant deux règles d'or, très strictes :

La règle de l'égalité (les pommes) : Chaque panier doit contenir exactement le même nombre de pommes.
La règle de la diversité (les poires) : Chaque panier doit contenir un nombre différent de poires. Un panier peut avoir 0 poire, un autre 1, un autre 2, etc., mais aucun ne doit avoir le même nombre que son voisin.

Le défi : Quel est le nombre maximal de paniers que vous pouvez utiliser ?

L'auteur de l'article a résolu ce casse-tête en mélangeant deux mondes mathématiques : la division (comme partager une pizza) et la combinatoire (comme empiler des blocs de Lego).

🧱 Les Deux Obstacles du Labyrinthe

Pour réussir ce tour de force, il faut passer deux portes successives.

1. La Porte des Pommes (La Division)

Puisque chaque panier a le même nombre de pommes, le nombre total de paniers doit être un diviseur de votre stock total de pommes.

Analogie : Si vous avez 60 pommes, vous ne pouvez pas faire 7 paniers égaux (ça ferait des fractions de pommes !). Vous ne pouvez faire que 1, 2, 3, 4, 5, 6, 10, 12, 15, 20, 30 ou 60 paniers.

2. La Porte des Poires (L'Empilement)

C'est ici que ça devient intéressant. Vous devez mettre des poires dans les paniers, mais chaque panier doit en avoir un nombre différent. Pour maximiser le nombre de paniers, vous devez être économe : mettez le minimum possible de poires.

Le panier le plus pauvre aura 0 poire.
Le suivant aura 1 poire.
Puis 2, 3, 4, etc.

Si vous avez $n$ paniers, le nombre minimum de poires nécessaire est la somme de $0 + 1 + 2 + ... + (n-1)$ .

Analogie : C'est comme construire un escalier. Pour avoir 10 marches, il faut beaucoup de marches. Pour avoir 100 marches, il en faut énormément. La formule magique pour savoir combien de poires il faut pour $n$ paniers est : $n \times (n-1) / 2$ .

La contrainte : Le nombre total de poires que vous avez ( $N$ ) doit être suffisant pour construire cet escalier. Si $N$ est trop petit pour l'escalier de $n$ paniers, c'est raté.

🏆 La Solution Magique

L'auteur a découvert que le nombre maximal de paniers est le plus grand diviseur de $N$ qui passe aussi l'épreuve de l'escalier de poires.

Pour le casse-tête original avec 60 fruits :

Test des poires : Avec 60 poires, on peut construire un escalier jusqu'à environ 11 paniers (car $11 \times 10 / 2 = 55$ , ce qui est $\le 60$ ). Donc, on ne peut pas dépasser 11 paniers.
Test des pommes : Parmi les nombres de 1 à 11, lesquels divisent 60 ? (1, 2, 3, 4, 5, 6, 10).
Le gagnant : Le plus grand est 10.

Le résultat final pour 60 fruits :
Vous pouvez faire 10 paniers.

Chaque panier a 6 pommes (car $10 \times 6 = 60$ ).
Les poires sont réparties ainsi : 0, 1, 2, 3, 4, 5, 6, 7, 8 et le dernier panier prend le reste (24).
Note : Le dernier panier a beaucoup plus de poires, mais c'est permis tant que le nombre est unique !

🌍 Ce que cela nous apprend sur les Nombres

L'article ne s'arrête pas au calcul. Il classe les nombres en trois catégories, un peu comme des personnages de roman :

Les Nombres "Parfaits" (Les Champions) :
Ce sont des nombres où l'escalier de poires est exactement rempli, sans gaspillage, et où le nombre de paniers divise parfaitement les pommes.
- Exemple : 10, 21, 36... Ce sont des "nombres triangulaires". C'est le scénario idéal où tout s'aligne parfaitement.
Les Nombres "Primes" (Les Solitaires) :
Si vous avez un nombre premier (comme 17, 19, 23), vous n'avez que deux choix : 1 panier ou $N$ paniers.
- Mais si $N$ est grand, l'escalier de poires demande trop de fruits pour faire $N$ paniers. Donc, vous êtes forcé de tout mettre dans 1 seul panier. C'est une perte totale d'efficacité ! Les nombres premiers sont les "mauvais élèves" de ce jeu.
Les Nombres "Très Composés" (Les Généreux) :
Ce sont des nombres comme 60, 120, 720, qui ont énormément de diviseurs. Ils ont toujours un "bon" nombre de paniers disponible juste en dessous de la limite théorique. Ce sont les champions de l'efficacité.

🚀 En Résumé

Ce petit jeu de fruits cache une vérité profonde des mathématiques :

D'un côté, il y a une règle lisse et continue (l'escalier de poires qui grandit doucement).
De l'autre, il y a une règle sautillante et irrégulière (la division des nombres, qui dépend de leurs facteurs premiers).

Le résultat final est une danse entre ces deux règles. Parfois, elles s'embrassent (nombres parfaits), parfois elles se fâchent (nombres premiers), et souvent, elles trouvent un compromis élégant (nombres composés).

L'auteur a même simulé ce jeu jusqu'à un million de fruits pour montrer que, même si les nombres premiers créent des trous dans la distribution, la tendance générale suit une courbe douce et prévisible : le nombre de paniers croît comme la racine carrée du nombre de fruits.

C'est la preuve que même un problème simple comme "partager des fruits" peut révéler la beauté cachée de l'univers des nombres ! 🍎📐✨

1. Énoncé du Problème

L'article étudie un problème de combinatoire et de théorie des nombres posé sous la forme d'une énigme : étant donné $N$ pommes et $N$ poires, comment les répartir dans un nombre maximal de paniers ( $n$ ) tout en respectant deux contraintes strictes ?

Contrainte sur les pommes : Chaque panier doit contenir le même nombre de pommes.
Contrainte sur les poires : Chaque panier doit contenir un nombre distinct de poires (les nombres de poires doivent être des entiers non négatifs distincts).

L'objectif est de déterminer le nombre maximal de paniers $n_{max}$ possible pour un $N$ donné. Le problème original posait $N=60$ .

2. Méthodologie et Analyse Mathématique

L'auteur décompose le problème en deux contraintes indépendantes qui doivent être satisfaites simultanément :

Contrainte de divisibilité (Pommes) :
Si l'on utilise $n$ paniers et que chaque panier contient $k$ pommes, alors $n \times k = N$ . Par conséquent, $n$ doit être un diviseur de $N$ .
Contrainte combinatoire (Poires) :
Soit $p_1, p_2, \dots, p_n$ le nombre de poires dans chaque panier, avec $p_i$ distincts et $\sum p_i = N$ .
En utilisant le Lemme de la somme minimale (Lemme 1), l'auteur démontre que la somme minimale de $n$ entiers non négatifs distincts est la somme des $n$ premiers entiers naturels (de 0 à $n-1$ ) :
$\sum_{i=0}^{n-1} i = \frac{n(n-1)}{2}$
Pour qu'une solution existe, la somme totale des poires $N$ doit être au moins égale à cette somme minimale :
$\frac{n(n-1)}{2} \le N$
En résolvant cette inéquation quadratique pour $n$ , on obtient une borne supérieure théorique :
$n \le \frac{1 + \sqrt{1 + 8N}}{2}$

3. Résultat Principal (Théorème 2)

La solution générale est l'intersection de ces deux contraintes. Le nombre maximal de paniers $n_{max}$ est défini comme le plus grand diviseur de $N$ qui ne dépasse pas la borne supérieure dérivée de la contrainte sur les poires.

Formellement :
$n_{max} = \max \left\{ d \in \mathbb{Z}^+ : d \mid N \quad \text{et} \quad d \le \frac{1 + \sqrt{1 + 8N}}{2} \right\}$

Application à l'exemple $N=60$ :

La borne supérieure est $\approx 11,47$ .
Les diviseurs de 60 inférieurs ou égaux à cette borne sont $\{1, 2, 3, 4, 5, 6, 10\}$ .
Le maximum est $n_{max} = 10$ .
Cela implique 6 pommes par panier ( $60/10$ ) et une distribution de poires possible telle que $\{0, 1, 2, 3, 4, 5, 6, 7, 8, 24\}$ (où le surplus de poires est ajouté au dernier panier pour maintenir la distinctivité).

4. Classification des Integers et Résultats

L'article propose une classification des entiers $N$ basée sur l'efficacité de leur « emballage » (le rapport entre $n_{max}$ et la borne théorique) :

Valeurs Parfaites (Perfect Values) :
Ce sont les nombres où la contrainte des poires est exactement saturée ( $N = n(n-1)/2$ ) et où $n$ divise $N$ . Cela se produit lorsque $N$ est un nombre triangulaire d'indice pair (ex: $T_4=10, T_6=21$ , etc.). Pour ces valeurs, la distribution des poires est unique : $\{0, 1, \dots, n-1\}$ .
La Barrière des Nombres Premiers :
Pour un nombre premier $p \ge 5$ , les seuls diviseurs sont 1 et $p$ . Comme $p$ dépasse largement la borne $\sqrt{2p}$ , la seule solution possible est $n_{max} = 1$ . Cela représente un effondrement drastique de l'efficacité.
Nombres Highly Composite (Très Composés) :
Les nombres ayant de nombreux petits diviseurs (comme 60 ou 120) ont tendance à posséder un diviseur très proche de la borne théorique, offrant ainsi une efficacité élevée.

5. Comportement Asymptotique et Résultats Computations

L'auteur a calculé les solutions pour tous les entiers jusqu'à $N = 1\,000\,000$ .

Croissance : Le nombre maximal de paniers croît asymptotiquement comme $\sqrt{2N}$ .
Distribution : Les graphiques montrent une structure en « éventail ». Les valeurs parfaites tracent la courbe supérieure ( $\sqrt{2N}$ ), tandis que les nombres premiers forment un plancher à $n=1$ .
Densité : La densité des nombres premiers (qui restent bloqués à 1) diminue selon le théorème des nombres premiers, mais ne disparaît jamais.

6. Signification et Contribution

Ce travail est significatif car il révèle une interaction profonde entre deux branches des mathématiques élémentaires :

La théorie des nombres (propriétés de divisibilité de $N$ ).
La combinatoire (sommes d'entiers distincts et partitions).

L'article démontre qu'un problème apparemment simple de récréation mathématique cache une structure riche dépendant de la factorisation première de $N$ . Il met en lumière la tension entre une borne analytique lisse (la contrainte des poires) et une condition arithmétique irrégulière (la divisibilité), illustrant comment des questions élémentaires peuvent ouvrir des portes vers des structures mathématiques plus profondes, rappelant les travaux de Ramanujan sur les nombres hautement composés et ceux de Hardy et Wright sur la distribution des diviseurs.

Enfin, l'article fournit une tabulation complète des solutions pour $N$ de 1 à 100 et des visualisations graphiques pour des échelles allant jusqu'à un million, validant empiriquement les modèles théoriques.