Vous êtes sur la page 1sur 4

EXERCICE 1: Pour tout n ∈ N∗ ,

 
n n 2 n
X X 1 +
X 1
 = 2n
p=1
k k
k=p k=1

Etablir cette égalité par récurrence. Les étapes de la récurrence seront soigneusement rédigées et un soin particulier devra
être accordé à l’hérédité.  
n n 2 n
X X 1 X 1
Pour tout n ∈ N∗ , notons Pn la propriété : «  + = 2n »
p=1
k k
k=p k=1
— Pour n = 1,  
n n n
X X 1 2  X 1
 + = 12 + 1 = 2
p=1
k k
k=p k=1

— Soit n ∈ N∗ tel que Pn est vraie. Montrons que Pn+1 est vraie.
   
n+1  n+1
X 1 2 n+1
X1 X n  n+1
X 1 2 n
X
+ 1 X 1 1
 =  +
2
+ +
p=1
k k p=1 k (n + 1) k n+1
k=p k=1 k=p k=1
 
n n n
X  X 1 1 2  1 X 1 1
=  + + 2
+ +
p=1
k n+1 (n + 1) k n+1
k=p k=1
 
n n 2 n n
X  X 1 1 X 1  1 X 1 1
=  + 2
+ 2 +
2
+ +
p=1
k (n + 1) (n + 1)k (n + 1) k n+1
k=p k=p k=1
 
n n n n X n
X X 1 2  X 1 X 1 n 1 1
=  + +2 + 2
+ 2
+
p=1
k k p=1
(n + 1)k (n + 1) (n + 1) n+1
k=p k=1 k=p
n X
k
2 X 1
= 2n + +2
n+1 p=1
(n + 1)k
k=1
n
2 X 1
= 2n + +2
n+1 n+1
k=1
2 2n
= 2n + +
n+1 n+1
= 2n + 2 = 2(n + 1)

Ainsi, la propriété Pn+1 est vraie dès que Pn est vraie.


— D’après le principe de récurrence sur N, pour tout n ∈ N∗ ,
 
n n 2 n
X X 1 +
X 1
 = 2n
p=1
k k
k=p k=1
EXERCICE 2: Pour n > 2, on considère le produit

n
k3 - 1
?„=n F+r
fc=2

2___ A fe2 + fe + 1
1) Démontrons que : Pn = n(n + 1) 1=1 k2 - k + 1 ’

n
k3 - 1
Pn
n
fc=2
k3 + 1

A (fe - l)(fe2 + fe + 1)
ü (* + 1)(*2 - fe + 1)
A /fe-l\ A (k2 + k + l

n<* - n
k2 + k + 1\
fc=2

n(*+i)
n k=2
fe2 — fe +1 y

k=2

n n—1 n n-\-l
or j>-d=nk=c™-1)’et nw=n *= (n +1)!
k=2 k-1
:2 k-2 k=3
n

EK*-1) 2(n ~ 1)! =___ 2


Donc Er----------
(n + 1)! n(n + 1)
n^+ï)
k=2
_ 2 A k2 + fe + 1
d'où
n(n + 1) fe2 — fe + 1

2) Déduisons une expression simplifiée Pn.


Posons uk = k2 + k + 1 donc

Uk—1 — (fe ~ l)2 + (fe — 1) + 1


tt/c—i — fe2 — 2fe —|— 1 —|— fe — 1 -1- 1
—î ~ k — k 4“ 1.
On peut écrire

n
2 k*23+ k + 1
Pn
n
n(n + 1) k=2 k2 — k + 1
2 -i—r Uk
n(n + 1) J-J, iifc-i
2
—-------- ? x —
n\n + 1) «1
2 n2 + n + 1
n(n +1) 3
2 n2 + n + 1
3 n(n + 1)

1
donc
n(n + 1)

Vous aimerez peut-être aussi