Documente Academic
Documente Profesional
Documente Cultură
53–67
Abstract. In this paper are presented the Wallis, Stirling, Gauss formulae and
are given some their applications.
MSC 2000. 26A24
Key words. Stirling’s formula, Wallis’s formula, infinite product
π/2
Z π/2
n−1
= − sin x cos x + (n − 1)
0
sinn−2 x cos2 xdx =
0
Z π/2
sinn−2 x 1 − sin2 x dx = (n − 1) (Sn−2 − Sn ) ,
= (n − 1)
0
n−1
Sn = Sn−2 , oricare ar fi n ∈ N, n ≥ 2,
n
54 Eugenia Duca, Emilia Copaciu şi Dorel I. Duca 2
(2m − 1) (2m − 3) · · · 3 · 1 π
S2m = × ,
(2m) (2m − 2) · · · 4 · 2 2
(2m) (2m − 2) · · · 4 · 2
S2m+1 = .
(2m + 1) (2m − 1) · · · 3 · 1
2
(2n)!! 1
lim = 0,
n→∞ (2n − 1)!! 2n (2n + 1)
urmează că
2
(2n)!! 1 π
lim = ,
n→∞ (2n − 1)!! (2n + 1) 2
sau
2 · 2 · 4 · 4 · · · (2n) (2n) 1 π
lim = ,
n→∞ 1 · 1 · 3 · 3 · · · (2n − 1) (2n − 1) 2n + 1 2
relaţie cunoscută ı̂n matematică sub numele de formula lui Wallis. Formula
lui Wallis, celebră din punct de vedere istoric, se foloseşte şi azi ı̂n cercetările
teoretice.
Comentariu. John Wallis (23 noiembrie 1616, Ashford Kent – 28 octombrie
1703, Oxford) - matematician şi teolog englez - a studiat la Cambridge, după
care a ı̂mbrăţişat cariera eclesiastică. La 33 de ani a devenit profesor de geo-
metrie la Oxford. A fost un admirator al matematicii greceşti, editând o parte
din operele lui Eutokios (sec. 4 ı̂.H.), Arhimede (sec. 3 ı̂.H.), Aristarh (sec.
3 ı̂.H.) şi Ptolomeu (sec. 2 d.H). Lui i se datorează crearea ı̂nvăţământului
pentru surdomuţi.
Formula lui Stirling este una din formulele celebre ale analizei mate-
matice, obţinută din formula lui Wallis.
Să considerăm funcţiile f, g : [1, +∞[→ R definite prin
2
f (x) = ln (x + 1) − ln x − , oricare ar fi x ∈ [1, +∞[,
2x + 1
2x + 1
g (x) = ln x − ln (x + 1) + , oricare ar fi x ∈ [1, +∞[.
2x (x + 1)
Evident funcţiile f şi g sunt derivabile pe [1, +∞[ şi
−1 −1
f 0 (x) = , g 0 (x) = ,
4x (x + 1) (2x + 1)2 + 1)2
2x2 (x
oricare ar fi x ∈ [1, +∞[. Aşadar ambele funcţii au derivatele negative pe
mulţimea de definiţie
Urmează că atât f cât şi g sunt strict descrescătoare pe [1, +∞[, deci avem
2
f (x) ≤ f (1) = ln 2 − < 0 = lim g (x) < g (x) ,
3 x→∞
56 Eugenia Duca, Emilia Copaciu şi Dorel I. Duca 4
oricare ar fi x ∈ [1, +∞[. Prin urmare, pentru orice x ∈ [1, +∞[ au loc inega-
lităţile
2 2x + 1
(1) < ln (x + 1) − ln x < .
2x + 1 2x (x + 1)
2 2n + 1
(2) < ln (n + 1) − ln n < , oricare ar fi n ∈ N.
2n + 1 2n (n + 1)
Fie acum u ∈]0, +∞[ şi h :]0, +∞[→ R funcţia definită prin
u u
h (x) := x + ln 1 + − u, oricare ar fi x ∈]0, +∞[.
2 x
Evident funcţia h este derivabilă de două ori pe ]0, +∞[ şi pentru orice
x ∈]0, +∞[ avem
x+u u(2x + u) u3
h0 (x) = ln − , h00 (p) = .
x 2x (x + u) 2x2 (x + u)2
Întrucât h00 (x) > 0, oricare ar fi x ∈]0, +∞[, deducem că derivata h0 este strict
crescătoare pe ]0, +∞[. Urmează că
şi deci funcţia h este strict descrescătoare pe ]0, +∞[. Aşadar avem
Ţinând seama de expresia funcţiei h şi de faptul că u > 0 a fost ales oarecare,
obţinem că
u u
x+ ln 1 + > u, oricare ar fi x, u ∈]0, +∞[,
2 x
sau echivalent
u x+ u2
(3) exp u < 1 + , oricare ar fi x, u ∈]0, +∞[.
x
Prin urmare şirul (xn ) este strict descrescător şi mărginit inferior, aşadar
convergent. Fie
x0 = lim xn .
n→∞
Evident x0 ∈ [0, x1 [.
Vom arăta, pentru ı̂nceput, că x0 6= 0. Din (5) , obţinem că
1
0 < ln xn − ln xn+1 = n + [ln (n + 1) − ln n] − 1,
2
oricare ar fi n ∈ N. Cum, din (2), avem
2n + 1
ln (n + 1) − ln n < ,
2n (n + 1)
oricare ar fi n ∈ N, obţinem că
1 2n + 1 1 1 1
ln xn − ln xn+1 < n + −1= − ,
2 2n (n + 1) 4 n n+1
oricare ar fi n ∈ N. Aşadar
1 1 1
(6) 0 < ln xn − ln xn+1 < − , oricare ar fi n ∈ N.
4 n n+1
Din (6) , deducem că pentru orice n ∈ N, avem
1 1 1
0 < ln x2 − ln x3 < 4 2 − 3
1 1 1
0 < ln x3 − ln x4 < 4 3 − 4
· · ·
1 1 1
0 < ln xn−1 − ln xn < 4 n−1 − n
58 Eugenia Duca, Emilia Copaciu şi Dorel I. Duca 6
1 1 1
0 < ln x2 − ln xn < −
4 2 n
sau
x2 1 1 1
1< < exp −
xn 4 2 n
sau
1 1 1 xn
(7) exp − < < 1.
4 n 2 x2
−1 x0
exp ≤
8 x2
şi deci x0 6= 0.
Cum, pentru fiecare n ∈ N, avem
4n (n!)2
r r
x2n 2 2 · 4 · · · (2n) 2
= = =
x2n (2n)! n 1 · 3 · · · (2n − 1) n
r
2 · 4 · · · (2n) 2 (2n + 1)
= √ ,
1 · 3 · · · (2n − 1) 2n + 1 n
√
x0 = 2π.
2.1. Funcţiile beta şi gama ale lui Euler. Funcţiile beta şi gama au fost
introduse şi studiate de către Euler ı̂n 1730.
7 Formulele lui Stirling, Wallis, Gauss şi aplicaţii 59
Funcţia beta a lui Euler. Dacă x şi y sunt numere reale astfel ı̂ncât
2.2.
x > 0, y > 0, atunci funcţia f :]0, 1[→ R definită prin
se numeşte funcţia beta a lui Euler (sau integrala lui Euler de prima
speţă).
Câteva proprietăţi ale funcţiei beta a lui Euler sunt date ı̂n teorema următoare.
Teorema 2. Următoarele afirmaţii sunt adevărate:
10 B (x, y) = B (y, x) , oricare ar fi x, y > 0.
x
20 B (x + 1, y) = B (x, y) , oricare ar fi x, y > 0.
x+y
y
30 B (x, y + 1) = x+y B (x, y) , oricare ar fi x, y > 0.
Z +∞
tα−1
40 B (x, y) = x+y dt, oricare ar fi x, y > 0.
0+0 (t + 1)
+∞
ux−1
Z
= du.
0+0 (u + 1)x+y
50 Avem
1−0
1 α 1
Z
x−1 1
B (x, 1) = t dt = t = .
0+0 x 0 x
n−1 n−2 n − (n − 1)
= ·· B (x, 1) =
x + n − 1 x + n − 2 x + n − (n − 1)
(n − 1)!
= .
x (x + 1) · · · (x + n − 1)
70 Se aplică 60 şi 10 .
80 Facem schimbarea de variabilă
Z π/2
=2 du = π.
0
9 Formulele lui Stirling, Wallis, Gauss şi aplicaţii 61
2.3. Funcţia gama a lui Euler. Funcţia f :]0, +∞[→ R definită prin
se numeşte funcţia gama a lui Euler (sau integrala lui Euler de speţa
a doua).
Câteva proprietăţi ale funcţiei gama a lui Euler sunt date ı̂n teorema următoare.
Teorema 3. Următoarele afirmaţii sunt adevărate:
10 Γ (1) = 1.
20 Γ (x + 1) = xΓ (x) , oricare ar fi x > 0.
30 Γ (n + 1) = n!, oricare ar fi n ∈ N.
n!nx
40 Γ (x) = lim , oricare ar fi x > 0 (formula lui
n→∞ x (x + 1) · · · (x + n)
Gauss).
Γ (x) Γ (y)
50 B (x, y) = , oricare ar fi x, y > 0.
Γ (x + y)
60 Γ (x) Γ (1 − x) = B (x, 1 − x) , oricare ar fi x ∈]0, 1[.
1
70 Γ (x) Γ (1 − x) = ∞ , oricare ar fi x ∈]0, 1[.
Y x2
x 1− 2
n
n=1
π
80 Γ (x) Γ (1 − x) = , oricare ar fi x ∈]0, 1[ (formula lui Euler).
sin πx
√
90 Γ (1/2) = π.
Demonstraţie. 10 Avem
Z +∞ Z +∞
+∞
1−1
Γ (1) := exp (−t) t dt = exp (−t) dt = − exp (−t) = 1.
0 0 0
20
Integrând prin părţi obţinem
Z +∞ +∞ Z +∞
x x
exp (−t) tx−1 dt =
Γ (x + 1) = exp (−t) t dt = − exp (−t) t +x
0 0 0
= xΓ (x) .
30 În baza afirmaţiilor 10 şi 20 , pentru orice n ∈ N, avem
62 Eugenia Duca, Emilia Copaciu şi Dorel I. Duca 10
Γ (1) = 1
Γ (2) = 1Γ (1)
Γ (3) = 2Γ (2)
·····
Γ (n) = (n − 1) Γ (n − 1)
Γ (n + 1) = nΓ (n)
t n x−1
Z n
In := 1− t dt.
0 n
Integrând prin părţi, obţinem
n
t n tx n1 n t n−1 x
Z
In = 1 − + 1− t dt =
n x 0 x n 0 n
n1 n t n−1 x
Z
= 1− t dt =
xn 0 n
n
t n−1 t n−2 x+1
Z n
n 1 tx+1
n (n − 1) 1
= 1− + 1− t dt =
xnx+1 n x (x + 1) n2 0 n
0
n n−2
n (n − 1) 1
Z
t
= 1− tx+1 dt = · · · =
x (x + 1) n2 0 n
Z n
n! 1
= tx+n−1 dt =
x (x + 1) · · · (x + n − 1) nn 0
n!nx
= .
x (x + 1) · · · (x + n)
Întrucât
t n
lim 1 − = exp (−t) , oricare ar fi t ∈]0, +∞[,
n→∞ n
deducem că
Z +∞ Z n n
x−1 t
Γ (x) = exp (−t) t dt = lim 1− tx−1 dt,
0 n→∞ 0 n
de unde rezultă concluzia.
50 Fie x, y, s > 0. Cu schimbarea de variabilă
11 Formulele lui Stirling, Wallis, Gauss şi aplicaţii 63
t = (s + 1) u, u ∈]0, +∞[,
obţinem
Z +∞
Γ (x + y) = exp (−t) tx+y−1 dt =
0
Z +∞
= exp (− (s + 1) u) (s + 1)x+y ux+y−1 du =
0
Z +∞
= (s + 1)x+y exp (− (s + 1) u) ux+y−1 du,
0
de unde, rezultă că
+∞
Γ (x + y) sx−1
Z
= sx−1 exp (− (s + 1) u) ux+y−1 du.
(s + 1)x+y 0
= Γ (x) Γ (y) .
60 Fie x ∈]0, 1[. Atunci punând y := x − 1 > 0 ı̂n relaţia din 50 , obţinem
Γ (x) Γ (1 − x) = B (x, 1 − x) =
n!nx n!n1−x
= lim × =
n→∞ x (x + 1) · · · (x + n) (1 − x) (2 − x) · · · (n + 1 − x)
n (n!)2
= lim =
n→∞ x (1 − x2 ) · · · (n2 − x2 ) (n + x − 1)
1
= lim =.
n→∞ x2 x2 x2 n+1 x
x 1− 12
1− 22
··· 1− n2 n − n
64 Eugenia Duca, Emilia Copaciu şi Dorel I. Duca 12
1
= lim =
n→∞ x2 x2 x2
x 1− 12
1− 22
··· 1− n2
1
= ∞ .
Y x2
x 1− 2
n
n=1
80 Întrucât
∞
x2
Y
sin x = x 1 − 2 2 , oricare ar fi x ∈ R,
n π
n=1
şi deci
∞
x2
Y
sin πx = πx 1− 2 , oricare ar fi x ∈ R,
n
n=1
Γ (x) Γ (1 − x) =
π π
= ∞ = .
Y x 2 sin πx
πx 1− 2
n
n=1
2
1 1 1 1 1
Γ =Γ Γ 1− =B , = π.
2 2 2 2 2
√
Rezultă Γ (1/2) = π.
3. APLICAŢII
Γ (x) Γ (1 − x) sin πy
= =
Γ (y) Γ (1 − y) sin πx
∞
y2
Y
y 1− 2
n
= n=1∞ =
x2
Y
x 1− 2
n
n=1
y2
∞ 1− 2 ∞
yY n y Y n2 − y 2
= =
x2 n2 − x2
x x
n=1 1 − n=1
n 2
şi deci
∞
Γ (x) Γ (1 − x) y Y (n − y) (n + y)
(8) = .
Γ (y) Γ (1 − y) x (n − x) (n + x)
n=1
10 Dacă ı̂n (8) luăm x = 1/6 şi y = 1/4 membrul ı̂ntâi devine
Γ (x) Γ (1 − x) Γ (1/6) Γ (5/6) sin (π/4) √
= = = 2,
Γ (y) Γ (1 − y) Γ (1/4) Γ (3/4) sin (π/6)
iar membrul al doilea
∞ ∞ (4n−1)(4n+1) ∞
y Y (n − y) (n + y) 6Y 42 6 Y (12n − 3) (12n + 3)
= (6n−1)(6n+1)
= =
x (n − x) (n + x) 4 4 (12n − 2) (12n + 2)
n=1 n=1 62 n=1
3 · 9 15 · 21 (12n + 3) (12n + 9)
= · ··· · ··
2 · 10 14 · 20 (12n + 2) (12n + 10)
∞
Y (12n + 3) (12n + 9)
= .
(12n + 2) (12n + 10)
n=0
Aşadar
√ 3 · 9 15 · 21 (12n + 3) (12n + 9)
(9) 2= · ··· · ··
2 · 10 14 · 20 (12n + 2) (12n + 10)
Formula (9) a fost obţinută de Catalan ı̂n anul 1873 (vezi [3]).
20 Dacă ı̂n (8) luăm x = 3/8 şi y = 1/4 membrul ı̂ntâi devine
Γ (x) Γ (1 − x) Γ (3/8) Γ (5/8) sin (π/4)
= = .
Γ (y) Γ (1 − y) Γ (1/4) Γ (3/4) sin (3π/8)
Cum
r p √
π π π π 1 + cos (π/4) 2+ 2
sin 3 = sin − = cos = = ,
8 2 8 8 2 2
66 Eugenia Duca, Emilia Copaciu şi Dorel I. Duca 14
obţinem că
π
Γ (x) Γ (1 − x) sin q
√
= 4 = 2 − 2.
Γ (y) Γ (1 − y) π
sin 3
8
Pe de altă parte, membrul al doilea al relaţiei (8) , este
∞ 1 Y∞ (4n−1)(4n+1) ∞
y Y (n − y) (n + y) 4 42 2 Y (8n − 2) (8n + 2)
= 3 (8n−3)(8n+3)
= =
x (n − x) (n + x) 8 n=1
3 (8n − 3) (8n + 3)
n=1 42 n=1
2 · 6 10 · 14 (8n + 2) (8n + 6)
= · ··· · ··
3 · 5 11 · 13 (8n + 3) (8n + 5)
∞
Y (8n + 2) (8n + 6)
= .
(8n + 3) (8n + 5)
n=0
Aşadar
√
q
2 · 6 10 · 14 (8n + 2) (8n + 6)
2− 2= · ··· ···.
3 · 5 11 · 13 (8n + 3) (8n + 5)
30 În (8) să luăm x = 1/6 şi y = 5/12. Atunci membrul ı̂ntâi devine
Γ (x) Γ (1 − x) Γ (1/6) Γ (5/6) sin (5π/12)
= = .
Γ (y) Γ (1 − y) Γ (5/12) Γ (7/12) sin (π/6)
Întrucât
r p √
π π π π 1 + cos (π/6) 2+ 3
sin 5 = sin − = cos = = ,
12 2 12 12 2 2
obţinem că
π √ √
Γ (x) Γ (1 − x) sin 5 2+ 3 q
√
= 12 = 2
= 2 + 3.
Γ (y) Γ (1 − y) π 1
sin 2
6
Pe de altă parte, membrul al doilea al relaţiei (8) , devine
∞ 5 Y∞ (12n−5)(12n+5) ∞
y Y (n − y) (n + y) 12 122 5 Y (12n − 5) (12n + 5)
= 1 (6n−1)(6n+1)
= =
x (n − x) (n + x) 6 n=1
2 (12n − 2) (12n + 2)
n=1 62 n=1
5 · 7 17 · 19 (12n + 5) (12n + 7)
= · ··· · ··
2 · 10 14 · 22 (12n + 2) (12n + 10)
∞
Y (12n + 5) (12n + 7)
= .
(12n + 2) (12n + 10)
n=0
Aşadar
√
q
5 · 7 17 · 19 (12n + 5) (12n + 7)
2+ 3= · ··· · ··
2 · 10 14 · 22 (12n + 2) (12n + 10)
15 Formulele lui Stirling, Wallis, Gauss şi aplicaţii 67
40 În (8) să luăm x = 1/3 şi y = 1/6. Atunci membrul ı̂ntâi devine
√
3 √
Γ (x) Γ (1 − x) Γ (1/3) Γ (2/3) sin (π/3) 2
= = = 1 = 3.
Γ (y) Γ (1 − y) Γ (1/6) Γ (5/6) sin (π/6) 2
BIBLIOGRAFIE
[1] Duca D.I.: Analiză matematică (vol. 1), Casa Cărţii de Ştiinţă, Cluj-Napoca, 2013
[2] Duca D.I.: Analiză matematică (vol. 2), Casa Cărţii de Ştiinţă, Cluj-Napoca, 2014
[3] Catalan E.: Sur la constant d’Euler et la function de Binet, C.R. Acad. Sci. Paris, Ser.
Math., 77 (1873), 198 − 201
[4] Melzak Z.A.: Infinite products for πe and π/e, American Mathematical Monthly,
68 (1961), no. 1, 39 − 41
[5] Osler T.J.: The union of Vieta’s and Wallis’s products for pi, Amer. Math. Monthly,
106 (1999), 774 − 776
[6] Stirling J.: Methodus Differentialis, London, 1730
[7] Wallis J.: Arithmetica Infinitorum, Oxford, 1656
Universitatea ”Babeş-Bolyai”
Faculatea de Matematică şi Informatică
str. Kogălnceanu, nr. 1, Cluj-Napoca, Romania
e-mail: dduca@math.ubbcluj.ro; dorelduca@yahoo.com