Problème : Le théorème de Beatty et le jeu de Wythoff

Dans ce problème on démontre le théorème de Beatty. On donne ensuite une application permet-
tant de donner une stratégie gagnante au jeu de Wythoff.

Partie No 1 : Le théorème de Beatty

L’objectif de cette partie est de démontrer le théorème qui suit.

Théorème 1 : Théorème de Beatty

Soient p, q deux réels strictement positifs.
1 1
p et q sont irrationnels et vérifient p + q =1

si, et seulement si,

A = {bnpc / n ∈ N? } et B = {bnqc / n ∈ N? } forment une partition de N? .

Dans cette partie, p et q désignent deux réels strictement positifs.

1. Dans cette question, on suppose donnés p, q ∈ R+? de sorte que A et B forment une partition
de N? .
|A∩{1,··· ,n}|
(a) i. A l’aide d’un encadrement, montrer que lim n = p1 .
n→+∞
Indications : On prendra n > bpc et on considèrera max{k ∈ N? / bkpc ∈ A ∩
{1, · · · , n}}.
1 1
ii. En déduire que p + q = 1.
a1 a2
(b) i. On suppose qu’il existe a1 , b1 , a2 , b2 ∈ N? tel que p = b1 et q = b2 .
En calculant bb1 a2 pc, aboutir à une absurdité.
ii. Conclure que p et q sont tous les deux irrationnels.
2. On suppose que p et q sont irrationnels et vérifient p1 + 1q = 1.
On souhaite montrer que A et B forment une partition de N? .
(a) Montrer que A et B sont des parties non vides de N? .
(b) Dans cette question, on montre que A et B sont disjoints.
Pour cela, on supposé donné i ∈ A ∩ B. De ce fait, il existe n, m ∈ N? tels que i = bnpc =
bmqc.
i. Montrer que m + n − 1 < i < m + n.
ii. Conclure.
(c) Dans cette question, on montre que A et B recouvrent N? (c’est-à-dire que A ∪ B = N? ).
Pour cela, on suppose donné i ∈ N? .
Cet entier est situé entre deux multiples consécutifs de p : il existe un entier k tel que :
kp 6 i < (k + 1)p.
De même, il est situé entre deux multiples consécutifs de q : il existe un entier j tel que :
jq 6 i < (j + 1)q
i. On suppose que i ∈
/ A. Montrer que kp < i < kp + p − 1.
ii. On suppose que i ∈
/ A et que i ∈
/ B. Montrer que (k + j) < i < (k + j) + 1.
iii. Conclure.

1
 Partie No 2 : Une caractérisation du nombre d’or

Le nombre d’or est l’unique réel positif ϕ vérifiant l’équation x2 = x + 1.

1. Donner l’expression de ϕ et montrer que ϕ est irrationnel.
Jusque la fin du problème, on définit,
— Pour n ∈ N? , an = bnϕc et bn = bnϕ2 c.
— A = {an / n ∈ N? }.
— B = {bn / n ∈ N? }.
2. Pour n ∈ N? , montrer les égalités qui suivent.
(a) bn = an + n.
(b) aan = bn − 1.
(c) abn = an + bn .
3. Montrer que les suites a et b sont strictement croissantes et que, pour tout n ∈ N? , an < bn .
4. Montrer que A et B forment une partition de N? .
5. Réciproquement.
On considère x ∈ R+? tel que {bnxc / n ∈ N? } et {bnx2 c / n ∈ N? } forment une partition de
N?
Montrer que x = ϕ.

Partie No 3 : Le jeu de Wythoff

Avant d’en arriver à une stratégie qui va nous permettre de remporter une mise à coup sûr, sous le
regard ébahi d’un adversaire démuni, nous devons mettre au point une propriété mathématiques liée
à la partition (A, B) de N? précédente.
Définissons les ensembles suivants :
— C = {(x, y) ∈ N? × N? / ∃i ∈ N / (x, y) = (ai , bi ) ou (x, y) = (bi , ai )} ∪ {(0, 0)}.
— F = {(0, x) / x ∈ N? }.
— G = {(x, 0) / x ∈ N? }.
— H = {(x, x) / x ∈ N? }.
6. Soit (x, y) ∈ N × N.
(a) Soient (x, y) ∈ C et (i, j) ∈ F ∪ G ∪ H. On pose (x, y) − (i, j) = (x − i, y − j).
Montrer que (x, y) − (i, j) ∈/ C.
(b) Soit (x, y) ∈
/ C. Montrer qu’il existe (i, j) ∈ F ∪ G ∪ H tel que (x, y) − (i, j) ∈ C.
Indication : On pourra supposer x 6 y, et on distinguera plusieurs cas selon que x est
inférieur ou supérieur à ay−x .
7. Le jeu des porte-monnaie se joue à deux, chaque joueur ayant un porte-monnaie (si possible bien
garni), ou mettant en jeu un portefeuille d’actions et de titres divers.
Chaque joueur prend à son tour soit un nombre quelconque non nul de pièces dans l’un des porte
monnaie, soit le même nombre de pièces dans les deux porte-monnaie.
Le joueur qui prend la dernière pièce a gagné et empoche le tout.
Exemple. Pierre a 10 pièces et commence à joueur. Quentin a 7 pièces au départ.
Le tableau suivant donne le déroulement d’une partie remportée par Pierre.
P J P J P J P
nombre de Porte-monnaie Pierre 0 2 1 2 3 1 1
pièces prises Porte-monnaie Quentin 1 2 0 0 3 0 1
nombre de Porte-monnaie Pierre 10 8 7 5 2 1 0
pièces restantes Porte-monnaie Quentin 6 4 4 4 1 1 0

2
En supposant connus, au départ, les nombres x et y de pièces dans les deux porte-monnaie, et en
supposant que vous ayez la possibilité de commencer, ou de laisser votre adversaire commencer,
que devez-vous faire pour gagner à coup sûr ?
Indication : On sera amené à distinguer les cas où (x, y) ∈ C et où (x, y) ∈
/ C.

* * * FIN DU SUJET * * *