PanaMaths
[1 - 2]Septembre 2013
Pour tout entier naturel n, calculer :
2
( )
3 2
k n
k n
S n
≤
k
⎛ ⎞
⎜ ⎟
⎜ ⎟
⎝ ⎠
= ∑ −
Analyse
L’indexation de la somme peut dérouter. Assez naturellement, on peut alors vouloir écrire
( )
−3 k sous la forme d’une puissance d’exposant 2k …Résolution
Comme − =3
( )
i 3 2, il vient :( ) ( )
2( )
2 22 2 2
3 3 3 1
2 2 2
k k
k n k
n
k n k n k n
n n n
S i i
k k k
−
≤ ≤ ≤
⎛ ⎞ ⎛ ⎞ ⎛ ⎞
= − ⎜ ⎟= ⎜ ⎟= ⎜ ⎟
⎝ ⎠ ⎝ ⎠ ⎝ ⎠
∑ ∑ ∑
Ainsi, la somme
( )
2 22
3 1
2
k n k
k n
n i
k
−
≤
⎛ ⎞
⎜ ⎟
⎝ ⎠
∑
correspond aux termes comportant une puissance paire de i 3 apparaissant dans le développement( )
0
3 1
n j
n j j
n i j
−
=
⎛ ⎞⎜ ⎟
∑
⎝ ⎠ qui n’est rien d’autre que le développement de(
1+i 3)
n.Les puissances paires de i 3 donnant un nombre réel et les puissances impaires un imaginaire pur, il vient immédiatement : 2
∑
k n≤ ⎛⎜⎝2nk⎞⎟⎠( )
i 3 2k1n−2k =Re 1( ( +i 3)
n)
.
Or :
(
1+i 3)
n =⎛⎜⎜⎝2⎛⎜⎜⎝12+i 23⎞⎟⎟⎠⎞⎟⎟⎠n =⎛⎜⎝2eiπ3⎞⎟⎠n =2neinπ3 =2n⎛⎜⎝cos⎛⎜⎝nπ3⎞⎟⎠+isin⎛⎜⎝nπ3⎞⎟⎠⎞⎟⎠ Ainsi : Re 1( ( +i 3)
n)
=2 cosn ⎛⎜⎝nπ3⎞⎟⎠.
Le résultat obtenu est valable pour tout entier naturel n.
PanaMaths
[2 - 2]Septembre 2013
Résultat final
( )
2
, 3 2 cos
2 3
k n
n k n
n S n n
k
π
≤
⎛ ⎞ ⎛ ⎞
∀ ∈` =