Frmula de Wallis

Vamos a demostrar la frmula de Wallis

22 44 66 88
=

2
13 35 57 79

Solucin
nN,

Para cada

sea

In =

sinn xdx.



In = cos x sinn1 x 02 +

n2

sin

xdx (n 1)

1 sin2 x sinn2 xdx =

sinn dx = (n 1) In2 (n 1) In

nIn = (n 1) In2 In =
Ahora, teniendo en cuenta que

I0 =

dx =

I1 =

es decreciente pues si

x 0, 2

n1
In2
n

sin xdx = 1,

n1
n1n3
In =
In2 =
In4 = . . . =
n
n n2
{In }

Por otra parte,

u = sinn1 x, v 0 = sin x,

cos2 x (n 1) sinn2 xdx = (n 1)

= (n 1)

Haciendo integracin por partes,

obtenemos

( (n1)(n3)...1

n(n2)...2 2
(n1)(n3)...2
n(n2)...3

si

par

si

impar

In = sinn x sinn1 x = In1

As, como

In1 In In+1 ,
1
1
1
In+1
In+1

1
In1
In
In+1
In1
In

Como

In+1
In1

n
n+1

entonces

n
In+1
In+1
=

1
n+1
In1
In
Se deduce, por el teorema del Sandwich, que

In+1
=1
n In
lim

Considerando la subsucesin de los trminos pares

lim

I2n+1
=1
I2n

que es la frmula de Wallis. Reescribindolo,

1 = lim

(2n) (2n 2) (2n 4) . . . 2 (2n) (2n 2)(2n 3) . . . 2

(2n + 1) (2n 1) (2n 3) . . . 3 (2n 1) (2n 3) . . . 1 2

y, por tanto,

(2n) (2n 2) (2n 4) . . . 22

(2k)
= lim
= lim
n (2n 1) (2n + 1) (2n + 1) (2n 3) . . . 13
n
2
(2k 1) (2k + 1)
k=1