Application différence
EZZINE Ayoub
2020
Notons, pour tout entier d ≥ 2,
Zd → Zd
δd :
(x1 , x2 , . . . , xd ) 7→ (|x1 − x2 | , |x2 − x3 | , . . . , |xd − x1 |)
Pour toute application f ; Zd → Zd , notons f k = f ◦ f ◦ . . . ◦ f la k -ème composée de f. Par exemple, δd0 =
| {z }
k fois
Id, δd1 = δd et, pour tout n ∈ N, δdn+1 = δd ◦ δdn = δdn ◦ δd
1 Généralité
1. Déterminer tous les x = (x1 , x2 , . . . , xd ) ∈ Zd tels que δd (x) = (0, 0, . . . , 0)
2. Calculer, pour tout n ∈ N, δ3n (1, 0, 0) et δ4n (1, 0, 0, 0).
3. (a) Comparer, pour tout x ∈ Zd et tout α ∈ Z, δd (αx) et δd (x).
Zd →
(b) Soit σd : Comparer, pour tout x ∈ Zd , σd ◦ δd (x) et δd ◦ σd (x)
(x1 , x2 , . . . , xd ) 7→ (x2 , . . . , xd , x1 )
4. Notons, pour tout x = (x1 , x2 , . . . , xd ) ∈ Zd , kxk = max1≤k≤d |xk |
(a) A-t-on pour tout x ∈ Zd , kδd (x)k ≤ kxk?
(b) A-t-on pour tout x ∈ Nd , kδd (x)k ≤ kxk?
(c) Trouver x ∈ Nd non constant tel que kδd (x)k = kxk.
L’objectif est de trouver une condition nécessaire et suffisante sur d pour que :
∀x ∈ Zd , ∃n ∈ N, δdn (x) = (0, 0, . . . , 0)
2 Cas où d est impair
Dans cette partie, on suppose que d est impair.
1. Soit x = (x1 , x2 , . . . , xd ) ∈ Zd et α ∈ N tel que δd (x) = (α, α, . . . , α)
(a) Montrer qu’il existe ε1 , ε2 , . . . , εd ∈ {±1} tels que
ε1 α = x2 − x1 , ε2 α = x3 − x2 , . . . , εd α = x1 − xd
(b) En déduire que α = 0.
2. Soit x ∈ Zd et n ≥ 2 tels que δdn (x) = (0, 0, . . . , 0) et on pose y = (y1 , y2 , . . . , yd ) = δdn−1 (x)
(a) Justifier que y1 = y2 = . . . = yd
(b) Déterminer les valeurs possibles pour x.
3. Conclure.
1
3 Cas où d admet un diviseur impair
Dans cette partie, on suppose que d = ab avec a impair.
1. Soit x = (x1 , x2 , . . . , xa ) tel que
∀n ∈ N, δan (x) 6= (0, 0, . . . , 0)
Montrer que, pour tout n ∈ N,
δdn (x1 , x2 , . . . , xa , x1 , x2 , . . . , xa , . . . , x1 , x2 , . . . , xa ) 6= (0, 0, . . . , 0)
2. Conclure.
4 Cas o‘u d est une puissance de 2
Dans cette partie, on suppose que d = 2m On note (x1 , x2 , . . . , xd ) = (y1 , y2 , . . . , yd ) [2] si,
∀i ∈ {1, ..., d} xi = yi [2]
1. Soit x ∈ Zd
(a) Vérifier, par récurrence sur n ∈ N∗ , que
n
n
X n
(Id − σd ) = (−1)i σdi
i
i=0
(b) Montrer que
d
(Id − σd ) (x) = (0, 0, . . . , 0)[2]
(c) Soit (n, m) ∈ N∗ × N∗
Pi=k n m n+m
i. Montrer que i=0 =
i k−i k
ii. Conclure que les coordonnées de δdd (x) sont toutes paires.
(d) Montrer que pour tout m ∈ N∗ , il existe x0 ∈ Nd tel que δddm (x) = 2m x0
2. Soit x ∈ Nd et p ∈ N tel que kxk < 2p . Soit x0 ∈ Nd tel que δddp (x) = 2p x0
(a) Vérifier que si x0 6= (0, 0, . . . , 0), alors δddp (x) ≥ 2p
(b) Conclure.
