NUMEROS IRRACIONALES

SNEYDER RAMOS SARRIAS

DAVID LEONARDO NA NEZ

ANALISIS REAL

Universidad Surcolombiana
Facultad de Ciencia Exactas y Naturales
Programa de Matematica aplicada
Neiva (Huila)

Universidad Surcolombiana Facultad de Cienc

NUMEROS
SNEYDER RAMOS SARRIASDAVID LEONARDO NA
NEZ ANALISIS
IRRACIONALES
REAL / 13
 QUE ES UN NUMERO IRRACIONAL?

Son los elementos de la recta real que no pueden expresarse mediante el

cociente de dos enteros y se caracterizan por poseer infinitas cifras
decimales no periodicas. De este modo, puede definirse al numero
irracional como un decimal infinito no peri
odico.

Los numeros irracionales surgen por la imposibilidad de resolver en Q

ciertos problemas. Por ejemplo, si se quiere calcular la longitud de la
diagonal de un cuadrado de lado 1, esto no es posible hacerlo en el
conjunto de los numeros racionales, ya que por el Teorema de Pitagoras,
llamando d a la longitud buscada, se ha de cumplir que:

Universidad Surcolombiana Facultad de Cienc

NUMEROS
SNEYDER RAMOS SARRIASDAVID LEONARDO NA
NEZ ANALISIS
IRRACIONALES
REAL / 13

d 2 = 12 + 12 = 2, de donde, d = 2 que no es un n umeros racionales
puesto que no se puede
expresar como una fracci on, en otras palabras, la
expresion decimal 2 tiene infinitas cifras decimales.

El conjunto de los numeros irracionales se representa por I y esta formado

por todos los numeros decimales cuya parte decimal tienen infinitas cifras
no periodicas, es decir, por todos los n
umeros que no se pueden
representar por el cociente de dos n umeros enteros.

Universidad Surcolombiana Facultad de Cienc

NUMEROS
SNEYDER RAMOS SARRIASDAVID LEONARDO NA
NEZ ANALISIS
IRRACIONALES
REAL / 13
 HISTORIA

La Escuela Pitagorica descubri o la existencia de n

umeros irracionales, es
decir, numeros que no eran naturales (1, 2, 3, ...), ni enteros
(... 3, 2, 1,0, 1, 2, 3, ...) ni racionales (fracciones de n
umeros enteros).
Ellos los llamaron n
umeros inconmensurables.Es posible que este
descubrimiento se produjera al intentar resolver el problema siguiente:
Si se traza un cuadrado cuyo lado mida la unidad, es decir 1, y se intenta
calcular lo que mide la diagonal utilizando el Teorema de Pitagoras,
podemos dividir el cuadrado en dos triangulos rectangulos cuya hipotenusa
es la diagonal d del cuadrado. En resumen tenemos dos triangulos
rectangulos iguales con catetos que miden 1.
Si ahora aplicamos el Teorema de Pitagoras tenemos que se verifica el
siguiente desarrollo despejando d en la relaci
on pitag
orica.

Universidad Surcolombiana Facultad de Cienc

NUMEROS
SNEYDER RAMOS SARRIASDAVID LEONARDO NA
NEZ ANALISIS
IRRACIONALES
REAL / 13
 Los pitagoricos se sorprendieron mucho de la existencia de este tipo de
n
umeros tan rarosque contradeca su doctrina que preconizaba la
adoracion del n umero como ente perfecto que gobernaba el universo y
todo lo que en el exista. Al parecer llegaron a decidir mantener en secreto
su descubrimiento que mostraba la fragilidad de sus creencias, pero uno de
ellos lo revelo traicionando a la secta por lo que fue ejecutado.
Euclides (300 a.C.) recoge en su obra Los Elementos una referencia a los
n
umeros irracionales y prueba el siguiente teorema que, posiblemente ya
fue probado casi 300 anos antes por el propio Pitagoras o alguno de sus
discpulos:

Universidad Surcolombiana Facultad de Cienc

NUMEROS
SNEYDER RAMOS SARRIASDAVID LEONARDO NA
NEZ ANALISIS
IRRACIONALES
REAL / 13
 Teorema

El numero 2 es irracional.
Demostracion
Vamos a ver una prueba aplicando el metodo de reduccion al absurdo, que
consiste en suponer cierto lo contrario de lo que afirmamos en el teorema
para llegar a una contradicci
on, es decir que este supuesto no es posible.
Supongamos entonces que 2 no es un n umero irracional, es decir que es
racional y por tanto habra una fracci
on irreducible (que no se puede
simplificar
mas), de modo que:
2 = qp
Con p y q enteros y entonces:
p = q. 2
y si elevamos al cuadrado los dos miembros queda:
p 2 = q 2 ,2

Universidad Surcolombiana Facultad de Cienc

