Lycee St-Stanislas Nantes

I DEVOIR MAISON N°6

Probleme
la premiere partie de ce probleme est un apen;u des resultats classiques sur la suite de Fibo-
nacci, l'objectif etant d'apprendre a calculer avec des expressions formelles. La deuxieme partie
donne des exemples de problemes oft intervient la suite de Fibonacci. Dans la troisieme partie,
on demontre Ie theoreme de Beatty (1926).

1. Quelques proprietes elementaires

(a) La suite de Fibonacci est detinie par les conditions suivantes :
Fa = 0, Ft = 1
{ Fn+2 = Fn+l + Fn .

1. Calculer les dix premiers termes de cette suite.

ii. Pour tout n E N, etablir l'egalite

Fn+2Fn = F;+l + (-1t+l

'L?:1 = FnFn+l'
k=O

iii. Pour (n, k) E (N*)2 tels que k + 1 S n, montrer que

(b) On note cp et 'IjJ les racines de x2 = x + 1. On choisit cp > 'IjJ.

1. Calculer les quantites suivantes : cp, 'IjJ, cp + 'IjJ, cp'IjJet enfin cp - 'IjJ.

ii. Pour n E N, montrer la formule de Binet: Fn = Jg,(cpn - 'ljJn).

iii. Retrouver alors la formule donnee en laiii. ~

IV. Trouver la limite de la s\lite (f= F:) .
k=O 2 nEN*
• J
v. Pour n E N, montrer que Fn+l = cpFn + 'ljJn.
Trouver la limite de (F;+l) .
n nEN*
2. Diverses rencontres avec la suite de Fibonacci
(a) Soient n E N* et Sn l'ensemble des permutations de [1, n].
i. Montrer que Sn est fini et preciser son cardinal.
ii. Pour f et 9 dans Sn, on note

d(J, g) = max (If(i) - g(i)l).

iE(I,n]

Verifier que d est definie sur Sn x Sn et que pour f, g, h dans Sn :

d(J, g) = 0 =* f = 9
d(J, h) S d(J, g) + d(g, h)
{
d(J, g) = d(g, J)
 On dit que d est une distance sur Sn'
. { 1 t------+ 2 . { 1 t------+ 1
Exemple : on prend n = 3, f : 2 t------+ 1 et 9 : 2 t------+ 3 . Verifier que f et
3 t------+ 3 3 t------+ 2
9 sont dans S3 puis calculer d(J, g).
iii. On appelle boule de centre Q E Sn et de rayon r E JR+ l'ensemble

Pour n = 1,2,3 decrire Bn(Id, 1), oil Id designe l'identite sur [1, nD-

iv. Montrer que, pour Q E Sn fixe, l'application u:{ Sn ----? Sn est bijective. En
T t------+ 'Y 0 Q

deduire que les boules de rayon 1 ont meme cardinal, note On'
v. Montrer que Ie cardinal d'une boule de rayon 1 vaut Fn+1'
(b) Determiner Ie nombre Hn de manieres de recouvrir un damier de dimension n x 2 a
l'aide de. n pieces de dimensions 1 x 2. Indication: trouver une relation entre Hn+2,
Hn+1 et Hn.
(c) Calculer la somme In des termes de la n-ieme diagonale montante dans Ie triangle
de Pascal. Indication: avec la convention (n = 0 si p < l, ecrire In = l: (n~k). n

k=O
3. Une partition remarquable de N*: theor~me de Beatty (1926)
Dans ce qui suit, [ ] designe la partie entiere. Deux sous-ensembles non vides A et B de
N* forment une partition de N* si AU B = N* et An B = 0. Pour a > 1, on introduit
l'ensemble Ea = {[na] In E N*}. On cherche a demontrer, pour deux reels a, b strictement
superieurs a 1, l'equivalence entre les deux proprietes suivantes :
(1) {Ea, Eb} est une partition de N*,
(2) a et b sont irrationnels et ~ + ~ = 1.
(a) pour m E N*, on note fa(m) = card({p E Ea Ip:::; m}).
- . m+l m+l
1. Etabhr l'encadrement -- -1 :::;fa(m) < ---.
a . a

ii. En deduire l'existence et la valeur de lim (fa(m»).

m->+oo m
(b) On suppose dans cette question que {Ea, Eb} est une partition de N*.

i. A l'aide de 3aii, montrer que ~ + ~ = 1.

ii. Montrer que ~ est irrationnel et conclure que a et b Ie sont aussi.

()O
c .
n suppose mamtenant que a et b' sont lrratlOnne
. Iset que ~1 + b1 = 1.
1. Montrer que Ea n Eb = 0.
ii. Pour mE N*, etablir l'encadrement : m - 1 < fa(m) + fb(m) < m + 1.
En deduire Ea U Eb = N*.