Soit une fonction f définie sur 0 ;1

PanaMaths

Décembre 2013

Soit une fonction f définie sur 0 ;1

, continue et telle que ^f ( ) ( ) ^{0 = f 1 .}

Montrer que : ⁿ

^{, α}

^{0 ;1 /}

^f

^{α 1} _n

^f ( ) ^α

⎝ ⎠

∀ ∈ ` ∃ ∈ + = .

Indication : considérer

^f

¹ _n ^f ( ) ⁰

^f

² _n ^f

¹ _n

^...

⎝ ⎠ ⎝ ⎠ ⎝ ⎠

⎣ ⎦ ⎣ ⎦

− + − +

Analyse

Dans un premier temps, on évalue la somme, simple, donnée dans l’indication. La valeur obtenue et le terme général de la somme doivent conduire à l’introduction d’une fonction auxiliaire qui permettra de conclure.

Résolution

Soit n un entier naturel non nul.

Comme suggéré dans l’énoncé, nous considérons la somme :

( ) ( )

1

0

1 2 1 1 2 1

0 ... 1

1

n

n

k

n n n

S f f f f f f f f

n n n n n n

k k

f f

n n

−

=

⎡ ⎛ ⎞ ⎤ ⎡ ⎛ ⎞ ⎛ ⎞⎤ ⎡ ⎛ − ⎞ ⎛ − ⎞⎤ ⎡ ⎛ − ⎤⎞

=⎢⎣ ⎜ ⎟⎝ ⎠− ⎥ ⎢⎦ ⎣+ ⎜ ⎟⎝ ⎠− ⎜ ⎟⎝ ⎠⎥⎦+ +⎢⎣ ⎜⎝ ⎟⎠− ⎜⎝ ⎟⎠⎥ ⎢⎦ ⎣+ − ⎜⎝ ⎟⎠⎥⎦

⎡ ⎛ + ⎞ ⎛ ⎞⎤

=

∑

La somme est télescopique et on a simplement : Sn= f

( )

( )

( ) ( )

1 1

0 0 0 0

f f f f

n n

⎛ ⎞− = ⎛ + ⎞− =

⎜ ⎟ ⎜ ⎟

⎝ ⎠ ⎝ ⎠ et on peut prendre α=0.

PanaMaths

Décembre 2013

Supposons maintenant que les termes de la somme ne soient pas tous nuls.

Puisque S_n=0, la somme comporte nécessairement deux termes non nuls de signes contraires. Il existe donc deux entiers distincts k₋ et k₊ dans

a

b

1 0

k k

f f

n n

−+ −

⎛ ⎞− ⎛ ⎞<

⎜ ⎟ ⎜ ⎟

⎝ ⎠ ⎝ ⎠ et 1

k k 0

f f

n n

++ +

⎛ ⎞− ⎛ ⎞>

⎜ ⎟ ⎜ ⎟

⎝ ⎠ ⎝ ⎠ .

On considère alors la fonction ϕ définie sur k ;k

I n n

− +

⎡ ⎤

= ⎢⎣ ⎥⎦ (si k₋ <k₊) ou sur k ;k

I n n

+ −

⎡ ⎤

= ⎢⎣ ⎥⎦ (si k₊ <k₋) par ^:x

( )

( )

ϕ 6ϕ = ^⎛⎜⎝ +n^⎞⎟⎠− .

Comme ^I⊂

[ ]

[ ]

Par ailleurs, on a : 1

k k k 0

f f

n n n

ϕ^⎛⎜⎝ ^−⎞⎟⎠= ^⎛⎜⎝ ^{−+ ⎞}⎟⎠− ^⎛⎜⎝ ^−⎞⎟⎠< et 1

k k k 0

f f

n n n

ϕ^⎛⎜⎝ ^{+ ⎞}⎟⎠= ^⎛⎜⎝ ^{++ ⎞}⎟⎠− ^⎛⎜⎝ ^+⎞⎟⎠> . Le théorème des valeurs intermédiaires nous permet alors de conclure qu’il existe un réel α dans I tel que

( )

( )

ϕ α = = ^⎛⎜⎝α+n^⎞⎟⎠− α . Le résultat est établi.

Résultat final

Si une fonction f est définie et continue sur l’intervalle

[ ]

( )

( )

Pour tout entier naturel n non nul, il existe un réel α tel que ^{f 1 f}

( )

α n α

⎛ + ⎞=

⎜ ⎟

⎝ ⎠ ^.