Documentos de Académico
Documentos de Profesional
Documentos de Cultura
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.
tanto:
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
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) =
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!
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
En definitiva:
k N , f nk ) (0) Z
k N , f nk ) (1) Z
Teorema 2:
an < n!
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
( )
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
H ' ( x).dx
0
b a
k k =0 n
nk
b
k =0
desarrollando:
] ]
La suma
" 2Gb ( x) + Gb ( x)
" 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
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:
a n f n ( x).senx.dx Z
0 < x <1
1 , si 0 < x < 1 , n!
an an .dx = 2 n! n!
Por el teorema 2:
an < 2 n!
O sea,
0 < I n < 2
En particular, para
= 1 2 : 0 < In < 1
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 =