• Aucun résultat trouvé

Partie B – Th´ eor` eme de Beatty

N/A
N/A
Protected

Academic year: 2022

Partager "Partie B – Th´ eor` eme de Beatty"

Copied!
2
0
0

Texte intégral

(1)

DM de MPSI2

Corrig´ e de devoir non surveill´ e

Probl` eme – Suite de Fibonacci et th´ eor` eme de Beatty

Partie A – Sur la suite de Fibonacci

A.1Soitn∈N. On a

wn+2 = λun+2+µvn+2

= λ(un+1+un) +µ(vn+1+vn)

= (λun+1+µvn+1) + (λun+µvn)

= wn+1+wn,

doncw∈Ω.

A.2Soitaun r´eel. La suite (an) appartient `a Ω si et seulement si pour toutn∈N,

an+2=an+1+an,

si et seulement sia2=a+ 1, si et seulement si aest racine de X2−X−1,i.e.a=

5 2 . Les deux r´eels cherch´es sont doncφ= 1+

5

2 et ψ= 1−

5 2 . A.3On peut trouver des r´eelsaetb tels que

a+b= 0 et aφ+bψ= 1.

En effet, ce syst`eme ´etant de Cramer (carψ−φ 6= 0), il admet une unique solution. Un calcul simple donne a=1

5(=−b).

Les suites de termes g´en´erauxFn et 15n−ψn) appartiennent `a Ω, et co¨ıncident aux deux premiers rangs : elles sont ´egales par le r´esultat admis.

A.4On a 0< ψ <1< φ, doncψn= o(φn), de sorte queFnφn

5. D`es lors, FFn+1

n ∼φ, donc (Fn+1/Fn) converge versφ.

Partie B – Th´ eor` eme de Beatty

B.1

a Observons quen7→ bnacest injective, car pour tout n∈N, (n+ 1)a−na=a >1.

Soitm∈N.fa(m) est donc le nombre d’entiers naturels non nuls ptels que bpac6m, c’est-`a-dire le plus grand entier tel que l’on ait cette in´egalit´e.

Or, pour p∈N, bpac6m si et seulement sipa < m+ 1, si et seulement sip < m+1a . Comme fa(m) est le plus grand entier v´erifiant ceci, on a fa(m)< m+1a et fa(m) + 1> m+1a , d’o`u le r´esultat.

Dans le cas o`u airrationnel, il ne peut pas y avoir ´egalit´e : la premi`ere in´egalit´e est stricte.

bD’apr`es la question pr´ec´edente,fa(m) = ma + O(1)∼ ma, donc la suite f

a(m) m

m∈N

converge vers 1a. B.2

a Par hypoth`ese, pour toutm∈N,fa(m) +fb(m) =m, d’o`u, en divisant parm, puis en passant `a la limite `a l’aide de B.1.b : 1a+1b = 1.

bSupposons ab rationnel : il existe donc des entiers naturels non nulspetq tels quepa=qb. On a alors bpac=bqbc ∈Ea∩Eb =∅, c’est absurde.

a

b est donc bien irrationnel. Siaoub´etait rationnel alorsaetble seraient (grˆace `a la question pr´ec´edente), donca/ble serait ´egalement :aetb sont irrationnels.

B.3

(2)

a Supposons avoir deux entiers p, q∈N tels quebpac=bqbc. Notons kcet entier. On a donc pa, qb∈ [k, k+ 1[, puis p ∈ [k/a,(k+ 1)/a[ et q ∈ [k/b,(k+ 1)/b[, et mˆeme, puisque a et b sont irrationnels, p ∈ ]k/a,(k+ 1)/a[ etq∈]k/b,(k+ 1)/b[, ce qui conduit enfin `a l’absurdit´ep+q∈]k, k+ 1[.

On a bienEa∩Eb=∅.

Remarque :on pouvait aussi montrer ce r´esultat en observant quefa(k−1) +fb(k−1)>ka−1 +kb−1 =k−2, doncfa(k−1) +fb(k−1)>k−1, puis, commek∈Ea∩Eb,

fa(k) +fb(k) = 2 +fa(k−1) +fb(k−1)>k+ 1, ce qui contredit l’in´egalit´e de droite de B.1.a.

bCommeaetbsont irrationnels, on a, en vertu de B.1.a :

m+ 1

a −1< fa(m)< m+ 1

a et m+ 1

b −1< fb(m)< m+ 1 b , puis, en sommant (et sachant que 1/a+ 1/b= 1) :

m−1< fa(m) +fb(m)< m+ 1.

Commefa(m) +fb(m) est entier,fa(m) +fb(m) =m.EaetEb´etant disjoints,{p∈Ea, p6m}et{p∈Eb, p6 m}sont disjoints, et la somme de leur cardinaux vautm: on a donc

{p∈Ea, p6m} ∪ {p∈Eb, p6m}= [[1, m]].

Ceci valant pour toutm∈N, on a bienEa∪Eb=N.

B.4φetφ2sont des irrationnels sup´erieurs `a 1 tels que φ1+φ12 = 1 (carφ2=φ+ 1) : le th´eor`eme de Beatty s’applique,Eφ etEφ2 forment bien une partition deN.

Références

Documents relatifs

Dans le cas pr´ esent, la part du cuisinier serait de trois pi` eces, mais les pirates se querellent et six d’entre eux sont tu´ es, ce qui porte la part du cuisinier ` a quatre

[r]

La diff´ erence entre le th´ eor` eme et sa r´ eciproque tient aux conclusions et aux hypoth` eses : Pour montrer que deux droites sont parall` eles, on utilise le th´ eor` eme de

On dit que deux parties A et B de X en forment une partition si X est r´ eunion disjointe de A et de

Th`emes d’analyse pour l’agr´egation, St´ephane GONNORD &amp; Nicolas TOSEL, page

Comme f est continue sur [0, 1] (compact) elle est born´ee et atteint

Si M est un num´ eraire, on peut ´ evaluer la valeur V t d’une strat´ egie en terme de ce num´ eraire, soit V t /M

On consid`ere un triangle quelconque ABC et deux points M et N situ´es respectivement sur les cˆ ot´es [AB] et [AC] tels que (M N)//(BC).. Prouver que le rapport des aires des