ExerciceMaths Sup – MPSI, chapitre 1 — Logique et ensembles · Modes de raisonnement
Exercice 26
Dans un tournoi à équipes, chaque équipe rencontre une fois chacune des autres, et chaque match désigne un vainqueur : il n'y a pas de match nul.
1. Montrer que, quelle que soit l'issue des matchs, on peut numéroter les équipes , , …, de sorte que, pour tout , l'équipe ait battu l'équipe .
2. Une telle numérotation est-elle unique ? Peut-on toujours exiger de plus que ait battu ?
3. Un tournoi est dit équilibré si chaque équipe a gagné autant de matchs qu'elle en a perdu. Montrer qu'il existe un tournoi équilibré à équipes si et seulement si est impair.
Corrigé
1. Par récurrence sur le nombre d'équipes. Pour , on nomme le vainqueur de l'unique match et le perdant. Supposons le résultat vrai pour équipes, et considérons un tournoi à équipes. Mettons de côté une équipe ; les autres forment un tournoi, que l'on numérote , …, comme voulu. Il reste à insérer .
• Si a battu , la liste , , …, convient.
• Sinon, a battu , et l'ensemble des indices tels que ait battu est non vide. Soit son plus grand élément. Si , la liste , …, , convient. Si , l'équipe n'a pas battu , donc a battu , et la liste , …, , , , …, convient.
C'est le théorème de Rédei (1934). Une telle numérotation n'est pas un classement au sens sportif : l'équipe peut avoir perdu tous ses autres matchs.
2. Elle n'est pas unique en général : si trois équipes , , sont telles que bat , bat et bat , les numérotations , et conviennent. On ne peut pas non plus toujours exiger que ait battu : si une équipe a gagné tous ses matchs, elle n'a été battue par personne et ne peut suivre aucune équipe dans un cycle.
3. Chaque équipe dispute matchs. Si le tournoi est équilibré, chacune en gagne autant qu'elle en perd, donc est pair et est impair. Réciproquement, supposons , et numérotons les équipes par les restes , , …, modulo . Décidons que l'équipe bat les équipes , , …, (modulo ), et perd contre les autres. Ces résultats sont cohérents : pour deux équipes distinctes et , la différence est congrue modulo à un unique ; si , l'équipe bat , et alors avec , de sorte que ne bat pas ; et inversement. Chaque équipe gagne ainsi matchs et en perd . Pour : l'équipe bat et , l'équipe bat et , et ainsi de suite jusqu'à l'équipe , qui bat et .