ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 1 — Logique et ensembles · Modes de raisonnement

Exercice 26

Démonstration

Dans un tournoi à n⩾2n \geqslant 2 é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 E1E_{1}, E2E_{2}, …, EnE_{n} de sorte que, pour tout i∈[ ⁣[1 ;n−1] ⁣]i \in [\![1\,;n-1]\!], l'équipe EiE_{i} ait battu l'équipe Ei+1E_{i+1}.

2. Une telle numérotation est-elle unique ? Peut-on toujours exiger de plus que EnE_{n} ait battu E1E_{1} ?

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é à nn équipes si et seulement si nn est impair.

Corrigé

1. Par récurrence sur le nombre n⩾2n \geqslant 2 d'équipes. Pour n=2n = 2, on nomme E1E_{1} le vainqueur de l'unique match et E2E_{2} le perdant. Supposons le résultat vrai pour nn équipes, et considérons un tournoi à n+1n + 1 équipes. Mettons de côté une équipe TT ; les nn autres forment un tournoi, que l'on numérote E1E_{1}, …, EnE_{n} comme voulu. Il reste à insérer TT.

• Si TT a battu E1E_{1}, la liste TT, E1E_{1}, …, EnE_{n} convient.

• Sinon, E1E_{1} a battu TT, et l'ensemble des indices i∈[ ⁣[1 ;n] ⁣]i \in [\![1\,;n]\!] tels que EiE_{i} ait battu TT est non vide. Soit ii son plus grand élément. Si i=ni = n, la liste E1E_{1}, …, EnE_{n}, TT convient. Si i<ni < n, l'équipe Ei+1E_{i+1} n'a pas battu TT, donc TT a battu Ei+1E_{i+1}, et la liste E1E_{1}, …, EiE_{i}, TT, Ei+1E_{i+1}, …, EnE_{n} convient.

Tout tournoi admet un classement ouˋ chaque eˊquipe a battu la suivante.\boxed{\text{Tout tournoi admet un classement où chaque équipe a battu la suivante.}} C'est le théorème de Rédei (1934). Une telle numérotation n'est pas un classement au sens sportif : l'équipe E1E_{1} peut avoir perdu tous ses autres matchs.

2. Elle n'est pas unique en général : si trois équipes aa, bb, cc sont telles que aa bat bb, bb bat cc et cc bat aa, les numérotations (a,b,c)(a,b,c), (b,c,a)(b,c,a) et (c,a,b)(c,a,b) conviennent. On ne peut pas non plus toujours exiger que EnE_{n} ait battu E1E_{1} : si une équipe a gagné tous ses matchs, elle n'a été battue par personne et ne peut suivre aucune équipe dans un cycle. Non et non.\boxed{\text{Non et non.}}

3. Chaque équipe dispute n−1n - 1 matchs. Si le tournoi est équilibré, chacune en gagne autant qu'elle en perd, donc n−1n - 1 est pair et nn est impair. Réciproquement, supposons n=2p+1n = 2p + 1, et numérotons les équipes par les restes 00, 11, …, 2p2p modulo nn. Décidons que l'équipe ii bat les équipes i+1i + 1, i+2i + 2, …, i+pi + p (modulo nn), et perd contre les pp autres. Ces résultats sont cohérents : pour deux équipes distinctes ii et jj, la différence j−ij - i est congrue modulo nn à un unique r∈[ ⁣[1 ;2p] ⁣]r \in [\![1\,;2p]\!] ; si r⩽pr \leqslant p, l'équipe ii bat jj, et alors i−j≡n−ri - j \equiv n - r avec n−r⩾p+1n - r \geqslant p + 1, de sorte que jj ne bat pas ii ; et inversement. Chaque équipe gagne ainsi pp matchs et en perd pp. Un tournoi eˊquilibreˊ aˋ n eˊquipes existe si et seulement si n est impair.\boxed{\text{Un tournoi équilibré à } n \text{ équipes existe si et seulement si } n \text{ est impair.}} Pour n=5n = 5 : l'équipe 00 bat 11 et 22, l'équipe 11 bat 22 et 33, et ainsi de suite jusqu'à l'équipe 44, qui bat 00 et 11.

Dans l'édifice

Thèmes

modes de raisonnement, divisibilité

Ouvrir dans l'atlas interactif →