La formula de Wallis

Juan Carlos Ponce Campuzano

poncecampuzanocarlos@gmail.com
5 de mayo de 2013
John Wallis (16161703) descubrio que
lm 2

22 42 (2n)2
= .
32 52 (2n 1)2 (2n + 1)

Lo anterior se puede probar de la siguiente manera. Sea

f (n) =

22 42 (2n)2
.
32 52 (2n 1)2 (2n + 1)

Sea k un entero positivo mayor que 1. Definamos

Z
I(k) =

senk xdx.

Usando integracion por partes se puede probar que

Z

I(k) =
0

Ahora, como sabemos que sen

obtener lo siguiente
Z

sen
0

2n+1

k1
sen xdx =
k
k

2n+1

senk2 xdx.

2n

x sen x sen2n1 x, podemos integrar para

Z
xdx

2n

sen xdx

es decir,

sen2n1 xdx;

I(2n + 1) I(2n) I(2n 1).

Pero
Z
2
2n
sen
xdx =
sen2n1 xdx
2n
+
1
0
0
"
#
Z
2
2n
2n 2
sen2n3 xdx
2n + 1 2n 1 0
"
"
##
Z
2n
2n 3 2n 4 2
sen2n5 xdx
2n + 1 2n 1 2n 3 0
Z
2
(2n)(2n 2)(2n 4) 4 2
sen xdx
(2n 1)(2n 1)(2n 3) 5 3 0
(2n)(2n 2)(2n 4) 4 2
(2n 1)(2n 1)(2n 3) 5 3

1
f (n) 2
.
2n + 1
Z

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

multiplicamos por (2n + 1) 2

1

(f (n)) 2 (2n + 1)

,
(f (n))
1
2n
(f (n)) 2 2
1

1
2

multiplicamos por (f (n)) 2

f (n)

f (n)(2n + 1)

,
2
2n

por u
ltimo multiplicamos por 2 para obtener

2f (n)

2f (n)(2n + 1)
.
2n

Tomando el lmite, obtenemos

3

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).

De esta forma podemos concluir que

lm 2

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.