La Fórmula de Wallis
La Fórmula de Wallis
La Fórmula de Wallis
22 42 (2n)2
= .
32 52 (2n 1)2 (2n + 1)
22 42 (2n)2
.
32 52 (2n 1)2 (2n + 1)
Z
I(k) =
senk xdx.
I(k) =
0
sen
0
2n+1
k1
sen xdx =
k
k
2n+1
senk2 xdx.
2n
Z
xdx
2n
sen xdx
es decir,
sen2n1 xdx;
I(2n + 1) =
=
=
=
=
=
=
=
=
=
=
2n+1
Z
2n 1 2
sen xdx =
sen2n2 xdx
2n
0
0
"
#
Z
2n 1 2n 3 2
sen2n4 xdx
2n
2n 2 0
"
"
##
Z
2n 1 2n 3 2n 5 2
sen2n6 xdx
2n
2n 2 2n 4 0
Z
(2n 1)(2n 3)(2n 5) 5 3 2
dx
2n(2n 2)(2n 4) 4 2
0
(2n 1)(2n 3)(2n 5) 5 3
2n(2n 2)(2n 4) 4 2
2
1
2n(2n2)(2n4)42
2
Z
I(2n) =
2n
(2n1)(2n3)(2n5)53
1
((2n + 1)f (n))
1
2
.
2
(1)
Por u
ltimo
Z
2n 2 2
I(2n 1) =
sen
xdx =
sen2n3 xdx
2n 1 0
0
"
#
Z
2n 2 2n 4 2
sen2n5 xdx
=
2n 1 2n 3 0
"
"
##
Z
2n 2 2n 4 2n 6 2
=
sen2n7 xdx
2n 1 2n 3 2n 5 0
Z
2n1
(2n 2)(2n 4) . . . 4 2
(2n 1)(2n 3) . . . 5 3
(f (n)(2n + 1)) 2
=
.
2n
Sustituyendo en (1) obtenemos
f (n)
2n + 1
12
(f (n)(2n + 1)) 2
1
2n
((2n + 1)f (n)) 2 2
1
(f (n)) 2 (2n + 1)
,
(f (n))
1
2n
(f (n)) 2 2
1
1
2
f (n)
f (n)(2n + 1)
,
2
2n
por u
ltimo multiplicamos por 2 para obtener
2f (n)
2f (n)(2n + 1)
.
2n
2f (n)(2n + 1)
.
n
2n
lm 2f (n) lm lm
Y como
(2n + 1)
lm 2f (n) lm
n
n
2n
1
= lm 2f (n) lm 1 +
n
n
2n
1
= lm 2f (n) lm 1 + lm
n
n
n 2n
= lm 2f (n),
2f (n)(2n + 1)
lm
=
n
2n
tenemos
lm 2f (n) lm 2f (n).
22 42 (2n)2
= .
32 52 (2n 1)2 (2n + 1)
Referencias
[1] Anglin, W. S. (2000). Mathematics: A concise history and philosophy. United States.
Springer.