Posté par
infophile infophile
Bonjour
Citation :Il y a au maximum
villes à Arnansta
Démonstration
L'énoncé ne precise pas si les 3 transports doivent impérativement être utilisés, je vais donc supposer que c'est le cas.
Appelons

,

,

et

les dîtes villes. Montrons qu'il existe une disposition qui assure le contrôle des liaisons de celles-ci.
Un seul moyen de transport assure le contact entre deux villes.
Il n'y a pas une seule ville qui utilise les 3 moyens de transport.
Trois villes ne sont jamais reliées entre elles par le même moyen de transport.
Nous représenterons les 3 moyens de transports par 3 couleurs différentes : rouge, bleu et jaune que l'on n'attribuera pas spécifiquement aux moyens de transports puisqu'ils jouent le même rôle.

Formons
![3$ \rm [AB]](http://latex.ilemaths.net/ile_tex.cgi?3$ \rm [AB])
et
![3$ \rm [AC]](http://latex.ilemaths.net/ile_tex.cgi?3$ \rm [AC])
en rouge, alors en vertu de
![3$ \rm [BC]](http://latex.ilemaths.net/ile_tex.cgi?3$ \rm [BC])
ne peut-être rouge. On décide de lui donner la couleur bleu. Relions maintenant

à

, d'après
![3$ \rm [CD]](http://latex.ilemaths.net/ile_tex.cgi?3$ \rm [CD])
ne peut pas être jaune. De même pour
![3$ \rm [BD]](http://latex.ilemaths.net/ile_tex.cgi?3$ \rm [BD])
. Ainsi par symétrie on peut supposer
![3$ \rm [CD]](http://latex.ilemaths.net/ile_tex.cgi?3$ \rm [CD])
bleu et
![3$ \rm [BD]](http://latex.ilemaths.net/ile_tex.cgi?3$ \rm [BD])
rouge, mais alors le dernier raccord devant être jaune on a un problème au nœud

où se raccorde les trois couleurs
)
. Donc
![3$ \rm [CD]](http://latex.ilemaths.net/ile_tex.cgi?3$ \rm [CD])
et
![3$ \rm [BD]](http://latex.ilemaths.net/ile_tex.cgi?3$ \rm [BD])
sont tous deux rouges (impossible pour bleu car la liaison

serait bleu
)
). Et là la diagonale
![3$ \rm [AD]](http://latex.ilemaths.net/ile_tex.cgi?3$ \rm [AD])
jaune convient.

Formons
![3$ \rm [AB]](http://latex.ilemaths.net/ile_tex.cgi?3$ \rm [AB])
bleu et
![3$ \rm [AC]](http://latex.ilemaths.net/ile_tex.cgi?3$ \rm [AC])
rouge.
![3$ \rm [AD]](http://latex.ilemaths.net/ile_tex.cgi?3$ \rm [AD])
ne peut donc pas être jaune, on l'impose rouge. Donc
![3$ \rm [CD]](http://latex.ilemaths.net/ile_tex.cgi?3$ \rm [CD])
ne peut pas être rouge. S'il était bleu, sachant qu'il faut utiliser un raccord jaune, on aurait
![3$ \rm [BC]](http://latex.ilemaths.net/ile_tex.cgi?3$ \rm [BC])
ou
![3$ \rm [BD]](http://latex.ilemaths.net/ile_tex.cgi?3$ \rm [BD])
jaune, impossible d'après
)
au nœud

et

. Donc
![3$ \rm [CD]](http://latex.ilemaths.net/ile_tex.cgi?3$ \rm [CD])
est jaune.
![3$ \rm [BD]](http://latex.ilemaths.net/ile_tex.cgi?3$ \rm [BD])
ne peut pas être bleu pour vérifier
)
en

, ni jaune car ensuite si
![3$ \rm [BC]](http://latex.ilemaths.net/ile_tex.cgi?3$ \rm [BC])
était jaune la liaison

serait jaune
)
et si bleu ou rouge on aurait un problème de type
)
aux extrémités de
![3$ \rm [CB]](http://latex.ilemaths.net/ile_tex.cgi?3$ \rm [CB])
. Donc
![3$ \rm [BD]](http://latex.ilemaths.net/ile_tex.cgi?3$ \rm [BD])
est rouge et par suite
![3$ \rm [BC]](http://latex.ilemaths.net/ile_tex.cgi?3$ \rm [BC])
également pour vérifier
)
.

Dans les deux configurations on a la même façon de relier les villes, on prend 4 fois le même transport et une fois de chaque les deux autres.
Montrons alors qu'il est impossible de relier 5 villes avec de telles contraintes.
Reprenons les configurations à 4 points. Et plaçons une
cinquième ville représentée par le point

au dessus du plan contenant le quadrilatère

(pour visualiser).
![3$ \rm [AE]](http://latex.ilemaths.net/ile_tex.cgi?3$ \rm [AE])
et
![3$ \rm [ED]](http://latex.ilemaths.net/ile_tex.cgi?3$ \rm [ED])
ne peuvent pas être bleus d'après
)
ni tous deux jaunes sinon

jaune
)
. Donc un au moins des segments est rouge, mettons

.

ne peut pas être jaune d'après
)
ni rouge d'après
)
donc bleu par élimination. De même
![3$ \rm [EB]](http://latex.ilemaths.net/ile_tex.cgi?3$ \rm [EB])
n'est ni jaune ni rouge pour les mêmes raisons, donc serait bleu. Mais alors

serait bleu ce qui contredit
)
.
![3$ \rm [AE]](http://latex.ilemaths.net/ile_tex.cgi?3$ \rm [AE])
ni
![3$ \rm [BE]](http://latex.ilemaths.net/ile_tex.cgi?3$ \rm [BE])
ne peuvent être jaune d'après
)
, ni tout deux bleus d'après
)
. Supposons qu'ils soient tout deux rouges, alors puisque
![3$ \rm [EC]](http://latex.ilemaths.net/ile_tex.cgi?3$ \rm [EC])
et
![3$ \rm [ED]](http://latex.ilemaths.net/ile_tex.cgi?3$ \rm [ED])
ne peuvent être bleus d'après
)
, ils sont soit tous les deux jaunes - auquel cas

serait jaune absurde
)
- soit un des deux au moins est rouge et toujours d'après

ou

est rouge, absurde. Donc par symétrie on peut supposer
![3$ \rm [AE]](http://latex.ilemaths.net/ile_tex.cgi?3$ \rm [AE])
rouge et
![3$ \rm [EB]](http://latex.ilemaths.net/ile_tex.cgi?3$ \rm [EB])
bleu. On ne peut alors pas avoir de segment jaune issu de

. Ainsi
![3$ \rm [EC]](http://latex.ilemaths.net/ile_tex.cgi?3$ \rm [EC])
n'est pas jaune, ni bleu d'après ce qui précède, ni même rouge car

le serait ! D'où la contradiction.

Dans les deux cas il est impossible de relier la cinquième ville au réseau. CQFD.
Remarque : en utilisant seulement deux types de transport il est possible de relier 5 villes entre elles selon le schéma suivant :
Bien sûr l'ajout d'un sixième point est impossible, on pourrait prendre le symétrique du tétraèdre par rapport au plan contenant le quadrilatère ABCD mais on aurait un soucis de type (3) sur la grande diagonale [ED].
Merci pour l'énigme
