LA PARTIE ENTIÈRE ET LA SÉRIE HARMONIQUE

1 baccalauréat - sciences mathématiques (option français)

janvier 2024
1 introduction du problème :
On considere l application definie sur N dans N par f n
' ́ * * (
n 1
)=⌊∑ i =1 ⌋ (
i avec x design la partie
⌊ ⌋

entiere de x
́ ).

Montrer que par recurrence m N )( n N f n m.

́ : (∀ ∈ * ∃ ∈ *); ( )=

2 solution proposée
Initialisation:
pour m on a f f f =1: Alors n N f n
(1)= (2)= (3)=1. :(∃ ∈ *); ( )=1.

Donc la proposition est vrai pour m =1.

Heridite :
soitm N ∈ *.

Supposons que n N f n m et montrons que n N f n m .

:(∃ ∈ *); ( )= . :(∃ '∈ *); ( ')= +1

on pose n n n
i i
'=⌊( n
+1)(2-{∑ n α n =1
1
})⌋+ = ⌊( +1)(1 + )⌋+

tel que α n
i i
=1 - {∑avec x design la partie decimal de x et on sait que
=1
1
} ; { } ́ x
{ }∈[0,1[

alors α ce qui est equivalent a α α et

: ∈]0,1] ; α donc α α n
́ ́:
2
+ ≤2 0≤1- : (
2
+ - 2) ≤0 et 0≤ α α
-
2

et on obtient sur les equivalences suivantes ́ :

α α n et α α (
2
+ -2) ≤0 0≤ -
2

α α n αα ⇔ (
2
+ -2) ≤ -
2

α α n α α α ⇔( +2-(4-
2
)) ≤ (2- )-
α α n α α +2 4 -
2

α α α
⇔[
2 -
-
2 -
] ≤ -
2 -
α α n α α +2
α α
⇔[
2 -
-(2 + )] ≤ -
2 -
α n α n α αα +2
α ⇔ (
2 -
) - (2 + ) ≤ -
2 -
α n α
α α αn +2
α ⇔ (
2 -
) +
2 -
≤ +(2 + )

α n α
α α n αn +2
α ⇔ (
2 -
) +
2 -
≤ + +(1 + )

α n α
α α αn n +2
α ⇔ (
2 -
) +
2 -
≤ + 1 +(1 + ) + - 1

α n α α n n +2
α α ⇔ (
2 -
) +
2 -
≤ (1 + )( + 1) + - 1

ce qui implique que α α

αn α n car n α n n
+2
( ) + < ' : '>(1 + )( + 1) + - 1
2 - 2 -

donc α n α n
: ( +2) α Alors α n α n α
+ < '(2 - (1-1) ) , : ( - 2) ' - ( +2) + < 0

On considere la polynome d expression P x αx αβx γβ avec β n

́ ' ( ) =2
2
- 2 + ( = '+ n et γ n n
+1 = '- )

on a l expression du discriminant
' de P est P b ac αβ α γβ (Δ) : Δ =
2
-4 =(-2 )
2
- 4.2 . = 4 αβ αβ γ
( - 2 ).

alors le singe de est celui de αβ γ Δ - 2 .

or αβ γ α n n
: - 2 = n n αn αn α n n α n α n α
( '+ +1)-2( '- )= '+ + -2 '+2 =( -2) '+( +2) + .

et d apres
' on peut dire que αβ γ
́ (1-1) : - 2 <0 .

1
donc le signe du discriminant pest strictement negatif ce qui indique que la polynome P est Δ ́ ,

strictement positif sur R car le signe d un trinome de discriminant strictement negatif est
, ' ́

celui du coefficient du terme de degre qui est strictement positif pour la polynome P ́ 2

et on ecrit ́ x R
: αx αβx γβ ( ∀ ∈ ) 0<2
2
- 2 +

Soit E un ensemble dfinie par E i N n i n or E R ́ ={ ∈ / +1≤ ≤ '} ; ⊂

donc i E on a
: ( ∀ ∈ Pi αβi αi γβ ; α β i i γβ γα ββi i
: 0< ( ) ⇔2 -2
2
< ⇔ 2 ( - ) < ⇔
2
<
( - )
α n n 2 '+ +1
n n n n ii ⇔
'-
<
( '+ +1- )
.

donc n α
i n n n
n n n
i n n n Alors2
α ni n nn nn i i '+ +1 '+ +1
ii
' ' '
: ∑ = +1
<∑ = +1
; : 2 <∑ = +1
.
'- ( '+ +1- ) ( '+ +1- )

or ni n nn nn i i
:∑
'

=
n
i n i
+1
( '+
n '+
i n n n
+1
i
+1- )
n
i n i
n
i n i
= [∑
n
i n i
'

= +1
1
]+[∑
'

= +1
'+
1
+1-
] = [∑
'

= +1
1
]+[∑
'

= +1
1
] = 2∑
'

= +1
1
.

donc α :
n
i n i alors 2 <2∑ α ni n i '

= +1
1
; : <∑ =
'

+1
1
.

d ou'
n
i i
n
i n i 1-{∑ =1
1
} <∑ =
'

+1
1
(2-1)

On a n n α n donc n n n α Alors n α 1 1 +
- '≤( + 1)(1 +
n n
) + . : ' - ≤( + 1)(1 + ). :
+1
≤
' -

or n n 1
' n
<
1
n
'-1 n
<
n
1
'-2
< ........ <
1
+3
<
1
+2
<
1
+1
.

donc α 1 1 +
:
n n n +1
≤
' -
.

et α 1 1 +
:
n n n +2
<
' -
.

et α 1 1 +
:
n n n ' - 1
<
' -
.

et α 1 1 +
:
n n n '
<
' -
.

et par la sommation des cotes des inegalite on deduire que ́ ́ ́ :

n n 1 1
i n i i i
'
∑ = +1
< 2-{∑ =1
} (2-2) .

et d apres ' et on deduire que

́ (1-2)
n
i i
n
i n i
(2-2)
n
i i ́ : 1-{∑ =1
1
} < ∑
'

= +1
1
< 2-{∑ =1
1
.

Alors n
i i: 1-{∑
n
i i
n
i n i
n
i i
=1
1
} -⌊∑
n
i i
n
i i
=1
1
⌋ < ∑
'

= +1
1
-⌊∑ =1
1
⌋ < 2-{∑ =1
1
}-⌊∑ =1
1
⌋ .

et on appliquant cette egalite x x x on trouve que n

i i ́
n
i n i
n
i i ́
n
i i =⌊ ⌋+{ } ; 1 -∑ =1
1
< ∑ =
'

+1
1
- ⌊∑ =1
1
⌋ < 2-∑ =1
1
.

donc n
i i 1+⌊∑
n
i n i
n
i i =1
n
1
i i Alors
⌋< ∑
n
i i
'

=
n
i i
+1
1
+∑
n
i i =1
1
<2-⌊∑ =1
1
⌋ ; 1+⌊∑ =1
1
⌋<∑
'

=1
1
<2+⌊∑ =1
1
⌋ .

Conclusion ni i n
i i Alors f n
: ⌊∑ f n lorsque n n
'

=1
1
⌋=1+⌊∑
n
i i =1
n 1
⌋; ( ')=1+ ( ) '=⌊( +1)(2-{∑ =1
1
})⌋+ .

ce qui implique que n N f n m Et celon le principe de r? currence on d? duire que

: (∃ '∈ *) ; ( ')= +1. ? , ?

(m n ) ; f(n)=m .
)(

déduction : la fonction f est surjectif .