NUMEROS
SNEYDER RAMOS SARRIASDAVID LEONARDO NA
NEZ ANALISIS
IRRACIONALES
REAL / 13
 Por lo tanto p 2 es un numero par, lo cual implica que P tambien lo es,
pues el cuadrado de un n umero impar es impar y el cuadrado de un
n
umero par es par. Por tanto, al ser P un n umero par es multiplo de 2, es
decir sera del tipo p = 2m con m un numero entero. Si ahora sustituimos
en la igualdad anterior y operamos:
(2m)2 = 2q 2 4m2 = 2q 2 2m2 = q 2
con lo que q 2 es par y tambien, es decir q = 2n con n un numero entero,
luego la fraccion irreducible inicial queda:
p 2m
= =m n
q 2n
y se ha podido reducir,
en contra de lo que habamos supuesto al principio.
Concluimos que 2 no puede ser una fracci on, no puede ser racional.

Universidad Surcolombiana Facultad de Cienc

NUMEROS
SNEYDER RAMOS SARRIASDAVID LEONARDO NA
NEZ ANALISIS
IRRACIONALES
REAL / 13

METODO PARA EXTRAER RAICES CUADRADAS

Universidad Surcolombiana Facultad de Cienc

NUMEROS
SNEYDER RAMOS SARRIASDAVID LEONARDO NA
NEZ ANALISIS
IRRACIONALES
REAL / 13
 EJEMPLO 11 (Propiedad aditiva del sup y el inf)

Dados dos conjuntos no vacios X y B de R, sea el conjunto

C = a + b/a X , b B
Si X y B poseen extremo superior, entonces C tiene extremo superior
y supC = supX + supB.
Si X y B tienen extremo inferior. Entonces C tiene extremo inferior y
infC = infX + infB.

Solucion
1. Supongamos que A y B tengan un extremo superior. Si c C entonces
c = a + b donde a X y b B. Luego c = a + b supX + supB por
tanro tenemos que supX + supB es una coa superior de C. Ademas C 6=
puesto que X 6= yB 6= . Por el axioma de completitud C tiene extremo
superior. Ademas supC supX + supB.

Universidad Surcolombiana Facultad de Cienc

NUMEROS
SNEYDER RAMOS SARRIASDAVID LEONARDO NA
NEZ ANALISIS
IRRACIONALES
REAL / 13
 Sea n N, existena y b, con a X , b B tales que a > supX n1 , y
b > supB n1 , Sumando obtenemos a + b > supX + supB n2 o,
supX + supB < a + b + n2 , por lo tanto tenemos:

2 2
supX + supB < a + b + supC +
n n
y de esto tenemos que:
2
supC supX + supB < supC +
n
Luego tenemos que por el ejemplo 9.

supC = supX + supB

Universidad Surcolombiana Facultad de Cienc

NUMEROS
SNEYDER RAMOS SARRIASDAVID LEONARDO NA
NEZ ANALISIS
IRRACIONALES
REAL / 13
 Supongamos que X y B tienen extremo inferior. si c C Entonces
c = a + b donde a X y b B luego: infX + infB a + b = c por lo
tanto infX + infB es una cota inferior de C. Ademas C 6= 0 puesto que
X 6= 0 y B 6= 0.

Por el ejemplo 6: C tiene extremo inferior. Ademas infX + infB infC

sean n N. Por el ejemplo 10, existen a y b, con a X , b B tales que
a < infX + n1 , y b < infB + n1 , Sumando obtenemos
a + b < infX + infB + n2 , por tanto tenemos:

Universidad Surcolombiana Facultad de Cienc

NUMEROS
SNEYDER RAMOS SARRIASDAVID LEONARDO NA
NEZ ANALISIS
IRRACIONALES
REAL / 13
 2
infX + infB a + b < infX + infB +
n
y de esto tenemos:
2
infX + infB infC < infX + infB +
4n
Por el ejemplo 9 tenemos que infC = infX + infB

Universidad Surcolombiana Facultad de Cienc

NUMEROS
SNEYDER RAMOS SARRIASDAVID LEONARDO NA
NEZ ANALISIS
IRRACIONALES
REAL / 13
 Dados dos conjutos no vacios X y B de R tales a b para todo a de X y
todo b de B. Entonces X tiene extremo superior y B tiene extremo inferior
y se verifica SupX infB.
Solucion
Cada b de B es cota superiro para X. Por consiguiente X tiene extremo
superior que satisface la desigualdad supX b para todo b de B. Luego
supX es una cota inferior para B, con la cual B tiene extremo inferior que
no puede ser menor que supX, en otras palabras supX infB

Diremos que un numero a es el maximo de un conjunto X si a = supX y a

2 X y lo notamos a = maxX ; de igual forma b es el mnimo de un
conjunto A, si b = infX y b 2 X y lo notamos b = minX

Universidad Surcolombiana Facultad de Cienc

NUMEROS
SNEYDER RAMOS SARRIASDAVID LEONARDO NA
NEZ ANALISIS
IRRACIONALES
REAL / 13