Una demostracin analtica de la irracionalidad del nmero

Los griegos descubrieron que el nmero pi () no se podra calcular nunca como el cociente de dos nmeros enteros. Descubrieron, por tanto, que no era un 'nmero racional'. Y este hecho les pareci asombroso y digno de guardarse en secreto. Hoy da puede hacerse la demostracin de la irracionalidad del nmero de diferentes maneras. Exponemos aqu una demostracin basada en la prueba que hace el profesor Michael Spivak en su obra Calculus. Es una demostracin mediante una reduccin al absurdo, esto es, suponiendo en principio que es un nmero racional llegaramos a una contradiccin lgica. Es suficiente demostrar que 2 es irracional para que podamos afirmar la irracionalidad de , puesto que si fuera racional tambin lo sera 2. Para desarrollar la demostracin por reduccin al absurdo (Teorema 3) necesitamos probar dos teoremas auxiliares previos (Teorema 1 y Teorema 2) que se refieren a las funciones que intervienen en dicho teorema. Los procesos de prueba son muy sencillos.

Teorema 1: Dadas las funciones

x n (1 x) n , n N , se verifica que: n! 1 a) 0 < f n ( x) < , 0 < x < 1 n! k) b) f n (0) Z , f nk ) (1) Z k N f n ( x) =

Demostracin: a) Si 0 < x < 1 0 < x (1 x ) < 1 0 < x .(1 x ) < 1 0 <

n n

tanto:

x n .(1 x) n 1 < , por n! n!

0 < f n ( x) <

1 , n N , n!

si 0 < x < 1

b) Como es x (1 x) un polinomio de coeficientes enteros cuya mayor potencia es x2n y el menor de los exponentes es n, se tiene que existen nmeros enteros c n , c n +1 , ... c 2 n tales que
n n

x n (1 x) n = c k .x k
k =n

2n

y por tanto se puede expresar

f n ( x) =
sus derivadas seran:

1 2n ck x k n! k = n

f nk ) ( x) = 0, si k < n k > 2n
en los restantes casos:

f nn ) ( x) =

1 [n!.cn + n ( x)] , siendo n (x) suma de trminos en x n! 1 [(n + 1)!.cn +1 + n +1 ( x)] , siendo n +1 ( x) suma de trminos en x n! 1 [(2n)!.c2 n ] n!

f nn +1) ( x) =

... ... ... ... ... ... ... ... ... ...

f n2 n ) ( x) =

por lo cual, para x=0:

f nn ) (0) = c n f nn +1) (0) = (n + 1).c n +1 ............ ............ f n2 n ) (0) = (2n)! c 2 n = 2n.(2n 1)...(n + 1).c 2 n n!

o sea, las derivadas en el origen, de cualquier orden, son nmeros enteros.

k N , f nk ) (0) Z
Por otra parte, de ser f n ( x ) = f n (1 x ) , al derivar se tiene:

f nk ) ( x) = (1) k . f nk ) (1 x)
y, por consiguiente, es

f nk ) (1) = (1) k . f nk ) (0) numero entero. As, pues: k N , f nk ) (1) Z

En definitiva:

k N , f nk ) (0) Z

k N , f nk ) (1) Z

Teorema 2:

> 0, a R fijo, n' 0 N / n > n' 0 ,

Demostracin:

an < n!

Bastar elegir un n0 > 2a. Se tiene que

a n0 +1 a a n0 1 a n0 = < . . (n0 + 1)! n0 + 1 n0 ! 2 n0 ! 1 a (puesto que n0 > 2a n0 + 1 > 2a > ) 2 n0 + 1

asimismo sumando a n0 un 2, 3, ...,k, sera:

1 1 a n0 a n0 + 2 a n0 + k 1 a n0 < . . < k. , ... , (n0 + 2)! 2 2 n0 ! (n0 + k )! 2 n0 ! 1 a n0 se cumple que: para un k tan grande que 2 > . n0 !
k

1 a n0 1 a n0 a n0 + k < . < = . (n0 + k )! 2 k n0 ! a n0 n0 ! .n0 !

o sea, para un n n'0 = n0 + k es

an < , > 0 que es lo que se quera probar. n!

