boeufs d'Archimède

Imaginez un troupeau du Soleil dont chaque animal reçoit deux étiquettes : taureau ou vache, puis blanc, noir, tacheté ou brun. Le problème demande de compter exactement les animaux dans chacune des huit cases.

Les nombres ne sont pas choisis librement : des proportions relient les cases entre elles. Il faut donc trouver des nombres entiers qui respectent simultanément toutes ces relations. Le résultat est si grand que l'informatique devient nécessaire pour l'écrire.

Les bœufs d'Archimède forment un problème d'analyse diophantienne : il faut déterminer des effectifs entiers de bovins soumis à plusieurs relations fractionnaires. Le troupeau appartient au Soleil et chaque animal est classé selon deux critères indépendants : son sexe, taureau ou vache, et sa couleur, blanche, noire, tachetée ou brune.

On peut noter l'effectif d'une catégorie par une lettre indiquant son sexe et sa couleur. Le nombre total du troupeau est alors la somme des huit effectifs :

Ici, T désigne le total, B_c l'effectif des taureaux de couleur c et V_c celui des vaches de cette couleur. Les contraintes de l'énoncé relient ces effectifs par des fractions ; la solution doit satisfaire toutes les relations à la fois. Le problème, attribué à Archimède puis redécouvert en 1773, a été résolu complètement en 1880 par A. Amthor.

On rencontre le problème dans un manuscrit grec redécouvert en 1773 et dans l'histoire des problèmes récréatifs d'arithmétique. Son support est un énoncé consacré à un troupeau de bovins appartenant au Soleil.

Quatre indices permettent de reconnaître sa structure : les animaux sont des taureaux ou des vaches ; chaque groupe porte l'une des couleurs blanc, noir, tacheté ou brun ; les effectifs sont reliés par des contraintes fractionnaires ; la question porte sur le nombre exact d'animaux. Le support ne donne donc pas une simple description de troupeau : il encode un système de relations entières.

La grandeur à déterminer est un effectif entier, sans unité physique : il s'agit du nombre d'animaux. Pour lire l'énoncé correctement, il faut d'abord séparer taureaux et vaches, puis séparer les quatre couleurs dans chaque groupe.

Ensuite, chaque relation fractionnaire est traduite avec les mêmes effectifs et les mêmes catégories. Enfin, on cherche une solution entière commune et l'on vérifie toutes les relations avant d'additionner les huit cases. L'œil peut croire qu'une proportion isolée suffit ; le bon réflexe consiste à traiter l'ensemble des contraintes, car une valeur correcte dans une catégorie peut rendre une autre relation impossible.

Pour dérouler le cas du troupeau du Soleil, les données sont les suivantes : un troupeau de bovins ; deux groupes, taureaux et vaches ; quatre couleurs, blanc, noir, tacheté et brun ; des relations fractionnaires entre les effectifs ; un total exact à déterminer.

1. Les animaux sont répartis entre taureaux et vaches.
2. Chaque groupe est réparti entre les quatre couleurs.
3. Pour manipuler une contrainte sans en inventer les valeurs, on peut lire une relation-type entre deux catégories : si elle s'écrit B_blanc = (p/q) V_noir, avec p et q les termes fractionnaires de l'énoncé, on la traduit en qB_blanc = pV_noir.
4. On vérifie alors cette relation par le calcul inverse — B_blanc doit être égal à pV_noir/q — puis on l'intègre aux autres contraintes avant de chercher une solution entière.
5. Une seule relation contrôlée ne suffit pas : chaque relation est vérifiée, puis les huit effectifs sont additionnés pour obtenir le nombre exact d'animaux.

Ce cas ne fournit pas un petit total de démonstration : la résolution complète conduit à des nombres d'une taille considérable. Le contrôle reste néanmoins le même : chaque catégorie et chaque contrainte doivent être compatibles avec le total annoncé.

En histoire des mathématiques, le problème sert à suivre le passage d'un énoncé antique à une résolution diophantienne complète. Le geste consiste à conserver les catégories et les proportions au lieu de chercher une approximation du troupeau.

En arithmétique, il illustre une recherche de nombres entiers soumis à plusieurs contraintes simultanées. Une résolution manuelle permet d'organiser les relations ; l'informatique devient l'outil adapté lorsque l'écriture explicite des nombres dépasse les calculs ordinaires.

Pour présenter le problème, la classification en huit catégories est plus informative qu'un total isolé : elle montre quelles données les contraintes relient réellement.

Le problème des bœufs d'Archimède ne se confond pas avec un simple problème de dénombrement. Un dénombrement additionne des objets déjà comptés ; ici, le nombre de chaque catégorie doit d'abord satisfaire simultanément des relations fractionnaires. Le cas qui tranche est la présence des huit effectifs liés entre eux.

Il ne se confond pas non plus avec l'équation de Pell-Fermat, qui est un outil intervenant dans la résolution. Le problème désigne l'énoncé complet du troupeau et de ses contraintes ; l'équation désigne une forme arithmétique utilisée pour avancer vers la solution.

Le piège principal consiste à résoudre une partie des relations puis à appeler cette étape la solution. Le symptôme est un troupeau qui respecte une proportion mais pas l'ensemble de l'énoncé. Il faut conserver toutes les contraintes jusqu'à la vérification finale.

Un autre piège consiste à oublier une subdivision. Le problème comporte quatre couleurs pour les taureaux et les vaches, soit huit catégories avant tout regroupement. Une addition qui ne distingue pas ces huit effectifs perd des informations nécessaires.

Enfin, une solution approchée ne répond pas à la question historique : l'objectif est le nombre exact d'animaux. La taille considérable du résultat explique le recours à l'informatique pour son écriture explicite, sans remplacer la vérification arithmétique des contraintes.

Après les regroupements imposés par les relations du troupeau, il reste une condition arithmétique dont les solutions entières se décrivent avec une équation de Pell-Fermat. Ses solutions successives sont engendrées par une même règle et croissent rapidement ; lorsqu'on réinjecte ces valeurs dans les effectifs des huit catégories, le plus petit troupeau complet peut donc déjà avoir des nombres gigantesques. Pour prolonger l'étude, la fiche équation de Pell-Fermat présente cet outil de résolution.

La fiche analyse diophantienne replace ce problème dans le domaine des équations et systèmes où les solutions recherchées sont entières.