La Périod de Pisano

Télécharger au format pdf ou txt
Télécharger au format pdf ou txt
Vous êtes sur la page 1sur 1

2021-2022

Théorème 0.1

Pour tout m dans N∗ la période de Pisano π(m) vérifiant 2 ≤ π(m) ≤ 6m

Démonstration : Soit m = 2i 5j pα1 1 pα2 2 . . . pαr r q1β1 q2β2 . . . qsβs Ou∀k ∈ {1, . . . , r}, pk ≡ ±1[5] et
∀k 0 ∈ {1, . . . , s}qk0 ≡ ±2[5]
On pose m1 = pα1 1 pα2 2 . . . pαr r et m2 = 5j q1β1 q2β2 . . . qsβs
On remarque m = 2i m1 m2
D’après corollaire (3.2)
∀k ∈ {1, . . . , r}π (pk ) ≤ pk − 1 < pk
Comme
∀k ∈ {1, . . . , r}, π pαk k /pαk k −1 π (pk )


Alors
∀k ∈ {1, . . . , r}, π pαk k ≤ pαk k −1 π (pk )


Ainsi
∀k ∈ {1, . . . , r}, π pαk k ≤ pαk k


En revanche nous allons appliquer le Théorème de factorisation (3.3)


r
!
αk
= ppcm (π (pα1 1 ) , . . . , π (pαr r ))
Y
π (m1 ) = π pk
k=1

D’où
r
αk
Y
π (m1 ) ≤ pk = m1
k=1
De même nous allons travailler par l’entier m2 à l’aide de corollaire (3.1) on a l’inégalité suivant :
π (m2 ) ≤ 5j q1β1 −1 . . . qsβs −1 ppcm (4, π (q1 ) , . . . , π (qs ))
On remarque 4/2(q + 1) et à l’aide de corollaire (3.3) nous obtenons
q1 + 1 qs + 1
 
π (m2 ) ≤ 5j q1β1 −1 . . . qsβs −1 4 · ppcm ,...,
2 2
Ainsi
s
" # s
Y βk
Y qk + 1
j
π (m2 ) ≤ 4 5 qk
k=1 k=1
2qk
D’où
qk + 1
π (m2 ) ≤ 4m2 car ≤ 1, ∀k ∈ {1, . . . , s}
2qk
En revanche on a
     
π(m) = π 2i m1 m2 = ppcm π 2i , π (m1 ) , π (m2 )
Alors    
π(m) ≤ π 2i π (m1 ) π (m2 ) ≤ 32i−1 (m1 ) (4m2 )
Ce qui nous donne finalement
π(m) ≤ 6m
Remarque : π(m) = 6m ssi m = 5i 2 si m n’est pas de la forme 5i 2 alors π(m) ≤ 4m

la question est pour quelle valeurs


π(m) = 4m

2021-2022 1 BENSAID Mohamed

Vous aimerez peut-être aussi