Teorema 3: Consideremos las funciones de la forma G p ( x ) = p

n

( )
n 2 k =0

nk

(1) k . f n2 k ) ( x) , para

cada p Z + , donde las f n ( x) son las funciones del Teorema 1. Si el nmero 2 fuera racional se tendra que a, b Z /
+ 2

= a / b , verificndose:

a) Gb (0) Z ,
" b 2

Gb (1) Z
2 n ' 2 n

b) G ( x) + .G ( x ) = .a . f n ( x ) c) Si es H ( x) = Gb ( x ).senx .Gb ( x ). cos x , entonces H ' ( x ) = a f n ( x ).senx d) Si es I n = e) 0 < In < 1 Demostracin: a) Gb ( x ) = b

n 1

H ' ( x).dx
0

se cumple que I n = . G (1) G (0) Z

2n2k (1) k f n2k ) ( x) = b k a nk (1) k f n2k ) ( x)

k =0 k =0

si x=0: Gb (0) = nmeros enteros. si x=1: Gb (1) = nmeros enteros.

b a
k k =0 n

nk

(1) k f n2 k ) (0) Z por ser una suma de productos de

b
k =0

a n k (1) k f n2 k ) (1) Z por ser una suma de productos de

b) Veamos las dos primeras derivadas de esta funcin:

Gb' ( x) = b n 2 n 2 k (1) k f n2 k +1) ( x)

" Gb ( x) = b n 2 n 2 k (1) k f n2 k + 2 ) ( x) k =0 k =0 n

desarrollando:

Gb ( x) = b n 2 n f n ( x) 2 n 2 f n") ( x) + 2 n 4 f n4) ( x) ...(1) n f n2 n ) ( x)

] ]

" Gb ( x) = b n 2 n f n" ( x) 2 n 2 f n4 ) ( x) + 2 n 4 f n4) ( x) ...(1) n f n2 n + 2) ( x)

La suma

" 2Gb ( x) + Gb ( x)

resulta, cancelando trminos:

" 2Gb ( x) + Gb ( x) = b n 2 n + 2 f n ( x) = 2b n ( 2 ) n f n ( x) = 2b n f n ( x) = 2 a n f n ( x)

a b

c) La funcin H ( x) = Gb ( x ).senx .Gb ( x ). cos x tiene por derivada a la

'

funcin:
" ' H ' ( x) = Gb ( x).senx .Gb ( x). cos x .Gb' ( x). cos x + 2 .Gb .senx = " = Gb ( x) + 2Gb ( x) .senx = 2 .a n f n ( x).senx

d) La integral I n =

H ' ( x).dx
0

es:

I n = H ' ( x).dx = H (1) H (0)

0 ' 2 a n f n ( x).senx.dx =Gb' (1).sen .Gb (1). cos Gb (0).sen0 + .Gb (0). cos 0 = 1

= [Gb (1) Gb (0)] Z

En definitiva, I n =

a n f n ( x).senx.dx Z

e) Se tiene, por el teorema 1_a), 0 < f n ( x ) < Asimismo es 0 senx 1,

0 < x <1

1 , si 0 < x < 1 , n!

1 , si 0 < x < 1 n! n 2 n 2 a Tambin, es 0 < .a . f n ( x ).senx < , si 0 < x < 1 n!

Por consiguiente, es 0 < f n ( x ), senx <

Integrando los dos miembros de la desigualdad:

0 < a f n ( x).senx.dx < 2

2 n 0 0

an an .dx = 2 n! n!

Por el teorema 2:

0 < 2 a n f n ( x).senx.dx = I n < 2

0

an < 2 n!

O sea,

0 < I n < 2

En particular, para

= 1 2 : 0 < In < 1

Corolario: El nmero es irracional, es decir, no existen dos enteros a, b tales que

2 =

En efecto, las afirmaciones d) y e) del teorema 3 son una contradiccin, pues el nmero entero In no puede encontrarse nunca entre el cero y el uno, ya que ambos son enteros consecutivos. Luego es falso que es, el numero no es un nmero racional.

a b

2 =

a para dos enteros a y b. Esto b

Carlos S. CHINEA casanchi@teleline.es