Un şir strâns legat de şirul lui Wallis

Adrian CORDUNEANU 1 , Gheorghe COSTOVICI 2

Scopul propus este studiul şirului (an )n≥1 definit prin
1!! 3!! 5!! n (2n − 1)!!
an = Cn0 − Cn1 + Cn2 − Cn3 + · · · + (−1) Cnn . (1)
2!! 4!! 6!! (2n)!!
Vom stabili că este monoton descrescător şi convergent la zero şi vom pune în evidenţă
legătura acestuia cu şirul lui Wallis (wn )n≥1 dat de
· ¸2
(2n)!! 1
wn = (2)
(2n − 1)!! 2n + 1
π
(despre care ştim că lim wn = ).
n→∞ 2
Lemă ([1], p. 124 sau [2], p. 350). Pentru orice k ∈ N∗ avem

Z π/2 Z π/2  (k − 1)!! · π , k par

k
cos x dx = k
sin x dx = k!! 2 .
0 0  (k − 1)!! ,

k impar
k!!
Demonstraţie. Dacă în una din cele două integrale efectuăm schimbarea t =
π
x − , vom obţine pe cealaltă; deci integralele sunt egale. Fie Ik valoarea comună
2
lor. Integrând prin părţi, găsim:
Z π/2 Z π/2
Ik = cosk x dx = (sin x)0 cosk−1 x dx =
0 0
Z π/2
= − (k − 1) sin x cosk−2 x (− sin x) dx =
0
Z π/2 ¡ ¢
= (k − 1) 1 − cos2 x cosk−2 x dx = (k − 1) (Ik−2 − Ik ) ,
0

de unde
k−1
Ik = Ik−2 , k ≥ 2.
k
π
Această relaţie de recurenţă şi faptul că I0 = şi I1 = 1 conduc la rezultatul dorit.
2
Propoziţie. Are loc identitatea
(2n − 1)!! 1!! 3!! (2n − 1)!!
= Cn0 − Cn1 + Cn2 + · · · + (−1)n Cnn . (3)
(2n)!! 2!! 4!! (2n)!!
Demonstraţie. Obţinem (3) exprimând integrala I2n în două moduri. Mai întâi,

1 Prof. dr., Catedra de matematică, Univ. "Gh. Asachi", Iaşi

2 Conf. dr., Catedra de matematică, Univ. "Gh. Asachi", Iaşi

95
 (2n − 1)!! π
conform Lemei, avem I2n = . Apoi, folosind formula binomului, găsim:
(2n)!! 2
Z π/2 Z π/2 ¡ ¢n
I2n = cos2n
x dx = 1 − sin2 x dx =
0 0
Z π/2 ¡ 0 n ¢
= Cn − Cn1 sin2 x + Cn2 sin4 x − Cn3 sin6 x + · · · + (−1) Cnn sin2n x dx =
0
= Cn0 I0 − Cn1 I2 + Cn2 I4 − Cn3 I6 + · · · + (−1)n Cnn I2n =
µ ¶
π 0 1 1!! 2 3!! 3 5!! n n (2n − 1)!!
= Cn − Cn + Cn − Cn + · · · + (−1) Cn .
2 2!! 4!! 6!! (2n)!!
Egalând aceste două valori ale lui I2n , obţinem (3).
Corolarul 1. Sunt adevărate afirmaţiile:
1) an = (2n − 1)!! , n ∈ N∗ ; (4)
(2n)!!
2) (an )n≥1 este strict descrescător.
an+1
Demonstraţie. Punctul 1) decurge din (1) şi (3), iar 2) din faptul că =
an
2n + 1
< 1, n ∈ N∗ .
2n + 2
Corolarul 2. Sunt adevărate afirmaţiile următoare:
1 1
1) an = √ ·√ , n ∈ N∗ ; (5)
wn 2n + 1
2) (an )n≥1 converge la zero.
Demonstraţie. Punctul 1) rezultă din (2) şi (4), iar 2) prin trecere la limită în
(5) pentru n → ∞.
Observaţie. Faptul că lim an = 0 poate fi stabilit şi utilizând dubla inegalitate
n→∞
√ √
2 1 (2n − 1)!! 3 1
· √ < < · √ , n > 1 ([3], p. 48).
2 2n (2n)!! 2 2n

Bibliografie.
1. G. M. Fihtenholţ - Curs de calcul diferenţial şi integral, vol. II, Ed. Tehnică,
Bucureşti, 1964.
2. Gh. Sireţchi - Calcul diferenţial şi integral, vol. I, Ed. Ştiinţifică şi Enciclopedică,
Bucureşti, 1985.
3. *** - Probleme de matematică traduse din Kvant, vol. I, E. D. P., Bucureşti, 1983.

96