Professional Documents
Culture Documents
1. Igualdad y equivalencia
1.1.
El Signicado de la Igualdad . . . . . . . . . . . . . . . . . . . . .
27
37
53
87
5.1. Introduccion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
5.2. Fracciones como n
umeros . . . . . . . . . . . . . . . . . . . . . . . . 88
ii
Indice general
5.3. Equivalencia entre fracciones . . . . . . . . . . . . . . . . . . . . . . 91
5.4. Operaciones entre fracciones . . . . . . . . . . . . . . . . . . . . . . 94
5.4.1. Adicion y Sustraccion entre fracciones . . . . . . . . . . . . 94
5.4.2. Multiplicacion entre fracciones . . . . . . . . . . . . . . . . . 98
5.4.3. Division entre fracciones . . . . . . . . . . . . . . . . . . . . 105
5.4.4. Potenciacion y radicacion entre fracciones . . . . . . . . . . 108
5.4.5. Logaritmacion entre fracciones . . . . . . . . . . . . . . . . . 110
5.5. Otra representacion de las fracciones . . . . . . . . . . . . . . . . . 111
5.6. Orden entre fracciones . . . . . . . . . . . . . . . . . . . . . . . . . 113
6. El conjunto de los N
umeros Racionales
115
129
137
8.1. El n
umero de oro de las matematicas . . . . . . . . . . . . . . . . . 138
8.1.1. Reductas de una fraccion continua . . . . . . . . . . . . . . 138
8.2. El n
umero 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 144
8.2.1. Una hermosa y extra
na relacion . . . . . . . . . . . . . . . . 150
iii
8.3. El n
umero 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 153
8.4. Los n
umeros p . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 155
8.5. Operaciones entre n
umeros irracionales cuadraticos . . . . . . . . . 160
8.5.1. Adicion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 160
8.5.2. Multiplicacion . . . . . . . . . . . . . . . . . . . . . . . . . . 161
8.6. Extensiones cuadraticas de los n
umeros racionales . . . . . . . . . . 165
9. N
umeros construibles
169
183
10.1. N
umeros algebraicos . . . . . . . . . . . . . . . . . . . . . . . . . . 185
10.1.1. Es imposible duplicar un cubo . . . . . . . . . . . . . . . . . 190
10.1.2. Es imposible trisecar un angulo cualquiera
con regla y compas . . . . . . . . . . . . . . . . . . . . . . . 191
10.1.3. Es imposible construir el heptagono
regular con regla y compas . . . . . . . . . . . . . . . . . . . 193
10.2. N
umeros trascendentes . . . . . . . . . . . . . . . . . . . . . . . . . 193
10.2.1. El n
umero . . . . . . . . . . . . . . . . . . . . . . . . . . 194
10.2.2. El n
umero e . . . . . . . . . . . . . . . . . . . . . . . . . . . 201
10.2.3. Logaritmos Irracionales . . . . . . . . . . . . . . . . . . . . . 208
11.Construcci
on de los n
umeros reales
211
Indice general
11.2.2. Igualdad de cortaduras . . . . . . . . . . . . . . . . . . . . . 220
11.2.3. Operaciones entre n
umeros reales . . . . . . . . . . . . . . . 221
11.2.4. El orden en la recta . . . . . . . . . . . . . . . . . . . . . . . 227
11.2.5. Orden entre cortaduras . . . . . . . . . . . . . . . . . . . . . 228
12.Del proceso de invertir a los n
umeros negativos
231
251
13.1. N
umeros construibles opuestos . . . . . . . . . . . . . . . . . . . . . 252
13.1.1. Operaciones con n
umeros construibles opuestos . . . . . . . 253
14.N
umeros reales (Una construcci
on oficial)
263
281
317
Indice general
16.4.1. El metodo Babilonico . . . . . . . . . . . . . . . . . . . . . . 369
16.4.2. El metodo de Scipione del Ferro-Tartaglia-Cardano . . . . . 370
16.4.3. El metodo de Vieta . . . . . . . . . . . . . . . . . . . . . . . 372
16.4.4. Solucion moderna . . . . . . . . . . . . . . . . . . . . . . . . 373
16.4.5. Propiedades de las races de la ecuacion c
ubica . . . . . . . . 380
16.5. Ecuaciones de cuarto grado . . . . . . . . . . . . . . . . . . . . . . 385
16.5.1. Metodo Babilonico . . . . . . . . . . . . . . . . . . . . . . . 385
16.5.2. El metodo de Ferrari . . . . . . . . . . . . . . . . . . . . . . 386
16.5.3. La solucion moderna . . . . . . . . . . . . . . . . . . . . . . 388
16.6. Ecuaciones de quinto grado . . . . . . . . . . . . . . . . . . . . . . 391
16.7. N
umero de races de una ecuacion de grado n. . . . . . . . . . . . . 394
16.7.1. Relaciones entre las races de una ecuacion de grado n
. . . 395
vii
viii
Captulo
Igualdad y equivalencia
No ense
nar a un hombre que est
a dispuesto a aprender es
desaprovechar a un hombre. Ense
nar a quien no est
a dispuesto a
aprender es malgastar palabras.
Confucio
La palabra especie viene del latin specie que signica tipo. En biologa las especies son tipos
diferentes de organismos; hay incluso especies de perros; sin embargo, el sentido de la expresion,
tipos diferentes, ha cambiado de la distinci
on u
nicamente morfol
ogica y visible a otros criterios
como nominalista, tipol
ogico, evolutivo, logenetico y reconocimiento biologico
Ejercicio
De acuerdo con el dibujo2 de la gura 1, responda, lo m
as r
apido que pueda, cuantos
puntos hay:
1. Dentro del rect
angulo, fuera del crculo, del cuadrado y del tri
angulo
2. Dentro del tri
angulo, fuera del crculo, del cuadrado y del rectangulo
3. Comunes al cuadrado y al rect
angulo, pero fuera del crculo y del tri
angulo
4. Dentro del cuadrado, fuera del tri
angulo, del crculo y del rectangulo
2
Igualdad y equivalencia
5. Comunes al tri
angulo y al crculo pero fuera del cuadrado y del rectangulo
6. Comunes al tri
angulo y al rect
angulo pero fuera del crculo
7. Dentro del crculo, fuera del tri
angulo y del cuadrado
8. Comunes al crculo, al cuadrado, al tri
angulo y al rect
angulo
9. Comunes al cuadrado y al crculo pero fuera del tri
angulo
Figura 1
1.1.
El Significado de la Igualdad
Dada la importancia de la palabra igual 3 dentro del proceso de clasicar, detengamonos un poco en su signicado, que actualmente se representa mediante el
smbolo =4 .
Hablando en sentido estricto, no existen en el mundo fsico dos objetos que sean
exactamente iguales, pues, por iguales que parezcan, dieren en su composicion
molecular, en la distribucion espacial de ella, etc., de manera que usar la palabra igual para comparar dos objetos de la realidad fsica puede ser generalmente
3
Igualdad y equivalencia
signo.
As, la expresion a = bpuede designar un objeto o fenomeno y este es para
Frege el referente, el cual se expresa a traves de a y de b que son los signos con
los que se nombra. Por tanto, al signo le corresponde un sentido determinado y
una denotacion u
nica que a su vez, le corresponde un u
nico signo. Lo anterior nos
lleva a que en un manejo adecuado de igualdad, se puede reconocer el objeto de
referencia y el sentido otorgado por cada signo con el cual se esta expresando.
Por su parte, Wilhelm Leibniz opina que dos cosas son lo mismo, si una de
ellas puede ser substituida por otra sin perjuicio de la verdad6 ; si aplicamos esta
consideracion a nuestra discusion, tenemos que en la expresion:
a=a
Si sustituimos apor ase obtiene a = a, si y solamente si, a tiene todas las
propiedades que tiene a, y a tiene todas las propiedades que tiene a, en el lado
izquierdo y derecho de la igualdad, respectivamente.
Aplicada a la expresion:
a=b
Si sustituimos apor b y bpor aobtenemos que b = a si y solamente si,
b tiene todas las propiedades que tiene a, y, a tiene todas las propiedades que
tiene b en el lado izquierdo y derecho de la igualdad. Es decir, que a partir de
b = a se puede concluir que a = b. Esto implica que la igualdad se puede leer en
ambas direcciones, aunque, por nuestras costumbres mayoritarias de lateralidad y
ense
nanza acostumbramos mirarla solo en una de ellas, de izquierda a derecha, es
poco usual escribir 3 = x, por ejemplo.
Ahora, si queremos comparar dos cosas iguales entre s a una tercera; es decir, si
suponemos que a = b y b = c, tenemos que todo lo que se dice de b puede decirse
de c; entonces, se puede reemplazar b por c en la primera expresion y concluimos
que a = c.
Las tres anteriores armaciones se conocen respectivamente como las propiedades
reexiva, simetrica y transitiva de la igualdad. Como vemos, no es sencillo meterse
con l
osofos!
1.2.
Relaciones de Equivalencia
Ejemplos
1. Si comparamos personas por su estatura, la relacion tener la misma estaturaes una relacion de equivalencia.
2. Si entre los seres vivos denimos la relacion ser hermano decomo tener el
mismo padre y la misma madre, esta es una relacion de equivalencia; pero si
cambiamos el conectivo y por el conectivo o, la relacion ya no es transitiva
3. Si en el criterio de comparacion, entre dos objetos, utilizamos la expresion el
mismo. . . , obviamente la relacion en mencion es una igualdad, por ejemplo:
tener la misma edad, el mismo color de ojos, el mismo sexo, etc. En general,
si comparamos dos objetos en alguna de sus caractersticas, la relacion tener
la misma caracterstica es una relacion de equivalencia. Pues claro! ; estamos
usando la palabra igual, con respecto a una caracterstica especial, entonces
todo lo dicho para la igualdad es aplicable aqu.
4. La relaci
on de congruencia en geometra. La palabra congruencia,
en geometra, esta relacionada con la palabra igualdad7 . De hecho, Euclides
considera esta idea en el libro primero de los Elementos cuando se
nala que
8
un
las cosas congruentes entre s, son iguales entre s , como nocion com
7; pero, en geometra, que quiere decir que dos guras sean iguales?
La congruencia entre guras se reere a la posibilidad de trasladarlas y superponerlas, de manera que coincidan; es decir, que se ajusten unas a otras sin
deformarse. Este criterio de congruencia fue empleado por Euclides y varios
7
Igualdad y equivalencia
de sus contemporaneos, usando implcitamente el postulado de libre movilidad, llamado as por Helmholtz (1887), seg
un el cual, el espacio no deforma
los cuerpos cuando estos se trasladan de un lugar a otro. Ya en 1899, Hilbert
incluyo explcitamente este postulado entre los axiomas de congruencia, en
sus Fundamentos de la Geometra.
As, la congruencia entre segmentos, por ejemplo, implica la posibilidad de
superponerlos, de manera que coincidan. Euclides, ademas, muestra una manera de construir un segmento congruente con uno dado en la proposicion 2
del libro I de los Elementos: construir en un punto dado un segmento igual
a otro dado9 .
La existencia de un segmento congruente a otro dado, tambien esta garantizada por Hilbert, pero en forma de axioma (III-1 de congruencia), as: Si
A y B son 2 puntos de una recta, a, y si A es un punto de la misma o
de distinta recta, a, puede encontrarse siempre sobre un lado determinado
de a, un punto, B , tal que el segmento AB sea congruente o igual con el
AB AB 10 .
segmento AB . En signos:
En un sentido mas moderno, se pueden denir segmentos en terminos de los
nala, como axioma 2, la
bipuntos asociados a estos. Hernando Alfonso11 se
existencia de por lo menos dos puntos en el espacio, con los cuales dene una
entidad geometrica denominada bipunto, como el conjunto cuyos elementos
son dos puntos:
Denicion 2: el bipunto AB = {A, B}y, a partir de esta, dene el segmento AB, como sigue:
Denicion 3: Segmento AB = {X | A X C}, la notacion A X C
signica que X esta entre A y C y los tres puntos estan alineados. Previamente, se garantiza la existencia del(os) punto(s) X, mediante el axioma
3: si A y C son dos puntos cualesquiera, existe por lo menos un punto B,
distinto de los anteriores, tal que A B C
De ah, dene que el segmento AB es congruente con el segmento CD si
los bipuntos AB y CD son congruentes, aclarando, que el bipunto AB es
congruente con el bipunto CD si se verica con el compas que el punto A
esta tan separado de B, como C de D; dicho de otra manera, la longitud del
segmento AB es la misma que la del segmento CD, si la distancia de A a B
es la misma que de C a D.
9
D
Q
Figura 2
Tambien se puede denir congruencia de angulos en terminos de congruencia
entre segmentos, as: se dice que el angulo ABC es congruente con el angulo
DEF , si y solo si, dados el punto P en el rayo ED y el punto Q, en el rayo
EF , tales que BA = EP y BC = EQ, se cumple AC = P Q:
Igualdad y equivalencia
D
A
B
P
E
Q
F
Figura 3
Con respecto a los polgonos, por ejemplo, los triangulos, se dice que dos de
ellos son congruentes siempre que se pueda sobreponer un triangulo al otro,
de manera que todos sus puntos coincidan y, por ende, las partes comparadas
sean congruentes.
De igual manera, se dice que dos tri
angulos son congruentes si sus lados
correspondientes son congruentes; aunque algunos autores12 imponen mas
condiciones para denir la congruencia entre triangulos: dos triangulos son
congruentes, si y solo si, se puede establecer una correspondencia biyectiva
entre sus elementos, lados y angulos, de tal manera que cada par de lados y
angulos correspondientes sean congruentes.
De acuerdo con esta u
ltima denicion, si se quiere determinar la congruencia
entre dos triangulos, se deben vericar seis condiciones: la congruencia de
sus lados correspondientes y de sus angulos correspondientes; no obstante,
existen tres criterios que permiten vericarla sin necesidad de comprobar las
- Angulo .
El primero de estos aparece en la proposicion 4 del libro I de los Elementos de
Euclides; esta es la primera mencion que hace el autor respecto a triangulos
congruentes: si dos tri
angulos tienen dos lados del uno iguales a dos lados
del otro e iguales los angulos comprendidos por los lados iguales, tendr
an
iguales sus bases y los dos tri
angulos ser
an iguales14 :
12
Figura 4
En todo caso, la relacion de congruencia se establece con base en la igualdad,
de algunos de sus elementos, razon por la cual, esta es, evidentemente, una
relacion de equivalencia.
5. La relaci
on de semejanza. La palabra semejanza sugiere parecido, tal
como cuando se hace el modelo a escala de un aeroplano, la maqueta de una
casa o se saca la ampliacion de una fotografa. Efectivamente, nos referimos
a guras semejantes cuando estas tienen la misma forma, aunque no sean
del mismo tama
no (gura 5); claro esta que, en particular, podran ser del
mismo tama
no, de donde la congruencia se considera como un caso especial
de semejanza.
Figura: 5
La relacion de semejanza surge de lo que tienen en com
un una imagen y
una ampliacion de ella; eso que tienen en com
un, es lo que llamamos forma.
Abstraemos el color, el tama
no y otras caractersticas, para lograr el concepto
de forma. Dicha abstraccion se formaliza mediante la semejanza de guras
planas, la cual permite dividir al conjunto de las guras planas en clases;
de tal manera, que dos guras planas que estan en la misma clase, tienen
la misma forma. De acuerdo con esto, es la semejanza la que da lugar al
concepto de forma y no esta la que genera la relaci
on de semejanza; es decir,
que no podemos denir la semejanza como igualdad de forma sino al reves15.
15
10
Igualdad y equivalencia
La idea de semejanza esta relacionada con la idea de proporcionalidad; de
hecho, Euclides, en el libro VI de sus Elementos, considera esta relacion entre
guras y la dene como sigue: Figuras rectilneas semejantes son las que
tienen los angulos iguales y los lados proporcionales16 . Pero, Que quiere
decir que los lados sean proporcionales?
Para hablar de proporcionalidad, es necesario referirnos a las magnitudes.
Aunque Euclides no dene magnitud, implcitamente asume que las magnitudes satisfacen las nociones comunes del libro I de los Elementos, asimilandolas en terminos de Aristoteles (Metafsica, V, 13), quien arma que la
magnitud es una cantidad que puede medirse17 ; por lo cual, no se reeren
los lados de las guras, sino la medida de la longitud de estos.
En el libro V, dedicado al estudio de las proporciones, Euclides dene razon
(denicion 3) y a partir de esta, dene proporcion (denicion 6) de la siguiente manera:
3. Razon es una relaci
on cualquiera entre dos magnitudes homogeneas respecto de su cantidad.
6. Las magnitudes que tienen la misma razon se llaman proporciones18.
Es decir, que una razon es una comparacion entre dos magnitudes (la segunda
diferente de cero), expresada, actualmente, en terminos de un cociente entre
estas.
Cuando dos razones son iguales, se obtiene una proporcion19 :
a c
=
b d
a c
= ,
b d
entonces a d = b c
16
11
congruentes para armar que dos triangulos son semejantes (criterio Angulo
A
B
Figura 6
C
12
Igualdad y equivalencia
6. Si dos tri
angulos tienen un angulo igual y los lados que lo forman proporcionales, los tri
angulos son equi
angulos y los angulos iguales ser
an los
correspondientes a los lados subtendidos.
7. Si dos tri
angulos tienen un angulo igual, los lados que forman otro tri
angulo proporcionales y los angulos restantes, ambos menores o no menores que
un recto, los tri
angulos ser
an equi
angulos, siendo iguales los angulos cuyos
21
lados son proporcionales .
En terminos de la geometra analtica, para obtener guras semejantes se emplea cierto tipo de transformacion, conocido como homotecia. Una homotecia
de centro O y razon k (distinto de cero) es una transformacion que hace corresponder a un punto A otro A , alineado con A y O, tal que: OA = k OA;
considerando las coordenadas de los puntos A(x, y) y su homotetico A(x , y )
la relacion que hay entre ellos es entonces: x = kx y y = ky:
A
D
A
D
B
B
O
C
C
Figura 7
13
B
Figura 8
Igualdad y equivalencia
como Lado-Angulo-Lado
es logicamente equivalente al criterio Angulo
Lado-Angulo.
Veamos la demostracion, para lo cual, vamos a suponer que la primera
proposicion es cierta para deducir la segunda.
Llamemos los vertices de los triangulos ABC y DEF , respectivamente, tales
que el segmento AB es congruente con el segmento DE, el segmento AC es
congruente con el segmento DF y el angulo A es congruente con el angulo
D, como se muestra en la gura 9.
15
C
A
F
D
Figura 9
Si suponemos que, dados dos triangulos tales que dos lados de uno son congruentes con dos lados del otro y los angulos formados entre esos dos lados
son congruentes entre s, entonces los otros angulos correspondientes tambien lo son22 , se tiene que el angulo B es congruente con el angulo E y el
angulo C con el angulo F , por lo tanto, para demostrar que los dos triangulos
son congruentes, solo falta probar que el segmento BC es congruente con el
segmento EF (ver de los ejemplos anteriores el numeral 3).
Existe un punto G en la semirrecta F E tal que el segmento CB es congruente
con el segmento F G (Figura 10) y como el segmento AC es congruente
con el segmento DF y el angulo C es congruente con el angulo F , por la
hipotesis del parrafo anterior, si en los triangulos ABC y DEF , el angulo
BAC es congruente con el angulo GDF , entonces el segmento DG es igual al
segmento AB, por lo cual los puntos G y E son iguales, as CB es congruente
con F E, por tanto los triangulos ABC y DEF tambien lo son y si esto es as,
entonces el angulo B es congruente con el angulo E y como el angulo A es
congruente con el angulo D (por hipotesis) y el segmento AB es congruente
con el segmento DE, hemos demostrado que valor de verdad del criterio
Angulo-LadoAngulo
depende del valor de verdad del criterio Lado-AnguloLado.
B
E
G
C
A
F
D
Figura 10
22
-97.
16
Igualdad y equivalencia
C
A
F
D
Figura 11
De manera similar a la demostracion anterior, consideramos un punto G en
la semirecta DF , de tal manera que el segmento AC sea congruente con el
segmento DG, de tal forma que al estudiar los triangulos ABC y DEG, se
tiene, por hipotesis, que el angulo B es congruente con el angulo GED; de
donde se deduce que el punto G es el mismo punto F y, as, los triangulos
ABC y DF E son congruentes. Por tanto, BC es congruente con EF y, as,
como el segmento AB es congruente con el segmento DE y el angulo B es
Angulo-LadoAngulo.
B
C
A
D
Figura 12
Igualdad y equivalencia
Dentro de los ejemplos mostrados hasta ahora, se observa que las armaciones presentadas como equivalentes tienen relacion entre sus contenidos;
sin embargo, en la logica, no necesariamente, tiene que haber conexion entre
los contenidos de las proposiciones para que una proposicion compuesta sea
verdadera; es as como el contenido de las proposiciones no determinan la
equivalencia entre ellas.
Como ya dijimos, en logica, una proposicion p es equivalente a una proposicion q, o tambien decimos p si y solo si q, signica que: si p, entonces q y si
q, entonces p; simbolicamente:
(p q) = [(p q) (q p)]
Es decir, que podemos determinar si dos proposiciones son equivalentes encontrando el valor de verdad de p q a partir del valor de verdad de
(p q) (q p); as:
p
[(p q)
(q p)]
(p q)
dos fracciones
Igualdad y equivalencia
Si a una igualdad, digamos, entre n
umeros reales, sumamos, restamos, multiplicamos, o dividimos por un n
umero diferente de cero en ambos lados de
la igualdad, el resultado es otra igualdad; esta es equivalente a la primera;
debido a que en cada uno de estos procesos, cuando operamos dos n
umeros
que son iguales, con otros dos, que tambien son iguales, debemos obtener
resultados iguales, porque los resultados de las operaciones son u
nicos; en
particular, la ecuacion:
x=y+a
es equivalente a
xa = y
y la ecuacion:
x=ya
es equivalente a
xa = y
si a = 0.
De hecho, para resolver una ecuacion, usamos estos procedimientos para
transformar esta, en otras ecuaciones equivalentes, terminando con una ecuacion de la forma
x=a
donde a es la solucion de la ecuacion.
Por ejemplo, la ecuacion entre n
umeros naturales:
3x 4 = 8
es equivalente a:
3x 4 + 4 = 8 + 4
y esta a su vez a:
3x = 12
y por u
ltimo a:
x = 12 3
o sea
x=4
Desde el punto de vista algebraico es lo mismo
3x 4 = 8 que x = 4
No parece, pero, as es!
21
1.3.
En el u
ltimo ejemplo de relacion de equivalencia (9), aparece una situacion nueva, no aparece la palabra igual, o la expresion lo mismo , para comparar rectas
diferentes; surge entonces la pregunta, que es lo que tienen igual las rectas paralelas? Si no sabemos la respuesta nos inventamos un nombre para ello, le llamamos
direcci
on y decimos que las rectas paralelas tienen la misma direcci
on. Ha surgido
un nuevo concepto, el concepto de direccion.
23
Por un punto P exterior a una recta p es posible trazar una y solo una recta paralela a la
recta dada (p).
22
Igualdad y equivalencia
La relaci
on de equipolencia entre segmentos orientados del plano, denida por la
igualdad de magnitud, direccion y sentido, dene el concepto de vector libre del
plano.
Cabe entonces preguntarse, todos los conceptos aparecen as? Es decir, a partir
de una relacion de equivalencia?
En realidad, esta es solo una de las formas con las cuales los matematicos denen sus objetos; tambien se le llama denicion por abstracci
on, que se formaliza
matematicamente mediante relaciones de equivalencia. Este tipo de denicion permite crear nuevos conceptos, que se ejemplican con un representante de la clase de
equivalencia, aunque es posible que existan varios contextos donde puede referirse
el concepto creado y por lo tanto, cada concepto tiene varios representantes.
Existen otras maneras24 para construir conceptos matematicos, todas con el requisito com
un, de que las condiciones bajo las cuales el nuevo concepto se genera
no sean contradictorias; las formas mas conocidas son:
1. Por deniciones explcitas, cuando se introducen palabras nuevas para designar combinaciones logicas de conceptos ya denidos.
2. De forma axiom
atica, cuando se caracterizan los objetos mediante axiomas
sin recurrir al signicado objetivo de los mismos; por ejemplo, las piezas
del ajedrez estan denidas por los movimientos que se les asignan y no es
importante el nombre o la gura que los representan.
3. Por recurrencia, cuando denimos objetos iniciales a partir de los cuales se
denen los siguientes mediante una ley de formacion, por ejemplo, las deniciones de las operaciones entre n
umeros naturales cuando son presentados
25
formalmente .
Para saber si dos conceptos son realmente uno y el mismo concepto, se debe poder
establecer un isomorsmo entre los contextos; es decir, una correspondencia biunvoca entre cada uno de los elementos de estos, que respete las relaciones que los
elementos tienen en cada contexto y, con ello, se conserven las propiedades que
24
23
Ejercicios
1. Es posible reducir las formas de denici
on de conceptos enunciadas a la de
abstracci
on? Justique.
2. Complete las siguientes tablas:
3. Idee tablas similares cuyo contenido sean expresiones algebraicas que impliquen encontrar alguna regularidad.
4. Para cada una de las siguientes deniciones, de dos ejemplos:
a) Un pengroes una gura geometrica de cinco lados, dos de ellos congruentes.
b) Un partnes un conjunto cuyos elementos son subconjuntos de un
conjunto dado, tal que la interseccion entre dos cualesquiera es vaca.
c) Un grupo es un conjunto con una operaci
on, tal que la operaci
on es
asociativa, en el conjunto existe elemento neutro con esa operaci
on y
todos los elementos del conjunto tienen inverso.
d ) Un conjunto ordenado se llama un retculo si para cada par de elementos
existe Infmo y Supremo.
5. Con base en los siguiente ejemplos, escriba una denicion de Secitri:
24
Igualdad y equivalencia
Figura 13
1.4.
25
Ejercicios
1. En la Constitucion de la Rep
ublica de Colombia de 1991, una parte del artculo 13 enuncia: Todas las personas nacen libres e iguales ante la ley, recibir
an
la misma protecci
on y trato de las autoridades y gozar
an de los mismos derechos, libertades y oportunidades sin ninguna discriminacion. . .que signica
esta armaci
on?
2. Busque ejemplos de relaciones que sean u
nicamente reexivas, u
nicamente
simetricas, u
nicamente transitivas, simetricas y transitivas, pero no reexivas, y otras combinaciones para demostrar que las tres propiedades son independientes unas de otras.
26
Captulo
En el lenguaje com
un sucede con frecuencia, que cuando tratamos de comunicar
una idea a otra persona, la idea no se transmite elmente, muchas veces debido
a que diferentes personas asignan signicados diferentes a una misma palabra.
Para evitar estas ambig
uedades del lenguaje com
un, se han desarrollado lenguajes
precisos para expresar ideas matematicas; uno de ellos es el lenguaje de la teora
de conjuntos.
Entre 1900 y 1928, David Hilbert haba propuesto que toda teora matematica ,
como la geometra o la teora de grupos, debera ser fundamentada logicamente; es
decir, que todo teorema de fuera deducible de un conjunto de axiomas, mediante
aplicacion de las reglas de la logica, en lo que llamamos una demostracion.
De esta manera, intentaba establecer la coherencia e integridad de cualquier teora
y decidir de manera mecanica, usando algoritmos, si una proposicion dada es
un teorema de . Este punto de vista se conocio como formalismo.
El mismo Hilbert tuvo algunos exitos en esta direccion, pero en 1930 el logico
austriaco, Kurt Godel, demostro que la propuesta de Hilbert no se poda realizar
para toda teora que incluyera a los n
umeros naturales.
27
2.1.
MUNOZ,
Jose., Introducci
on a la teora de conjuntos, cuarta edici
on, Universidad Nacional
de Colombia, Bogot
a, 2002.
2
Si no se asume, de partida, la existencia de un conjunto universal, pueden aparecer contradicciones al suponer, por ejemplo, la existencia de un conjunto que tenga a todos los conjuntos como
elementos; ello conduce a la conocida paradoja de Russell.
28
2.1.1.
Operaciones en (X)
(A B) A B
A B (A B)
xB
xA
x
/B
x
/ B)
es verdadera.
La armacion en el interior del parentesis dene A B; en conclusion:
x
/ (A B)
y por lo tanto:
x (A B)
Ejercicios
1. Complete la demostraci
on anterior; es decir, demuestre que (AB) A B
2. C
omo se caracteriza el conjunto de los elementos que no estan ni en A ni
en B?
30
entonces (A B) B = A
20. A (B C) = (A B) (A C)
Donde A y B son subconjuntos de un conjunto universal X.
2.2.
Productos cartesianos
MUNOZ,
J, M., op. Cit., p. 65.
A pesar de que X X no es una parte del universo, su existencia en la teora esta garantizada
por el axioma que arma que el conjunto de partes de un conjunto es tambien un conjunto y
X X es un subconjunto de ((X)).
5
LUQUE, C., PAEZ, J., DONADO, A., H- relaciones: una generalizaci
on de la noci
on de
relaci
on a partir de a
lgebras de Heyting, XV Coloquio Distrital de matem
aticas y estadstica,
Universidad Distrital Francisco Jose de Caldas, 1998, pp. 15 - 24.
6
c representa alguno de los 16 conectivos posibles en la logica usual, corresponEl smbolo
dientes a las 16 operaciones que se pueden efectuar con los dos valores 0 y 1.
4
32
X
AX
A
Figura 1
2. Seg
un el conectivo , se muestra en la parte sombreada de la gura 2:
X
B
A
Figura 2
3. Seg
un el conectivo , se muestra en la parte sombreada de la gura 3:
X
B
A
Figura 3
4. Seg
un el conectivo :
33
X
B
A
Figura 4
Este u
ltimo producto corresponde al producto brado (Pullback)7 entre las funciones caractersticas8 XA y XB de A y B respectivamente.
Usaremos el producto seg
un el conectivo , como es usual, por estar contenido en
los demas que mencionamos y omitiremos el subndice.
Ejercicios
1.
2.
ADAMEK, J., Theory of Mathematical Structures, D. Reidel Publishing C., 1983, p. 158.
La funci
on caracterstica XA : X {0, 1} asigna a un elemento x de A el n
umero 1 si x A
y el n
umero 0 si x
/ A , para cada subconjunto A de X, el conjunto de todas las funciones
caractersticas de un conjunto X es equivalente al conjunto de sus partes.
9
MUNOZ,
J., op. cit., p. 71.
8
34
2.2.1.
Relaciones
Una relaci
on R de un conjunto A en un conjunto B, es un subconjunto de A B,
esto es, un elemento del conjunto de partes (A B); la coleccion de todas las
relaciones de A en B es precisamente (A B). Dicho de otra forma, si S es un
subconjunto del producto cartesiano A B de dos conjuntos A y B, decimos que
S es una relaci
on de A en B. Si A = B, S es una relaci
on en A.
El grafo de una relacion R entre A y B es la representacion de las parejas ordenadas
de la relacion en un diagrama cartesiano.
La relaci
on inversa de una relacion S de un conjunto A en un conjunto B es la
relacion S 1 de B en A, denida por:
S 1 = {(x, y) : (y, x) S}
Ejercicio
Elija como conjunto universal:
X = {0, 1, 2, 3, 4, 5}
Dena relaciones de A = {0, 1, 3} en B = {3, 4}, para tres de los productos cartesianos denidos en la secci
on anterior, dibuje el grafo y encuentre la inversa de la
relaci
on en cada caso.
2.2.2.
Funciones
Funciones inyectivas
2.2.2.2.
Funciones sobreyectivas
2.2.2.3.
Funciones biyectivas
2.2.2.4.
Operaciones
Una operaci
on binaria interna en un conjunto A es una funcion
:AAA
Ejercicio
Usando como conectivo la doble implicacion para denir el producto cartesiano,
ejemplique relaciones, funciones y operaciones entre dos conjuntos.
36
Captulo
Ejercicio
Comente la siguiente demostracion de que toda relaci
on simetrica y transitiva debe
37
3.1.
Clases de equivalencia
1
4
Figura 1
1
del rectangulo; pero si dividimos el rectangulo en cuatro
4
partes desiguales (gura 2),
Y cada una de ellas es
38
Figura 2
1
ya no llamamos
a cada pedazo, pero s podemos expresar esta divisionen
4
terminos de particiones.
Si a cada elemento del conjunto A le hacemos corresponder la clase de equivalencia
en la que el esta por la relacion S, obtenemos una funcion que llamamos funci
on
cociente o proyecci
on can
onica del conjunto A sobre el conjunto cociente A/S
(gura 3):
[ ] : A A/S
x [x]
Es facil ver, que esta funcion es sobreyectiva.
El nombre de proyeccion puede entenderse si pensamos cada clase de equivalencia
como una bra en el producto cartesiano A A sobre cada punto de A. Veamos
algunos ejemplos:
AA
[x]
x
Figura 3
Ejemplos
1. En un conjunto X, la relacion de igualdad dene un conjunto cociente X / =
formado por clases unitarias, donde cada elemento forma su propia clase de
equivalencia; este cociente es equivalente al conjunto X.
39
si y solo si a y b pertenecen a B,
Figura 4
Notemos que cuando hacemos un cociente en un conjunto utilizando una relacion
de equivalencia, estamos identicando unos puntos del conjunto con otros equivalentes a el; es decir, estamos diciendo que en alg
un sentido los puntos son iguales
y por lo que hemos dicho dos puntos iguales son un solo punto; por lo tanto, el resultado de identicar puntos con una relacion de equivalencia es pegar unos puntos
con sus equivalentes en uno solo.
Ejemplos
1. Si tenemos un rectangulo ABCD e identicamos el segmento AC con el
segmento BD, lo que estamos diciendo es que el punto A y el punto B se
unen en un solo punto (A es equivalente a B). Y as pegamos cada uno de los
puntos del segmento AC con cada uno de los del segmento BD y obtenemos
como resultado un cilindro.
A
B
C
D
A B
C D
Figura 5
40
Figura: 6
3.2.
Cuando una relacion de equivalencia esta denida sobre un conjunto, este queda
repartido en subconjuntos, cuyos elementos son los que tienen las mismas caractersticas, denidas por la relacion; es decir, que las relaciones de equivalencia
clasican los elementos del conjunto sobre las que est
an denidas.
As, por ejemplo, la relacion tener el mismo tipo de sangre, denida en un
conjunto de personas, clasica a este en cuatro clases: O, A, B y AB y cada una de
estas se clasica en dos, seg
un su factor RH. Cada una de las clases es disyunta con
respecto a las demas, en el sentido que cada persona tiene un solo tipo de sangre, y
ademas la reunion de todas las clases abarca a todas las personas o, dicho de otro
modo, no hay personas que tengan un tipo de sangre distinto a los mencionados.
A estos tipos de division los llamamos particiones.
Una partici
on , de un conjunto no vaco A, es una coleccion de subconjuntos no
vacos de A, disyuntos dos a dos, cuya union es todo A, en smbolos:
= {Ai }iI , donde I es un conjunto de ndices, es una particion de A, si y solo si
Ai Aj =
para todo i, j I,
A=
Ai
iI
Ai =
para todo i I
COURANT, R., ROBBINS, H., Topologa, en NEWMAN, J., Sigma: El mundo de las
matem
aticas, Grijalbo, Barcelona, tomo IV, pp. 188-189.
41
3.3.
Los n
umeros y las relaciones de equivalencia
La construccion de los n
umeros es uno de los mas importantes logros de las relaciones de equivalencia; con ellas se pueden construir, partiendo de los n
umeros
naturales, los n
umeros enteros, y a partir de estos, los n
umeros racionales en
procesos estrictamente algebraicos; luego, por el mismo camino, pero clasicando
sucesiones, se construyen n
umeros reales y de igual manera n
umeros hiperreales,
etc.
Iniciamos con la construccion de n
umeros cardinales, que en casos nitos coinciden con los n
umeros naturales, pero que en el caso de conjuntos innitos diere
sustancialmente.
3.3.1.
La relaci
on de equinumerosidad entre conjuntos
biyectiva
Esta relacion es de equivalencia, ya que tanto la funcion identidad como la funcion inversa de una funcion biyectiva y la compuesta de funciones biyectivas, son
biyectivas.
2
Esta relaci
on podra usarse para denir los n
umeros naturales, diciendo que la clase del
conjunto es el n
umero natural 0, la clase del conjunto unitario {} es el n
umero 1 y as sucesivamente. Esto, sin embargo, tiene la dicultad que posiblemente el conjunto de partida X no
sea lo sucientemente grande para que nos permita denir todos los n
umeros naturales, y si
escogemos un conjunto lo sucientemente grande como para que contenga a todos los conjuntos,
aparece una dicultad a
un mayor, como es la de no poder considerarlo como un conjunto, pues
da pie a paradojas que vician la teora (SMULLYAN, R., FITTING, M., Set theory and the
continuum problem, Clarendon Press, Oxford, 1996, p. 11). Las dos salidas m
as frecuentes para
la construccion de los n
umeros naturales son la teora axiom
atica, de Zermelo-Fraenkel-Skolem
y la de Von Neumann, revisada posteriormente por Bernays, Robinson y Goedel, conocida como la teora de clases (MACHOVER, M., Set Theory, Logic and their limitations, Cambridge,
1996). En la primera se construyen, basados en la existencia del conjunto vaco, el axioma de
apareamiento y de la existencia de un conjunto inductivo (SUPPES, P., Teora axiom
atica de
conjuntos, Norma, 1968). y en la segunda pueden considerarse como clases de equivalencia de la
relacion de equinumerosidad denida antes sobre la clasede todos los conjuntos.
3
Insistimos en que aqu la palabra n
umero no se reere necesariamente a un n
umero natural,
aunque en los casos nitos s.
42
Ejemplos
1. Un conjunto A es nito 4 si existe un n
umero natural n de forma que A es
equivalente a un conjunto de la forma:
{0, 1, 2, , n 1}
el n
umero n se llama el cardinal del conjunto.
2. Un conjunto es enumerable si es equivalente al conjunto de los
naturales N. Algunos casos particulares son: el conjunto P de los
pares, el conjunto I de los n
umeros impares, el conjunto T de los
triangulares, el conjunto C de los n
umeros cuadrados, el conjunto
n
umeros c
ubicos, el conjunto P de los n
umeros pares:
N = {0 1
P = {0 2
I = {1 3
T = {0 1
C = {0 1
K = {0 1
D = {100
2
4
5
3
4
8
101
3 4 5 6 7 8 }
6 8 10 12 14 16 }
7 9 11 13 15 17 }
6 10 15 21 28 36 }
9 16 25 36 49 64 }
27 64 125 216 343 512 }
102 103 104 105 106 107 108
n
umeros
n
umeros
n
umeros
K de los
43
3.3.2.
Los n
umeros enteros y los racionales
A partir de los n
umeros naturales, es posible construir los n
umeros enteros y de
estos, los n
umeros racionales en un proceso que se muestra a continuacion:
i. Sea (N, +) el conjunto de los n
umeros naturales con la operacion suma. En
el conjunto N N , denimos la relacion de equivalencia:
(a, b) (c, d) si y solo si a + d = b + c
Las clases de equivalencia son:
[(a, b)] = {(c, d) / c d = a b}
por ejemplo:
[(0, 0)] = [(1, 1)] = [(2, 2)] = [(3, 3)] = [(k, k)]
[(0, 1)] = [(1, 2)] = [(2, 3)] = [(3, 4)] = [(k, k + 1)]
[(1, 0)] = [(2, 1)] = [(3, 2)] = [(4, 3)] = [(k + 1, k)]
5
44
por lo tanto
45
3.3.3.
46
Estos n
umeros son conocidos como enteros m
odulo 5.
Ejercicios
1. Reemplace el conjunto de los n
umeros enteros por el conjunto de los n
umeros
racionales, en el ejemplo anterior, que sucede?
2. Reemplace el conjunto de los n
umeros enteros por el conjunto de los n
umeros
2
duales de la forma z = x + ny con x, y n
umeros enteros, n = 0, n = 0 (n es
un elemento no entero que cumple estas condiciones y con el cual se puede
operar), que sucede?
3.4.
Las relaciones de equivalencia y las particiones son dos facetas de la misma realidad matem
atica. Esta frase, tomada de un libro actual de teora de conjuntos10 ,
muestra el estrecho vnculo que existe entre las clasicaciones que son posibles
en un conjunto y las caractersticas que puedan tener los elementos clasicados11 .
Mostraremos enseguida que, dada una relacion de equivalencia en un conjunto
A, ella determina una particion del conjunto, y toda particion de un conjunto A,
dene una relacion de equivalencia en el.
Veamos la primera parte: toda relacion de equivalencia determina una particion
del conjunto en clases, sus clases de equivalencia.
Dada una relacion de equivalencia S en un conjunto A, se cumple que todo elemento
a de A pertenece a una clase de equivalencia, pues a [a] para todo elemento a
de A, puesto que S es reexiva.
Ademas, dos clases de equivalencia o son la misma o son disyuntas; esto se debe a
que si (a, b) S entonces [a] = [b], porque si (a, b) S y consideramos cualquier
otro elemento c [b]. Por denicion de clase de equivalencia se tiene que (b, c) S,
entonces, como S es transitiva, tenemos que (a, c) S, lo que signica que c [a].
Usando la simetra obtenemos la otra inclusion, y por lo tanto las dos clases son
iguales.
Hemos dicho que, si un elemento cualquiera d de A es tal que d [a] y d [b]
entonces, [d] = [a] y [d] = [b], por lo tanto [a] = [b].
Con esto hemos probado que:
Toda relaci
on de equivalencia S define una partici
on
sobre el conjunto en la cual est
a definida
Veamos ahora la armacion recproca: Si es una particion de un conjunto A, la
relacion denida por:
(x, y) S si y solo si existe un conjunto B tal que x, y B,
es de equivalencia.
10
11
HRBACEK, K., JECH, T., Introduction to Set Theory, Marcel Dekker, 1999, p. 30.
STOLL, R., Set Theory and Logic, Freeman, San Francisco, 1963, p. 30.
48
Toda partici
on sobre un conjunto, define una relaci
on
de equivalencia S en el conjunto
Una pregunta natural es: si partimos de una relacion de equivalencia S sobre un
conjunto A, obtenemos la particion asociada a ella y luego, a esta le deno la
relacion de equivalencia S correspondiente, que relacion existe entre S y S?
Supongamos que (x, y) S, entonces x, y [x] y [x] , por la denicion de S
se tiene que (x, y) S .
Recprocamente, si (x, y) S, entonces existe un conjunto B tal que x, y B,
como B es una clase de equivalencia de S entonces (x, y) S y por lo tanto S = S .
Y si comenzamos con una particion , le hallamos la relacion de equivalencia
correspondiente R y a esta le hallamos su particion , se tiene que = ?
La respuesta de nuevo es armativa, porque si tomamos un elemento B , como
B = , existe x B, debemos probar que [x] = B. Esto se sigue de la siguiente
secuencia de equivalencias:
y [x] si y solo si xRy
si y solo si x, y B si y solo si y B.
3.5.
Una definici
on alternativa para relaciones
de equivalencia
BUCK, C., An alternative definition for equivalence relations, Mathematics Teacher, february
1967, volume LX, N 2, p p. 124-125.
50
13
51
52
Captulo
El proceso de medir
Cuando puedes medir aquello de lo que hablas y expresarlo con
n
umeros, sabes algo acerca de ello
William Kelvin
4.1.
4.1.1.
El patr
on m
as usado para medir longitudes es el metro: la longitud marcada en una barra
de platino iridiado mantenida a una temperatura constante en un museo de Francia, la cual se
reproduce para obtener metros iguales.
53
4.2.
4.2.1.
El proceso matem
atico de medir
Qu
e significa la mitad de algo?
Si una unidad que escogemos como patron de medida se divide en dos partes
iguales, a cada una de esas partes la llamamos la mitad de la unidad.
Ya discutimos que los objetos fsicos no tienen simetra suciente para que sean
candidatos a patrones de medida, debemos entonces buscar en los mundos ideales;
una opcion es el plano de la Geometra Euclidiana, all hay rectangulos, triangulos
equilateros, crculos con sucientes simetras para que se puedan dividir en dos
partes iguales o en el lenguaje ocial, congruentes 2
2
La congruencia es una relacion de equivalencia, que tiene las mismas propiedades que la
54
El proceso de medir
Un rectangulo se puede dividir en dos partes congruentes, y estos a su vez en dos,
y ellos tambien y as sucesivamente, lo mismo pasa con los crculos, pero no con
los triangulos, si el triangulo es equilatero o isosceles tiene mitad, pero cada una
de esas partes ya no tiene mitad.
Ademas en el mundo de los objetos ideales de la Geometra Euclidiana como
determinamos la veracidad de una armacion? Si los objetos que manejamos no
son reales, como sabemos que los dividimos exactamente a la mitad? El recurso
que utilizamos es el razonamiento l
ogico, admitiremos como ciertas, armaciones
que sean consecuencias logicas de otras que sabemos o suponemos verdaderas. Este
recurso es el utilizado en las Matematicas y en otras ciencias y es conocido como
metodo axiomatico. En el aceptamos como ciertas algunas armaciones iniciales
que llamamos axiomas o postulados, y deducimos de ellos otras armaciones que
llamamos teoremas.
La Geometra Euclidiana esta fundamentada en 5 postulados propuestos por Euclides:
1. Dados dos puntos cualesquiera, es posible trazar una recta de un punto al
otro (por dos puntos pasa una unica recta).
2. Un segmento de recta cualquiera puede prolongarse de manera indenida en
lnea recta .
3. Es posible trazar una circunferencia con cualquier punto como centro y con
cualquier segmento de recta como radio.
4. Todos los angulos rectos son iguales.
5. por un punto exterior a una recta es posible trazar una unica paralela a la
recta dada.
En ella tambien se acepta como cierto que:
1. Si dos cosas son iguales a una tercera, son iguales entre s.
2. Si se a
naden igualdades a igualdades los totales son iguales.
igualdad: todo objeto es congruente consigo mismo, si un objeto es congruente con otro, este lo
es con el primero y si un objeto es congruente con otro y este a su vez con un tercero, el primero
y el tercero son congruentes entre s. En sntesis, la congruencia es una forma de igualdad; de
hecho, Euclides us
o la palabra igualen lugar de congruente.
55
4.2.2.
Bisecci
on de un segmento
Figura 1
Uniendo los puntos de interseccion entre las circunferencias, construimos un segmento que divide a AB en dos partes congruentes.
56
El proceso de medir
B
Figura 2
Seg
un la construccion que realizamos, efectivamente, el segmento quedo dividido
en dos partes congruentes; sin embargo, es necesario demostrarlo.
Si a los puntos de interseccion de ambas circunferencias los llamamos C y D
respectivamente, como se muestra en la gura 3, al trazar segmentos que unan a
C con A, A con D, D con B y B con C, obtenemos varios triangulos5 , entre ellos
CAD y CBD, sobre los cuales centraremos nuestra atencion para mostrar que
los segmentos AX y XB son congruentes entre s, y por lo tanto el punto X es el
punto medio de AB.
Inicialmente, tenemos que AB
= AC porque ambos son radios de la primera circunferencia trazada y AB
= BC porque son radios de la segunda circunferencia;
luego, de acuerdo a que si dos cosas son iguales a una tercera, estas son iguales
entre s, AC
= BC.
C
D
Figura 3
5
57
CD, tenemos que CAD= CBD porque si los tres lados de un triangulo son
respectivamente congruentes con los tres lados de otro triangulo, entonces los dos
triangulos son congruentes.
De esta manera, ACD
= BCD porque son partes correspondientes de triangulos congruentes, ademas ya tenemos que AC
= BC y como CX es congruente a
s mismo, obtenemos que, dos lados y el angulo comprendido entre esos lados del
ACX son respectivamente congruentes con dos lados y el angulo comprendido entre los lados del BCX, por lo cual ACX
= BCX, y en consecuencia
AX = BX.
Hemos demostrado (con base en hipotesis y siguiendo un procedimiento razonable)
que es posible dividir un segmento en dos partes congruentes y de esta forma, cada
parte en dos para obtener cuatro, y as sucesivamente, por lo cual, podemos decir
que es posible dividir un segmento en 2n partes congruentes.
Ejercicios
1. Demuestre que:
a) Si los tres lados de un triangulo son respectivamente congruentes con los
tres lados de otro tri
angulo, entonces los dos triangulos son congruentes.
Este es conocido como el Teorema lado-lado-lado.
b) Si dos tri
angulos son congruentes entonces sus lados y angulos correspondientes son congruentes entre s.
2. Muestre otra forma de dividir un segmento en dos partes congruentes y justique cada paso del proceso.
4.2.3.
Divisi
on de un segmento en K partes iguales
Para efectuar una medida de un segmento dado, utilizando otro como patron,
no necesariamente la division del segmento patron debe ser a la mitad, puede ser
cualquier n
umero de pedazos6 , solo basta, igual que en el caso anterior, con mostrar
un mecanismo geometrico que nos permita dividir un segmento cualquiera AB en
k partes iguales. Ilustremos el caso cuando k = 3, pues la idea general es la misma
para otros casos.
6
De hecho el sistema de medidas que mas se utiliza en el mundo divide cada unidad en diez
pedazos.
58
El proceso de medir
Para dividir AB en tres partes congruentes podemos proceder as:
1. Tomemos AB y un punto C que no este en la recta que contiene a AB,
tracemos una semirrecta sobre AC. Desde el punto C y con radio AC mar
camos otro punto D sobre AC 7 , luego desde D con radio AC marcamos otro
punto E obteniendo as tres segmentos congruentes. (El proceso continua
sucesivamente de acuerdo al n
umero de veces en que se quiera dividir AB).
E
D
C
B
Figura 4
E
D
C
B
Figura 5
Los cortes de estas rectas con AB, dividen a AB en tres partes congruentes.
Ejercicio
Demuestre la anterior armacion.
7
59
4.2.4.
Si deseamos medir AB usando CD como patron de medida (que tambien llamaremos unidad) podemos proceder as:
1. Colocamos CD sobre AB a partir del punto A, tantas veces como sea posible
sin pasar por el punto B. Supongamos que ocurre n veces.
C
B
Figura 6
Ejercicios
1. Dados un segmento AB y un punto C no contenido en dicho segmento, construya un segmento congruente con AB a partir del punto C usando solamente
regla y comp
as.
2. En una regla de 12cm haga 4 marcas de forma que se puedan medir todas
las longitudes cuyos resultados sean n
umeros naturales entre 1 y 12.
3. Un hombre era due
no de un terreno cuadrado y vendi
o la cuarta parte. El
resto de terreno qued
o en forma de L . Al hacer su testamento les dejo esta
propiedad a sus cuatro hijos, con la condici
on de que la dividieran en 4 lotes
del mismo tama
no y de la misma forma. Ser
a posible hacerlo?.
60
El proceso de medir
4.3.
Representaci
on de medidas: N
umeros bimales, trimales, . . ., decimales, etc.
61
4.3.1.
Operaciones entre n
umeros n -males
4.3.1.1.
Adici
on
Ejemplo
En base 12 tenemos que
34568, 679
+ 2348, 765
368B5, 222
10
en algunos textos y las calculadoras es usual usar punto en lugar de coma para separar las
cifras decimales.
11
Si escribimos los n
umeros en base n, los llamaremos n-males.
62
El proceso de medir
4.3.1.2.
Sustracci
on12
53414, 630
2568, 453
50A68, 199
Ejercicio
Escriba un algoritmo para efectuar sustracciones de n
umeros K-males y explquelo.
Es natural que la suma y la resta de expresiones bimales adopte el procedimiento
de las operaciones entre n
umeros naturales en cualquier base, pues en esencia el
sistema es posicional y sus valores relativos son los mismos. Una decima equivale
a 10 centesimas, lo mismo que una decena equivale a 10 unidades.
Hay un problema com
un en la adicion y la sustraccion cuando necestanos operar
dos n
umeros que tengan distinto n
umero de cifras n-males13. Desde el punto de
vista operativo sabemos que
2 = 2, 0 = 2, 000
por que dos unidades mas 0 n-esimas son solo 2 unidades y no importa cuantos
ceros escribamos a la derecha, ellos signican que no hay partes de la unidad en
nuestra medida. Pero desde el punto de vista fsico de la precision de la medida,
s hay diferencia entre escribir 2 y 2, 0 pues en el u
ltimo caso se esta armando que la precision de la medida llega hasta las n-esimas. Para nuestro estudio
adoptaremos el primer punto de vista.
12
La sustracci
on de n
umeros n-males, como en el caso de los n
umeros naturales, no es una
operaci
on en el sentido actual, pues no todas las restas son posibles, es necesario como antes que
el minuendo sea mayor que el sustraendo, en el sentido que discutimos un poco m
as tarde; por
ahora basta con la idea intuitiva que tenemos.
13
Llamamos cifras n-males a las cifras ubicadas a la derecha de la coma.
63
Multiplicaci
on
Entre n
umeros naturales, multiplicar signica sumar varias veces un mismo sumando, pero entre n
umeros n-males que signicado le podemos asignar a una multiplicacion? Iniciemos la discusion dandole sentido a multiplicar un n
umero natural
k (que podemos identicar con el n-mal k, 0) por un n
umero n-mal: por ejemplo,
3 1, 2.
En este caso tiene sentido repetir k el n
umero n-mal y sumar.
3 1, 2 = 1, 2 + 1, 2 + 1, 2 = 3, 6.
Ahora demosle sentido a 1, 2 3. Podemos recurrir al viejo truco de extender la
validez de la propiedad conmutativa la multiplicacion; es decir si queremos que
la multiplicaci
on de n
umeros n-males sea conmutativa como la de los n
umeros
naturales sera bueno aceptar que
1, 2 3 = 3 1, 2 = 3, 6.
Solo nos queda darles un signicado a la multiplicacion de los n-males cualesquiera;
por ejemplo, 1, 20, 2 no puede signicar: repetir 1, 2 veces el n
umero 0, 2 y sumar,
porque no sabemos que sentido darle a 1, 2 veces.
Podramos intentar encontrar un algoritmo para multiplicar, por ejemplo, 0, 10, 1
en base dos, sabiendo que la respuesta es 0, 01; pues estamos hablando de la mitad
de la mitad.
Un camino que ya es com
un para nosotros, es copiarnos del algoritmo de la
multiplicacion para n
umeros naturales, buscar analogas entre ese procedimiento
y el que deseamos proponer modicando elementos que hacen parte de el, de esta
manera, si queremos multiplicar 0, 1 0, 1 lo disponemos uno debajo del otro, as:
0, 1
0, 1
Multiplicamos primero dosimas con dosimas con lo que obtenemos cuartesimas
por esta razon al multiplicar 1 1 obtenemos una cuartesima y conservando el
lugar que les corresponde a las cuartesimas las ubicamos en el siguiente lugar de
las dosimas esto es:
0, 1
0, 1
1
64
El proceso de medir
Luego, multiplicamos un dosima con 0 unidades, de lo que obtenemos 0 dosimas;
realizamos despues un procedimiento similar al anterior, para el otro n
umero del
segundo factor teniendo en cuneta que al multiplicar unidades por dosimas se
obtiene dosimas y unidades por unidades, unidades; nalmente sumamos los productos hallados, as:
0, 1
0, 1
01
+0 0
0,0 1
El procedimiento es fundamentalmente el mismo en cualquier base y como es
natural con cualquier algoritmo, este se efect
ua mecanicamente.
4.3.1.4.
Divisi
on14
65
El proceso de medir
Los calculos anteriores nos sugieren que un procedimiento para dividir dos n
umeros
n-males cualesquiera es: primero igualamos el n
umero de cifras n-males de ambos
n
umeros, para interpretarlos como n
umeros naturales, agregando ceros a la derecha
del n
umero que tenga menor cantidad de cifras n-males, luego suprimimos la coma
y realizamos las divisiones como si fueran n
umeros naturales.
Ejemplos
1. Para efectuar en base 9
la cambiamos por
28, 720, 8
287280
Ejercicios
1. Pareciera que estas discusiones no tuvieran aplicaci
on pr
actica alguna, sin
embargo una vieja anecdota, nos permite repensarlo. En la epoca de la incoron del marco alem
an con
poraci
on de Austria al Reich Alem
an15 , la relaci
el cheln austriaco fue jada en 2 : 3, naturalmente en base 10, con esto la
conversi
on de marcos a chelines era sencilla. Un marco vala exactamente un
22
cheln y medio. Y si un objeto costaba 22 marcos su equivalente era 22 +
2
chelines es decir, con 33 chelines f
acil! Pero Y la conversi
on de chelines
a marcos? Cuantos marcos son 10 chelines? Existe alguna base en la cual
las dos conversiones sean exactas?
1 1
on
2. En cuales bases las divisiones y tienen como resultado una expresi
2 3
n-mal nita?
15
67
1 1 1 1
, , y . Procure una generalizaci
on.
4 5 6 7
1
1
1
1
1
1
1
1 1
,
,
,
,
,
,
,
,
,
7 17 19 23 29 31 47 59 61
1
1
1
,
,
, cuales son sus periodos? Enuncie una conjetura al respecto.
97 109 113
Escriba otros n
umeros con la misma propiedad. Encuentre ejemplos en base
6.
1
es el residuo que se obtiene
7
cuando se divide 10 por 7, el segundo es el que se obtiene al dividir 102 por
7, el n-esimo residuo, cuando 10n se divide por 7. Encuentre un ejemplo
similar en base 6.
11
, los residuos sucesivos en el proceso de la divisi
on
7
son los residuos de 11, 11 10, 11 102 , 11 103 , y as sucesivamente.
Encuentre un ejemplo similar en base 8.
8. En el desarrollo de
El proceso de medir
1
, es 142857. Si multiplicamos este
7
n
umero por 2 obtenemos 285714, por 3 obtenemos 428571, y as sucesivamente. Por 4 obtenemos 571428, por 6 obtenemos 857142.
1
son los dgitos del 0 al 9 inclusive y
17
1
los seis del periodo de .
7
1
El periodo de
tiene 46 dgitos que constan de cuatro conjuntos del 0 al 9 y
47
1
los seis que se encuentran en el periodo de . Construya un ejemplo similar
7
en base 12.
12. En base 10 tenemos que si un n
umero primo p cuyo u
ltimo dgito es 7 y tiene
un periodo N de p 1 dgitos, al multiplicarse por los n
umeros del 1 al p 1,
cada dgito de N estar
a una sola vez en el extremo derecho del n
umero y
por tanto los dgitos de N ser
an los que se encuentran en la extrema derecha
de los n
umeros cN para c = 1, 2, 3, p 1, el u
ltimo dgito de N ser
a 7.
Verique lo dicho y construya un ejemplo en base 12.
4.3.1.5.
Divisiones de la unidad
1
= 0, 1.
2
1
cambia si escogemos otra base, por ejemplo
2
k
en base 4 es 0, 2,en base 6 es 0, 3 y en general en cualquier base par k es 0, .
2
Naturalmente la representacion de
69
1
da como resultado el n
umero periodico 0,1.
2
Ejercicios
1
Encuentre una f
ormula para en cualquier base impar p, justique sus procedi2
mientos.
La division
1
en cualquier base m que sea m
ultiplo de 3 tiene la forma:
3
m
1
= 0,
3
3
p2
3
2p 1
3
p2
3
2p 1
Ejercicio
1 1 1
1
La tabla muestra los resultados para ; haga sus propios calculos para , , , etc.
4
5 6 7
1
y proponga una conjetura para representar como n-mal la divisi
on .
k
16
70
El proceso de medir
Representacion de
1
4
Base p1
Representacion nal
k = 4p
k
0,
4
k = 4p + 1
0,
k = 4p + 2
0,
k = 4p + 3
0,
(k 1)
4
(k 2)
4
(k 3)
4
(2k)
4
(3k 1)
4
Ejercicios
p
tiene expresi
on n-mal nita de una sola cifra,
q
de dos cifras, . . ., de k cifras?
1
2. Existen base en las que tiene expresi
on n-mal periodica cuyo periodo es de
3
una sola cifra, por ejemplo en base 10
1
= 0, 3
3
71
4.3.2.
N
umeros n -males como divisiones entre N
umeros
Naturales
En la u
ltima parte de la seccion anterior, realizamos algunas divisiones entre
n
umeros naturales y obtuvimos como resultados n
umeros n-males, ahora trataremos el problema inverso; como de costumbre empecemos por los casos mas sencillos.
1. Si el n
umero n-mal tiene un n
umero nito de cifras n-males:
Por ejemplo, sabemos que en base siete 0, 1 representa la unidad de medida
dividida en siete partes iguales, esto lo escribimos en base mayor o igual a
1
umero 0, 01 representa la parte que resulta del proceso
ocho como ; el n
7
1
anterior en siete partes iguales y esto lo podemos escribir 2 (en base k,
7
k > 7).
Naturalmente, en base k
1
k2
1
1
0, 11 = + 2
k k
0, 01 =
y
En base 10 conocemos una manera mas breve de expresar lo mismo, esta es:
11
100
11
=
7?
100
0, 11 =
Sera que en base 7,
0, 11(7)
11
100
El proceso de medir
o un poco mas, en base 7 y en cualquier base mayor que 4, tenemos que:
0, 1234(7) =
12347
100007
2. Si el n
umero n-mal es periodico:
Un n
umero n-mal periodico es una suma17 de innitos terminos, pero no
hemos desarrollado a
un mecanismos para efectuar una operacion con innitos
terminos, sin embargo algunas consideraciones nos permitiran estimar su
valor, si este existe. Estudiemos un ejemplo sencillo en base 10:
2 3 4 5
1
1
1
1
1
+
+
+
+
+
S = 0, 9 = 9
10
10
10
10
10
2 3 4 5
1
1
1
1
1
10S = 9, 9 = 9 1 +
+
+
+
+
+
10
10
10
10
10
si restamos18 la segunda igualdad de la primera nos queda:
9S = 9
es decir que S = 1!!, mrelo bien 0, 9 = 0, 9999999 . . . = 1.
Por supuesto podemos cambiar el 10 por una base cualquiera k y el procedimiento permanece intacto. Tambien es u
til cuando el n
umero de cifras
periodicas es mayor que uno, por ejemplo encontremos algunos n
umeros naturales cuya division tenga por resultado 0, 123 en base 5:
a) Primero pongamosle nombre al n
umero
d = 0, 123
b)
17
Estas sumas conocidas entre los matematicos como series se pueden efectuar algunas veces
en que su resultado es un n
umero nito; estudiar las condiciones para que se pueda efectuar
y la manera de hacerlo forma la teora de sucesiones y series y mas generalmente la teora de
convergencia
18
Siendo estrictos, esto tampoco es una resta porque tiene innitos terminos, pero intuitivamente sospechamos que como por cada uno de los terminos de la segunda expresi
on hay uno
igual en la primera podemos eliminarlos por pares
73
123
123
es decir que 0, 123 =
.
444
444
Y en base 8
0, 123 =
123
777
Ejercicios
1. Encuentre dos n
umeros naturales en base 7 cuya division sea 31, 2145.
1
por 2, 3, 4, 5, 6,
2. Si multiplicamos el periodo del desarrollo decimal de
7
observamos una curiosidad. En
unciela.
1
por los n
umeros entre 1
3. Lo mismo sucede si multiplicamos el periodo de
17
y 16. Encuentrela y proponga una explicaci
on. Sucede lo mismo en otras
bases?Con otros n
umeros?
4. Demuestre que
0, ab =
ab
(n 1)n + (n 1)
4.3.3.
Operaciones con n
umeros n -males peri
odicos
El proceso de medir
de que existan, tales que la division de ellos sea precisamente nuestro n
umero n-mal
periodico.
Sin anunciarse han aparecido entre nosotros n
umeros que aspiran a pasar
desapercibidos y tener los mismos derechos (las mismas propiedades) que los nmales, pero no hemos discutido como operar con estos n
umeros que tienen colas
innitas y que hemos llamado n-males periodicos?, esto es lo que haremos enseguida.
Y ya tenemos solucion para nuestro problema inicial, para operar con n
umeros
n-males periodicos, encontramos n
umeros naturales cuya division sea cada uno de
los n
umeros a operar, luego buscamos una base com
un donde las divisiones tengan
resultados n-males con nitas cifras n-males.
Por ejemplo para sumar 0, 3 con 1, 7 en base 10,
0, 33333333333333333333 . . .
1, 77777777777777777777 . . .
no sabemos en cual lugar va un cero o un uno, sospechamos que todos deben ser
unos, pero solo es una sospecha.
Una salida es que encontremos n
umeros naturales cuyas divisiones sean los n
umeros
dados, en este caso
1 16
y
3
9
en base 10. Observamos los divisores, sabemos que si escribimos los n
umeros en
base 9 obtenemos un n
umero nito de cifras n-males, de hecho los resultados son:
1
3
= 0, 39
16
9
10
17
9 = 1, 79
9
21
10
19
9
10
= 2, 110
entonces
0, 3 + 1, 7 = 2, 1
en base 10.
Podemos imaginar que el proceso se puede simplicar sumando las cifras correspondientes hasta el innito, pero no siempre es as.
75
53
100
48
81
10
= 0, 59210
Ejercicios
1. Proponga otro procedimiento para sumar n
umeros n-males peri
odicos.
2. Estudie el problema de la multiplicacion de n
umeros n-males peri
odicos; empiece por casos simples: n-mal de la forma k,0 por n-mal peri
odico, n-mal
con nitas cifras n-males por n-mal peri
odico, etc., trate de encontrar regularidades.
4.3.4.
2524
100
767
40
= 18, 49
184
10
421
13
= 25, 246
El proceso de medir
Sin embargo, cuando estudiamos los n
umeros naturales19 encontramos dos procedimientos para pasar n
umeros de una base numerica a otra, uno de ellos consiste
en multiplicar cada una de las cifras del n
umero por la potencia de la base que
corresponda a su posicion y sumar los resultados, naturalmente estos resultados
deben escribirse en la base a la que deseamos pasar, por ejemplo si deseamos pasar
umero en forma polinomica:
257 a base 8, escribimos el n
257 = 2 71 + 5 70
realizamos los productos en base 8 y sumamos:
28 (78 )1 + 58 (78 )0 = 168 + 58 = 238
con lo que obtenemos el resultado: 257 = 238 .
Este procedimiento debera poderse extender a los n
umeros n-males, teniendo en
1
cuenta que las cifras n-males son potencias de , pero aqu aparece un problema,
n
veamos un ejemplo:
umero en forma polinomica:
Para pasar 25, 246 a base 9, escribimos el n
1
2
1
19
+ 49
25, 246 = 29 (69 )1 + 59 (69 )0 + 29
9
6
6
para la parte n-mal calculamos
1
9 = 0, 149 !!
6
como el resultado es periodico, hasta aqu llegamos!, que hacemos ahora?.
1
Una opcion es escribir en una base en la cual el resultado tenga nitas cifras
6
n-males, por ejemplo operando en base 12
2
1
1
y
= 0, 0412
12 = 0, 212
12
6
6
multiplicamos por los coecientes y sumamos
2
1
1
= 212 0, 212 + 412 0, 0412 = 0, 412 + 0, 1412 = 0, 5412
212
12 + 512
12
6
6
19
LUQUE C, PAEZ
J, MORA L; Actividades matem
aticas para el desarrollo de procesos l
ogicos: Contar e Inducir. Universidad Pedag
ogica Nacional. Ediciones Antropos. 2002.
77
Ejercicios
1. Es posible aplicar el procedimiento de las divisiones sucesivas para cambiar
de base en n
umeros n-males? Argumente.
4.3.5.
Potenciaci
on
Ejercicios
1. Que relaci
on existe entre el n
umero de cifras n-males de la base, el exponente y el n
umero de cifras n-males del resultado?
2. Intente darle signicado a los otros casos de potenciaci
on.
4.3.6.
Radicaci
on
El proceso de medir
Iniciemos calculando la raz cuadrada de un n
umero natural en el caso en que el
n
umero no sea un cuadrado perfecto.
Por ejemplo queremos calcular en base 10
79
13.31 2
2
13.31 2
4
2
431
Observemos que 431 debe ser 2qu + u2 = u(2q + u) mas el residuo. Por
lo tanto, si dividimos 431 entre 2q, resulta la cifra de las unidades o una
cifra mayor, pues la division debera hacerse entre 2q + u, por lo cual el
cociente puede resultar un n
umero grande. De esta manera lo que hacemos
es dividir 43 quinquenas entre 2q (4 quinquenas) para obtener as unidades;
de donde resulta 10, como este n
umero no lo podemos escribir en un solo
lugar consideramos una unidad menor; esto es 4. Tenemos entonces que el
siguiente paso es:
20
80
El proceso de medir
3. Separar el n
umero conformado por la diferencia y el siguiente periodo en
dos grupos de tal manera que quede solo una cifra de derecha a izquierda;
el n
umero que quede a la izquierda lo dividimos entre el duplo de la raz
encontrada. Dicho cociente es la siguiente cifra de la raz(podra ser una cifra
menor o una mayor):
13.31 24
4
22= 4
43.1
43 4 = 10 4
Para ver que efectivamente,la cifra elegida es correcta(en este caso 4), formamos un nuevo n
umero con el duplo de las quinquenas mas las unidades
obtenidas -en unidades- ; esto es 2q + u, en este caso, es 44, el cual multiplicamos por u para obtener 2qu+u2 ; esto es 444; este producto lo restamos a
431, si es posible realizar esta sustraccion entonces la cifra elegida es correcta.
De manera general; se tiene que:
4. Para ver que efectivamente la cifra hallada es la correcta, se forma un nuevo
n
umero con la cifra del duplo y el cociente -siendo este u
ltimo la cifra de
las unidades-, este n
umero se multiplica con la cifra en cuestion; si el producto obtenido se puede restar del n
umero que se dividio en dos grupos, la
cifra obtenida es correcta, si no, se disminuyen tantas unidades como sean
necesarias para pode realizar la resta.
13.31 24
4
22= 4
43.1 2 2 = 4
341
40
De esta manera,
as:
43 43 = 10 4
Ejemplo
De acuerdo con lo anterior, tenemos que la raz cuadrada de 1331 con tres cifras
5-males es:
24, 322
22= 4
44 4 = 341
24 2 = 103
1033 3 = 3204
243 2 = 1041
10412 2 = 21324
2432 2 = 10414
104142 2 = 213334
43 43 = 10 4
400 103 = 3
2410 1041 = 2
22210 10414 = 2
Ejemplo
Para hallar la raz cuadrada de 2 con una aproximacion de cuatro cifras decimales,
escribimos el dos como decimal y procedemos a ejecutar el algoritmo presentado:
82
El proceso de medir
2 , 0 0 0 0 0 0 0 0
1
1 0 0
9 6
4 0 0
2 8 1
1 1 9 0 0
1 1 2 9 6
6 0 4 0 0
5 6 5 6 4
38 36
1, 4142
12 =2
25 5 = 125
25 4 = 96
14 2 = 28
281 1 = 281
141 2 = 282
2824 4 = 11296
1414 2 = 2828
28282 2 = 56564
10 2 = 5
40 28 = 1
1190 282 = 4
6040 2828 = 2
Ejercicios
1. Proponga o averig
ue un metodo para encontrar la raz c
ubica de un n
umero
cualquiera en base 10 y extiendalo a otras bases.
2. Averig
ue las primeras 1000 cifras de 2, observelas e intente encontrar un
periodo o alguna regularidad.
4.3.7
Logaritmaci
on22
loga b = c
por ejemplo, el n
umero N que satisface
log7,0 N = 2, 0 es el mismo que satisface 7, 02,0 = N
o si
logb 125, 0 = 3, 0,
o lo que es lo mismo
b=
3,0
125, 0
22
El matem
atico ingles John Napier (1550-1617), fue el inventor de la palabra logaritmo (del
griego logos: raz
on y arithmos: n
umero).
83
4.4.
Orden entre n
umeros n -males
Como en los n
umeros naturales, queremos establecer un criterio para saber cuando
un n
umero n-mal es mayor que otro y como en el caso de los naturales podemos
usar la adicion para denir un orden, es decir. Decimos que un n
umero n-mal x es
menor o igual que otro n
umero n-mal y, lo que escribimos x y si y solo si existe
un n
umero n-mal z tal que:
x+y =z
De nuevo podemos interpretar esta denicion diciendo que un n
umero menor se
debe completar con otro para obtener el mayor.
Este criterio puede resultar sensato pero no es aplicable en todos los casos, en
particular cuando alguno de los n
umeros a comparar sea periodico.
Otra salida es utilizar el criterio lexicograco para la escritura de los n
umeros,
esto es: comparamos las partes enteras como n
umeros naturales, si una de ellas
es mayor, el problema esta resuelto; si no, comparamos las partes n-males con el
mismo criterio pero de izquierda a derecha.
23
84
El proceso de medir
Ejemplos
1. Comparemos los siguientes dos n
umeros en base 12:
6532098, 7652245677
y 6532098, 762245677.
como sus partes enteras son iguales, empezamos a comparar las cifras
n-males de izquierda a derecha y dieren en la tercera posicion siendo el
primer n
umero mayor.
Si los n
umeros son periodicos, por ejemplo:
3, 142142 . . . = 3, 142 y 3, 14251425 . . . = 3, 1425
Lo escribimos en su forma extendida y comparamos cifra con cifra, donde
aparezca primero una cifra mayor, ese es el n
umero mayor24.
Ejercicios
1. Cambian los criterios o los resultados de la comparaci
on entre dos n
umeros
n-males si cambiamos de base?
2. Proponga un criterio para comparar dos n
umeros que no tengan el mismo
n
umero de cifras n-males. Justique las armaciones que haga.
3. Haciendo los c
alculos en base 11, Para cuales valores de x se cumple que:
a) 3, 2x + 5, 9 6, 17
b)
24
85
86
Captulo
Las fracciones
5.1.
Introducci
on
0, 1
0, 1
0, 2
0, 2
en
en
en
1
en
=
2
0, 3 en
base
base
base
base
base
2
3
4
5
6
87
5.2.
Fracciones como n
umeros
1
Historicamente2 las expresiones , que llamaremos fracciones unitarias, apareciek
ron para expresar fracciones de la unidad y varias de las culturas de la antig
uedad
encontraron formas de operar con ellas, mucho antes de que los n
umeros decimales
aparecieran en escena. Por ejemplo los Egipcios representaron estas fracciones con
jeroglco escribiendo el numerador arriba con el smbolo y el denominador
abajo y con la simbologa previamente establecida para los n
umeros naturales, por
1
ejemplo lo representaban:
8
||||||||
ademas de estas, aceptaban la fraccion dos tercios la cual consideraban algo especial y la notaban . Para escribir otras fracciones las expresaban como sumas o
productos de estas.
Nuestra presentacion fue elegida en sentido contrario por razones pedagogicas;
con el proposito de utilizar los conocimientos que hemos adquirido de las bases
numericas y de trabajar en un ambiente poco utilizado en las aulas, lo que nos
1
Los Babilonios construyeron tablas de n
umeros de la forma expresando los resultados como
k
los n
umeros 60-males con nitas cifras, cuando ello era posible, o sea cuando el denominador
1 1
1
es un m
ultiplo de potencias de 2, 3 o 5. En los otros casos como ,
,
, daban valores
7 11 13
aproximados. Cuando en alg
un problema aparecan estas fracciones, el mismo factor apareca
tambien en el numerador y se cancelaban uno con el otro.
2
88
Las fracciones
permite un margen mayor en la creatividad a la hora de plantear soluciones a los
problemas propuestos y nos da nfulas de estar haciendo lo que los matematicos
hacen. (Esto u
ltimo es bueno para la autoestima).
Enseguida abordaremos las fracciones como n
umeros con los cuales se puede operar
independientemente de sus representaciones n-males.
Como ya dijimos, para representar medidas usamos n
umeros n-males; por ejemplo,
usamos bimales cuando la unidad de medida se divide a la mitad, esta a su mitad y
as sucesivamente; de esta manera, con n
umeros bimales no es posible representar
un quinto, un tercio o dos tercios de la unidad, para ello requeriramos usar n
umeros
quimales o trimales, respectivamente.
Necesitamos entonces otros n
umeros equivalentes a los n-males de tal manera
que aquellos nos permitan representar un tercio, un medio, tres quintos; etc. Sin
necesidad de recurrir a una base especca; estos n
umeros los llamamos fracciones.
Nos centraremos inicialmente en las fracciones unitarias.
Para ello, tomemos por ejemplo, AB como el segmento unidad, y C como el punto
medio de AB, as:
A
C
Figura 1
Es lo mismo armar que AC (o bien, CB) es la mitad de AB o que AB es el doble
de AC; es decir, si tengo la mitad de una cantidad y la duplico, esta es igual a la
cantidad original. Luego, la mitad de algo equivale a dividir ese algo entre
16
dos; as, la mitad de 16, la podemos representar como 16 2 o , que es igual a
2
22
que equivale a 11.
8, o en base siete como 22 2 o
2
De manera similar sucede con otras expresiones como un tercio, un cuarto, etc.
Un tercio de 45 es 15, pero que signicado le podemos asignar a la mitad de 15
o a un tercio de 16(11)?
Pensando en la division como un procedimiento entre n
umeros naturales, sabemos
que al efectuar una division entre dos n
umeros naturales, no obtenemos necesaria15 11
o
mente un natural; pero si un n
umeros n-mal, es decir que las expresiones
6
2
3
89
1
1
o como 2 o si se quiere gracamente:
2
2
C
Figura 2
Pues AC es un medio de AB.
Otras guras geometricas tambien se pueden utilizar, siempre que tengamos un
procedimiento con regla y compas para dividirlo en k partes iguales, por ejemplo
un rectangulo lo podemos dividir, dividiendo uno de sus lados y trazando paralelas
desde cada uno de los puntos determinados por esa division a uno de los lados
perpendiculares al que dividimos, por ejemplo:
X
Figura 3
la supercie sombreada en el rectangulo X es un medio de la supercie total, pues
dos de las partes sombreadas completan la unidad.
El dividendo lo llamamos numerador y lo colocamos encima de la lnea, el divisor
lo llamamos denominador y lo colocamos debajo de la lnea, por supuesto esta
ubicacion tambien es arbitraria. Los dos n
umeros son naturales y por tanto pueden
escribirse en cualquier base, obviamente, debemos escribir ambos terminos en una
sola base.
2 3
Con esta interpretacion tienen sentido tambien expresiones como y , etc. De
3 5
manera graca:
(a)
Figura 4
(b)
El n
umero colocado como subndice a la derecha de la divisi
on representa la base en la cual
estan escritos el dividendo y el divisor
90
Las fracciones
2
del rectangulo y lo coloreado en la
3
10
agono.
(3) del pent
12
Ejercicio
Escriba un metodo para dividir una circunferencia en 2, 3, 4, 5, 6, partes iguales,
usando regla y comp
as.
5.3.
1
La fraccion representa una parte de una unidad dividida en 4 partes iguales,
4
o tambien una division en cualquier base mayor que 4, por ejemplo en base 8 es
0, 2, en base 10 es 0, 25 y as sucesivamente. Pero estos n
umeros n-males pueden
2
obtenerse como resultado de otras divisiones, por ejemplo en base 8,
8 = 0, 2 lo
10
2
1
que implica que =
umero 8-mal.
8 pues representa el mismo n
4 10
Gracamente
1
8 se puede representar como:
4
1
8
4
2
Y
8 lo representamos:
10
Figura 5
2
8
10
Figura 6
91
120
10
3 y
3 son iguales?
12
221
1
on la dividimos en 2213 partes, obtene3 de la primera fracci
12
1
mos nuevas partes de tama
no
3 pero obtenemos 10 2213 partes,
12 221
10 221
10
on
alogamente
es decir, que la fraccion
3 equivale a la fracci
3 ; an
12
12 221
120
120 12
la fraccion
on
3 equivale a la fracci
3 o sea que las fracciones
221
12 221
Si cada parte
92
Las fracciones
iniciales son equivalentes si 10 2213 =120 123 , como en efecto sucede.
Abstrayendo el proceso podemos armar que en general:
a c
= ; b, d = 0 si ad = cb
b d
Y viceversa
ad cb
a c
=
y como bd = db.
Si = ; b, d = 0, tenemos que
b d
bd db
En resumen:
a c
= ; b, d = 0 si y solo si ad = cb
b d
Ejercicios
1. Supongamos que
a c
= , muestre un argumento que justique la igualdad:
b d
ab cd
=
b
d
explique gr
acamente.
2. Supongamos que
a c
= , muestre un argumento que justique:
b d
a b
=
c d
5.4.
5.4.1.
Adici
on y Sustracci
on entre fracciones
La situacion mas simple para sumar o restar fracciones se presenta cuando ellas
tienen el mismo denominador, esto es, sumar medios con medios, tercios con tercios, etc., el problema se reduce a sumar o restar los numeradores, o sea
a c a+c
+ =
b b
b
7
10
5
Por ejemplo 12+ 12= 12. la gura 7 muestra los sumandos y la gura 8 la
16
16
16
suma
Figura 7
94
Las fracciones
Figura 8
Esto es,
2
10
de la unidad dada.
12 que es equivalente a
16
3
Si las fracciones tienen distinto denominador podemos encontrar otras equivalencias con igual denominador y efectuar con ellas la adicion o la sustraccion como
acabamos de decir. Una manera para hacer esto consiste en multiplicar el numerador y el denominador del primer sumando por el denominador del segundo
sumando y viceversa, es decir:
a c ad + cb
+ =
b d
bd
No solo encontramos un procedimiento sino una formula para sumar fracciones.
Ejercicio
1. Describa otra manera para conseguir un denominador com
un entre dos fracciones dadas y aplquelo para mostrar otro metodo para sumar o restar fracciones.
2. Si formamos una sucesion de fracciones unitarias usando como denominadores a los n
umeros naturales en su orden a partir de 1, obtenemos la
conocida progresi
on arm
onica:
1 1 1 1
, , ,
1 2 3 4
Sume los dos primeros terminos, los tres primeros y as sucesivamente5
3. Si formamos una sucesion de fracciones unitarias usando como denominadores a las potencias de 2 en su orden a partir de 1, obtenemos otra
sucesi
on:
1 1 1 1
, , ,
1 2 4 8
Sume los dos primeros terminos, los tres primeros y as sucesivamente. La
suma dejar
a de crecer a partir de alg
un termino de la progresi
on?
5
En la antig
uedad se crea que esta suma con innitos sumandos tena un valor determinado,
pero uno de los Bernoulli demostr
o en el siglo XVIII que no es as.
95
1
2
1
3
1
4
1
5
1
6
1
7
1
8
1
9
1
2
1
6
1
12
1
20
1
30
1
42
1
56
1
72
1
90
1
3
1
12
1
30
1
60
1
105
1
168
1
252
1
360
1
4
1
20
1
60
1
140
1
280
1
504
1
840
1
5
1
30
1
105
1
280
1
630
1
1260
1
6
1
42
1
168
1
504
1
1260
1
7
1
56
1
252
1
840
1
8
1
72
1
360
1
9
1
90
1
10
1
10
Enuncie algunas regularidades.
5. Retomemos6 el problema egipcio de representar toda fracci
on como la suma
6
Las ideas centrales de este desarrollo son de Milton . . . estudiante de la Universidad Pedag
ogi-
96
Las fracciones
de fracciones unitarias.
a
Una primera observaci
on, inmediata y un poco obvia, es que toda fracci
on
b
con b = 0, se puede representar de manera inmediata
como
suma
de
frac
a
a
1
, y por lo tanto es la
ciones unitarias usando el hecho de que = a
b
b
b
1
suma a sumandos iguales a . Pero esto no debe ser lo que buscamos!
b
3
Veamos otras posibilidades; por ejemplo, para la fracci
on , tenemos que
7
1 1 1
+ +
7 7 7
1
1
1
+
+
3 11 231
1
1
1
+ + ,
35 3 15
1
1
1 1
+ +
+
4 8 28 56
son expresiones v
alidas, o sea que hay varias formas posibles para escribir
una fracci
on como suma de fracciones unitarias, cu
antas en cada caso?
6. La primera parte del papiro Rhind nos ofrece una tabla de las combinaciones
de fracciones unitarias necesarias para construir todas las fracciones que se
obtienen al dividir 2 por un n
umero impar entre 3 y 101.
El comienzo de esa tabla es:
2
= .
3
1
2 1
= +
5 3 15
1
2 1
= +
7 4 28
Una luz sobre el metodo esta en la siguiente secuencia
5 1
= +x
9 2
ca Nacional, basado en la lectura de SNAPE,C ;SCOTT H. Puzzlez, mazes and numbers, 1995,
p.p. 7-29.
97
5.4.2.
3 4 5
, , para k 1.
k k k
Multiplicaci
on entre fracciones
1
1
1
1
1
101
1
=
+
+
+
+
=
11 11 11 11 11 11
11
1
101 101 1
=
=
.
11
11
11
1 1 1 1 3 31
= + + = =
2 2 2 2 2
2
98
Las fracciones
2
3
3
3
11 2 3
=
+
=
=
10 10 10 10
10
b ab
b b b
= + + + =
c c c
c
c
es decir que:
a veces
Figura 9
y pintemos la mitad de cada parte; esto es:
Figura 10
99
Figura 11
la mitad de dos tercios es:
Figura 12
o sea
1
2
o lo que es lo mismo .
6
3
3 1
Y si hacemos ; es decir dos tercios de un medio; primero consideramos un
2 2
medio:
Figura 13
y tomamos dos tercios de ese medio; as:
100
Las fracciones
Figura 14
el resultado es de nuevo
2 1
o .
6 3
Figura 15
El rectangulo queda dividido en 35 partes y el producto de las dos fracciones es
12
12 de las 35 partes; o sea ; de esta manera:
35
4 3 12
=
7 5 35
Y, obviamente!,
3 4 12
=
.
5 7 35
Otro ejemplo:
7 8 56
=
4 3 12
gracamente:
101
8/3
9
1/72
8
Observando los resultados anteriores podemos conjeturar que:
a c ac
=
b d bd
Ejercicio
1. Explique el resultado del u
ltimo ejemplo
2. En el a
no 1700 antes de Cristo, un sacerdote egipcio llamado Ahmes escribi
o un papiro7, Orientaciones para conocer todas las cosas oscuras, en
el aparece un problema que consiste en escribir toda fracci
on cuyo numerador
sea 2 y denominador sea impar, como la suma de las fracciones que tengan
numerador 1, uno de ellos es
2 1 1
= +
3 2 6
A partir de aqu, podemos conseguir otros, por ejemplo:
2 1
1 1
1 1
=
+
3 5
2 5
6 5
de donde
1
1
2
=
+
15 10 30
Ahmes encontr
o que
1
1
1
1
2
=
+
+
+
29 24 58 174 232
proponga una explicaci
on
7
102
Las fracciones
3. Los papiros egipcios, que se han encontrado, contienen problemas enunciados
verbalmente cuyas soluciones se presentan como una secuencia de instrucciones para realizar procedimientos aritmeticos, pero no presentan explicacion
2
alguna. El problema 31 del papiro de Ahmes, dice: Una cantidad; sus , su
3
1
1
, su , su totalidad asciende a 33. Proponga un algoritmo que resuelva el
2
7
problema.
4. Siguiendo con Ahmes, para calcular cinco n
umeros en progresi
on aritmetica,
tales que suma sea 100, elige la diferencia d de la progresi
on de manera que
1
sea igual a 5 veces el termino menor, y toma tal termino menor igual a 1,
2
con lo que obtiene la progresi
on
1
1
1, 6 , 12, 17 y 23
2
2
Pero estos n
umeros s
olo suman 60 y los n
umeros buscados deben sumar 100.
Ahmes multiplica entonces cada uno de los terminos por
5 100
=
3
60
Este procedimiento es conocido como regula falso, o regla de la falsa
posici
on.
Use la regla de la falsa posici
on para encontrar 7 n
umeros que formen una
progresi
on aritmetica de la forma que su suma sea 150. Podemos resolver
el mismo problema pero con la condici
on de que el producto sea un n
umero
dado?Y si cambiamos la progresi
on aritmetica por geometrica?
5. Los egipcios tambien calcularon el volumen de un tronco de pir
amide de 6
como altura vertical por 4 en la base por 2 en el extremo superior as: Tienes
cuadrar este 4, resultando 16. Tienes que doblarlo, resultando 8. Tienes que
cuadrar 2, resultando 4. Tienes que sumar el 16, el 8 y el 4, resultando 28.
Tienes que tomar 1/3 de 6 resultando 2. Tienes que tomar 2 veces el 28
resultando 56.Expresa lo anterior con una f
ormula
6. Unos de los teoremas m
as bellos de las Matem
aticas dice que : Todo n
umero
mayor que 77 se puede descomponer en suma de naturales tales que la suma
de sus recprocos8 es 1. Escriba algunos ejemplos.
8
1
Si k es un n
umero natural, su recproco es el n
umero n-mal .
k
103
Si en alguna base
1
1
32 = 5 Cuanto es 10 en esa base?
4
3
9. Si en una fabrica se empacan m frascos por minuto y se llena una caja con
n frascos,Cu
antas cajas se llenan en una hora?
a)
m
60n
b)
n
60m
c) 60mn
d)
60m
n
e)
60n
m
y2
8
y
a) 1
11.
b) 2
c) 4
d) 6
e) 7
b) 0,03
c) 0,3
d) 3
e) 30
12. Cada uno de los cinco cuadrados siguientes tiene lados iguales a 4n y se han
subdividido cada uno en cuadrados congruentes Cu
al es la cuarta parte de
la suma de los permetros de los cuadrados peque
nos?
13. Si 5a + 2b = 11 y 4a + 3b = 4 entonces, cu
al es el valor de a b?
9
104
Las fracciones
5.4.3.
Divisi
on entre fracciones
Asociar a al division entre fracciones situaciones intuitivas es algo complejo; de hecho; algunos autores10 aseguran que no existen tales procedimientos. Sin embargo,
hasta ahora nuestro proposito ha estado centrado en encontrar signicados intuitivos a las operaciones entre fracciones con la ayuda de situaciones geometricas;
as iniciemos interpretando que signica, por ejemplo, dividir un n
umero natural
1
entre una fraccion; por ejemplo, que signica 3 .
2
Representemos esta operacion de manera graca:
Divididas
por la mitad
3 unidades
De esta manera
3
Ahora asignemos signicado a
La mitad de la
unidad
6 unidades
6 32
1
=6= =
2
1
1
1
3
2
Dividida
en tres
Un sexto de
la unidad
Luego,
1
1
1
3= =
2
6 23
Y ahora dividir dos fracciones, por ejmplo si queremos dividir11
1 5
2 3
10
11
105
pintamos
5
3
1
debemos repartir en 5 casillas, pero en la forma que tiene no es posible, entonces
2
escogemos una fraccion que sea su equivalente, pero que si se pueda repartir en 5
5
grupos como , ponemos uno de estos decimos en cada casilla, y miramos lo que
10
3
le corresponde a la unidad. Esto es .
10
Para la division
5 1
1
, pintamos y como solo tenemos una casilla a llenar colo3 2
2
5
en ella y nos preguntamos cuanto le toca a la unidad, obviamente el
3
10
doble es decir .
3
camos los
Con lo anterior, podemos conjeturar que para dividir dos fracciones multiplicamos
el numerador de la primera fraccion con el denominador de la segunda; este sera el
numerador del cociente; luego, multiplicamos el denominador de la primera fraccion
con el numerador de la segunda; este es el denominador del cociente; es decir:
a c ad
=
b d bc
Ejercicios
1. Efect
ue:
a)
b)
2 2
en base nueve.
5 3
10 12
en base siete.
3
4
2. Los n
umeros entre el 0 y el 10 puede expresarse en terminos de ellos mismos
usando operaciones aritmeticas y s
olo tres treses, por ejemplo:
106
Las fracciones
0 = 3! 3 3
1 = 3(33)
3+3
3
33
3=
3
2=
escriba los n
umeros del 5 hasta el 10. Es posible pasar del n
umero 10 con
operaciones elementales?
El problema es el mismo con cinco cincos?,con seis sises?, etc.,en otras
bases?
3. Un error com
un en los estudiantes escolares es hacer simplicaciones de la
forma:
16 1
=
64 4
AB
A
= ?, donde AB es la
BC
C
notaci
on posicional en base k y no el producto A B
Para que valores de A, B y C se tiene que
107
5.4.4.
Potenciaci
on y radicaci
on entre fracciones
Ya hemos estudiado algunas de las operaciones entre fracciones, tales como la adicion, la sustraccion, la multiplicacion y la division. Tratemos ahora, la potenciacion
y su relacion con la radicacion. Recordemos en que consiste la primera operacion
entre n
umeros naturales.
Dados dos n
umeros, uno llamado base y el otro, denominado exponente, se repite
la base el n
umero de veces que indique el exponente y se multiplican entre s, as:
an = a
a
a
n veces
Podemos copiar esta denicion a las fracciones siempre que el exponente sea un
n
umero natural, por ejemplo, en base cinco:
3
10 10 10 1000
10
=
=
2
2
2
2
13
o bien, podramos tambien extender la propiedad distributiva de la potenciacion
con respecto a la division para n
umeros naturales, a los casos en que la division
no sea un n
umero natural e interpretar la operacion como:
3
(10)3 10 10 10 1000
10
=
=
=
2
(2)3
222
13
Y el resultado coincide, lo que nos lleva a proponer que:
n
a a a a an
a a
a
= n;
= =
b
b
b b b
b
b b
n veces
donde a, b y n son n
umeros naturales y b = 0.
Estudiemos ahora el problema de interpretar la potenciacion cuando el exponente
es una fraccion, por ejemplo, que signica 111/3 7 ? No puede ser repetir 1/3 de
veces 11 y multiplicar!
Pongamosle un nombre a nuestro problema; digamos que 111/3 = x, entonces si
los dos n
umeros son iguales sus cubos12 tambien son iguales
1/3 3
= x3
11
12
Hasta ahora es valido que cada una de las operaciones que hacemos con cada par de n
umeros
da un resultado u
nico, por eso el razonamiento es valido.
108
Las fracciones
Y si suponemos que las propiedades de la potenciaci
para
umeros naturales
3 los n
on 1/3
1/33
= 11
= 11, luego:
se valen tambien para las fracciones, tenemos que: 11
11 = x3
Pero esta es una situacion que ya conocemos y que podemos escribir de otra forma:
3
x = 11 = 27
Este ejemplo nos permite conjeturar que:
1
A4
3/4
=
1
A4
31/4
1 3
1
llamando a =
y n = ; entonces:
A4
4
3/4 3
4
1
1
1
1
1
1
4
4
=
=
=
= 12
=
4
4
A4
A4
2454
2454
84 8
am/n = n am ; n = 0
En resumen:
a = b1/n es equivalente a escribir a =
n
b y a an = b, si n = 0
Y en general:
an = bm es una expresion equivalente a a = bm/n y a a =
n
bm ; si n = 0
Ejercicios
1. Si a, b representan fracciones x, y, n representan n
umeros naturales enuncie
un argumento que justique las siguientes propiedades de la potenciaci
on y
la radicaci
on.
1. ax ay = ax+y
ax
2. y = axy (si a = 0 y y)
a y
3. ax = axy
x
4. a b = ax bx
5. n (a b) = n a n b
n
a
n a
=
6.
n
b
b
n m
m/n
7. b
= b n = 0
2. Justique el siguiente procedimiento
1/2
1
1
1
= =
0, 20,5 =
5
5
5
5.4.5.
Logaritmaci
on entre fracciones
2
=x
3
110
Las fracciones
e interpretamos como en los n
umeros naturales, estamos interesados en buscar x
2
tal que 3x = . De nuevo, como en el caso de los cubos, armamos que si dos
3
n
umeros son el mismo tienen el mismo logaritmo, es decir que
2
3
x = log3 2 log3 3
x = log3 2 1
log3 3x = log3
As:
p
con
q
3q = 2
3p = 2q
pero no existen dos n
umeros naturales p y q que satisfagan la anterior igualdad.
umero
Por que?. Concluimos entonces que log3 2 no es una fraccion; que clase de n
es?, no lo sabemos a
un, trataremos de darle solucion a esto mas adelante.
Intente realizar otros logaritmos donde intervengan fracciones y analice que sucede.
5.5.
Otra representaci
on de las fracciones
CARO, V; Los n
umeros: Su historia, sus propiedades, sus mentiras y verdades, Minerva,
Bogota, 1936, p. 19.
14
Esta condicion es usual pero no es necesaria, las dos rectas pueden formar un angulo
cualquiera y las conclusiones no cambian.
111
K
B
0 1 2 3 4 5 6 7 8 9 1011121314151617181920
De esta manera, los puntos al interior del cuadrado (que tiene como lados OA
y OB) representan las fracciones que pueden formarse con los veinte primeros
n
umeros naturales, combinandolos de dos en dos.
Si suponemos que cada punto esta unido al vertice O por un segmento de recta,
3
la fraccion esta representada por el segmento OM. Si se prolonga el segmento
8
3
OM se hallaran puntos que representan la misma fraccion , cuyo numerador y
8
denominador se encuentran multiplicados por el mismo n
umero natural. El punto
M que pertenece al segmento prolongado y es el punto mas cercano a O, representa
la fraccion en su forma mas sencilla, pues este es irreductible, su numerador y
denominador son primos relativos.
112
Las fracciones
Ejercicios
1. Cuales fracciones, cuyas cifras no excedan en 10, se hallan comprendidas
3
2
entre y ?
4 11
2. Puede trazarse una recta que partiendo del origen se extienda indenidamente sin tocar en su trayectoria un solo punto del cuadrado extendido tambien indenidamente? Si es as, encuentre una Cu
antas rectas de estas existen?
3. Estudia, con base en el cuadro, las operaciones entre fracciones.
5.6.
2 10
=
7 35
como
21 10
>
entonces
35 35
3 2
>
5 7
si y solo si ad bc
b d
113
114
Captulo
6.1.
Introducci
on
m
la escribimos como un par de n
umeros naturales m, n con la
n
115
a
con b = 0 es equivalente a la
b
m
con n = 0 cuando m b = n a y escribimos
n
(m, n) (a, b) si y solo si m b = n a
pues m n = n m
El conjunto de los N
umeros Racionales
Si (m, n) (a, b) y (a, b) (c, d) entonces, por la primera equivalencia
m b = n a y por la segunda a d = b c; multiplicando la primera
igualdad por d, obtenemos
(m b) d = (n a) d = n (a d) = n (b c)
donde hemos aplicado la propiedad asociativa de la multiplicacion de n
umeros
naturales y reemplazado a d por su igual. Esto implica que m d = n c
por la propiedad cancelativa de la multiplicacion entre n
umeros naturales, lo
que signica que (m, n) (c, d).
Cada clase de equivalencia de esta relacion es lo que hemos llamado un
n
umero racional, al conjunto de todos los n
umeros racionales lo notamos Q
(de la palabra inglesa Quotient).En la gura se representan algunas de estas
clases.
[(1,3)]
[(1,2)]
[(1,1)]
(3,9)
[(2,1)]
(4,8)
(2,6)
[(3,1)]
(3,6)
(5,5)
(10,5)
(2,4)
(8,4)
(12,4)
(1,3)
(3,3)
(9,3)
(1,2)
(4,2) (6,2)
(1,1)
(3,1)
(2,1)
6.2.
Operaciones entre n
umeros racionales
6.2.1.
Adici
on
117
6.2.1.1.
Debemos demostrar que para todo [(a, b)], [(c, d)], [(e, f)] Q, tenemos que:
{[(a, b)] [(c, d)]} [(e, f)] = [(a, b)] {[(c, d)] [(e, f)]}
Prueba. Iniciemos con el primer lado de la igualdad
{[(a, b)] [(c, d)]} [(e, f)] = [(ad + bc, bd)] [(e, f)]
= [((ad + bc)f + bde, bdf)]
Por la denicion de
adicion en Q.
Por la denicion de
adicion en Q.
Por la denicion de
adicion en Q.
= [(a, b)] {[(c, d)] [(e, f)]} Por la denicion de
adicion en Q.
Por ahora debemos colocar un smbolo distinto para indicar la suma de dos n
umeros
racionales puesto que el smbolo + lo usamos para sumar n
umeros naturales y no tienen el
mismo signicado. Sin embargo luego usaremos el mismo cuando no genere confusi
on.
4
LUQUE C, PAEZ J, MORA L; Actividades matem
aticas para el desarrollo de procesos l
ogicos. Universidad Pedag
ogica Nacional.Ediciones Antropos, 2002.
118
El conjunto de los N
umeros Racionales
6.2.1.2.
En los n
umeros racionales tambien existe un n
umero que act
ua como elemento
identico para la adicion, es decir un elemento [(x, y)] Q, tal que al sumarlo con
cualquier otro n
umero racional [(a, b)], nos da como resultado el mismo n
umero
racional [(a, b)]; o sea:
[(a, b)] [(x, y)] = [(a, b)]
para encontrarlo, asumamos que la anterior igualdad se cumple; esto es lo mismo
que
[(ay + bx, by)] = [(a, b)]
por la denicion de adicion en Q. Para que las dos familias sean iguales, se requiere
que
(ay + bx)b = bya
y si aplicamos las propiedades distributiva de la multiplicacion con respecto a la
adicion, conmutativa y cancelativa de la adicion entre n
umeros naturales, encontramos que x = 0. Reemplazamos este valor en la ecuacion anterior vemos que y
puede tomar cualquier valor diferente de 0 en los n
umeros naturales. Es decir que
el modulo o elemento identico para la suma de n
umeros racionales es:
[(0, y)]
Debemos resaltar que a pesar de que el n
umero y no esta jo, la familia [(0, y)] si
es u
nica.
6.2.1.3.
6.2.1.4.
El conjunto de los N
umeros Racionales
6.2.2.
Multiplicaci
on
6.2.2.1.
Las demostraciones de las propiedades de las multiplicacion son mas rapidas que
las de la suma porque se derivan casi inmediatamente de las de la multiplicacion de
los n
umeros naturales, por ejemplo para demostrar que para los n
umeros racionales
[(a, b)], [(c, d)], [(e, f)] cualesquiera se cumple que:
{[(a, b)] [(c, d)]} [(e, f)] = [(a, b)] {[(c, d)] [(e, f)]}
Prueba. Basta aplicar la denicion de multiplicacion para obtener:
{[(a, b)] [(c, d)]} [(e, f)] = [(ac, bd)] [(e, f)]
= [((ac)e, (bd)f)]
y al aplicar la propiedad asociativa de la multiplicacion de n
umeros naturales:
= [(a(ce), b(df))]
para obtener el resultado deseado
= [(a, b)] {[(c, d)] [(e, f)]}
6.2.2.2.
Para la multiplicacion de n
umeros racionales tambien existe un n
umero que act
ua
como elemento identico, es decir un elemento [(x, y)] Q, tal que al multiplicarlo
5
Como en la adici
on, tambien en la multiplicaci
on de n
umeros racionales usaremos un smbolo
diferente para indicarla.
121
6.2.2.3.
El conjunto de los N
umeros Racionales
entonces podemos concluir que
[(x, y)] =
1
[(c, d)]
[(a, b)]
1
en un n
umero racional asociado a cada n
umero racional
[(a, b)]
[(a, b)] = [(0, y)] por la condicion:
donde
1
[(a, b)] = [(x, x)] = [(1, 1)]
[(a, b)]
esta condicion obliga a que
1
= [(b, a)], puesto que
[(a, b)]
6.2.2.4.
Definici
on de Divisi
on de n
umeros racionales
Si [(c, d)] es un n
umero racional diferente de [(0, y)] y [(a, b)] es un n
umero racional
cualquiera denimos la division [(a, b)] entre [(c, d)] mediante:
[(a, b)] [(c, d)] = [(a, b)]
y como
1
[(c, d)]
1
= [(d, c)] entonces
[(c, d)]
[(a, b)] [(c, d)] = [(a, b)] [(d, c)] = [(ad, bc)]
Ejercicio
Demuestre que la division de n
umeros racionales no es asociativa, ni tiene elemento
identico, ni es conmutativa; pero si es distributiva a izquierda pero no a la derecha
con respecto a la suma y a la resta de n
umeros racionales; esto u
ltimo signica
que
Dados [(a, b)], [(c, d)] y [(e, f)] n
umeros racionales se cumple que:
{[(c, d)] [(e, f)]} [(a, b)] = {[(c, d)] [(a, b)]} {[(e, f)] [(a, b)]}
123
pero
x
x x
= +
y+z
y z
6.2.2.5.
6.2.2.6.
El conjunto de los N
umeros Racionales
Por la denicion de igualdad de n
umeros racionales es lcito multiplicar ambas
componentes por un n
umero cualquiera b y aplicando las propiedades conmutativa
y asociativa de la multiplicacion de n
umeros naturales, obtenemos:
= [(ac, bd)] [(ae, bf)]
6.2.3.
Por la denicion de
adicion en Q.
Potenciaci
on de n
umeros racionales
6.2.3.1.
Propiedades de la Potenciaci
on
Si n m
Ejercicio
Demuestre las propiedades de la potenciaci
on enunciadas anteriormente.
Mostraremos enseguida argumentos para sostener la armacion inicial de que la
potenciacion, denida de la misma forma y con las mismas propiedades que la que
hemos denido para exponentes naturales, no es en general un n
umero racional;
125
k [(1,2)]
[(2,1)]
= k [(2,2)] = k 1 = k
6.3.
si y solo si
126
ad bc
El conjunto de los N
umeros Racionales
1. Reflexiva: Para todo n
umero racional [(a, b)] se cumple que [(a, b)] [(a, b)]
Prueba. Por la propiedad conmutativa de la multiplicacion entre n
umeros naturales y la propiedad reexiva del orden entre n
umeros naturales tenemos
que ab ba y por la denicion de orden entre n
umeros racionales se tiene
que [(a, b)] [(a, b)].
2. Antisim
etrica: Dados dos n
umeros racionales cualesquiera [(a, b)] y [(c, d)],
si se cumple que [(a, b)] [(c, d)] y tambien se cumple que [(c, d)] [(a, b)]
entonces debe cumplirse que [(a, b)] = [(c, d)].
Prueba. Si se cumple que [(a, b)] [(c, d)] entonces ad bc, y si ademas
se cumple que [(c, d)] [(a, b)] entonces cb da, pero por la propiedad
conmutativa de la multiplicacion de n
umeros naturales y por la propiedad
antisimetrica del orden de los n
umeros naturales concluimos que ad = bc y
por lo tanto [(a, b)] = [(c, d)], lo que concluye la demostracion.
3. Transitiva: Dados n
umeros racionales cualesquiera [(a, b)], [(c, d)] y [(e, f)],
si se cumple que [(a, b)] [(c, d)] y tambien se cumple que [(c, d)] [(e, f)]
entonces debe cumplirse que [(a, b)] [(e, f)].
Prueba. Si se cumple que [(a, b)] [(c, d)] entonces ad bc, y si ademas se
cumple que [(c, d)] [(e, f)] entonces cf de, usando las propiedades:
Si a b y d c
Si ab cb
entonces
entonces
ad bc
ac
Ejercicio
1. Demuestre la propiedad de monotona del orden de n
umeros racionales para
la multiplicaci
on, esto es que: Dados dos n
umeros racionales cualesquiera
[(a, b)] y [(c, d)], si se cumple que
[(a, b)] [(c, d)]
y tambien se cumple que
[(e, f)] [(g, h)]
entonces debe cumplirse que
[(a, b)] [(e, f)] [(c, d)] [(g, h)]
128
Captulo
La construccion de los n
umeros racionales a partir de los n
umeros naturales que
hemos presentado se puede repetir utilizando los n
umeros recien construidos,
porque como vimos los n
umeros racionales tienen las mismas propiedades que
las que usamos de los naturales para la construccion de los n
umeros racionales, el
resultado ser
a unos n
umeros racionales cuyo primera y segunda componentes sean
n
umeros racionales, con esto obtenemos expresiones de la forma:
a
b
c
d
que pueden ser interpretadas como la division de dos n
umeros racionales con lo
que obtenemos otro n
umero racional y no logramos nada nuevo.
Sin embargo, existe un tipo especial de fracciones cuyos terminos son fracciones
que permiten observar regularidades de los n
umeros racionales, pero sobre todo
porque nos permiten manejar unos nuevos n
umeros que no son racionales y que
seran el objeto de estudio de nuestro proximo captulo.
129
7.1.
Una fracci
on continua es una expresion de la forma:
b1
a1 +
b2
a2 +
a3 +
b3
a4 +
Pero,
1
53
= 2+
20
20
13
20
7
= 1+
13
13
Los pitag
oricos aproximaban las races cuadradas inexactas (n
umeros irracionales) por medio
de fracciones continuas. En 1613, Catald las estudi
o. En 1572, Bombelli aproxim
o las races
cuadradas por medio de fracciones continuas y en 1658, Brouncker encontr
o una expresi
on para
4
en fracci
on continua innita. El primer estudio sistem
atico sobre las mismas se debe a Euler,
que lo realiz
o en 1837.
130
1
1+
7
13
1
1
1+
1+
1
1+
1
6
Ejercicios
19 12 39
, , ,. La
7 12 5
fracci
on continua correspondiente a una fracci
on dada es u
nica?Que relacion existe entre las fracciones continuas correspondientes a diferentes representaciones de un mismo n
umero racional?
1
1
1+
1+
1
6
Esta es una fraccion continua simple, cuyo primer termino es cero (de acuerdo a
la forma general de una fraccion continua; a1 = 0)
1+
1
2+
1
1+
1
6
Todo n
umero racional puede ser expresado
mediante una fracci
on continua finita simple
c
Para demostrarlo supongamos que tenemos el n
umero racional , con d = 0. Por
d
el algoritmo de la division para n
umeros naturales, existen n
umeros naturales a1
y r1 tales que:
con
0 n < d,
c = da1 + r1
donde a1 es el cociente y r1 el residuo de dividir c entre d.
Si r1 es diferente de cero, reiteramos el proceso tomando como dividendo el divisor
y como divisor el residuo de la anterior division, as tenemos sucesivamente:
132
d = r1 a 2 + r2
r1 = r2 a 3 + r3
r2 = r3 a 4 + r4
..
.
rn3 = rn2 an1 + rn1
rn2 = rn1 an + rn
0 < r2 < r1
0 < r3 < r2
0 < r4 < r3
..
.
0 < rn2 < rn3
0 = rn
c
Para obtener la fraccion continua correspondiente a la fraccion , dividimos la
d
primera igualdad entre d:
r1
c
= a1 +
d
d
y las demas igualdades entre r1 , r2 , r3, . . . , rn2 y rn1 respectivamente, obteniendo:
r2
d
= a2 +
r1
r1
r3
r1
= a3 +
r2
r2
r4
r2
= a4 +
r3
r3
..
.
rn1
rn3
= an1 +
rn2
rn2
rn2
= an
rn1
Ahora debemos conseguir que el numerador de cada fraccion sea 1 y lo logramos
si dividimos su numerador y denominador entre el numerador, o sea:
r1
1
c
= a1 + = a1 +
d
d
d
r1
133
c
= a1 +
d
a2 +
a3 +
1
a4 +
1
+
an
a1 +
a2 +
a3 +
7.2.
ai > 0, i 1
1
1
a4 +
1
+
an
2+
4+
3+
1
3
No es difcil pensar en efectuar las operaciones indicadas entre las fracciones simples
que forman la fraccion continua, comenzando por la u
ltima, por ejemplo:
4+
2+
4+
3+
=2+
4+
1
4+
1
3
1
3+
= 2+
1
13
3
134
4+
= 2+
1
3+
3
13
1
4+
13
42
404
181
a1 +
b2
a2 +
a3 +
b3
a4
a1 +
b2
a2 +
a3 +
b3
a4
Toda fracci
on continua finita simple representa
un n
umero racional.
Lo anterior demuestra el teorema planteado. Tenemos entonces que una fraccion
puede ser representada por una fraccion continua simple nita y una fraccion
continua simple nita puede ser expresada como un racional, surge una pregunta
que representa una fraccion continua simple innita? Este es el tema de nuestro
siguiente captulo.
Ejercicios
Encuentre la fracci
on correspondiente a cada una de las siguientes fracciones continuas:
2
2
3
c) 5 +
b) 4 +
a) 3 +
3
2
2
6+
6+
7+
3
2
2
9+
8+
11 +
10
3
2
12 +
13 +
15
19
135
Ejercicio
Aplique este procedimiento para operar fracciones continuas sencillas y busque una
regularidad.
136
Captulo
a1 +
b2
a2 +
a3 +
137
b3
a4 +
8.1.
El n
umero de oro de las matem
aticas
1
1+
1+
1+
1
1+
8.1.1.
El descubrimiento de los n
umeros irracionales se debe a Hippasus de Metapontun de la
escuela pitagorica en el siglo V a.C. Los babilonios, egipcios, hind
ues y arabes conocieron algunos
n
umeros irracionales, pero no los reconocieron como tales, y los trabajaron con aproximaciones.
En el renacimiento los irracionales eran considerados como smbolos que no tenan existencia
independiente de las magnitudes geometricas y sus operaciones se justicaban con la teora de
las proporciones de Eudoxo. A nales del siglo XVI Sim
on Stevin reconocio n
umeros irracionales
pero los operaba con aproximaciones decimales de racionales. John Wallis en su Algebra
(1685) y
Descartes en sus Reglas para la direcci
on del espritu (1628) los aceptan como n
umeros abstractos.
138
1+
2+
2+
1
2
son:
1a reducta: 1
2a reducta: 1 +
3a reducta: 1 +
1 3
=
2 2
1
2+
1
2
7
5
4a reducta: 1 +
2+
2+
17
12
1
2
1
=2
1
1
1+
1
1
3
2
4a reducta: 1 +
1+
1
1+
5
3
1
1
139
=1
=2
3
2
5
=
3
=
..
.
an an1 + an2
=
bn
an1
a1 = 1, a2 = 2
con lo que obtenemos una formula por recurrencia para hallar el valor de la fraccion
continua cuando tiene n unos.
Una segunda vision la obtenemos expresando el resultado de cada reducta en forma
decimal:
1
1. 5
1.6
1. 6
1. 625
1. 6153846
1. 6190476
y si queremos mayor precision, calculamos terminos con n cada vez mayores, usando una computadora obtenemos:
1. 61803 39887 49894 84820 45868 34365 63811 77203 09179 80576
2
140
x=1+
1+
1+
entonces:
1
x = 1+ = 1+
x
1
1+
1
x
= 1+
1+
= 1+
1
1+
1
1 + ...
1+
1
x
1+
= 1+
1
1+
1+
1
x
1+
1+
1
x
Como la fraccion continua es innita, entonces la cola innita es igual a un pedazo
de ella!!
1
x=1+
A partir de
x
1+
1+ 5
x=
2
3
Esta expresion es conocida en matematicas como el n
umero aureo o n
umero de
4
Fibonacci y se nota com
unmente con la letra griega .
3
Este n
umero expresa un concepto de belleza en Matematicas, fue estudiado por los griegos,
los egipcios y los romanos; en particular Marcos Vitruvio Polio. Luca Paccioli, en el siglo XV,
escribio un libro sobre la Divina Proporci
on. Leonardo da Vinci y Alberto Durero la estudiaron
basados en los estudios de Fibonacci. En la epoca moderna Matila Ghyka y Gyorgy Doczi han
estudiado la aplicaci
on de la seccion aurea en la Naturaleza, las Artes y la Arquitectura.
4
El smbolo para la relaci
on aurea fue elegido por el matematico americano Mark Barr.
es la primera letra del nombre del escultor griego Phidias que sola usar la relaci
on aurea en sus
esculturas.
141
Figura 1
C
Figura 2
142
Ejercicios
1. Como la ecuaci
on que dene es
2 = + 1
si la multiplicamos por sucesivamente obtenemos:
3 = 2 +
4 = 3 + 3
...
n = n1 + n2
Es decir que la sucesion
{1, , 2 ,3 , . . . , n }
es una sucesion de Fibonacci. Demuestre que:
i. La suma de los n primeros terminos es:
+ 2 + + n = n+2 1
ii. La suma de los n primeros terminos impares es:
+ 3 + + 2n1 = 2n 1
iii. La suma de los n primeros terminos pares es:
2 + 4 + + 2n = 2n+1
2. Con base en el siguiente dibujo, construya un argumento que muestre que
es construible con regla y comp
as.
D
B
B
Figura 3
143
1
(Este re
8.2.
El n
umero
Hagamos el mismo tratamiento hecho para la seccion aurea con la fraccion continua
innita resultante de cambiar algunos unos por doses:
1
1+
2+
2+
2+
1
2 + ...
1 3
=
2 2
1
3a reducta: 1 +
2+
1
2
7
5
4a reducta: 1 +
2+
1
2+
17
12
1
2
3
2
7
5
17
12
144
41
29
99
70
239
169
1.5
1.4
1.4137931
1.416
1.4142857
1.4142011834319 . . .
Posiblemente si observamos la lista de los cuadrados de la sucesion anterior podemos establecer alguna conjetura:
Reducta (n)
1a
2a
3a
4a
5a
6a
Decimal
1. 5
1. 4
1. 416
1. 4137931
1. 4142857
Cuadrado
2. 25
1,96
2,00694
1,9988109. . .
2,00020408. . .
Ejercicio
Exprese una regularidad en la sucesi
on de las fracciones correspondientes a la
reductas de la fracci
on continua en forma de formula de recurrencia.
Utilizando el metodo del ejemplo anterior, vamos a hallar el n
umero que representa
la siguiente fraccion continua innita:
1
x=1+
2+
2+
1
2 + ...
x+1=2+
2+
1
2 + ...
1
x+1
145
Si a y b son n
umeros naturales el procedimiento conduce al maximo com
un divisor entre a
y b; es decir, que si dos segmentos tienen longitudes dadas por n
umeros naturales siempre son
conmensurables.
146
B
Figura 4
2 = 1 + ( 2 1)
Dividamos ahora el divisor anterior, que es 1, entre el residuo y obtenemos:
= 2+1
21
este resultado lo podemos escribir como:
= 2 + 1 = 2 + ( 2 1)
21
6
147
21=
2 + ( 2 1)
21=
2 + ( 2 1)
1
21=
1
2+
1
2+
2 + ( 2 1)
2+
21=
1
1
2+
2+
o sea que
2= 1+
2+
1
2+ ...
1
1
2+
1
2+ ...
2
= 1, 414213562373
o usando una computadora lo calculamos con 100 decimales correctos, el resultado
es:
1. 4142135623730950488016887242096980785696718753769480731766797379
90732478462107038850387534327641573
pero esta expresion sigue siendo solo una aproximacion.
El n
umero 2 fue manejado con buenas aproximaciones por las culturas de la
antig
uedad. Los antiguos griegos usaban:
7
2
= = 1, 4
5
Los Hind
ues dieron la aproximacion:
1
1
= 1, 416
2=1+ +
3 34
umero irracional, el
Pero ninguna de estas culturas reconocio que 2 era un n
historiador de la matematica Thomas Heath [The thirteen books of the Elements.
nala que es necesario
Volumen I. Books I y II. Reprint 1956. Dover. 432 pp.]8 se
superar tres etapas antes de que sea descubierta realmente la irracionalidad de la
diagonal de un cuadrado:
149
8.2.1.
150
Ejercicio
1. Estudie ecuaciones de Pell-Fermat con d = 3, 5, etc.
2. En la ecuaci
on
127x 52y + 1 = 0
tomemos los coecientes de x e y, formemos la fracci
on
127
52
hallemos su fraccion continua
127
=2+
52
1
1
2+
3+
1
1+
11
1
5
151
1 5
= ,
2 2
17
,
7
22
,
r4 =
9
127
r5 =
,
52
r3 =
8.2.2.
La demostraci
on cl
asica
Ya hemos visto que 2 no puede ser escrito como una fraccion por
tener asociada
una fraccion continua innita. Otra manera de demostrar que 2 no se puede
escribir como el cociente de dos n
umeros naturales la hizo Euclides, con un arma
de la l
ogica conocida como reduccion al absurdo, o prueba por contradicci
on. Este
metodo gira alrededor de la perversa idea de intentar demostrar que un teorema es
cierto asumiendo en un principio que es falso. La reducci
on al absurdo, a la que
Euclides tena tanta aci
on, es una de las armas m
as sutiles de los matem
aticos.
Se trata de una estrategia mucho m
as renada que cualquier jugada de ajedrez:
un ajedrecista se puede permitir sacricar un pe
on o incluso otra pieza, pero un
12
matem
atico arriesga la partida entera
152
con lo que
o sea que
de donde se concluye que a2 es par y por lo tanto a es par, pero como a y b son
primos relativos a debe ser impar, en conclusion a es par e impar, lo que no puede
ser.
Es curioso que los n
umeros irracionales al igual que los racionales tienen su origen
en la Geometra, lo que nos muestra que las pretendidas separaciones entre Aritmetica y Geometra pueden ser articiales. Veremos esta situacion de nuevo mas
adelante.
8.3.
El n
umero
Empecemos por calcular una fraccion continua para 3 . Sabemos que 3 debe
ser un n
umero entre 1 y 2 porque 12 = 1 y 22 = 4, es decir que
3= 1+
1
x
donde x es un n
umero mayor que 1, del que no sabemos mucho, pero que lo
trataremos como si fuera un n
umero racional. Elevando al cuadrado ambos lados
de la igualdad, obtenemos
1
2
+ 2
x x
1
x = 1+
2x
3= 1+
o sea
13
Considerando solamente n
umeros positivos.
153
3 obtenemos:
3=1+
1
1
1+
2+
1+
2+
1
1+ ...
o en forma breve
3 = [1; 1, 2]
a
3= ,
b
b = 0
(1)
a = 3n,
a2 = 9n2
3b2 = 9n2
b2 = 3n2
entonces b2 es m
ultiplo de 3, y b es m
ultiplo de 3.
Como a y b son m
ultiplos de 3 , entonces entre 1 a
y b existen divisores diferentes
de uno, lo que contradice nuestra hipotesis. Luego 3 no es racional.
8.4.
Los n
umeros
Ejercicios
Supongamos que p es un n
umero racional, entonces existen a, b N con b = 0
14
y (a, b) = 1 tales que:
a
p=
b
14
155
a2
b2
a2 = pb2
luego
ultiplo de p
a2 es m
a2 = kp
a2 = (kp)2 + 2(kp) + 1
= p(k 2 p + 2k) + 1
no es m
ultiplo de p, lo que contradice la hipotesis.
Si a = kp + 2 entonces
a2 = (kp)2 + 4(kp) + 4
= p(k 2 p + 4k) + 4
no es m
ultiplo de p, lo que contradice la hipotesis.
As sucesivamente hasta
a = kp + (p 1) entonces
a2 = (kp + (p 1))2
= k 2 p2 + 2kp(p 1) + (p 1)2
= k 2 p2 + 2kp(p 1) + p2 2p + 1
= p(k 2 p + 2k(p 1) + p 2) + 1
no es m
ultiplo de p, lo que contradice la hipotesis.
Por lo tanto a = kp y
a2 = p2 k 2
reemplazando esta igualdad en la tercera obtenemos que
p2 k 2 = pb2
156
1
5=2+
1
4+
1
4+
4+ ...
1
7=2+
x
4
1
7=4+ + 2
x x
1
3x = 4 +
x
1
4
x= +
3 3x
(2)
Reemplazamos x en (2)
7=2+
7=2+
7=2+
1
1
4
+
3 3x
1
1
4
+
3
4
1
3
+
3 3x
1
4
+
3
1
4+
157
1
4
+ ...
3
7= 2+
4+
4+
3
4 + ...
Ejercicios
1. Encuentre los n
umeros irracionales correspondientes a las fracciones continuas: [1; 3] y [2; 13].
7 = [2; 3; 4; 3; 4; 3; 4; . . .]
Para 8 obtenemos:
8 = [2; 1, 4, 4, 4, . . .]
o en forma resumida
8 = [2; 1, 4]
Si p es un n
umero natural que no es un cuadrado perfecto, entonces la fraccion
1
x
p = a+
2a
1
+
p a2 (p a2 )x
158
Ejercicios
1. Demuestre que el n
umero irracional asociado con una fracci
on continua innita peri
odica de la forma [1; k] es:
k 2 + 4 (k 2)
2
2. Demuestre que el n
umero irracional asociado con una fracci
on continua innita peri
odica de la forma [j; g] es:
[j; g] = (j 1) + [1; g]
Este teorema es un caso particular de uno debido a Lagrange15 que establece: La
fraccion continua asociada a un n
umero irracional x es periodica si y solo si x es
solucion de una ecuacion de segundo grado con coecientes naturales16 ; usualmente
a estos n
umeros se les llama n
umeros irracionales cuadr
aticos.
15
159
8.5.
8.5.1.
Operaciones entre n
umeros irracionales cuadr
aticos
Adici
on
Como en todos los casos que hemos estudiado, nos interesaremos ahora en la forma
de operar n
umeros irracionales, y como en otros casos abordaremos el problema
por partes. Iniciemos con el problema de sumar n
umeros naturales con irracionales
cuadraticos.
Cuando sumamos un n
umero natural n con una fraccion continua de la forma [1; k]
obtenemos
n + [1; k] = [n + 1; k]
por que la primera cifra representa la parte entera de la fraccion continua, as tenemos tambien que:
n + [p; k] = [n + p; k]
Con esto demostramos que la suma de un n
umero natural con un irracional es
un n
umero irracional pues al sumarlos obtenemos una fraccion continua innita y
por lo tanto existen innitos n
umeros irracionales por cada n
umero natural; antes
habamos probado que exista por lo menos uno.
En general podemos armar que la suma (y la resta) de un n
umero racional r con
un irracional i debe dar como resultado un n
umero irracional s , por que si no
fuera as y s fuera racional, la resta de s i (o la suma) sera irracional, y hemos
demostrado antes que la suma (o resta) de dos racionales es racional.
Veamos ahora como sumar dos irracionales cuadraticos, por ejemplo para sumar:
3 + 12
podemos reducir el problema, utilizando las propiedades de la radicacion de los
n
umeros racionales
3 + 12 = 3 + 4 3 = 3 + 2 3 = 3 3
pero esto solo vale en algunos casos. Una manera general la propusieron los Hind
ues17
en la siguiente forma:
3 + 12 = (3 + 12) + 2 3 12
17
El Hind
u Bhaskara lo dijo as: la suma de dos n
umeros irracionales es el mayor n
umero irracional que sea dos veces su producto al menor de ellos. La suma y la diferencia se efectuar
a como
si fueran n
umeros enteros.
160
o lo que es lo mismo
3+
12 =
27
3 + 12 = 3 3
p+
q=
(p + q) + 2 pq
denir
2
+
2.
Podemos
iniciar
diciendo
que
es
la
fracci
o
n
continua
de
2
2
por ejemplo
8.5.2.
Multiplicaci
on
3 2 = 9 2 = 18
18 = [4; 4, 8, 4, 8, 4, 8, 4, . . .]
tenemos que
3 [1; 2] = [4; 4, 8]
4 2 = 16 2 = 32
161
32 = 5 +
7
7
10 +
10 +
7
10 + . . .
2. Como
Procuremos
una
expresi
o
n
general
para
expresiones
de
la
forma
n
1
2n2 = a +
x
(3)
1
2a
+ 2
x
x
1
x2
1
2a
+
2
2
a
(2n a2)x
2n2
n 2=k+
1
2k
+
k2
2n2
1
2n +
1
1
2k
+
2
k
2n + . . .
2n2
o en forma resumida:
n 2 = k;
2k
2k
, 2n;
, 2n;
2
2
2
(2n k )
(2n k 2 )
162
2 = [1; 2, 2, 2, 2, . . .] = 12 + 1 = [1; 2 1, 2 1, 2 1, . . .]
5 = [2; 4, 4, 4, . . .] = 22 + 1 = [2; 2 2, 2 2, 2 2, . . .]
10 = [3; 6, 6, 6, 6, . . .] = 32 + 1 = [3; 2 3, 2 3, 2 3, . . .]
17 = [4; 8, 8, 8, 8, . . .] = 42 + 1 = [4; 2 4, 2 4, 2 4, . . .]
De donde conjeturamos que
Ejercicios
1. Calcule la fraccion continua para
a2 + 1 suponiendo que
1
a2 + 1 = a +
x
para alg
un n
umero x mayor que 1, que suponemos se comporta como un
n
umero racional.
1
a2 1 = a
x
para alg
un n
umero x mayor que 1, que suponemos se comporta como un
n
umero racional.
163
a2 b
Las observaciones precedentes nos permiten denir una manera exotica de multiplicar un n
umero natural por una fraccion continua, denida esta como la multiplicacion del n
umero natural por los ai, i 1 de la fraccion continua, notemos
esta operacion con un smbolo diferente, por ejemplo , as:
2 2 = 5
2[1; 3] = [2; 6]
2[1; 4] = [2; 8]
las dos u
ltimas igualdades, tambien las podemos expresar como:
13 1
2
= 10 1
2
2(1 + 5) = 17 2
respectivamente.
Ejercicios
1. Demuestre que
2
k +4k+2
2[1; k] = [2; 2k] es lo mismo que 2
= k 2 + 1k+2.
2
2. Demuestre que
(nk)2 + 4 nk + 2
+ (n k)
2
umeros irracionales.
7. Demuestre que 6 y 2 + 3 son n
164
8.6.
Extensiones cuadr
aticas de los n
umeros racionales
3 2+5 2 =8 2
y que
2
4 2 7 2 = 28 2 = 28 2 = 56
En general
si a y b son n
umeros racionales entonces los n
umeros de la forma
Para encontrar un n
umero x+y 2 que sea elemento identico para la multiplicacion
debemos resolver la ecuacion:
a+b 2 + x+y 2 =a+b 2
o lo que es lo mismo resolver las ecuaciones simultaneas:
ax + 2by = a y ay + bx = b
cuyas soluciones son
x=1 y y=0
es decir, que el elemento identico para la multiplicacion es
1+0 2
2 diferente
Como sucede
en
los
n
u
meros
racionales,
cada
n
u
mero
de
la
forma
a+b
Ejercicios
a
b
= 2
+
2
a + b 2 a 2b2 a2 2b2
1
Naturalmente que 2 nada tiene de especial con respecto a las demas races de
n
umeros naturales que no sean cuadrados perfectos y podemos repetir la cons
truccion utilizando cualquier otra raz p, de manera que p no sea un cuadrado
perfecto, deniendo la suma:
a+b p + c+d p = a+c + b+d p
y la multiplicacion:
2
+ ad + bc p
a + b p c + d p = ac + bd p
= ac + pbd + ad + bc p
166
las de los n
umeros racionales son una copia de las ya consideradas para 2.
umeros racionales y
Al conjunto de los n
umero de la forma a + b p, con a, b n
p un n
umero natural que no sea cuadrado
perfecto,
lo
llamamos
una extension
cuadr
atica de Q con p y lo notamos Q p .
Podemos generalizar un poco mas e incluir
races en un solo conjunto de
varias
n
umeros; por ejemplo, incluyamos en Q 2 a 3; es decir que si llamamos
F=Q 2 , lo que queremos es calcular la extension cuadratica F 3 =Q 2
3 ,
la cual estara formada por todos los n
umeros de la forma:
x + y 3 con x, y en Q 2
o sea por los n
umeros de la forma
a+b 2 + c+d 2 3
con a, b, c, d n
umeros racionales.
3 es una C-extension de Q de orden 2, ya que se necesitaron
Se dice que Q 2
dos races cuadradas para formarlo.
De manera analoga a como se probo que las operaciones en Q 2 tienen las
mismas propiedades de Q, se demuestra que las operaciones denidas en F 3
tambien las cumplen. As podemos construir extensiones con cualquier n
umero de
races.
Una observacion nal es que cada una deestas extensiones incluye a la anterior
pero no es igual a ella pues por lo menos k no esta en F y todas incluyen a los
n
umeros racionales.
Hemos mostrado innitos n
umeros irracionales cuadraticos, pero existen tambien
innitos irracionales que no lo son, es decir que no son soluciones de ecuaciones de
segundo grado con coecientes naturales; por lo tanto su fraccion continua no es
periodica y en consecuencia no sirven los metodos aqu tratados para conocerlos y
manipularlos. Algunos de estos n
umeros son el tema de nuestro siguiente captulo.
167
168
Captulo
Numeros construibles
Los matem
aticos pueden usar dibujos y razonar sobre ellos, pero
sabiendo que no est
an pensando en ellos, sino en lo que ellos
representan.
Plat
on
En 1797 el matem
atico italiano Lorenzo Mascheroni en el libro Geometra del comp
as demostro que los problemas cuyos datos e incognitas sean puntos pueden resolverse solamente con
el compas. El alem
an J. Steiner demostr
o que lo mismo es posible si se usa solamente la regla y
se da un circulo jo y su centro.(GUTIERREZ
M. V., Notas de Geometra. Universidad Nacional
de Colombia.1992. p. 8).
170
N
umeros construibles
basicas2 que se pueden efectuar con regla y compas a partir de segmentos dados,
por ejemplo:
1. La proposicion I.2 (Libro I proposicion 2)3 permite trasladar un segmento a
cualquier punto sobre una recta cualquiera. Transcribamosla:
Sea AB un segmento, deseamos construir un segmento de la misma longitud
de AB, que tenga como uno de sus extremos a un punto cualquiera C dado.
Consideremos primero el caso en que C no este en la recta que contiene al
segmento AB.
i. Trazamos AB y el punto C.
ii. Trazamos BC y construimos sobre el un triangulo equilatero. Para lo
cual hacemos centro en B con radio BC y luego con centro en C y el
mismo radio, trazamos circunferencias que se cortan en un punto P . El
triangulo BCP es equilatero.
iii. Con centro en B y radio AB trazamos una circunferencia que corta el
lado BP del triangulo en un punto D, BD es congruente con AB.
iv. Con centro en P y radio P D trazamos una circunferencia que corta el
lado P C del triangulo en un punto E , P E es congruente con P D y por
lo tanto EC BD AB.
v. Finalmente con centro en C y radio EC copiamos este segmento en
cualquier recta que tenga al punto C.
A
C
D
E
P
Figura 1
2
171
Ejercicio
Que pasa en la construcci
on presentada si la longitud del segmento BC es
menor que la de AB?
Con esta construccion, copiando un segmento a continuacion de otro, obtenemos un nuevo segmento, la suma de los dos primeros.
2. La proposicion I.3 permite4 restar dos segmentos desiguales dados, el menor
del mayor; y es una peque
na variacion de la anterior.
i. Trazamos los segmentos AB y CD.
ii. Construimos el segmento AF , igual al segmento CD.
iii. Construimos una circunferencia con centro en A y radio AF , de manera
que corte al segmento AB en el punto E, AE es congruente con AF y
por tanto, AF
= CD.
iv. El segmento EB es la diferencia entre los segmentos AB y CD.
F
Figura 2
3. La proposicion I.105 permite dividir un segmento AB en dos partes iguales
y en general, en 2n partes congruentes:
i. Construimos un triangulo equilatero con lado AB.
ii. Dividimos el angulo ACB en dos angulos iguales con la recta CX, para
lo cual sobre el lado AB construimos otro triangulo equilatero ADB y
se traza la recta CD, con la que se obtiene que ACD
= BCD.
4
5
172
N
umeros construibles
iii. El segmento AX
ACX
= BCX.
es
igual
al
segmento
XB,
por
cuanto
C
D
Figura 3
4. La proposicion VI.106 permite dividir un segmento AB en k partes iguales.
Ilustremos el caso cuando k = 3, pues la idea general es la misma para otros
casos.
i. Tomamos AB y un punto C que no este en la recta que contiene a AB
y trazamos una semirrecta sobre AC.
ii. Desde el punto C y con radio AC marcamos otro punto D sobre AC 7 ,
luego desde D con radio AC marcamos otro punto E obteniendo as tres
segmentos congruentes. (El proceso contin
ua sucesivamente de acuerdo
al n
umero de veces en que se quiera dividir AB).
iii. Trazamos la recta EB y sendas paralelas a esta recta desde los puntos
D y C. Los cortes de estas rectas con AB, dividen a AB en tres partes
congruentes.
E
D
C
B
Figura 4
6
7
173
174
N
umeros construibles
X
1
Figura 5
X
1
y para hallar el cociente
Y
Y
1
de dos n
umeros construibles, se multiplica X . Con esto hemos mostrado
Y
que los n
umeros racionales positivos son construibles.
La gura 6 muestra una forma para construir
1
1/Y
1
Figura 6
el punto que representa a 2 una perpendicular a la semirrecta en el punto 1 y tomando centro en 1 con radio 01 marcamos el punto P sobre la
perpendicular construida.
quinto postulado y la proposici
on I. 31, de la obra de Euclides es posible obtener un segmento
de la multiplicaci
on de dos segmentos; sin embargo, esto no se lo debemos a Euclides sino a
Descartes.
12
EUCLID., op.cit. Vol 1. Books I and II.P. 269.
175
Figura 7
Trazando
un segmento perpendicular
P para todo n
umero natural p.
7. La proposicion VI. 13 muestra13 la construccion de una media proporcional
entre dos segmentos dados14 . Una modicacion que usamos para construir
la raz cuadrada de la longitud de un segmento 0X, la presentamos de la
siguiente forma:
i. En una semirrecta con origen 0, dibujamos el punto que representa a
1, y a partir de el dibujamos un segmento de longitud X que termina
en el punto P , construimos el punto medio del segmento resultante y lo
llamamos R.
ii. Con centro en R y radio RP trazamos una circunferencia. En el punto 1
levantamos una perpendicular a la semirrecta 0P , que corta a la circunferencia en el punto M, la longitud del segmento 1M es la raz cuadrada
de X, copiamos este segmento
sobre la semirrecta 0X y obtenemos un
13
176
N
umeros construibles
M
X
R
Figura 8
dc
Figura 9
Ejercicio
Usando la gura 8 demuestre que los tri
angulos 01M y 1MP son semejantes.
Todas las construcciones que hemos realizado se pueden combinar o repetir un
n
umero nito de veces para obtener otras.
177
B 2 4AC B
X=
2A
Y todas las expresiones que en ella aparecen, son construibles con regla y compas
por lo tanto la expresion completa lo es.
Ejemplos
1. Algunos n
umeros irracionales cuadraticos (y por lo tanto construibles) no lo
parecen a primera vista; por ejemplo, los n
umeros sen 60 y el cos 72 lo son;
el primero de ellos obviamente lo es, veremos enseguida porque el segundo
tambien.
Cada uno de los triangulos que forma la estrella pentagonal (gura 7) es
isosceles y sus angulos miden 72-72-36 grados sexagesimales respectivamente,
si el lado del pentagono en el centro se toma como unidad, cada uno de los
otros dos lados miden . Si aplicamos el teorema del coseno a este triangulo
obtenemos:
2 = 2 + 1 2 1 cos 72
es decir que
cos 72 =
1
2
Figura 10
178
N
umeros construibles
como es irracional, cuadratico y construible, cos 72 tambien lo es.
Para demostrar que es cuadratico debemos encontrar una ecuacion de segun1
do grado con coecientes naturales cuya solucion sea .
2
1+ 5
1
; si llamamos a esto x; es
, tenemos que cos 72 =
Como =
2
1+ 5
decir
1
x=
1+ 5
Tenemos que
1
=1+ 5
x
de donde elevando al cuadrado y haciendo algunos calculos, obtenemos la
ecuacion
4x2 + 2x = 1
una de cuyas soluciones es, obviamente, x = cos 72 =
1+ 5
Ejercicios
1. Demuestre que los triangulos que forma la estrella pentagonal son is
osceles
y sus angulos miden 72-72-36 grados sexagesimales respectivamente.
2. Demuestre que si tomamos el lado del pent
agono como unidad, los otros dos
lados de cada tri
angulo que forma la estrella miden .
3. Usando la estrella pentagonal, demuestre que cos 108 es irracional.
umero nito
Como p es construible si p es construible entonces por iteracion un n
2n
p es construible.
n de veces
Observemos que estos n
umeros no son irracionales cuadraticos si n > 1, es decir
que existen innitos n
umeros irracionales construibles no cuadr
aticos.
179
9.1.
Extensiones cuadr
aticas y n
umeros
construibles
umero racional r
y su
Como 2 es construible, el producto r 2 con cualquier n
suma con otro racional s, tambien sera construible. Esto es, que el conjunto Q 2
es un conjunto de n
umeros construibles.
3 , tambien es un conjunto de
Reiterando el argumento concluimos que Q 2
n
umeros construibles, pero ademas sabemos que:
QQ
2 Q 2
3
2 ,Q 2
3 ,Q 2
3
5 ,...
k1
/ F0 y F1 = F0 k1 , k2
en F1 con k2
/ F1 y F2 = F1 k2 , . . . , kn en Fn1
con kn
/ Fn1 y Fn = Fn1 kn ), entonces para cada Fn , todos sus elementos
son construibles, o sea que para todo n
umero natural n, Fn es un conjunto de
n
umeros construibles.
15
M., PEREZ,
180
N
umeros construibles
Recprocamente16 si un n
umero x es construible debe estar en una extension consn
un n
umero natural n, que depende del n
umero de
truible Fn de orden 2 para alg
races cuadradas que es necesario extraer para obtener x.
Esto signica que existen n
umeros no construibles, en particular todo n
umero
irracional que sea soluci
on de una ecuacion de grado impar y no tenga races
racionales, no es construible. Algunos de ellos aparecieron muy temprano en el
desarrollo de las matematicas, pero se ignoraba que no eran construibles, recien
en el siglo XIX se hicieron demostraciones de no constructibilidad.
En el siguiente captulo estudiaremos algunos de estos n
umeros, intentando mostrar
las formas mas usadas de razonamientos utilizados en la solucion de este tipo de
problemas.
16
181
182
Captulo
10
Un n
umero primo es de Fermat si es de la forma 22 + 1
2
GUTIERREZ,
M. V., Notas de Geometra, Universidad Nacional de Colombia, Bogot
a,
1992,pp. 10 - 13.
184
N
umeros algebraicos y trascendentes
Despues de mil trescientos a
nos los matematicos admitieron que, con las condiciones impuestas, estos problemas son imposibles de resolver; no por incompetencia
de los que lo intentan, sino porque la solucion no existe!!3
Antes de abordar las pruebas de imposibilidad de las construcciones mencionadas,
haremos algunas consideraciones generales con respecto a las soluciones de las
ecuaciones algebraicas que tienen como coecientes n
umeros naturales.
10.1.
N
umeros algebraicos
Un n
umero algebraico 4 de grado n es un n
umero que sea solucion5 de una ecuacion
de la forma
an xn + + a1x + a0 = 0, n 1, an = 0.
donde los coecientes son n
umeros naturales6 , pero no lo es de una de grado menor.
Notemos que en esta denicion estan incluidas las ecuaciones con coecientes
a0
a1
a2
, c1 = , c2 =
, donde
racionales porque si los coecientes son c0 =
b0
b1
b2
umeros naturales para cada i 1 y bi = 0, la ecuacion se convierte
ai , bi son n
en una ecuacion con coecientes naturales multiplicando ambos miembros de la
ecuacion por el producto de todos los denominadores.
p
con q = 0 es algebraico puesto que es la
q
solucion de la ecuacion de primer grado qx = p.
Naturalmente todo n
umero racional
185
3
2 es un n
umero algebraico de grado 3 porque es raz de x3 = 2, y no es raz de
ecuacion de grado inferior (por que?).
Toda raz de una ecuacion con coecientes enteros de grados 3, 4, 5 . . . es un n
umero
algebraico, sea o no expresable mediante radicales.
Como vemos, la idea de n
umero algebraico es una generalizacion de la idea de
n
umero racional, a grados mayores que 1.
Ejemplos
1. Veamos que el n
umero 3 51 es algebraico. Para ello debemos encontrar una
ecuacion con coecientes naturales de tal manera que una de sus soluciones
sea el n
umero dado.
3
Si hacemos
x= 51
podemos escribir
3
5 =x+1
y elevando al cubo ambos lados de la igualdad obtenemos
5 = x3 + 3x2 + 3x + 1
o sea que
4 = x3 + 3x2 + 3x
es una ecuaci
on con coecientes naturales que tiene como una de sus solu
3
ciones a 5 1.
2x = 3 + 1
tiene como solucion al n
umero
3+1
186
N
umeros algebraicos y trascendentes
Para demostrar que este es un n
umero algebraico, elevamos al cuadrado
ambos miembros de la ecuacion y obtenemos
2x2 = 2 3 + 4
o lo que es lo mismo
2(x2 2) = 2 3
3+1
y por lo tanto, este es un n
umero algebraico.
de sus soluciones a
2
Esto muestra que dentro de los n
umeros algebraicos hay mas de los que
inicialmente parecen.
umero algebraico pues si reemplazamos
3. El n
umero x = cos 20 es un n
A = 20 en la identidad7
cos 3A = 4 cos3 A 3 cos A
y ponemos cos 60 =
1
obtenemos
2
1
= 4x3 3x
2
o lo que es lo mismo
8x3 = 6x + 1
Ejercicio
1. Encuentre una ecuaci
on con coecientes naturales, algunas de cuyas soluciones sean las mismas que las de la ecuacion:
x2 + 3x = 2
7
Si partimos de las
y cos(A + B) = cos A
y sen(2A) = 2 sen A
cos(3A) = cos 2A cos A
identidades b
asicas: sen(A + B) = sen A cos B + cos A sen B
cos B sen A sen B, obtenemos cos(2A) = cos2 A sen2 A
cos B, y si usamos la identidad cos2 A + sen2 A = 1 en
sen 2A sen A, obtenemos: cos 3A = 4 cos3 A 3 cos A
187
2+ 3
3. Pruebe que
3
2 es algebraico.
En este captulo s
olo consideramos las soluciones racionales que son cocientes de dos n
umeros
naturales y el denominador no sea 0.
188
N
umeros algebraicos y trascendentes
a
por x en la ecuacion obtenemos:
b
n
n1
a
a
a
+ c0 = 0
cn1
+ c1
cn
b
b
b
y b = 0, entonces al sustituir
Ejercicio
Muestre un razonamiento que justique por que a es un divisor de c0 .
Una consecuencia inmediata de los razonamientos anteriores es que, si una ecuacion
de la forma
xn cn1 xn1 + + c1 x + c0 = 0
cuyos coecientes son naturales, tiene una raz racional, esta es un n
umero natural
y debe ser un divisor de c0 .
a
Esta conclusion se sustenta en que si , b = 0 es una raz racional de la ecuacion,
b
b debe ser un divisor de cn ; esto es, b debe ser un divisor de 1 y el u
nico divisor
de 1 es el mismo, por lo tanto b debe ser 1 y la solucion de la ecuacion debe ser el
n
umero natural a que como ya sabemos debe dividir a c0 .
Otra
consecuencia importante de nuestro resultado es que un n
umero de la forma
n
a donde a y n son n
umeros naturales es o un n
umero irracional o un n
umero
natural y si este es el caso, entonces a es la enesima potencia de un n
umero natural.
189
Naturalmente n a es unaraz de xn = a, que si tiene una raz racional esta debe ser
umero natural digamos k entonces a = k n . Este
un n
umero natural y si n a es un n
resultado es una generalizacion del que obtuvimos en el captulo 1 para n
umeros
irracionales cuadraticos.
En particular hemos demostrado que 3 2, 5 3 son n
umeros irracionales y por lo
tanto no son construibles, pues en el captulo anterior vimos que un n
umero irracional que sea solucion de una ecuacion algebraica de grado impar
no
es
construible
3
si la ecuacion no tiene soluciones racionales. Entonces como 2 es solucion de la
ecuacion
x3 2 = 0
10.1.1.
3
de lado 2 a partir de uno de lado 1 o lo que es igual, si b es el lado del cubo
duplicado y a el del original debemos tener que
b3 = 2a3 ;
es decir,
b=
3
2a
Gracias a los trabajos de Evariste Galois se pudo demostrar que el problema no tena soluci
on.
En 1837 el frances L. Wantzel demostro su imposibilidad.
10
En el proceso de construcci
on de la raz cuadrada de un n
umero construible, mostramos
como construir una media proporcional entre dos n
umeros.
190
N
umeros algebraicos y trascendentes
pues la primera igualdad implica que
y la segunda que
o sea que
es decir que
x2 = ay
y 2 = 2ax
2 2
x
= 2ax
a
x3 = 2a3
y por lo tanto x es el lado de un cubo que tiene el doble del volumen del cubo de
lado a.
Aunque los griegos no consiguieron resolver el problema, su estudio de estas medias
proporcionales llevo a Menecmo al descubrimiento de la parabola y de la hiperbola;
puesto que el sistema de ecuaciones
x2 = ay
y 2 = 2ax
Ejercicio
Con
an
alogo a la demostracion cl
asica de la irracionalidad de
un procedimiento
3
2 demuestre que 2 es irracional.
10.1.2.
Es imposible trisecar un
angulo cualquiera
con regla y comp
as
Aunque nosotros s
olo consideramos las races racionales cuyo numerador y denominador son
n
umeros naturales y este u
ltimo diferente de 0, esta ecuacion no tiene otra soluci
on racional.
191
Ejercicios
1. Comente la siguiente construcci
on: Sea CAB el angulo dado con centro en
A y radio arbitrario trazar DE. Trazar la bisectriz del angulo EAF. Pasar
la distancia AG igual DE. Trazar DG que corta la semicircunferencia en el
punto I. Pasar la distancia IJ igual FI. Trazar las rectas AI y AJ que dividen
el angulo inicial en tres angulos iguales.
C
G
F
I
J
A
E
Figura 1
N
umeros algebraicos y trascendentes
10.1.3.
2
y
Si el heptagono regular fuera construible, seran construibles y = cos
7
2
x = 2 cos
, pero x satisface la ecuacion x3 + x2 = 2x + 1 y esta ecuacion no
7
tiene races racionales.
Ejercicios
2
1. Compruebe que 2 cos
7
satisface la ecuaci
on x3 + x2 = 2x + 1.
10.2.
N
umeros trascendentes
NIVEN, I., N
umeros racionales e Irracionales, The Carus mathematical monographs, The
mathematical association of America, 1967, p. 92.
193
10.2.1.
El n
umero 13
256
3, 16.
81
194
N
umeros algebraicos y trascendentes
y una a
un mejor
195882
211872
<<
67441
62351
con cuatro decimales correctos
3, 14159 < < 3, 14160
En el siglo XIII Leonardo de Pisa (Fibonacci), encontro que deba caer entre los
n
umeros 3.1410 y 3.1427.
Los matematicos chinos encontraron una aproximacion mejor que esta usando una
fraccion mas sencilla
355
=
= 3, 141592
113
Hacia la mitad del siglo XVI, un ingeniero militar holandes, Adriano Metius, encontro que 355/113 da el valor de con seis decimales correctos14.
En el siglo XV el matematico arabe Al-Kashi dio como valor de el n
umero
3.1415926538979, correcto hasta la novena cifra decimal usando un polgono regular
de 2832 lados.
Mas de 150 a
nos despues en Europa F. Viet`a encontro solo 9 cifras exactas de
mediante un polgono de 1722 lados, pero fue el primero en encontrar una formula
para
1
=
2
1
1 1 1
1 1 1 1 1
+
+
2
2 2 2
2 2 2 2 2
A nales del siglo XVI en Holanda Van Roomen consiguio el mismo resultado de
Al-Kashi y el aleman Ludolph van Ceulen, utilizando un polgono de mas de cuatro
millones de lados y logro 35 dgitos correctos. En 1699, Abraham Sharp duplico el
n
umero de cifras obtenidas por Van Ceulen.
En 1706, John Machin, valiendose de los desarrollos en serie de la funcion arco
tangente, logro obtener los primeros cien decimales de .
En el siglo XVIII Georges Louis Leclere, encontro una forma de aproximar probabilsticamente a : sobre una hoja de papel se dibuja un conjunto de rectas paralelas
14
Esta expresion es f
acil de recordar, basta colocar los tres primeros n
umeros impares repetidos
consecutivamente, as: 113355, y luego formar una fracci
on con las dos mitades.
195
196
N
umeros algebraicos y trascendentes
Como muestra, los mil primeros decimales del n
umero :
3, 1415926535
5923078164
0938446095
6446229489
2712019091
7245870066
0113305305
0921861173
8912279381
1907021798
0005681271
2249534301
8640344181
0597317328
2619311881
5982534904
1712268066
8979323846
0628620899
5058223172
5493038196
4564856692
0631558817
4882046652
8193261179
8301194912
6094370277
4526356082
4654958537
5981362977
1609631859
7101000313
2875546873
1300192787
2643383279
8628034825
5359408128
4428810975
3460348610
4881520920
1384146951
3105118548
9833673362
0539217176
7785771342
1050792279
4771309960
5024459455
7838752886
1159562863
6611195909
5028841971
3421170679
4811174502
6659334461
4543266482
9628292540
9415116094
0744623799
4406566430
2931767523
7577896091
6892589235
5187072113
3469083026
5875332083
8823537875
2164201989
6939937510
8214808651
8410270193
2847564823
1339360726
9171536436
3305727036
6274956735
8602139494
8467481846
7363717872
4201995611
4999999837
4252230825
8142061717
9375195778
5820974944
3282306647
8521105559
3786783165
0249141273
7892590360
5759591953
1885752724
6395224737
7669405132
1468440901
2129021960
2978049951
3344685035
7669147303
1857780532
26,852 899,245
41,952 536,161
15
30,243 957,439
43,289 964,000
M
as datos sobre calculos de , se encuentran en: BORWEIN Jonathan M. Brouwer-Heyting
sequences converge. The Mathematical Intelligencer. Volume 20. Number 1. Winter 1998. p.p.
14-15.
197
314 157
=
=3+
100
50
1
7+
1
7
con 4 cifras:
3, 1415 =
31415 6283
=
=3+
10000 2000
1
1
7+
14 +
1+
1
8+
1
2
Si se tiene curiosidad por historias sobre las siguientes paginas en la internet pueden ayudar:
http://xavier.gourdon.free.fr/Constants/constants.html
http://xavier.gourdon.free.fr/Constants/Algorithms/splitting.html
http://www.angelre.com/wa/hurben/bu.html
http://www.mste.uiuc.edu/reese/buon/buon.html
http://www.efg2.com/lab/Mathematics/Buon.htm
http://www.ams.org/new-in-math/cover/pi-calc.html
198
N
umeros algebraicos y trascendentes
De pronto, un avezado lector encuentra alguna regularidad.
Por fortuna, existen otra maneras de presentar17 a , y es a traves de su relacion
con otros n
umeros, por ejemplo:
James Gregory presento una serie que Gotfried von Leibniz utilizo en 1674 para
obtener la expresion:
1 1 1 1 1
= + +
4 1 3 5 7 9
Euler presento varias series relacionadas con , entre ellas:
2
=1+
8
3
=1
32
4
=1
96
2
=1+
6
1
+
32
1
+
33
1
+
34
1
+
22
1
1
+ 2 +
2
5
7
1
1
3 +
3
5
7
1
1
+
54 74
1
1
+
+
32 42
La u
ltima aparece en el calculo de la probabilidad de que dos n
umeros naturales
escogidos al azar sean primos.
Otra forma curiosa es:
3
1
1
1
=
+
4
224 456 678
John Wallis expreso:
2 2 4 4 6 6 8 8
=
2 1 3 3 5 5 7 7 9
4
mediante una fraccion continua18, en la cual, los numeradores de las fracciones
esta formula fue usada en el siglo XVII por Lord Brouncker para expresar a
17
199
=
4
1
1
1+
2+
2+
2+
25
49
2+
81
2+
10.2.1.1
r = a
Invitamos a los lectores interesados en la literatura relacionada con el tema, por ejemplo: C.L.
Siegel. Trascendental Numbers. Annals of Mathematical Studies. No 16. Princenton University
Press. 1949.
200
N
umeros algebraicos y trascendentes
10.2.2.
El n
umero e
201
Si el int
eres se capitaliza. . .
Bimestralmente
Mensualmente
Semanalmente
Diariamente
Por hora
Por minuto
1
1+
6
6
1
1+
12
1
1+
52
= 2, 521626372
12
= 2, 61303529
52
1
1+
365
= 2, 692596954
365
1
1+
8760
= 2, 714567482
8760
1
1+
525600
= 2, 718126692
525600
= 2, 718279243
1 n
Observamos que de acuerdo n aumenta, 1 +
tiende a estabilizarse; en otras
n
palabras, podramos decir que para un n sucientemente grande, tenemos:
1 2
1+
2, 7182
n
20
n(n 1)(n 2)
1 n
n n(n 1)
1
1
+
+
1+
= 1+ +
n
n
n2
12
n3
123
202
N
umeros algebraicos y trascendentes
aunque la expresion pueda intimidarnos, se estudia mejor si la tomamos por partes;
por ejemplo, en el tercer termino aparece
n(n 1)
n2
que podemos expresarlo de la forma:
n
1
n(n 1) n2 n n2
=
=
=
1
n2
n2
n2 n2
n
en el cuarto termino aparece:
n(n 1)(n 2)
n3
que podemos expresarlo:
3
1
n(n 1)(n 2) n3 3n2 + 2n n3 3n2 2n
=
= 3 3 + 3 =1 + 2
3
3
n
n
n
n
n
n n
y en los demas terminos aparecen expresiones similares que pueden escribirse como
un 1 menos otros terminos donde n esta en el denominador elevada a potencias
cada vez mayores. En todos los casos si consideramos valores de n cada vez mas
grandes, el valor de cada una de las expresiones consideradas se aproxima mas a
1.
En resumen, nos queda:
1
1
1
1
1
1 n
= 1+ +
+
+
+
+
1+
n
1 12 123 1234 12345
notemos que el tercer termino es el segundo dividido por 2, el cuarto es el tercero
dividido por 3, el quinto es el cuarto dividido por 4, y as sucesivamente.
Si partimos del primer termino igual a 1 y hacemos divisiones sucesivas por 2, 3,
4,. . . etc., obtenemos:
1
1
=1
1
1
= 0, 5
2
0, 5
= 0, 166667
3
203
1
1
1
1
1
+
+
+
+
+
1 12 123 1234 12345
2, 7182818284
9574966967
7427466391
6059563073
0115738341
8082264800
0695517027
7606737113
1416928368
6967707854
5904523536
6277240766
9320030599
8132328627
8793070215
1684774118
6183860626
2007093287
1902551510
4996996794
0287471352
3035535547
2181741359
9434907632
4089149934
5374424554
1331374573
0912744374
8657463772
6864454905
6624977572
5945713821
6629043572
3382988075
8841675092
4243710753
0007520449
7047230696
1112523897
9879316368
4709369995
7852516642
9003342952
3195251019
4476146066
9077744992
3372656029
9677209310
8442506953
8923009879
N
umeros algebraicos y trascendentes
o con 6 cifras:
e = [2, 1, 2, 1, 1, 4, 1, 1, 6, 2, 2, 8, 1, . . .]
Ejercicio
Calcule una fracci
on continua correspondiente a la aproximacion 2,71828182; observa alguna regularidad?
Euler en 1737 obtuvo21 las fracciones continuas:
e = 1+
1
1
1+
1+
1+
1+
5+
1+
1+
1+
1
9+
y
1
e = 2+
1+
2+
3+
4+
demostrando que e y
irracional.
21
4
5+
205
e=2+
4
5
4
6
1 1
1
1
+ +
+ +
+
1 2 23
2 3 n
1
1
1
1
1
+
+
+
+ +
1 12 123 1234
1 2 3 4 n
1
1
1
+
+ +
+
(n + 1) (n + 1)(n + 2)
(n + 1)(n + 2) (n + r)
si cambiamos en cada denominador las expresiones (n+r) por otras menores (n+1)
cada fraccion es mayor, o sea que:
1
1
1
+
+ +
+
(n + 1) (n + 1)(n + 2)
(n + 1)(n + 2) (n + r)
1
1
1
<
+
+
+
+
(n + 1) (n + 1)2
(n + 1)r
22
206
N
umeros algebraicos y trascendentes
esta u
ltima es una progresion geometrica con primer termino
1
1
y razon
,
n+1
n+1
1
cuya suma ya conocemos es .
n
En resumen tenemos que:
m
0 < n!
Sn
n
Pero
<
1
n
1
1
1
n!Sn = n! 1 + 1 + + + +
2! 3!
n!
= n! + n! + n(n 1)(n 2) 3 + n(n 1)(n 2) 4 +
+n(n 1)(n 2) + n(n 1) + (n + 1)
es un n
umero natural y
m
= (n 1)!m
n
tambien es un n
umero natural; es decir que encontramos un n
umero natural entre
1
umero natural n. Pero esto es imposible porque entre 0 y 1 no
0 y para cada n
n
hay n
umeros naturales. Lo que demuestra que e es irracional.
n!
Una prueba del teorema de Lindemann y del teorema Gelfond y Schneider se encuentra en:
NIVEN, I., Irrational Numbers, The Carus Mathematical Monographs, Number 11, 1967, p.p.
124-131 y 142-149 respectivamente.
24
POLLARD, H. y DIAMOND H., The Theory of Algebraic Numbers, Dover, 1998, p. 55.
207
10.2.3.
Logaritmos Irracionales
p
q
2q = b
208
N
umeros algebraicos y trascendentes
lo que signica que el logaritmo es un n
umero natural.
Ahora, veamos el otro caso, k igual al producto de una potencia de dos por un
n
umero impar; simbolicamente:
k = 2r (2m + 1),
donde r es un n
umero natural
Ejercicios
1. Adecue el razonamiento anterior para demostrar que todo logaritmo en base
3 que no sea natural es irracional.
2. Formule una conjetura para otras bases y procure una demostraci
on.
27
209
210
Captulo
11
1
En el captulo 8 construimos n
umeros irracionales a partir algunos cocientes de
n
umeros racionales que llamamos fracciones continuas, en un proceso que a pesar
de no ser nito, permite lograr algunas caracterizaciones de ellos, pero operar con
estas fracciones tiene muchas dicultades.
Utilizando las reductas de las fracciones continuas innitas logramos aproximaciones de n
umeros irracionales como n
umeros n-males no periodicos, que de igual
manera no se dejaban operar, salvo con aproximaciones.
En el captulo 9 llegamos un poco mas lejos, y construimos n
umeros con regla y
compas, y abarcamos a los n
umeros racionales, a todos los irracionales cuadraticos
y otros irracionales construibles; con la enorme ventaja de que tenemos una manera de operarlos, y como ganancia, obtuvimos que, en este conjunto de n
umeros,
las operaciones tienen las mismas propiedades que las operaciones entre n
umeros
racionales.
1
211
11.1.
El problema
11.1.1.
Una respuesta propuesta por Eudoxo, aplicable a ambas magnitudes, permite establecer un criterio para la igualdad de dos razones cualesquiera, esta aparece en
la denicion 5 del libro V de los Elementos de Euclides:
Se dice que la raz
on de una primera magnitud con una segunda es la misma que
la de una tercera con una cuarta cuando tomando cualquier m
ultiplo de la primera
y de la tercera y de la segunda y la cuarta, el m
ultiplo de la primera es mayor,
igual o menor que el de la segunda seg
un que el de la tercera sea mayor, igual o
menor que el de la cuarta.[Vera, 1970 Vol. I].
En smbolos
x m
=
z
n
2
En nuestra presentaci
on s
olo incluimos, por ahora, a los n
umeros reales no negativos. En el
captulo 14, incluiremos a los n
umeros negativos.
212
Construccion de los n
umeros reales
si, dados a y b n
umeros naturales, siempre que
ax < bz,
entonces am < bn
ax = bz,
entonces am = bn,
ax > bz
o s
o s
Esta denicion tiene la ventaja de ser aplicable no solo a n
umeros, sino tambien a
elementos geometricos.
La teora desarrollada por Eudoxo y tratada en el libro V de los elementos de Euclides pudo usarse para denir los n
umeros irracionales; sin embargo, su desarrollo
tardo mucho tiempo, Dedekind fue quien . . . hizo uso del trabajo de Euclides y
reconoci
o su deuda hacia este. . . (Kline, 1992, p. 1297) para construir su teora
de los n
umeros reales.
A nales del siglo XIX se hizo necesario fundamentar el analisis, y con ello aparece
la necesidad de denir n
umero real. Una primera idea acerca del n
umero real fue
publicada por Agustn-Louis Cauchy en 1821 en el Cours, donde armaba que
. . . un n
umero irracional es el lmite de diversas fracciones que toman valores
cada vez m
as aproximados a el, lo cual fue interpretado como una denicion de
los n
umeros irracionales a partir de la nocion de lmite3 y utilizada por varios
matematicos de la epoca para relacionar lmite con n
umero irracional, lo cual,
despues de 48 a
nos fue se
nalado por Meray como un grave lapsus de razonamiento4
porque al hablar de lmite se requiere tener denido el conjunto de los n
umeros
reales.
Alrededor de 1830, Bernhard Bolzano, a partir del lmite de sucesiones de n
umeros
racionales, hizo un intento para axiomatizar los n
umeros reales y logra establecer
la existencia de una cota superior mnima para un conjunto acotado de n
umeros
5
reales ; su trabajo no fue reconocido, quiza porque, si el lmite es irracional no
tiene existencia l
ogica hasta que se hayan denido los n
umeros irracionales 6 .
Sin embargo, el primer matematico en divulgar una construccion para los n
umeros
irracionales fue Sir William Hamilton, quien leyo dos artculos, uno en 1833 y otro
3
213
214
Construccion de los n
umeros reales
Las teoras de Cantor y Dedekind estan basadas en las operaciones de los n
umeros
racionales, ambas construyen los n
umeros reales con entes compuestos de innitos
elementos, ambas compara la geometra con la aritmetica, ambas comparten la
idea de que la continuidad del espacio no se puede demostrar y por tanto debe
tomarse como axioma.
Las construcciones de Weierstrass, Cantor-Heine y Meray comparten el uso de las
series o las sucesiones para la construccion de los n
umeros irracionales, mientras
que Dedekind usa conjuntos y orden. Las sucesiones son objetos con una estructura
mas compleja que las cortaduras, y en el caso de las sucesiones fundamentales se
presuponen tambien ciertas propiedades topologicas.
Aunque todas las construcciones de los n
umeros reales, son equivalentes, si las
construcciones de Cantor, Weierstrass y Dedekind se hacen usando un conjunto
distinto al de los n
umeros racionales, los resultados ya no coinciden.
11.2.
Los n
umeros reales: Cortaduras de Dedekind
DEDEKIND, R., N
umeros irracionales, NEWMAN, J., Sigma El mundo de la matem
aticas,
Editorial Grijalbo, Vol. 4, Barcelona, 1997, pp. 119-128.
11
El axioma de Cantor-Dedekind dice: Los puntos de una recta se pueden poner en correspondencia biunvoca con los n
umeros reales (Boyer, 1986, p. 695)
216
Construccion de los n
umeros reales
A = {r Q tales que r p}
B = {r Q tales que r > p}
Si p es un n
umero irracional, este se representa como (A, B) de tal manera
que:
A = {r Q tales que r < p}
B = {r Q tales que r > p}
Dedekind hace enfasis en que el n
umero irracional no es la cortadura misma, sino
algo distinto, que corresponde a la cortadura y que la produce. De modo parecido,
aunque los n
umeros racionales generan cortaduras, no son lo mismo que ellas 12 .
Finalmente dene un n
umero real como una cortadura; esto es, si x es un n
umero
real, entonces los n
umeros reales pueden separarse en dos clases, cada una de la
cuales posee innitos elementos, donde cada elemento de la primera clase es menor
que x y cada elemento de la segunda es mayor que x; x puede estar en la primera
clase o en la segunda pero no en ambas. Con ello, le da interpretacion geometrica
al conjunto de los n
umeros reales, en forma de lnea recta.
La version que presentaremos aqu es una ligera variacion de la de Dedekind porque
no consideramos la recta completa sino la semirrecta que construimos en la seccion
correspondiente a los n
umeros construibles y solo consideramos n
umeros racionales
que sean razones de n
umeros naturales, el segundo distinto de cero. Esto obliga a
unas peque
nas modicaciones, de forma, mas no de fondo.
Escogimos esta version por ser, a nuestra consideracion, la que menos conocimientos previos requiere, adicionales a los que hemos desarrollado: algo de lenguaje de
la teora de conjuntos, los n
umeros racionales con su estructura algebraica y su
estructura de orden. Una version similar a esta aparece en el libro Foundations of
An
alisis de Edmund Landau 13.
Iniciamos comparando los n
umeros racionales14 y la semirrecta denida en los
n
umeros construibles.
12
217
11.2.1.
Definici
on de cortadura
Construccion de los n
umeros reales
iii) Todo n
umero racional que pertenezca a B es mayor que todo n
umero que
15
pertenezca a A .
La condicion i) establece que cualquier n
umero racional debe estar en alguno de
los dos conjuntos, pero tambien, todo n
umero racional determina una cortadura,
y de hecho, podemos incluirlo en A o en B; por conveniencia, lo incluiremos en A.
Ejemplos
1. El n
umero 2 determina la cortadura , tal que = (A, B), donde
A = {a Q , tales que 0 a 2} y
B = {b Q , tales que b > 2}
2. El n
umero cero determina la cortadura
= ({0}, Q+ )
De ahora en adelante, usaremos como nombre para la cortadura, el nombre del
n
umero que la dene y su mismo smbolo; es decir, para los ejemplos anteriores:
2 = (A, B)
donde A representa el conjunto de todos los n
umeros racionales entre 0 y 2, incluso
el 0 y el 2 (este 2 no es el mismo que estamos deniendo, el dos que estamos
deniendo, es el dos real, el que estamos incluyendo en A, es el 2 racional) y en B
estan todos los n
umeros racionales estrictamente mayores que 2. Para simplicar
la escritura, notaremos el 2 racional como 2, el uno racional como 1; en general,
si n es un n
umero racional, lo simbolizaremos por n; en conclusion, escribiremos,
por ejemplo:
2 = ([0, 2], (2, ))
0 = ({0}, Q+ ) = ({0}, (0, ))
Teniendo en cuenta que:
(a, b) = {x Q : a < x < b}
[a, b) = {x Q : a x < b}
(a, b] = {x Q : a < x b}
[a, b] = {x Q : a x b}.
15
N
otese que al decir todo n
umero racional que pertenezca a B (o a A)se esta haciendo
referencia a que todos los infinitos n
umeros de B (o de A).
219
2 = (C, D)
donde
C = {x Q : x2 0 y x2 < 2}
D = {x Q : x2 > 2}
Figura 1
11.2.2.
Igualdad de cortaduras
220
Construccion de los n
umeros reales
resulta natural denir la igualdad de cortaduras:
= (A, B) y = (C, D) si y solo si A = C y B = D
Esta relacion de igualdad entre cortaduras es una relacion de equivalencia porque
esta denida en terminos de la igualdad de conjuntos y esta lo es.
Para determinar una cortadura (A, B) basta uno de los dos conjuntos A o B porque
cada uno es el complemento del otro con respecto al universo de los n
umeros
racionales.
11.2.3.
Operaciones entre n
umeros reales
11.2.3.1.
Adici
on
11.2.3.1.1.
Propiedades de la adici
on de n
umeros reales
Propiedad conmutativa
Para todo = (A, B), = (C, D) n
umeros reales, se cumple que
+ =+
Prueba. Por denicion de adicion entre n
umeros reales
+ = (A, B) + (C, D)
= (A + C, B + D)
Pero para todo A y C subconjuntos de los n
umeros racionales se tiene que:
A + C = {(x + y) : x A y C}
y por la propiedad conmutativa de la suma de n
umeros racionales se tiene que:
{(x + y) : x A y C} = {(y + x) : x A y C}
= C+A
Aplicando este resultado a los dos componentes de cada cortadura obtenemos el
resultado.
222
Construccion de los n
umeros reales
Existencia de elemento id
entico
Si = (A, B) es un n
umero real cualquiera, el n
umero
0 = ({0}, (0, ))
es el elemento identico para la suma, es decir que
+0= 0+ =
Prueba. Por la a denicion de adicion, tenemos que:
+ 0 = (A, B) + ({0}, (0, )) = (A + ({0}, B + (0, ))
Veamos primero que A + 0 = A,
A + 0 = A + {0} = {x + 0 : x A} = A
Falta probar que para cualquier subconjunto B de los n
umeros racionales se tiene
que
B + (0, ) = B.
Es decir, debemos probar que B + (0, ) B y que B + (0, ) B. Probemos
primero que B + (0, ) B:
Sea x B + (0, ) entonces
x {a + b : a B b (0, )}
B es un conjunto cualquiera de n
umeros racionales tal que
B = {w Q : w > a}
y
(0, ) = {z Q : z > 0}
sumando las dos desigualdades obtenemos que
w+z >a
entonces w+z B y por lo tanto B+(0, ) B. La otra parte de la demostracion,
la correspondiente a que B B + (0, ), queda como ejercicio para el lector
interesado.
Ejercicios
1. Demuestre que B B + (0, ).
2. Intente demostrar la propiedad cancelativa para la adici
on entre n
umeros
reales, que dicultades encuentra?
223
Multiplicaci
on entre n
umeros reales
11.2.3.2.1.
PP=P
I {1} = I
II=I
P {0, 1} = P
Propiedades de la multiplicaci
on
Propiedad asociativa
Para todo = (A, B), = (C, D) y = (E, F), n
umeros reales, se cumple que:
( ) = ( )
Prueba. De acuerdo a la denicion de multiplicacion entre n
umeros reales:
[(A, B) (C, D)] (E, F) = (A, B) [(C, D) (E, F)]
Si partimos del lado izquierdo de la igualdad, tenemos que:
[(A, B) (C, D)] (E, F) = (A C, B D) (E, F)
Y aplicando nuevamente la denicion de multiplicacion:
[(A, B) (C, D)] (E, F) = ((A C) E, (B D) F)
224
Construccion de los n
umeros reales
Tambien sabemos que para todo A, C y E subconjuntos de n
umeros racionales se
tiene:
(A C) E = {(a c) e : (a A c C) e E}
y por la propiedad asociativa de la multiplicacion entre n
umeros racionales:
{(a c) e : (a A c C) e E} = {a (c e) : a A (c C e E)}
Pero
{a (c e) : a A (c C e E)} = A (C E)
Entonces
(A C) E = A (C E)
Analogamente llegamos a que:
(B D) F = B (D F)
Igualdades de las cuales se concluye que
((A C) E, (B D) F) = (A (C E), B (D F))
De donde, aplicando la denicion de multiplicacion entre n
umeros reales:
(A (C E), B (D F)) = (A, B) [(C, D) (E, F)]
Y as,
[(A, B) (C, D)] (E, F) = (A, B) [(C, D) (E, F)]
que era lo que deseabamos demostrar.
Propiedad conmutativa
Esta propiedad enuncia que para todo n
umero real y , = (A, B) y = (C, D)
se tiene que:
(A, B) (C, D) = (C, D) (A, B)
Prueba. Por denicion de multiplicacion entre n
umeros reales
= (A, B) (C, D)
= (A C, B D)
225
226
Construccion de los n
umeros reales
Propiedad distributiva de la multiplicaci
on respecto a la adici
on
Para todo = (A, B) y = (C, D) y = (E, F) n
umeros reales se cumple que
( + ) = +
Prueba. Esta propiedad de los n
umeros reales tambien se desprende de manera
directa de las propiedades de los n
umeros racionales; pues para todo subconjunto
A, B y C de n
umeros racionales, se cumple que:
A (B + C) = A B + A C
Puesto que por la denicion de multiplicacion,
A (B + C) = {x (y + z) : x A (y B z C)}
y por la propiedad distributiva de la multiplicacion respecto a la adicion en n
umeros
racionales
{x (y + z) : x A (y B z C)} = {x y + x z : x A y B z C}
=AB +AC
En resumen, el conjunto de los n
umeros reales con la adicion y la multiplicacion
es asociativo, conmutativo, tiene un elemento identico, es cancelativo y la multiplicacion es distributiva con respeto a la adicion.
Desde el punto de vista de las operaciones y sus propiedades, no hemos ganado
algo con respecto a los n
umeros racionales, veamos que las ganancias estan en el
orden.
Ejercicios
1. Demuestre la propiedad modulativa para la multiplicaci
on entre n
umeros
reales.
2. Demuestre que existe inverso multiplicativo para cada n
umeros real distinto
de cero.
11.2.4.
El orden en la recta
11.2.5.
Construccion de los n
umeros reales
iii Transitiva: Si y entonces .
Si = (A, B), = (C, D) y = (E, F), la hipotesis dice que (A, B) (C, D)
y (C, D) (E, F) si y solo s D B, A C y F D, C E, veamos:
Si D B, y F D, se puede decir que F B, por la transitividad de la
igualdad entre conjuntos y por el mismo argumento se concluye que A E.
Por tanto, si F B y A E, entonces por denicion de la igualdad de
conjuntos, tenemos que (A, B) (E, F), por lo que se puede concluir que
.
Se dice ahora, por analoga con los n
umeros racionales, que si , y son n
umeros
reales:
> y > entonces > y se dira que el n
umero se encuentra entre
y .
Existen innitos n
umeros diferentes que se encuentran entre y .
Para , un n
umero real cualquiera, todos los n
umeros reales se dividen en
dos clases A y B, de manera que cada una de ellas posee un n
umero innito
de elementos, cada miembro de A es menor que y cada miembro de B es
mayor que . El n
umero puede ser incluido en cualquier clase.
Hasta aqu hemos presentado una forma para construir el conjunto de los n
umeros
reales (no negativos) y somos conscientes de su complejidad, sin embargo consideramos que las otras opciones, requieren mayores prerrequisitos. Compartimos la
armacion de Kline El n
umero irracional (. . . ) es un monstruo intelectual, y podemos comprender por que los griegos y tras ellos tantas generaciones de matem
aticos
18
los encontraron tan difciles de manejar .
Ejercicios
1. Demuestre que entre n
umeros reales se cumple la monotona de la adici
on.
2. Dentro de los n
umeros reales construidos hasta ahora, demuestre que se
cumple la propiedad de la monotona para la multiplicaci
on.
18
229
230
Captulo
12
12.1.
Procesos Irreversibles
12.2.
Procesos Reversibles
232
Curiosamente en fsica tambien cuando se pensaba de manera clasica en el vaco, se le consideraba absoluto y u
nico; la mecanica cu
antica, por el contrario, considera innitos estados vacos,
todos equivalentes. RYDER, L., Quantum field theory, Cambridge, 1984, p.p. 290-296.
El matem
atico frances Lazare Carnot (1753 - 1823) se
nala que el cero absoluto es una cantidad
por debajo del cual no hay nada. Para obtener realmente una cantidad negativa aislada, sera
necesario restar una cantidad efectiva de cero, quitar algo de nada: operaci
on imposible.
En el siglo XIX, F. Busset, enfatiza en la existencia de varios tipos de ceros, el cero absoluto y
ceros relativos, el cero como origen en un sistema de coordenadas.
5
Si en el intervalo de cambio de la temperatura no est
a ninguno de sus puntos crticos de
cambios de estado.(SERWAY, R., op cit. p. 537).
6
El primer termometro cientco fue construido por Rene Reaumur en 1730, inclua
temperaturas por debajo de 0; en 1713, Daniel Fahrenheith evita esas temperaturas escogiendo
un punto de referencia para el cero, m
as bajo.
233
12.3.
Entes Opuestos
Aparte de los procesos inversibles que hemos mencionado, tambien existen cosas
opuestas, que pueden ser representadas con el mismo modelo matematico, por
ejemplo:
1. La carga el
ectrica de la materia aparece de dos formas; cuando ellas son
contrarias los cuerpos se atraen, si son del mismo tipo se rechazan, cuando
se juntan cargas iguales de distinto tipo, las dos se compensan y la carga
resultante es nula, o neutra.
2. La interferencia de las ondas: Cuando dos o mas ondas concurren en
el mismo espacio sus amplitudes se suman, de manera que si sus fases se
acomodan de manera conveniente puede obtenerse una onda de amplitud 0,
en lo que se llama interferencia destructiva. De esta manera es posible obtener
oscuridad sumando luces y silencio sumando sonidos; es lo que sucede cuando
una se
nal de television o de radio no es clara.
3. Pasivos y activos: En contabilidad desde tiempos muy antiguos7 , era costumbre escribir las deudas con color rojo y las ganancias y todo lo que le es
7
Los chinos desde el primer siglo de nuestra era, representaban con varillas negras y rojas,
activos y pasivos respectivamente. Sin embargo, aparecen solamente como auxiliares de c
alculo;
no hay n
umeros negativos en los enunciados de los problemas, tampoco los hay en las respuestas.
La primera vez que aparecen de forma explcita las reglas que rigen la aritmetica con los n
umeros
negativos es, hacia el a
no 628 de nuestra era, en una obra del matem
atico hind
u Brahmagupta,
En ella se explican los algoritmos para efectuar sumas, restas, multiplicaciones y divisiones, con
lo que llamaba los bienes, las deudasy la nada, es decir con lo que hoy llamamos n
umeros
positivos, negativos y cero; dice por ejemplo Una deuda restada de la nada se convierte en un
bien, un bien restado de la nada se convierte en una deuda. Sin embargo, los aceptaron con
reservas, por ejemplo Braskara, obtuvo como soluciones de un problema 50 y 5, y dice: el
segundo valor no debe considerarse, porque es inadecuado; la gente no aprueba las soluciones
negativas. La misma idea la aplicaron los comerciantes alemanes al escribir de un color lo que
234
12.4.
N
umeros Opuestos
235
12.4.1.
Operaciones con N
umeros Opuestos
12.4.1.1.
Adici
on
Cuando tenemos n
umeros del mismo tipo y los sumamos obtenemos n
umeros del
mismo tipo, as:
12454 + 325 = 12779
458, 2 + 500, 4 = 958, 6
y
y esto equivale a:
El n
umero 0 esta en ambos conjuntos y por lo tanto lo podemos escribir normales o en
negrilla, indistintamente.
10
236
lo que equivale a:
12.4.1.2.
Sustracci
on
Si restamos dos n
umeros de la misma clase y la resta es posible en el sentido de
los n
umeros naturales, esto es que el minuendo es mayor o igual al sustraendo, la
situacion es ya conocida y la solucion es la misma:
325 215 = 110
548 324 = 224
Si suponemos que las operaciones entre n
umeros normales y en negrilla tienen las
mismas propiedades que las de los n
umeros racionales positivos, podemos entonces
efectuar sustracciones donde el minuendo es mayor que el sustraendo, recurriendo
al truco de escribir:
325 847 = 325 847 + 0
= 325 847 + (847 + 847)
= 325 + (847 847) + 847
lo que nos lleva a una situacion que ya sabemos resolver.
= 325 + 847 = 522
11
Cardano en su Ars Magna de 1545, insiste: Es un sencillo consejo no confundir las cantidades
defectuosas (ausentes) con las cantidades abundantes. Es preciso a
nadir entre s las cantidades
abundantes, a
nadir tambien entre s las cantidades defectuosas, y restar las cantidades defectuosas de las abundantes, pero teniendo en cuenta las especies, es decir, no operar mas que con
semejantes; combinar los n
umeros entre s, lo mismo con los cuadrados, e incluso con los cubos,
etc.
237
y
de donde podemos conjeturar que:
35 = 8
de la misma forma obtenemos:
3 2 = 0 + (3 2)
= (2 + 2) + (3 2)
= (2 - 2) + (2 + 3)
=5
y tambien podemos efectuar:
5 8 = (8 + 8) + (5 8)
= 5+8= 3
Los n
umeros naturales, ni los racionales solos, pueden expresar esta idea de oposicion, lo que hace necesario emplear n
umeros de dos tipos.
12
238
Multiplicaci
on
O sea
que, curiosamente, coincide con
5 3 = 3 + 3 + 3 + 3 + 3 = 15
Pero el caso que no tiene interpretacion directa es
35 = ?
Para abordar este caso, necesitamos acudir de alguna forma a los n
umeros normales
que son los que para nosotros tienen signicado, por ejemplo podemos sumar 0,
en forma de:
y expresar
3 5 = 3 5 + (15 + 15)
15 = 3 5
15 = 3 5
239
241
c-d
c
12.4.1.4.
Divisi
on
15
245
12.5.
Orden
Para dar signicado a las relaciones de ser mayor queo ser menor que, notamos
Q al conjunto de los n
umeros racionales positivos y Q al de sus n
umeros opuestos
y, de nuevo, separamos los casos:
El primer caso ya esta resuelto:
a < b si y solo s, existe un c Q tal que a + c = b.
pues los n
umeros normales son los racionales positivos que conocemos.
Para comparar un n
umero en negrilla con uno normal, establecemos con el mismo
17
criterio anterior que:
a < b si y solo s, existe un c Q tal que a + c = b.
y tenemos que siempre existe c = b + a, que cumple la condicion; de manera que
todos lo n
umeros en negrilla son menores que todos los n
umeros normales.
16
Antoine Arnauld un te
ologo amigo de Pascal dice, a proposito de la igualdad
1
1
=
1
1
C
omo un n
umero m
as peque
no podra ser a uno m
as grande como una m
as grande a uno m
as
peque
no?
17
Que sucede si escogemos c Q?
246
12.5.1.
existe tambien un n
umero d tal que b + d = a.
Por lo tanto
(a + k) + d = a
y si ademas
c < d,
existe un n
umero n tal que c + n = d.
Los n
umeros en negrilla corresponden a los n
umeros negativos.
249
250
Captulo
13
13.1.
N
umeros construibles opuestos
N
umeros irracionales negativos
Figura 1
2 1
1 2
Figura 2
De esta manera, podemos representar todos los n
umeros construibles, los positivos
y sus opuestos, veamos ahora como hacer operaciones con estos n
umeros.
13.1.1.
Operaciones con n
umeros construibles opuestos
13.1.1.1.
Adici
on
253
5
2
0
3,5
5
2
3,5
6
2 + 1
2+1
Figura 3
Cuando sumamos n
umeros de distinta clase, la situacion es diferente. Por ejemplo,
si sumamos un n
umero con su opuesto (Figura 4), obtenemos como resultado 0:
0
a+a
0
Figura 4
En los demas casos, el sentido del resultado de la suma depende del sentido del
segmento que sea mayor, como se observa en la gura 5.
254
N
umeros irracionales negativos
2
3
2
3
1
3
1
3
3.6
6.35
0
2.78
Figura 5
13.1.1.2.
Sustracci
on
4.5
Minuendo
0
2.25
Sustraendo
0
0
2.25
4.5-2.25
0
2.25
255
Diferencia
0
11
3
0
11
3
8
3
0
Figura 6
5.5
0
5.5
3.5
37
10
0
0
0
1.9
5.6
37
10
5,6
0
Figura 7
Por u
ltimo, cuando el minuendo y el sustraendo son n
umeros de diferente clase,
obtenemos resultados como:
256
N
umeros irracionales negativos
0
24
2.5
0
5.8
2.5 5,8
0
8.3
0
Figura 8
13.1.1.3.
Multiplicaci
on
Para multiplicar n
umeros positivos y negativos, replicaremos el procedimiento empleado para multiplicar segmentos, para lo cual emplearemos dos rectas que se
intersecten.
El punto de interseccion lo llamaremos 0 y a partir de este elegimos en cual sentido,
en cada una de las rectas, ubicar los positivos y los negativos1 . Ubicamos cada
factor en una de las rectas y tambien el 1 en una de ellas; luego trazamos una
recta que pase por 1 y el punto de los ubicados anteriormente que no este en la
misma recta y por u
ltimo una recta paralela a esta u
ltima que pase por el punto
que representa el otro factor. El punto de corte de esta paralela con la otra recta,
de las iniciales, corresponde al producto buscado.
Por ejemplo, para multiplicar 2 3:
i. Ubicamos 2, en una de las rectas y 3 en la otra.
ii. Ubicamos 1 en la recta donde ubicamos el 3.
1
257
1
2 3
Figura 9
32
12
0
1
3
Figura 10
As se verican, geometricamente, los resultados que obtuvimos en el capitulo
anterior:
258
N
umeros irracionales negativos
N
umero normal
N
umero normal
N
umero en negrilla
N
umero en negrilla
13.1.1.4.
N
umero normal
N
umero en negrilla
N
umero normal
N
umero en negrilla
=
=
=
=
N
umero normal
N
umero en negrilla
N
umero en negrilla
N
umero normal
Divisi
on
1
, el
a
1
procedimiento para dividir se reduce a construir el segmento y luego multiplicar
a
con la construccion descrita anteriormente. Por ejemplo, para dividir 5 entre 3,
1
primero dibujamos el n
umero y lo multiplicamos por 5:
3
1
3
3
5
Figura 11
N
umero normal
N
umero normal
N
umero en negrilla
N
umero en negrilla
N
umero normal
N
umero en negrilla
N
umero normal
N
umero en negrilla
259
=
=
=
=
N
umero normal
N
umero en negrilla
N
umero en negrilla
N
umero normal
Radicaci
on2
1+x
.
2
1+x
1+x
trazamos una circunferencia con radio 0
.
2
2
1 x
1+x
Figura 12
2
260
N
umeros irracionales negativos
Si realizamos el mismo procedimiento para encontrar la raz cuadrada de un
n
umero negativo b, la suma entre b y 1 siempre va a ser menor que 1 y, en consecuencia, la perpendicular a la recta, por 1, no tiene punto(s) de corte con la
1+b
1+b
circunferencia con centro en el punto
y radio el segmento 0
, con lo cual
2
2
se puede vericar que este procedimiento no permite
construir la raz cuadrada de
n
umeros negativos. Veamos la situacion con 4:
1+4
1+4
2
Figura 13
Podra pensarse que si realizamos la misma construccion con1, en lugar de 1,
4, construimos
la situacion se resolvera; por ejemplo, si para hallar
1 + (4) y trazamos la circunferencia con centro en el punto medio y levantamos
la perpendicular en 1, obtenemos un punto x:
1 + (4)
x
Figura 14
261
4=x
umeros negativos
obteniendo as, 4 y no 4. Por lo tanto, la raz cuadrada de n
262
Captulo
14
asociativa.
modulativa o existencia de elemento identico.
cancelativa.
conmutativa
Para la multiplicacion:
Propiedad
Propiedad
Propiedad
Propiedad
asociativa.
modulativa o existencia de elemento neutro.
invertiva o de existencia de inversos multiplicativos.
conmutativa.
264
N
umeros reales (Una construccion oficial)
Recordemos, por ejemplo, cuando en paginas anteriores requeramos restar 3 5,
basados en el juego de las escondidas francesas, recurrimos a incluir la pareja 5+5,
para obtener:
3 5 = (5 + 5) + (3 5) = (5 5) + (5 + 3) = 8
Sin embargo, podramos haber recurrido a otra pareja, por ejemplo:
3 5 = (6 + 6) + (3 5) = (6 5) + (6 + 3) = 1 + 9 = 8
O en general, a la pareja a+a, siempre que a fuera mayor o igual a 5, para nuestro
ejemplo. Esto nos lleva a concluir que tenemos innitas parejas de n
umeros que
representan el mismo n
umero, en este caso
6+ 6 = 5+ 5 = 7+ 7 = = a+ a
donde todas las parejas representan el mismo n
umero, el 0.
Tambien sabemos que 6 + 6 = 6 6, pues los n
umeros normales fueron los que
admitimos construidos y resumidamente:
6 6 = 5 5 = 7 7 = = a a = 0
Y obviamente, no solo el cero es la diferencia de innitas parejas de n
umeros
positivos, el 1, por ejemplo, lo podemos expresar como sigue:
7 6 = 6 5 = 8 + 7 = = (a + 1) a = 1
cualquier n
umero de los ya conocidos, los n
umeros normales, los podemos escribir
como innitas sustracciones de otros dos n
umeros n
umeros normales.
Sin embargo, tenemos algunas restas de n
umeros n
umeros normales, cuya diferencia no resulta un n
umero, recordemos, por ejemplo:
5 8 = (8 + 8) + (5 8) = 8 + 5 = 3
donde el resultado es un n
umero n
umero en negrilla, que corresponde a los n
umeros
que deseamos incluir en la construccion del nuevo sistema numerico, basado solamente en los n
umeros reales positivos, como escribir entonces estos n
umeros (los
n
umeros en negrilla) como parejas de n
umeros n
umeros normales?. Para ello, lo
primero que elegiremos es una notacion adecuada para los n
umeros que deseamos
construir, que corresponden nalmente a los n
umeros reales.
265
5 1
o ( 2 + 2) 2 o 3
2 2
Esto signica que a cada n
umero real le podemos asociar parejas de n
umeros reales
no negativos; para el ejemplo anterior:
5 1
2 = (2, 0) = (3, 1) = (4, 2) =
,
= ( 2 + 2), 2 =
2 2
2 0 o 31 o 42 o
si y solo si
a+d =b+c
x
Figura 1
3
266
N
umeros reales (Una construccion oficial)
14.1
Relaci
on de equivalencia entre parejas
de n
umeros reales no negativos4
Para ver que estas parejas denen clases de equivalencia donde cada clase representa un solo n
umero, demostraremos que, la anterior relacion es de equivalencia.
Recordemos que para que una relacion sea de equivalencia debe cumplir tres reglas
basicas que son: debe ser reexiva, simetrica y transitiva. Por tanto:
1. Reexiva: Para todo (a, b) que pertenece a los n
umeros reales; esto es, a, b
n
umeros relaes no negativos, se debe cumplir que (a, b) (a, b).
Prueba. Como a + b = b + a, de acuerdo la propiedad conmutativa de la adicion de n
umeros reales no negativos (ya demostrada a partir de las cortaduras de
Dedekind), se tiene que (a, b) (a, b) seg
un la denicion antes descrita.
2. Simetrica: Si (a, b) (c, d) entonces (c, d) (a, b).
Prueba. (a, b) (c, d) signica que a+d = b+c, de donde b+c = a+d, y utilizando
la propiedad conmutativa de la adicion entre n
umeros reales no negativos, tenemos
que c + b = d + a, lo que quiere decir que (c, d) (a, b).
3. Transitiva: Si (a, b) (c, d) y (c, d) (e, f) entonces (a, b) (e, f).
Prueba. Como (a, b) (c, d) y (c, d) (e, f), tenemos que
a+d = b+c y c+f =e+d
si sumamos termino a termino a las igualdades; obtenemos:
(a + d) + (c + f) = (b + c) + (d + e)
De donde, por la propiedad conmutativa, asociativa y cancelativa de la adicion
entre n
umeros reales no negativos, tenemos
a+f =b+e
lo que signica que (a, b) (b, e). Lo que demuestra que la relacion es de
equivalencia.
4
267
14.2.
Operaciones entre n
umeros reales
14.2.1.
La adici
on
Un n
umero real es entonces una clase, con base en esto, si se dene a la adicion
de n
umeros reales de la siguiente manera:
[(a, b)] [(c, d)] = [(a + c, b + d)]
es posible demostrar las propiedades que cumple esta operacion.
14.2.1.1.
Propiedad asociativa
Debemos demostrar que para todo [(a, b)], [(c, d)], [(e, f)] n
umeros reales, se tiene
que:
{[(a, b)] [(c, d)]} [(e, f)] = [(a, b)] {[(c, d)] [(e, f)]}
Prueba. Partiendo del lado izquierdo de la igualdad tenemos
{[(a, b)] [(c, d)]} [(e, f)] = {[(a + c, b + d)]} [(e, f)]
5
Esta idea de construir la teora usando pares ordenados fue de Hankel en 1867, quien se
bas
o en la teora de los n
umeros complejos como parejas ordenadas de n
umeros reales, hecha por
Hamilton. Matematicos como O. Stolz en 1885 y Tannery en 1886, tambien desarrollaron la idea
pero fue nalmente, Richard Dedekind quien deni
o una relacion de equisustractividadentre
parejas de n
umeros naturales, sin utilizar la sustracci
on, as a b = c d si y solo si a + d = b + c
y demostro que dicha relaci
on es de equivalencia, lo que utiliz
o para denir los n
umeros enteros
como el conjunto de las clases de equivalencia asociada a la denicion establecida. Dedekind
tambien determina dos operaciones, adici
on y multiplicaci
on, la existencia de elementos neutros
para las dos operaciones en cuestion y los elementos inversos; ademas establece el isomorsmo
entre los n
umeros enteros positivos y los n
umeros naturales (GONZALEZ,
J., et. al., N
umeros
enteros, Editorial Sntesis, Madrid, 1990, pp. 48 - 51).
268
N
umeros reales (Una construccion oficial)
por la denicion de adicion entre n
umeros racionales. Ahora, aplicando nuevamente
la misma denicion:
{[(a, b)] [(c, d)]} [(e, f)] = [((a + c) + e, (b + d) + f)]
Y utilizando la propiedad asociativa de la adicion para n
umeros reales no negativos,
obtenemos
{[(a, b)] [(c, d)]} [(e, f)] = [(a + (c + e), b + (d + f))]
Lo que, por la denicion de adicion entre n
umeros reales, queda:
{[(a, b)] [(c, d)]} [(e, f)] = [(a, b)] [(c + e, d + f)]
([(a, b)] [(c, d)]) [(e, f)] = [(a, b)] {[(c, d)] [(e, f)]}
que es lo que deseabamos demostrar.
14.2.1.2.
Existencia de elemento id
entico para la adici
on
Vamos a probar que para todo [(a, b)] que pertenezca al conjunto de los n
umeros
reales, existe un n
umero real [(x, y)] tal que:
[(a, b)] [(x, y)] = [(a, b)]
De la igualdad, deducimos que
[(a + x, b + y)[ = [(a, b)]
lo que implica, por la denicion de la relacion de equivalencia que
(a + x) + b = (b + y) + a
De donde, utilizando las propiedades asociativa, conmutativa y cancelativa de la
adicion entre n
umeros reales no negativos, obtenemos
x=y
Esto signica que el modulo o elemento neutro para la adicion es [(x, x)]; es decir
que, para todo [(a, b)] que pertenezca a los n
umeros reales, existe un n
umero real
[(x, x)], tal que:
[(a, b)] [(x, x)] = [(a, b)]
269
14.2.1.3.
El conjunto de los n
umeros reales con la adicion cumple la propiedad invertiva,
propiedad que hasta ahora no habamos considerado para alg
un conjunto numerico de los ya estudiados (n
umeros naturales, n
umeros racionales no negativos y
n
umeros reales no negativos), esta hace que los n
umeros reales con la adicion sean
un grupo.
La propiedad invertiva enuncia que para todo [(a, b)] que pertenece al conjunto de
los n
umeros reales, existe [(b, a)], n
umero real, tal que [(a, b)] [(b, a)] = [(x, x)].
Por notacion, tenemos que [(b, a)] = [(a, b)].
Prueba.
[(a, b)] [(b, a)] = [(a + b, b + a)]
por la denicion de adicion entre n
umeros reales.
Pero (a + b, a + b) es equivalente a (x, x); es decir, pertenecen a la misma familia,
luego:
[(a, b)] [(b, a)] = [(x, x)]
esto naliza nuestra demostracion.
Ejercicio
Demuestre la propiedad cancelativa de la adicion para la adicion entre n
umeros
reales; esto es, para todo [(a, b)], [(c, d)] y [(x, y)] n
umeros reales, se tiene que
Si
entonces
N
umeros reales (Una construccion oficial)
14.2.1.4.
Propiedad conmutativa
14.2.2.
Multiplicaci
on entre n
umeros reales
La multiplicacion entre n
umeros reales se dene de la siguiente forma:
[(a, b)] [(c, d)] = [(ac + bd, ad + bc)]
Veamos que propiedades cumple esta operacion.
14.2.2.1.
Propiedad asociativa
Vamos a demostrar que para todo [(a, b)], [(c, d)] y [(e, f)], que pertenecen a los
n
umeros reales, se tiene que:
{[(a, b)] [(c, d)]} [(e, f)] = [(a, b)] {[(c, d)] [(e, f)]}
271
14.2.2.2.
Propiedad conmutativa
N
umeros reales (Una construccion oficial)
14.2.2.3.
Existencia de elemento id
entico para la multiplicaci
on
En los n
umeros reales existe un elemento [(x, y)], tal que al ser multiplicado por
cualquier otro n
umero real [(a, b)], da como resultado el mismo n
umero real [(a, b)];
6
esto es, para todo [(a, b)] en R ,
[(a, b)] [(x, y)] = [(a, b)]
Primero, encontremos ese modulo; es decir, si partimos de la igualdad anterior,
tenemos:
[(ax + by, ay + bx)] = [(a, b)]
Esto implica que
(ax + by) + b = (ay + bx) + a
Lo que signica que
ax + b(y + 1) = a(y + 1) + bx
De donde deducimos que x = y + 1; esto es, el modulo de la multiplicacion es
[(y + 1, y)]
De manera general, decimos que para todo [(a, b)] R, existe [(y + 1, y)] tambien
en R, tal que:
[(a, b)] [(y + 1, y)] = [(a, b)]
Prueba. Aplicando la denicion de multiplicacion entre n
umeros reales, tenemos:
[(a, b)] [(y + 1, y)] = [(a(y + 1) + by, ay + b(y + 1)]
Ahora, con base en la propiedad distributiva de la multiplicacion respecto a la
adicion entre n
umeros reales no negativos:
[(a, b)] [(y + 1, y)] = [((ay + a) + by, ay + (by + b)]
Haciendo uso de la propiedad asociativa de la adicion de n
umeros reales no negativos y nuevamente, de la distributiva de la multiplicacion respecto a la adicion:
[(a, b)] [(y + 1, y)] = [((a + b)y + a, (a + b)y + b)]
Y como ((a + b)y + a) + b = ((a + b)y + b) + a, entonces
[((a + b)y + a, (a + b)y + b)] = [(a, b)],
Por lo tanto,
[(a, b)] [(y + 1, y)] = [(a, b)]
Tal como se quera mostrar.
6
273
Hay que demostrar que para todo [(a, b)], diferente de [(c, c)], que pertenezca al
1
, tal que:
conjunto de los n
umeros reales, existe [(a, b)]1, tambien notado
[(a, b)]
[(a, b)] [(a, b)]1 = [(y + 1, y)]
Antes de establecer el inverso multiplicativo, observese que:
3 1
= = (1, 0)
(3, 2) = (4, 3) =
,
2 2
esto signica que todas las parejas pertenecen a una misma familia, que podemos representar como: [(1, 0)] o [(3, 2)] o [(4, 3)] o . . . ; seg
un el representante que
escojamos; vamos a elegir como representante de esta familia a la pareja (1, 0)7 .
Por otra parte,
1 3
,
= = (0, 1)
(2, 3) = (5, 4) =
2 2
ya que estas parejas son elementos de una misma familia y, nuevamente, la representacion de esta clase no depende del representante elegido, vamos a elegir la
pareja (0, 1); esto es:
1 3
,
[(0, 1)] = {(0, 1), (2, 3), (3, 4), (4, 5), ,
,}
2 2
Esto quiere decir que cualquier familia [(a, b)] podemos expresarla de tal manera
que la pareja elegida como representante tenga alguno de sus elementos nulo; esto
es, si
a b, [(a, b)] = [(a b, 0)]
y si
a < b, [(a, b)] = [(0, b a)].
De esta manera, el inverso multiplicativo de [(a, b)] tiene una de las siguientes
formas:
1
[(a b, 0)]1 =
,0
si a b
ab
[(a, b)]1 =
0,
si a < b
[(0, b a)] =
ba
7
N
otese que 3 2 = 4 3 =
3 1
=1
2 2
274
N
umeros reales (Una construccion oficial)
De aqu, tenemos que la prueba de esta propiedad tiene dos casos, as:
Prueba. Caso 1: Si a b,
1
,0
ab
Caso 2: Si a < b,
[(a, b)] [(a, b)]1 = [(0 , b a)]
1
0,
.
ba
14.2.2.5.
Definici
on de divisi
on entre n
umeros reales
Dados los n
umeros [(a, b)], [(c, d)], [(e, f)] reales, vamos a demostrar que:
[(a, b)] {[(c, d)] [(e, f)]} = {[(a, b)] [(c, d)]} {[(a, b)] [(e, f)]}
Prueba. Por la denicion de adicion entre n
umeros reales, tenemos que:
[(a, b)] {[(c, d)] [(e, f)]} = [(a, b)] [(c + e, d + f)]
Ahora, basados en la denicion de multiplicacion de n
umeros reales, obtenemos:
[(a, b)] {[(c, d)] [(e, f)]} = [(a(c + e) + b(d + f), a(d + f) + b(c + e))]
Lo que es equivalente a
[(a, b)] {[(c, d)] [(e, f)]} = [((ac + ae) + (bd + bf), (ad + af) + (bc + be))]
de acuerdo a la propiedad distributiva de la multiplicacion respecto a la adicion
entre n
umeros reales no negativos.
N
umeros reales (Una construccion oficial)
14.3.
Orden en los n
umeros reales
entonces:
[(a, b)] [(e, f)] [(c, d)] [(g, h)]
Prueba. Si partimos de que [(a, b)] [(c, d)] y [(e, f)] [(g, h)], obtenemos:
a+d b+c y e+h f +g
Sumando estas dos desigualdades termino a termino (propiedad monotona
de la adicion entre n
umeros reales no negativos), encontramos que:
(a + d) + (e + h) (b + c) + (f + g)
278
N
umeros reales (Una construccion oficial)
Aplicando las propiedades asociativa y conmutativa de la adicion entre n
umeros
reales no negativos, tenemos:
(a + e) + (d + h) (c + g) + (b + f)
Lo que, por denicion de adicion entre n
umero reales equivale a:
[(a, b)] [(e, f)] [(c, d)] [(g, h)]
Con lo cual naliza nuestra demostracion.
5. Monotona de la multiplicaci
on de n
umeros reales por un n
umero positivo:
Dados dos n
umeros reales cualesquiera [(a, b)], [(c, d)] tal que
Si
[(a, b)] [(c, d)] y [(e, f)] [(x, x)]
entonces
[(a, b)] [(e, f)] [(c, d)] [(e, f)]
Prueba. Si [(a, b)] [(c, d)] entonces a + d b + c; multiplicando a ambos
lados de la desigualdad por e, y luego por f, obtenemos:
e(a + d) e(b + c)
(1)
f(a + d) f(b + c)
(2)
respectivamente.
Ademas, como
[(e, f)] [(x, x)]
entonces
x+f x+e
en particular, si x = 0, tenemos que f e; esto signica que e f 0,
luego, restando (2) de (1):
e(a + d) f(a + d) e(b + c) f(b + c)
Lo que equivale a:
e(a + d) + f(b + c) e(b + c) + f(a + d)
De donde, tenemos:
(ea + ed) + (fb + fc) (eb + ec) + (af + fd)
Aplicando la propiedad distributiva de la multiplicacion respecto a la adicion
entre n
umeros reales no negativos.
279
280
Captulo
15
PASTOR, J, Rey., An
alisis Matem
atico, vol I, Editorial Kapelusz, Buenos Aires, 1952, p. 10.
Para Hilbert, la demostraci
on es una cadena de afirmaciones, construida siguiendo reglas
estrictas que garantiza que el enunciado se deduce de los axiomas empleados(citado por Oostra,
A., 1999)
3
El ajedrez es similar a la presentacion axiom
atica, en el sentido que las piezas del juego
se caracterizan por sus movimientos mas no por su forma o nombre, podramos incluso jugar
ajedrez sin tablero y chas materiales, s
olo requerimos respetar las reglas.
2
281
15.1.
Axiomas de campo
En el conjunto de los n
umeros reales estan denidas dos operaciones la adicion
(+) y la multiplicacion, ellas satisfacen los siguientes axiomas: La pareja (R, +) es
un grupo abeliano, esto signica que
C1. Si a, b son n
umeros reales, entonces a + b es un n
umero real5 .
C2. Propiedad asociativa de la adici
on: Si a, b, c son n
umeros reales, entonces
a + (b + c) = (a + b) + c
C3. Existen un elemento id
entico para la adici
on en el conjunto de
los n
umeros reales, que notamos 0 y es tal que para cualquier n
umero
real a se cumple que:
a+0 =0+a= a
C4. Para todo n
umero real a existe un elemento que llamamos inverso aditivo,
y notamos a, tal que:
a + (a) = (a) + a = 0.
C5. Propiedad conmutativa de la suma: Si a, b son n
umeros reales, entonces
a+b=b+a
4
La presentacion axiom
atica de los n
umeros reales hecha originalmente por Hilbert establece
cuatro grupos de axiomas: Axiomas de conexion, de c
alculo, de ordenaci
on y de completez.
5
Muchos textos que hacen una presentaci
on axiom
atica de los n
umeros reales excluyen este
primer axioma y el an
alogo a este con la multiplicacion, dado que al determinar la adici
on y la
multiplicaci
on como operaciones, en el sentido moderno, no los requieren; sin embargo, Hilbert
en su version axiom
atica de R, s los incluye dentro del primer conjunto de axiomas; nosotros
tambien lo incluiremos dado que no hemos denido que es una operacion.
282
Axiomatizacion de los n
umeros reales
La operacion que llamamos multiplicacion y que notamos con el signo , es tal
que la pareja (R {0}, ) es un grupo abeliano, esto signica que:
C6. Si a, b son reales, entonces a b es un n
umero real.
C7. Propiedad asociativa de la multiplicaci
on: Si a, b, c son n
umeros reales,
entonces
a (b c) = (a b) c
C8. Existe un elemento id
entico para la multiplicaci
on el conjunto de
los n
umeros reales, que notamos 1, tal que para cualquier n
umero real a
se cumple que:
a1= 1a= a
C9. Para todo n
umero real a diferente de cero (a = 0) existe un n
umero
1
real que llamamos el inverso multiplicativo de a y notamos a1 o ,
a
de tal manera que
a a1 = a1 a = 1.
C10. Propiedad conmutativa de la multiplicaci
on: Si a, b son n
umeros
reales, entonces
a b = b a.
C11. Propiedad distributiva de la multiplicaci
on con respecto a la suma
de n
umeros reales: Esta propiedad establece un vinculo entre las dos operaciones: Si a, b, c son n
umeros reales, entonces:
a (b + c) = (a b) + (a c)
15.1.1.
La igualdad entre n
umeros reales es compatible con las operaciones en el sentido
de que:
Para todo a, b, c, d n
umeros reales, si
a = b y c = d entonces a + c = b + d y a c = b d.
A esta propiedad la llamamos tambien propiedad de uniformidad de la adici
on y la multiplicaci
on respectivamente.
283
15.1.2.
Definiciones
Si a, b son n
umeros reales, denimos la sustracci
on entre a y b por:
a b = a + (b).
y la divisi
on entre a y b por:
1
a
= a .
b
b
siempre que b no sea 0.
Iniciemos mostrando algunos n
umeros reales, por ejemplo, el axioma 8 garantiza la
existencia de un elemento 1 y el axioma 1, garantiza que la suma de dos n
umeros
reales es un n
umero real, en particular
1 + 1 es un n
umero real que notaremos 2
De la misma forma aseguramos la existencia de
2+1= 3
y as sucesivamente, construimos una copia de los n
umeros naturales.
El axioma 4 asegura la existencia del negativo de cada uno de los n
umeros descritos
y con ello obtenemos el conjunto de los n
umeros enteros.
El axioma 9 y la denicion de division nos garantizan la existencia de una copia
a
para cualquier par de
de los n
umeros racionales; es decir n
umeros de la forma
b
enteros a y b con b diferente de 0.
Con los axiomas mencionados hasta ahora, no es posible determinar la existencia
de alg
un n
umero irracional en el conjunto de los n
umeros reales, para esto se
requiere el axioma de completez, que sera introducido posteriormente; pero todos
los teoremas que demostramos en esta seccion son, por supuesto, aplicables a los
n
umeros irracionales.
Mostremos ahora propiedades que se cumplen para todos los n
umeros reales, en
particular las leyes del algebra elemental.
15.1.3.
Teoremas
Axiomatizacion de los n
umeros reales
Prueba. Supongamos que existen dos n
umeros reales 0 y 0 que cumplen el
axioma C3, entonces
0 + 0 = 0
porque 0 es modulo
0 + 0 = 0
porque 0 es modulo
umero.
lo que implica que 0 = 0 , por ser los dos iguales a un mismo n
2. Ejercicio: el 1 es u
nico
3. 0 = 1.
Prueba. Si no fuera as, sera
0 = 1 = 2 = 3 =
y habra un solo n
umero real6 . Pues, si 0 = 1 entonces,
01= 0= 1
por ser 1 modulo de la multiplicacion, pero tambien, por los axiomas C3 y
C11
0 1 = (0 + 0) 1 = 0 1 + 0 1 = 0
por lo tanto
0 = 01 = 01+01 = 1+1 = 2
0 = 0 1 = 0 1 + 0 1 = 2 + 0 = 2 + 0 1 = 3
4. Propiedad cancelativa de la adici
on: Si a, b son n
umeros reales y
a + b = a + c entonces b = c
Prueba. Supongamos que
a+b=a+c
por la propiedad uniforme de la adicion, sumamos en ambos lados de la
igualdad el mismo n
umero y obtenemos
(a) + (a + b) = (a) + (a + c)
6
El conjunto {0}, satisface de manera trivial los axiomas de campo, pero no es lo sucientemente rico, para que amerite un estudio mas profundo, por esta raz
on lo dejaremos de lado, por
ahora.
285
6. El inverso aditivo de un n
umero real es u
nico
Prueba. El axioma C4 garantiza la existencia de por lo menos un inverso
aditivo para cada n
umero real a; supongamos que a tiene dos inversos aditivos
diferentes (a) y (a) entonces,
(a) + a = 0
(a) + a = 0
(a) + a = (a) + a
(a) = (a)
7.
Por
Por
Por
Por
entonces
b = a
por el axioma C2
por el axioma C4
por el axioma C3
(a) + (a + b) = (a) + 0
((a) + a) + b = (a) + 0
0 + b = (a) + 0
b = (a)
286
Axiomatizacion de los n
umeros reales
9.
entonces
b=
1
a
a
= 1.
a
Prueba.
a
1
=a
a
a
a
=1
a
14.
1
= 1.
1
287
0
= 0.
a
Prueba.
1
a
= a
1
1
a
= a 1
1
a
=a
1
Axiomatizacion de los n
umeros reales
Prueba. Por el axioma C4, tenemos que
a + (a) = 0
b + (b) = 0
y seg
un la propiedad uniforme de la adicion y el axioma C3,
(a + (a)) + (b + (b)) = 0
De acuerdo con los axiomas C2 y C5,
(a + b) + ((a)) + (b)) = 0
y por ser u
nico el inverso aditivo, la anterior igualdad signica que el inverso
aditivo de ((a)) + (b)) es (a + b) o sea que:
(a + b) = (a) + (b)
19.
Por
Por
Por
Por
el
el
el
el
axioma C11.
axioma C4
teorema 10
teorema 6.
Por
Por
Por
Por
Por
Por
el
el
el
el
el
el
axioma C11.
axioma C4
teorema 10
teorema 20
teorema 6.
teorema 16.
Por
Por
Por
Por
la denicion de resta
el axioma C11
el axioma C5 y el teorema 20
la denicion de resta.
si y solo si
290
a = b.
Axiomatizacion de los n
umeros reales
Prueba.
a = (a) 1
a = (a 1)
a = (1) a
Por el axioma C8
Por el teorema 20
Por el axioma C5 y el teorema 20.
entonces
x=ba
Prueba.
a+x=b
(a + x) + (a) = b + (a)
(a + (a)) + x = b + (a)
0 + x = b + (a)
x = b + (a)
x=ba
29.
Por
Por
Por
Por
Por
Por
hipotesis
la propiedad uniforme de la igualdad
los axiomas C2 y C5
el axioma C4
el axioma C3
la denicion de resta.
Ejercicio: Si a x =b y a = 0 entonces x =
b
.
a
1
= 0
a
Negacion de la conclusion.
Por la propiedad uniforme de la igualdad
Por el axioma C9
Por el teorema 10.
32. Si a y b son n
umeros reales con a = 0 y b = 0 entonces
1
1 1
=
ab a b
Prueba.
a = 0
b = 0
(a b)
1
=1
ab
Por hipotesis
Por la hipotesis, el teorema 31
1
1
1
(a b)
= 1
a
ab
a
y el axioma C9
Por la propiedad uniforme
de la multiplicacion
1
1
1
=
a b
a
ab
a
1
1
1 b
=
ab
a
292
Axiomatizacion de los n
umeros reales
1
1
=
b
ab
a
1
1 1
1
b
=
b
ab
b a
1
1 1
1
b
=
b
ab
b a
1
1 1
1
=
ab
b a
1 1
1
=
ab
a b
Por el axioma C8
Por la propiedad uniforme de la
igualdad la hipotesis y el axioma C9.
Por el axioma C7
Por el axioma C9.
Por los axiomas C8 y C10.
33. Si a, b, c, d son n
umeros reales, b y d son diferentes de cero, y si
a c
=
b d
Prueba.
a c
=
b d
1
1
a =c
b
d
1
1
d= c
d
a
b
d
1
1
d= c d
a
b
d
1
(a d) = c 1
b
1
(a d) b = c b
b
(a d) 1 = c b
ad = bc
entonces
ad =bc
Por hipotesis
Por la denicion de division
Por la uniformidad de la multiplicacion
Por el axioma C7
Por los Axiomas C7, C9 y C10
Por la uniformidad de la multiplicacion
y el axioma C8.
Por el axioma C9
Por los axiomas C8 y C10.
34. Si a, b, c, d son n
umeros reales, b y d son diferentes de cero, entonces
a c ac
=
b d bd
293
1
a
b
1
c
d
1 1
= (a c)
b d
1
= (a c)
bd
ac
=
bd
Por la denicion de division
Por los axiomas C7 y C10
Por el teorema 32
Por la denicion de division.
35. Si a, b y c son n
umeros reales, con b = 0 y c = 0, entonces
a ac
=
b
bc
Prueba.
ac a c
=
bc
b c
a a
1
= c
b
b
c
a a
= 1
b
b
a a
=
b
b
Por el teorema 34
Por la denicion de division
Por el axioma C9
Por el axioma C8.
.
b d
b
c
d
37. Si a, b, c son n
umeros reales y c = 0, entonces
a b a+c
+ =
b c
c
294
Axiomatizacion de los n
umeros reales
Prueba.
a b
1
1
+ = a +b
b c
c
c
1
= (a + b)
c
a+b
=
c
38. Si a, b, c, d son n
umeros reales, c = 0 y d = 0 entonces
a b ad+bc
+ =
c d
cd
Prueba.
ad+bc
1
= (a d + b c)
Por la denicion de division
cd
cd
ad bc
=
+
Por el axioma C11 y la denicion
cd cd
de division.
ad bc
+
cd dc
a b
= +
c d
Los estudiantes en la secundaria inventan algunas reglas que no necesariamente funcionan; por ejemplo: es falso, que para n
umeros reales a, b, c, d
cualesquiera, si b = 0 y d = 0 entonces
y tambien que
a c a+c
+ =
b d b+d
a
a
= b
d
b
d
=
b
b
b
La prueba se divide en dos partes, primero probar que
a
a
=
b
b
Prueba.
a
a
= (1)
b
b
a
a
= (1)
b
b
a
(1)a
=
b
b
a
a
=
b
b
por el axioma C8
por el teorema 20
por el teorema 34
por el teorema 20.
a
a
=
b
b
Prueba.
a
1
= a
b
b
1
a
= (a)(1)
b
b
a
= (1)(a)(b1)
b
a
= (1)(b1) (a)
b
a
= (b1)(a)
b
a
1
=
(a)
b b
a
a
=
b
b
Axiomatizacion de los n
umeros reales
Finalmente, la propiedad transitiva de la igualdad garantiza que
a
a
=
b
b
Las propiedades que aqu hemos demostrado, son validas en cualquier conjunto de n
umeros con dos operaciones, que podemos llamar tambien, suma
y multiplicacion siempre y cuando satisfagan los axiomas C1 a C11, listados
al comienzo; una tal estructura se llama un campo.
Pero el conjunto de los n
umeros reales tiene algo mas que las operaciones,
tambien hay manera de comparar dos n
umeros reales y establecer si uno es
mayor que el otro o no, mostraremos enseguida como formalizar esta idea.
15.2.
Axiomas de orden
En el conjunto N de los n
umeros naturales denimos7 el orden aditivo entre
ellos, diciendo que
ab
En los n
umeros racionales positivos lo hicimos de la misma forma y con los
mismos resultados.
En el primer captulo, intentamos aplicar el mismo metodo para denir el
orden en un conjunto que incluyera n
umeros negativos y nos vimos en el
problema de que siempre existe un n
umero real que sumado con otro nos da
cualquier otro y as todos los n
umeros resultaran menores y mayores que
todos los demas.
Es el mismo problema que genera la imposibilidad de denir una teora de
divisibilidad entre n
umeros racionales, porque como la multiplicacion de los
n
umeros racionales positivos es un grupo, todo n
umero racional, excepto el
0, divide a cualquier otro.
Sin embargo, vimos la posibilidad de caracterizar a los n
umeros positivos
para distinguirlos de los demas, lo que nos ayudara a denir un orden para
los n
umeros reales.
Supongamos que existe un subconjunto P de los n
umero reales, que llamamos
el conjunto de los n
umeros positivos, de tal manera que la suma de dos
7
297
y a b son n
umeros
O2. Si a es un n
umero real, entonces solo una de las siguientes armaciones
es cierta:
a P,
a = 0,
a P
15.2.1.
Definiciones
si y solo si a es positivo
15.2.2.
Teoremas
b<c
298
entonces
a<c
Axiomatizacion de los n
umeros reales
Prueba. Si a < b y b < c entonces b a P y c b P, entonces su suma
(b a) + (c b) P, es decir c a P, por lo tanto
a<c
La relacion es un orden total sobre , si a y b son n
umeros reales, se
cumple exactamente una de las siguientes situaciones:
a < b,
a = b,
b<a
Puesto que el n
umero b a cumple exactamente una de las situaciones:
b a > 0,
b a = 0,
ba<0
entonces
x + z < y + z,
para todo n
umero real z.
Prueba. Supongamos que x < y, entonces y x P, por el axioma C3,
tenemos que
(y x) + 0 P
o lo que es igual, por el teorema 23,
(y x) + (z z) P
para un n
umero real z cualquiera; y por los axiomas C2 y C5, nos queda
(y + z) (x + z) P
lo que signica que
x + z < y + z.
299
entonces
x z > y z,
por la denicion
porque z es negativo
por el axioma O1
por el axioma C11 y los teoremas 16, 18, 20 y 21.
por la denicion.
Por
Por
Por
Por
el
el
el
el
axioma O2
axioma O1
teorema 21
axioma C8
Por el axioma O2
1
>0
a
Axiomatizacion de los n
umeros reales
Prueba. Como a > 0, por el axioma O2, concluimos que a = 0, y por el
1
y para el, por el axioma O2, solo se
axioma C9, existe el n
umero real
a
tiene una de las siguientes relaciones:
1
> 0,
a
1
= 0,
a
1
<0
a
1
= 0, entonces, por el axioma C9 y el teorema 10, tenSupongamos que
a
dramos que
1
1 = a =a0 = 0
a
es decir, que
1=0
lo cual es imposible, por que contradice el teorema 3.
1
< 0; luego, al multiplicar por el n
umero posiSupongamos, entonces, que
a
tivo a obtenemos, por el teorema 44, que
a
1
<a0
a
1
<0
a
Por hipotesis
Por el axioma O1
Por el teorema 20
Por el axioma O2
Porque a = 0 y b = 0, por hipotesis.
Por el axioma O2.
1
> 0 y por el axioma O1
a
1
(a b) > 0
a
1
Si a < 0 entonces, por el teorema 48, se cumple que < 0 y por el teorema
a
49
1
b = (a b) < 0.
a
52. Ejercicio: Para todo par de n
umeros reales a y b, se cumple que si
a b < 0 entonces a > 0 y b < 0 o a < 0 y b > 0
53. Para todo n
umero real a, si
a = 0
entonces
a2 > 0
Prueba.
a = 0
aP o aP
Si a P,
a2 = a a P
esto signica que a2 > 0.
Si a P
(a) (a) = a a P
esto signica que a2 > 0.
Por hipotesis
Por el axioma O2
Por el axioma O1
302
Axiomatizacion de los n
umeros reales
54. Ejercicio: Para todo par de n
umeros reales a y b, se cumple que si
a<b
entonces
a > b.
existe un n
umero real z, tal que x < z < y
Prueba.
x<y
x+x<y+x
x+y <y+y
2x < y + x < 2y
y+x
<y
2
y+x
z=
2
x<
Por
Por
Por
Por
hipotesis
el teorema 43
el teorema 43
el axioma C5 y el teorema 39
Por el teorema 44
Es un n
umero real por el axioma C1, C9 y C6.
a+b
>b
2
En los siguientes ejercicios adicionales, pretendemos aclarar algunos signicados de los teoremas expuestos:
303
Ejercicios
1.
1
< 1
x
1 < x.
1
1
=
= 1
x 1
Si x y y son n
umeros reales tales que x > 0 y y < 0, se
nalar si los
siguientes n
umeros reales son positivos o negativos:
a) y
b) (x y)
c) x y 2
d ) x2 y
x
y
f ) xy
e)
g)
h)
xy
x
x
x2
y
3.
4.
15.3.
Axioma de Completez
Axiomatizacion de los n
umeros reales
15.3.1.
Definiciones
Sea A un conjunto de n
umeros reales, se dice que:
1. Un n
umero real b es una cota superior de A, si para todo x en A, se tiene
que x b.
2. Un n
umero real c es una cota inferior de A, si para todo x en A, se tiene
que b x.
3. Un conjunto de n
umeros reales es acotado superiormente si tiene por lo
menos una cota superior y es acotado inferiormente si tiene por lo menos
una cota inferior.
4. Se llama extremo superior o supremo de un conjunto no vaco de n
umeros
reales a la mnima cota superior de dicho conjunto; en caso de existir, lo llamamos sup A o lo notamos A. Si A= {x, y} escribimos A.= x y .
Mas precisamente, x =sup A signica que:
i) y x, para todo y A y,
ii) si y z para todo y en A, entonces x z.
Otra version para esta denicion es:
x = sup A si y solo si:
i) x es una cota superior de A y,
ii) si a < x entonces a no es cota superior de A
5. Analogamente, un elemento que sea el mayor de las cotas inferiores de un
conjunto no vaco de n
umeros reales A, lo llamaremos extremo inferior o
nfimo de A y lo notaremos inf A o A, y si A se reduce a dos elementos
x y y, escribiremos A= x y.
6. Si y =sup A tal que y A, entonces y se llama elemento m
aximo de A. Si
t =inf A y t A, entonces t se llama elemento mnimo de A
Ejemplos
1. En (X), dados dos subconjuntos A y B de X el conjunto mas peque
no que
los contiene a ambos es su union as:
sup(A, B) = A B = A B
305
Ejercicios
1. Determinar, en caso de que existan, el supremo, el nmo, el maximo o el
mnimo para cada uno de los siguientes conjuntos:
a) [3, 2]
b) (6, 6]
1
c)
2,
2
d ) (, 4)
e) [3, )
1
: n Z y n = 0
f) A =
n
1
g) B = x R : x = 0 o x = , n Z
n
306
y n = 0
Axiomatizacion de los n
umeros reales
1
n
h) C = (1) + : n N y n = 0
n
1
i ) D = 1 : n N y n = 0
n
1
n
j ) E = (1) : n N y n = 0
n
1
n
k) F = n + (1) : n N y n = 0
n
1
n
l) G = (1) n + : n N y n = 0
n
2.
307
15.3.2.
El Axioma
Si T es un subconjunto no vaco de n
umeros reales y esta acotado superiormente
entonces T tiene supremo.
15.3.3.
Teoremas
Axiomatizacion de los n
umeros reales
x
xn
Figura 1
Prueba. Haremos esta prueba por contradiccion; as, supongamos que xn y
y denamos el conjunto X como sigue:
X = {xn tales que n N}
Como X es no vaco y esta acotado superiormente, por y; seg
un el axioma
de completez, X tiene supremo, supongamos que este es w.
Tenemos que x > 0; luego, w x < w; por esto y por ser w el supremo de X,
w x no es cota superior de X, esto signica que existe al menos un elemento
de X mayor que w x, dicho elemento debe ser de la forma xn1 donde n1 es
un n
umero natural; esto es:
w x < xn1
lo que implica que
O de otra forma
w < xn1 + x
w < x(n1 + 1)
Pero n1 + 1 es un n
umero natural, luego x(n1 + 1) pertenece a X, con lo cual
se contradice que w sea el supremo de X.
59. El conjunto de los n
umeros naturales (N) no esta acotado superiormente.
Prueba. Supongamos que N esta acotado superiormente y como N es no
vaco, tenemos, por el axioma de completez, que N posee extremo superior,
esto signica que existe x en R tal que:
x = Sup N
Por otro lado, tenemos que si n es un n
umero natural distinto de 0(n > 0),
por la propiedad arquimediana existe m en los n
umeros naturales tal que
mn > x, pero mn es un n
umero natural, lo que contradice que x es el
supremo. Por lo tanto N no esta acotado superiormente.
309
(1)
(2)
(3)
(4)
Ahora, seg
un la denicion de extremo superior, sup (A + B) a + b, para
todo a + b en A + B, o lo que equivale a:
sup (A + B) b a
es decir que sup(A + B) b es cota superior de A, pero sup A es la mnima,
luego,
sup A sup (A + B) b
310
Axiomatizacion de los n
umeros reales
As,
b sup (A + B) sup A
Por tanto, sup (A + B) sup A es cota superior de B, pero como sup B
existe, tenemos:
sup B sup (A + B) sup A
O de otra manera:
sup A + sup B sup (A + B)
(5)
Para que (4) y (5) sean ciertas, solo tenemos una opcion:
sup A + sup B = sup (A + B)
Con lo que nalizamos nuestra demostracion9
62. Si S es un subconjunto no vaco de n
umeros reales y z > 0, se tiene que:
a) Si S tiene supremo, sea este sup S, entonces existe s S tal que s > sup
S z.
b)
311
sup A
< a1 sup A
Lo que es equivalente a:
sup A < a1 sup A
Y como a es un elemento de A y sup A sup A, entonces sup A
es la maxima cota superior de A. Por tanto, sup A =sup(A).
La demostracion referente al nmo se hace de manera similar10.
Ejercicios
Demostrar que
1. Si x y y son nmos de A entonces x = y
2. Si n y m son m
aximos de S, entonces n = m.
3. Si s y t son mnimos de S, entonces s = t.
4. Si X es un subconjunto no vaco de n
umeros reales y acotado inferiormente,
entonces inf X existe.
b
donde n es un n
umero
5. Si a, b son n
umeros reales y a b a +
n
entero positivo cualquiera, entonces a = b.
10
An
alogamente a lo dicho en el anterior, este teorema permite efectuar la multiplicaci
on de
n
umeros irracionales.
312
Axiomatizacion de los n
umeros reales
6. Si A y B son subconjuntos no vacos de n
umeros reales, tales que, para todo a A y para todo b B, a b, entonces sup A e inf B existen
y supA infB.
Potenciaci
on entre n
umeros reales
Intentemos ahora, denir la potenciacion entre n
umeros reales; iniciemos con el
caso en que b sea un n
umero natural y como ya es habitual en N, denamosla por
recurrencia mediante las formulas:
a0 = 1 si a = 0
+
ak = ak a
(ab)n = an bn
+
(a b)n = (a b)n (a b)
= an bn (a b)
= a n a bn b
+
= a n bn
+
Luego (a b)n = an bn
313
ak an = ak
+
ak an = ak a an
= ak+n a
=a
+
= ak an a
= a(k+n)
Luego
+ +n
k+ +n
ak an = ak
m
ab = a n = n am
para todo a R+ .
314
Axiomatizacion de los n
umeros reales
66. Tambien en este caso es valida la formula
(a b)x = ax bx
cuando a y b son n
umeros reales positivos y x es un n
umero racional.
m
, m, n Z y n = 0:
n
= n (ab)m
Por la denicion de potenciacion
n
= a m bm
Por ser m un n
umero entero
! !
n
bm
Por la propiedad distributiva de la
= n am
Prueba. Si x =
(ab)m/n
por tanto
(a b)x = ax bx.
67. Ejercicio: Si a es un n
umero real positivo y x, y son n
umeros racionales
entonces
i) ax by = ax+y
ax
= axy con a = 0
ay
iii) (ax)y = axy
ii)
Ejercicio Adicional
1. Cual es el error en el siguiente procedimiento? Si en la desigualdad
1<2
1
multiplicamos por , obtenemos:
4
1 1
< ,
4 2
o lo que es igual:
2
1
1
<
2
2
315
2
1
1
< 2 log
.
log
2
2
1
, concluimos que
si dividimos en ambos lados entre log
2
2 < 1!
316
Captulo
16
Es com
un llamar variables a las inc
ognitas, pero es conveniente aclarar que una inc
ognita
en una ecuaci
on representa a uno o varios elementos del conjunto de n
umeros que estemos
considerando, que al ser reemplazado en la ecuacion hace de ella una igualdad, pero este valor
no es variable.
2
El termino arabe para referirse a la inc
ognita era shay que signica cosa, en latn se tradujo
por res (cosa en latn), y por eso, a las personas que resolvan ecuaciones se les llamaba cosistas.
317
Para resolver una ecuacion, se usan las propiedades de las operaciones denidas en
el conjunto de n
umeros que estemos considerando; por ejemplo, es lcito restar en
ambos lados de una ecuacion entre n
umeros reales el mismo n
umero para obtener
de nuevo una igualdad; pero esto ya no es cierto, si la ecuacion es entre n
umeros
naturales, puesto que en ellos no todas las restas son posibles.
No siempre una ecuacion tiene soluciones dentro de un conjunto de n
umeros; por
ejemplo, no existe alg
un n
umero natural x que satisfaga
x+3=1
pero esta ecuacion s tiene solucion en los n
umeros reales, con x = 3.
Consideraremos aqu ecuaciones entre n
umeros reales, y en consecuencia, que las
propiedades que podemos aplicar son los axiomas y los teoremas enunciados en el
captulo anterior, y los que de ellos se deduzcan; en particular, las propiedades de
uniformidad de la suma y la multiplicacion:
Si a, b, c y d son n
umeros reales tales que a = b y c = d entonces:
a+c=b+d
ac=bd
y en particular
a+c=b+c
ac=bc
(por supuesto, estan incluidas las restas y las divisiones, salvo la division por 0) y
las correspondientes a la potenciacion
a c = bc
con la limitacion de que a y b sean n
umeros no negativos y que c no sea un racional
con denominador par.
3
El termino
algebra viene del ttulo de la obra al-jebr wal-muqabalah, del matem
atico arabe
Mahommed ibn Musa al-Kharizmi. La obra fue traducida al latn y en su versi
on latinizada, se
llamo aljeber, que se convirtio en
algebra. La palabra jebr se reere a la operacion de pasar al otro
lado del igual un termino de una ecuaci
on y la palabra muqabalah se reere a la simplicacion
de terminos iguales.
318
16.1.
Ecuaciones equivalentes
Dos ecuaciones son equivalentes si tienen exactamente las mismas soluciones. Una
forma de obtener ecuaciones equivalentes es sumar, restar, multiplicar o dividir a
ambos lados de la ecuacion por el mismo n
umero, por ejemplo, las ecuaciones:
x+y =6
y
son equivalentes; la ecuacion:
es equivalente a
y si a = 0, la ecuacion:
es equivalente a
2x + 2y = 12
x=y+a
xa = y
x=ya
xa = y
De hecho, para resolver una ecuacion, usamos estos procedimientos para transformarla en otras ecuaciones equivalentes, terminando con una ecuacion de la forma
x=a
donde a es la solucion de la ecuacion.
Por ejemplo, la ecuacion entre n
umeros naturales:
3x 4 = 8
es equivalente a:
y esta a su vez a:
y por u
ltimo a:
o sea
3x 4 + 4 = 8 + 4
3x = 12
x = 12 3
x=4
16.2.
16.2.1.
16.2.1.1.
El m
etodo egipcio: La regula falsa
x
= 19
7
El m
etodo axiom
atico
Toda ecuacion de primer grado con una incognita se puede llevar a la forma
ax + b = 0
donde a, b y c son constantes y x es la incognita, mediante un n
umero nito
de pasos, aplicando reiteradamente las propiedades algebraicas, enumeradas en la
primera parte del captulo anterior, derivadas de los axiomas de campo.
Si partimos de
ax + b = 0
y sumamos (b) a ambos lados de la igualdad, (propiedades de uniformidad),
obtenemos:
(ax + b) + (b) = 0 + (b)
Por los axiomas C2, C4, tenemos
ax = b
Ahora, multiplicamos a ambos lados de la igualdad por
1
1
(ax) = (b)
a
a
Y aplicando los axiomas C7, C9, tenemos
1x =
b
a
321
1
y conseguimos,
a
b
a
Por la manera en que fue obtenida, esta es la u
nica solucion para la ecuacion
planteada, y podemos armar que: las ecuaciones de primer grado tienen a lo mas
una soluci
on.
x=
Ejemplo
4x + 3 = 0
4x + 3 3 = 0 3
4x = 0 3
4x = 3
1
1
4x = (3)
4
4
3
x=
4
16.2.2.
16.2.2.1.
Una ecuaci
on con dos inc
ognitas
Toda ecuacion de primer grado con dos incognitas se puede llevar a la forma:
ax + by = c
donde a, b y c son constantes y x, y son las incognitas.
16.2.2.1.1.
El m
etodo escalera4
322
24
10,
5
9
15,
5
(1, 5, 9, 9)
(6, 5, 6, 9)
(4, 13, 2)
(9, 16, 2)
Si observamos las soluciones cada dos renglones, los n
umeros que ocupan el lugar
de x aumentan cinco unidades: 5 es el coeciente de y; en cambio, los n
umeros que
ocupan el lugar de y disminuyen tres unidades y 3 es el coeciente de x, como
ya lo debio notar!; es posible, entonces, encontrar varias soluciones de la ecuacion,
claro esta, no todas las soluciones, partiendo de una particular.
Conjeturamos que:
umeros reales, entonces
Si (x0 , y0) es solucion de ax + by = c, donde a, b, y c son n
on.
(x0 + b, y0 a) o (x0 b, y0 + a) es tambien, solucion de la ecuaci
La primera parte de esta armacion la podemos demostrar de la siguiente manera:
323
Ejercicios
1. Demuestre la segunda parte del teorema.
2. Estudie las ecuaciones de la forma ax by = c, donde a, b, y c son n
umeros
reales, Se cumple el teorema? Si no es as, plantee una conjetura respecto a
las soluciones de esta ecuacion y demuestrela.
16.2.2.1.2.
El m
etodo gr
afico
324
325
(4, 13,2)
(1,5, 9,9)
(3, 9)
(8, 6)
(10, 24/5)
3x + 5y = 54
Figura 1
Observamos que todos los puntos resultan colineales; de hecho, si tomamos todos
los puntos que solucionan la ecuacion, uno por cada n
umero real x, La graca de
una ecuacion de primer grado con dos incognitas es, entonces, una recta.
Si hacemos la graca de una ecuacion de la forma y = mx + b, observamos que el
corte de la graca de la ecuacion con el eje y es b, pues x = 0. As, la graca
de la
54
54
y, en consecuencia, el punto 0,
ecuacion 3x + 5y = 54 corta al eje y en
5
5
tambien es una solucion de dicha ecuacion.
16.2.2.1.3.
El m
etodo axiom
atico
Para resolverla, aplicamos los mismos metodos de las ecuaciones con una incognita,
para llevarla a la forma:
c ax
y=
b
suponiendo que x se comporta como un n
umero real.
El resultado que obtenemos es, que para cada valor que elijamos para x dentro
de los n
umeros reales, obtenemos un valor para y, tambien dentro de los n
umeros
reales, puesto que todas las operaciones que hacemos estan denidas.
326
Cuando pretendemos encontrar soluciones comunes a dos ecuaciones con dos incognitas, puesto que cada una de ellas representa una recta, las dos rectas o se cortan
en un punto o son paralelas, obtenemos entonces, como es de esperarse, una u
nica
solucion o ninguna.
Por ejemplo, el sistema:
x+y =9
xy =1
16.2.2.2.1.
El m
etodo Gr
afico
Esta basado en el hecho de que cada ecuacion de primer grado con dos incognitas se
representa en un sistema de coordenadas cartesianas, con una recta; los puntos de la
recta, estan representados por parejas de n
umeros reales, cuya primera componente
es x y segunda componente es y.
Si existe alg
un punto com
un a las dos rectas, ese punto ha de ser una solucion
com
un para las dos ecuaciones.
Si las rectas son paralelas, el punto no existe y no hay solucion com
un para las
dos ecuaciones y si las dos ecuaciones representan a la misma recta, todo punto es
una solucion com
un.
Por ejemplo, el sistema
x 2y = 4
2x + 3y = 8
gracamente se representa:
327
1
2x + 3y = 8
Figura 2
El punto8 donde se intersecan las rectas que representan las dos ecuaciones esta cerca de x = 0, 5 y y = 2, 3
16.2.2.2.2.
El m
etodo de igualaci
on
2x + 3y = 4
5x + 7y = 11
4 3y
2
x=
11 7y
5
4 3y 11 7y
=
2
5
328
16.2.2.2.3.
y = 2
El m
etodo de sustituci
on
4 3y
+ 7y = 11
5
2
que es una ecuacion con solo una incognita cuya solucion es
y = 2
reemplazando este valor en la primera ecuacion conseguimos
x=5
como debe ser!
329
El m
etodo de reducci
on
16.2.2.2.5. El m
etodo de los determinantes
Si aplicamos el metodo de reduccion al sistema:
a 1 x + b 1 y = c1
a2x + b2 y = c2
y multiplicamos la primera ecuacion por a2 y la segunda por a1 obtenemos:
a 1 a 2 x + b 1 a 2 y = c1 a 2
a1a2 x a1 b2y = a1c2
sumando las dos ecuaciones nos queda:
b 1 a 2 y b 2 a 1 y = c1 a 2 a 1 c2
330
a 1 c2 a 2 c1
a 1 b2 a 2 b1
x=
c1 b 2 c2 b 1
a 1 b2 a 2 b1
Estos resultados se pueden escribir de forma mas graca, si denimos el determinante 9 del sistema s como
"
"
" a 1 b1 "
" = a 1 b2 a 2 b1
s = ""
a 2 b2 "
y el determinante de x
"
"
" c1 b 1 "
"
" = c1 b 2 c2 b 1
x = "
c2 b 2 "
x=
x
s
y=
y
s
Los determinantes fueron estudiados inicialmente por el matematico japones Seki Kowa
alrededor de 1683 y, por separado, por el l
osofo y matematico aleman Gottfried Wilhelm Leibniz
alrededor de 1693.
331
Los metodos enunciados para resolver dos ecuaciones simultaneas con dos incognitas, se extienden facilmente, por analoga, a tres o mas ecuaciones con tres o mas
incognitas10 . En el caso de los determinantes de orden superior al tercero, el
calculo se hace reduciendo un determinante de orden n, a n determinantes de orden n 1 hasta llegar a orden 2, los cuales ya sabemos resolver. Mostraremos con
un ejemplo, el procedimiento. Para resolver el sistema de ecuaciones:
x + y + z = 12
2x y + z = 7
x + 2y z = 6
Escribimos el determinante del sistema s , cuya primera la esta formada por
los coecientes de x, y y z de la primera ecuacion, la segunda la formada por los
coecientes de x, y y z de la segunda ecuacion, y la tercera por los de la tercera:
"
"
"1 1
1 ""
"
s = ""2 1 1 ""
"1 2 1"
naturalmente que podemos escoger cualquiera de las ecuaciones para que sea la
primera, la segunda y la tercera, con esto cualquier la del determinante se puede
cambiar con cualquier otra y el determinante es el mismo.
Por supuesto que el mismo razonamiento se vale para las incognitas, cualquiera
puede ser escogida como la primera, la segunda o la tercera; lo que implica, que
tambien podemos intercambiar cualquier columna con otra y el determinante debe
ser el mismo.
Para calcular un determinante 3 3, elegimos una cualquiera de las las (o las
columnas), habitualmente la que tenga mas ceros, y multiplicamos cada uno de
umero de la la y j es el n
umero de la columna donde
sus n
umeros aij (i es el n
esta aij ) y por un determinante 2 2, resultante de eliminar la la y la columna
donde esta aij y por (1)i+j , en nuestro caso, si elegimos la primera la para
10
Los babilonios resolvieron problemas concretos que conducan a sistemas de cinco ecuaciones
con cinco incognitas, e incluso hay un problema astron
omico, que conduce a un sistema de diez
ecuaciones con diez incognitas, la mayor parte de ellas lineales. El metodo que utilizaron para
resolver este sistema, era el de combinar las ecuaciones hasta llegar a calcular los valores de las
inc
ognitas.
332
x
s
para obtener
x=
21
=3
7
De manera similar,
"
"
"1 12 1 "
"
"
"
"
"
"
"
"
"1 1 "
"1 12 "
"12 1 "
"2 7 1 "
"
"
"
"
"
"
"
"
"1 1"
"1 6 "
" 6 1"
"1 6 1"
+7
1
= 2
y=
s
7
7
7
333
28
=4
7
"
"
"1 1 12"
"
" "
"
"
"
"
"
"2 1 7 "
"2 7" "2 1 "
"1 7"
"
" "
"
"
"
"
"
"1 2 6 "
"1 6 " " 1 2 "
" 2 6"
1
12
=1
z=
s
7
7
7
con el resultado,
z=
16.2.2.4.
35
=5
7
a21x1 + a22x2 +
a2nxn = b2
.
..
a x + a x +
a x =b
m1 1
m2 2
mm n
"
" a11
"
" a21
"
s = "
"
"
"am1
"
" a11
"
" a21
"
xi = "
"
"
"am1
xi
s
"
a1n ""
a2n ""
"
"
"
+ am2 +
amn "
+ a12 +
+ a22 +
..
.
"
b1 a1n ""
b1
a2n ""
"
"
"
+ am2 + b1 amn "
+ a12 +
+ a22 +
..
.
11
Fundamentos de Algebra
lineal, Universidad Nacional de Colombia, Facultad de Ciencias, 2004.
334
3x1 2x2
x3
+x4 =
x 2x
+x3 +2x4 =
1
2
+2x3
=
3x1
3x3
x4 =
4x2
2
1
2
0
s = "
"
"
3
0
2
0
"4
"
"
"0 4
3 1"
"
"3
"
0 ""1
"0
y cada uno de estos se desarrolla de la misma manera, por ejemplo, para el calculo
de
"
"
" 2 1 1 "
"
"
"
"2 1
2
"
"
"4
3 1"
debemos tener en cuenta los signos:
"
"
" + +"
"
"
" + "
"
"
" + +"
y obtenemos,
"
"
"
" 2 1 1 "
"
"
"
"
"
" 2 1"
"
" 2 1"
"
"1 1"
"
"
"
"2 1
"3"
2 "" = 4 ""
"2 2" 1 "2 1 "
"
1 2"
"4
"
3 1
335
16.3.
16.3.1.
(1)
(2)
(3)
(4)
(5)
16.3.2.
16.3.2.1.
El m
etodo del tanteo
Por lo que hemos hecho, ya somos expertos en este metodo; consiste naturalmente
en proponer, a la topa tolondra, una primera solucion tentativa, la elevamos al
cuadrado y si el resultado es menor que el valor de c, intentamos de nuevo con un
valor mayor, hasta que lo logremos; si el resultado es mayor vamos en la direccion
contraria.
Podemos mejorarlo un poco haciendo consideraciones sobre algunas cifras; por
ejemplo, si c es un n
umero natural, y su cifra de las unidades es 1, la cifra de las
unidades de la raz, no puede ser 2, ni 5, sino 9 o 1, etc. Este proceso puede ser
demorado, e innegablemente primitivo, pero funciona.
337
El m
etodo de Her
on
3
, y para calcular una nueva aproximacion, usa la regla:
2
3 2
+
2 3
3 4
+
2 = 2 3 = 17.
2
2
12
Ejercicios
1. Combinando lo que hemos hecho hasta ahora, proponga ejercicios para resolver ecuaciones de la forma:
ax2 + b = c.
13
2. Proponga una
explicacion para el metodo de Heron, aplique el metodo para
aproximar 3.
16.3.2.3.
El m
etodo de Euclides
Estas aproximaciones y c
alculos repetidos se denominan iteraciones. Metodos similares fueros
desarrollados por los matem
aticos chinos Liu Hui (en el siglo III) y Chu Shih-Chieh (en el siglo
XIII), fueron redescubiertos en Europa hacia 1800 por el matem
atico ingles W. G. Horner.
Tambien haba sido usado por el matem
atico arabe Yamschid al-Kaschi.
13
Compare estas fracciones con las reductas de la fraccion continua para 2
338
ab
b2
a2
ab
a
Figura 3
M B
Figura 4
Ejercicio
Bosqueje una demostracion de este hecho.
16.3.3.
x2 + c = bx
fueron resueltas, de varias maneras; destacamos aqu, una forma aritmetica asumida por los babilonios y una geometrica, usada por los griegos.
16.3.3.1.
El m
etodo Babil
onico
Los Babilonios alrededor de 1700 A.C., resolvieron problemas como el de hallar dos
n
umeros, dados su suma y su producto; o formulado en forma geometrica, dados
el area y el semipermetro de un rectangulo, encontrar sus lados.
En general si dos n
umeros x e y, tienen una suma b y un producto c, entonces
y como xy = c tenemos que,
y =bx
bx x2 = c.
e
340
y = 10
4=2
y = 10 2
y=8
Por supuesto, no usaban los smbolos que hemos usado, ni resolvan casos generales,
sino solo ejemplos concretos, la mayora de ellos intentaba ilustrar un metodo
general, que en forma de un algoritmo retorico queda:
1. Dividir la suma S = x + y en la mitad.
2. Elevar al cuadrado el resultado de la parte 1.
3. Restar el producto A = x y del resultado de la parte 2.
2
S
A
2
4. Tomar la raz cuadrada del resultado de la parte 3.
2
S
A
2
5. Sumar el resultado de la parte 4 al resultado de la parte 1.
2
S
S
A+
2
2
Una justicacion geometrica para este procedimiento se obtiene de la siguiente
gura:
341
S
2
x
Figura 5
S
tiene el semipermetro deseado S = x + y.
2
2
2
S
S
2
excede el area deseada xy = A, en z =
A, que es el area
El valor
2
2
del cuadrado de lado z.
Un cuadrado de lado
xy = A
Y suponiendo que
S
S
+z
y
y = z,
2
2
donde z es una cantidad por determinar; para ello, sustituimos estos valores en la
ecuacion xy = A, y obtenemos
2
S
z2 = A
2
x=
por lo tanto
2
S
z =
A
2
2
342
S 2
A
2
S
S 2
A
y= +
2
2
S
x= +
2
y
16.3.3.2.
El m
etodo griego
x2 + 77 = 18x
x2
c = 77
Figura 6
343
x2
c = 77
18
Figura 7
3. Trazamos un segmento que divida en dos partes iguales al rectangulo de
area 18x; es decir, la mediatriz del segmento cuya longitud es 18 unidades.
Se obtienen dos casos, que x sea mas peque
no o igual a 9 (la mitad del
segmento de 18 unidades) o que x sea mayor que 9.
En el primer caso, para encontrar el valor de x, se completa un cuadrado de
lado 9 que incluya al cuadrado de lado x como en la gura:
x2
(9 x)2
9
77 a
Figura 8
Este cuadrado esta compuesto por dos rectangulos de igual area a y por dos
cuadrados, uno de area x2 y el otro de area (9 x)2, sumando las areas de
este u
ltimo con 77 que es el area del rectangulo c, se obtiene el area del
cuadrado de lado 9, pues se tiene que
x2 + a = 77 a
lo cual equivale a:
de donde,
(x2 + a) + a = 77
(9 x)2 + 77 = 92
344
92
77
a
9
Figura 9
de esta manera, el cuadrado de lado x esta formado por dos rectangulos de
igual area a y por dos cuadrados, uno de area 92 y el otro de area (x 9)2 ;
se tiene entonces, que
x2 a = 77 + a
lo cual equivale a:
x2 = 77 + a + a
de donde,
(x 9)2 + 92 = 77
E
H
Figura 10
N
K
E
H
Figura 11
A
nadiendo el rectangulo GT com
un, entonces el rectangulo AT es equivalente al
gnomon MNX; pero el AT esta comprendido por las rectas AD y DB por que
DT es igual a DB; luego el gnomon MNX sera equivalente a dicho rectangulo.
346
16.3.4.
16.3.4.1.
x2 = bx + c
El m
etodo griego
Este metodo conocido como aplicacion de areas, se usa para la solucion de ecuaciones cuadraticas de tipos (3), (4) y (5). Aplicar un area a un segmento de longitud
b consiste en levantar segmentos perpendiculares, de una longitud dada, sobre este
segmento hasta completar un rectangulo. Para este caso, el proceso se describe as:
Construir el segmento AB con AB = b.
Levantar una perpendicular CB a AB con CB =
c.
Bisecar AB en M.
Con centro en M y radio MC, construir un crculo.
Llamemos D al punto donde el crculo encuentra la extension de AB a traves
de B. Luego x = AD.
En la siguiente gura, se muestra la anterior construccion:
347
c
A
b M
2
b
2
Figura 12
Demostremos, geometricamente, que el segmento AD es la solucion de la ecuacion.
El termino bx en la ecuacion x2 = bx + c representa el area de un rectangulo.
Sobre un segmento de lnea b, aplicamos un area a b, levantando perpendiculares
de longitud x sobre este; el area aplicada es, entonces, bx.
Se debe mostrar que este rectangulo con otro rectangulo con area c, forman un
cuadrado de lado x, con area x2.
AB tiene la longitud dada b y AD tiene la longitud construida x.
Si levantamos perpendiculares AE y DG ambas de longitud x, para hacer un
cuadrado ADGE de area x2, puesto que el rectangulo ABF E tiene area bx, necesitamos demostrar que el rectangulo BDGE tiene area c.
E
Figura 13
348
C
1
2
M
K
J
Figura 14
P C
J
Q
Figura 15
349
El m
etodo de Descartes
En el siglo XVII en su libro La G`eometrie 14 , Rene Descartes (1595-1650) describio un metodo geometrico para la construccion de la solucion de la ecuacion
cuadratica
x2 = bx + c2
donde, de nuevo, muestra solamente las races positivas.
La construccion es como sigue:
Construir AB con AB = c.
b
Levantar una perpendicular, AC a AB con AC = .
2
Construir un crculo con centro en C y radio AC.
Construir una lnea entre B y C que interseque el crculo en E y en D.
La solucion es x = BE.
E
C
D
A
Figura 16
14
b
x
2
2
2
b
=
+ c2
2
350
x2 bx = c2
x2 = bx + c2
Ejercicios
1. Use el teorema:
Si una secante y una tangente son trazadas a un crculo desde
un punto fuera de el, la longitud de la tangente es la media
proporcional entre la longitud de la secante y la longitud del
segmento externo.
Para justicar la construccion de Descartes.
2. Use el metodo griego y el de Descartes para resolver algunas ecuaciones
cuadraticas y haga una comparacion entre ellos.
16.3.4.3.
El m
etodo de las fracciones continuas
1
x
1
=1+
x
1
1+
1
x
=1+
1+
1
x
y podemos reiterar el proceso sin un u
ltimo paso, hasta obtener la expresion:
1+
x= 1+
1+
1+
1+
1+
1
1 +
x2 = bx + c
x = b+
b+
b+
c
b +
resolvemos la ecuacion por cualquier otro metodo, que por fortuna hay otros, y con
su solucion obtenemos un valor para la fraccion continua. En particular si b = 4 y
c = 3, la fraccion continua
3
x=4+
4+
4+
352
3
4+
7.
Y a
un mas ganancia! En la ecuacion
x2 = bx + c
Podemos despejar la x de la forma:
x=
c + bx
x = c + b c + bx
Y de nuevo insistimos, de manera reiterada para obtener la expresion:
x = c + b c + b c + b c + b c +
Por supuesto no es una forma de resolver la ecuacion pero si una manera de
encontrar un valor para estas expresiones innitas. Por ejemplo, para calcular
x = 2+ 2+ 2 + 2+ 2+
resolvemos la ecuacion
x2 = x + 2
y obtenemos
x = 2.
Este es un resultado extraordinariamente hermoso! Cada resultado parcial, tomando un n
umero nito de terminos, nos da un n
umero irracional, esta es una forma
de aproximar el n
umero racional 2, con una sucesion innita formada solamente
por n
umeros irracionales!
16.3.5.
x2 + bx = c
El m
etodo a
rabe
x
1
x
1 1
1
Figura 17
x+1
x+2
Figura 18
y por lo tanto
x2 + 3x + 2 = (x + 1) (x + 2)
En el siglo IX, Muhammad ibn Muza Alkwarizmi en su libro Al-jabr wal muqabalah
dio solucion a ecuaciones cuadraticas, usando un metodo que conocemos como
compleci
on de cuadrados. En su tiempo, tampoco se aceptaban n
umeros negativos,
15
ni como coecientes de las ecuaciones , ni como races; y sus argumentos son
geometricos.
15
Solo trescientos a
nos despues al-Samawal introdujo coecientes negativos en las ecuaciones.
Hasta el siglo XVII, la teora de ecuaciones estuvo limitada a coecientes y races positivas, pues
los matematicos europeos no aceptaban que las soluciones negativas y complejas fueran n
umeros;
los antiguos matematicos indios, como Brahmagupta, si conocan las races negativas, pero fuera
de China e India no se trabajaba con coecientes negativos en los polinomios.
354
x2
x
Figura 19
5
4
5
Entonces, para completar el cuadrado, se agregan cuatro cuadrados de lado ; con
4
25 169
10
y area 36 +
=
unidades.
esto, se obtiene un cuadrado de lado x +
4
4
4
x+
10
4
x2
x
Figura 20
Luego, el lado del cuadrado debe ser
x+
10 13
=
4
2
y, por lo tanto, x = 4.
355
5
4
5
4
El m
etodo griego
x2
5x
Figura 21
Luego, cambiaban la gura obtenida por otra, con igual area, dividiendo el rectangu5
lo de area 5x en dos rectangulos de area x:
2
5
x
2
x2
5
2
Figura 22
5
Para completar el cuadrado, se agrega un cuadrado de lado
2
5
x
2
x2
25
4
5
2
Figura 23
356
16.3.5.3.
El m
etodo de Viet`
a
A nales del siglo XVI, Francois Vieta resuelve la ecuacion de segundo grado:
x2 + 2bx = c
sustituyendo,
y =x+b
elevando al cuadrado,
de donde,
y 2 = x2 + 2bx + b2
y 2 = c + b2
y por tanto
y = c + b2
es decir, que
x = y b = c + b2 b
Fenomenal!
16.3.6.
Una ecuacion general de segundo grado donde los coecientes pueden ser negativos
puede escribirse de forma general como
x2 + bx + c = 0
presentaremos dos metodos geometricos que usan el metodo de las coordenadas.
16.3.6.1.
El m
etodo de Carlyle
B = (b, c)
A = (0, 1)
P = (x1 , 0)
x
Q = (x2, 0)
Figura 24
Si P = (x1 , 0) y Q = (x2, 0) entonces x1 y x2 representan las soluciones de la
ecuacion. Para demostrar esta armacion, sabemos que:
AB
y por lo tanto;
2
1
(b 0)2 + (c 1)2
2
b2 + (c 1)2
r=
2
358
b2 b2
= c
4
4
x2 + bx + c
El m
etodo de Von Staudt
4
q
,0
y
,2
p
p
359
4
,2
p
S
1
R
(r, 0)
q
,0
p
(0, 0)
(s, 0)
Figura 25
Unimos con un segmento estos puntos, el segmento corta a la circunferencia de
centro (0, 1) y radio 1 en los puntos R y S, cuyas proyecciones desde (0, 2) son
(r, 0) y (s, 0) respectivamente; r y s son las races de la ecuacion dada.
Para demostrar que la armacion es cierta consideremos la ecuacion de la circunferencia con centro en (0, 1) y radio 1:
x2 + (y 1)2 = 1
y la ecuacion de la recta que pasa por los puntos
q
4
,0 y
,2 :
p
p
2px (4 q)y 2q = 0
Los puntos de interseccion entre la recta y la circunferencia, R y S, tienen coordenadas (x1 , y1) y (x2, y2 ) respectivamente; sus proyecciones desde (0, 2), estan dadas
por los puntos de corte de las rectas que pasan por los puntos (x1 , y1) y (0, 2) y
(x2, y2 ) y (0, 2) con el eje x, estos son, en terminos de las coordenadas de R y S:
2x1
,0
(r, 0) =
y1 2
2x2
,0
(s, 0) =
y2 2
Para ver que r y s efectivamente son soluciones de la ecuacion propuesta, los
reemplazamos en la ecuacion original:
2x1
2x1 2
p
+ q =0
y1 2
y1 2
2x2 2
2x2
+ q =0
p
y2 2
y2 2
y haciendo las cuentas obtenemos una igualdad. Ilustremos el metodo con ejemplos.
360
x2 2x 8 = 0
4
q
,0 y
, 2 , que para nuestro caso son
determinamos los puntos
p
p
(4, 0) y (2, 2) respectivamente. Hallamos las proyecciones, desde (0, 2) sobre
el eje x, de los puntos de corte entre la recta que pasa por los dos puntos ya
determinados y la circunferencia de centro (0, 1) y radio 1, los cuales son las
soluciones de la ecuacion dada: 2 y 4:
(0, 2)
(2, 2)
(4, 0)
(2, 0)
(4, 0)
Figura 26
(0, 2)
(2, 2)
1
,0
2
Figura 27
361
(1, 0)
q
, 0 = (2, 0)
p
y
4
4
,2 = ,2
p
3
4
,2
3
(0, 2)
(2, 0)
Figura 28
16.3.6.3.
16.3.6.3.1.
El M
etodo axiom
atico
La soluci
on
con
a = 0
Si multiplicamos por
1
a ambos lados de la ecuacion para conseguir
a
1
1
(ax2 + bx) = (c)
a
a
c
b
x=
a
a
b 2
a ambos lados de la ecuacion, con el proposito de formar
Sumamos ahora
2a
un cuadrado perfecto,
2
2
b
c
b
b
2
= +
x + x+
a
2a
a
2a
b
2a
2
=
b
x+
2a
2
b 2
4ac + b2
x+
=
2a
4a2
=0
x +
2a
4a2
16
c a
c a
Si = entonces =
d
b
d b
2
a2
a
= 2.
b
b
363
b2 4ac
b2 4ac
b
b
+
x+
=0
x+
2a
2a
2a
2a
Por el teoremas 34 y la denicion de radicacion
4a2 = 2a
Y por el teorema 31 tenemos que:
b + b2 4ac
b b2 4ac
o x=
x=
2a
2a
de donde concluimos, que la ecuacion general de segundo grado tiene dos soluciones
posibles, que llamaremos respectivamente x1 y x2.
Como la diferencia entre las dos races es solamente un signo antes del radical es
usual resumir las dos soluciones en una sola formula escribiendo:
b b2 4ac
x=
2a
Notemos que no siempre obtenemos n
umeros reales como soluciones, pues por el
teorema 52, el cuadrado de un n
umero real siempre es positivo o cero; es decir, que
no existen races cuadradas reales para los n
umeros negativos; lo que signica, que
obtenemos solucion real para una ecuacion cuadratica solo si la cantidad
b2 4ac
llamada, el discriminante de la ecuacion, es positivo; en cuyo caso, hay dos soluciones diferentes; o cuando el discriminante es 0, en cuyo caso, las dos soluciones
se funden en una sola
b
x=
2a
y decimos que x es una raz doble o raz con multiplicidad dos 17 .
17
Esta relaci
on fue encontrada inicialmente por Isaac Newton.
364
Ejemplos
1. La ecuacion
3x2 2x 5 = 0
(2)
4 + 60
x=
6
2 64
x=
6
28
x=
6
(2)2 4(3)(5)
2(3)
2+8
6
x2 =
28
6
o mejor,
x1 =
5
3
x2 = 1.
Si a es un n
umero real positivo, a se dene como i a y si z = x + iy es un n
umero
complejo su conjugado es z = x iy.
18
365
Entre las races de una ecuacion de segundo grado y los coecientes de sus terminos,
existen algunas relaciones interesantes; por ejemplo, como:
b + b2 4ac
x1 =
2a
y
b b2 4ac
x2 =
2a
si las sumamos, obtenemos:
b + b2 4ac
b b2 4ac
x1 + x2 =
+
2a
2a
b + b2 4ac b b2 4ac
=
2a
2b
=
2a
b
=
a
y si las multiplicamos:
b + b2 4ac b b2 4ac
x1 x2 =
2a
2a
2
2
2
b 4ac
b
=
4a2
b2 (b2 4ac)
=
4a2
b2 b2 + 4ac
=
4a2
4ac
= 2
4a
c
=
a
En resumen,
b
x1 + x2 =
a
c
x1 x2 =
a
366
14
164
x1 =
Ejercicios
1. Encontrar el valor de k para el cual la suma de las soluciones de la siguiente
ecuacion es igual al doble de su producto.
4x2 + 5x + k = 0
2. Cada una de las soluciones x2 + x 6 diere del cuadrado de la otra en un
mismo numero c. Sin resolver la ecuaci
on dada, determinar el valor de c.
3. Encuentre todos los n
umeros que poseen la propiedad de que, al sumarse a
si mismos, el resultado es igual que al multiplicarse por si mismos.
16.3.6.3.3.
M
etodo para factorizar cualquier polinomio de segundo
grado con coeficientes reales
Ejemplo
Para factorizar el polinomio
3x2 5x + 2
resolvemos la ecuacion
3x2 5x + 2 = 0
5 25 3 4 2
x=
23
2
para hallar que x1 = 1 y x2 = y por lo tanto
3
2!
3x 5x + 2 = 3 (x 1) x
3
= (x 1) (3x 2)
2
Lo que uno diera por saber trucos como este en el bachillerato, para no tener que
aprenderse 12 metodos de factorizacion!
16.3.6.3.4.
Soluci
on de ecuaciones cuadr
aticas por factorizaci
on
si y solo si
368
a=0
b = 0.
Ejemplos
1. La ecuacion
x2 + 2x 15 = 0
es equivalente a
(x 3)(x + 5) = 0
que a su vez es equivalente al par de ecuaciones:
x3=0
cuyas soluciones son,
x+5 =0
x = 5.
x=3
2. La ecuacion
16x2 = 2x + 5
es equivalente a
16x2 2x 5 = 0
y tambien a
(8x 5)(2x + 1) = 0
5
8
1
x= .
2
16.4.
16.4.1.
El m
etodo Babil
onico
y = x,
xyz = V
ax3 + bx2 = c
369
a2
:
b3
2
ca2
ax 3
ax
+
= 3
b
b
b
la llevan a una forma estandar, luego mirando en las tablas, determinan el valor
de x.
16.4.2.
El m
etodo de Scipione del Ferro-Tartaglia-Cardano
p
3
y como
(u v)3 + 3uv (u v) = u3 v 3
entonces
u3 v 3 = q
Por ejemplo en la ecuacion:
x3 + 6x = 20,
uv = 2
3uv = 6
(u v)3 + 6(u v) = 20
de donde
u3 v 3 = 20,
Eliminando v, resulta
u6 = 20u3 + 8
19
Cardano no acept
o ni coecientes, ni soluciones complejas para las ecuaciones, por ejemplo
al plantearse
el
problema
de dividir 10 en dos partes cuyo producto fuese 40, encontr
o 5 + 15
y 5 15 y las calic
o de sofisticadas, tan sutiles como in
utiles.
371
u3 = 108 + 10
o sea
u=
10 +
108
y como
u3 v 3 = 20,
se tiene que
v=
y por tanto
x=
10 +
10 + 108 +
108
3
10 +
108.
Cardano ofrece una formulacion verbal de la regla equivalente a la solucion moderna de la ecuacion
x3 px = q
que corresponde a la formula:
3
q
q 2
p
3
+
x=
+
+
2
2
3
16.4.3.
3
q
q 2
p
3
+
+
2
2
3
El m
etodo de Viet
a
p
3z
p3
+q =0
27z 3
16.4.4.
Soluci
on moderna
con
e = 0
1
y obtenemos:
e
x3 + ax2 + bx + c = 0
g
h
f
donde a = , b = y c = .
e
e
e
Para eliminar el termino con x2 , cambiamos la incognita x por otra incognita y de
manera que:
a
x=y
3
reemplazamos en la ecuacion y obtenemos:
a
y
3
3
a
+a y
3
2
a
+b y
+c=0
3
+ a y 2 2y
+ by + c = 0
+ 3y
+
y 3 3y 2
3
3
3
3
3
3
373
2
3
2
ya
2ay
a
a
ba
+ a y2
+
+ by
+c=0
y 3 y 2a +
3
27
3
9
3
multiplicamos,
y 3 y 2a + y
reducimos,
y3 +
a2
2a2 y a3
a3
ba
+ ay 2
+ + by + c = 0
3
27
3
9
3
a3
2a2 y a3
ba
ya2
+ + by + c = 0
3
27
3
9
3
reagrupamos,
3
y +
simplicamos,
a2
2a2
a3 a3
ab
+b y
+
+c=0
3
3
27
9
3
3
a2
2a
ab
y+
+c =0
y + b
3
27
3
3
y bautizamos, las expresiones entre parentesis con nuevos nombres, para obtener
la ecuacion:
y 3 + py + q = 0
que es equivalente a la ecuacion que pretendemos resolver si hacemos:
a2
p=b
3
2a3 ab
q=
+c
27
3
No, a
un no hemos terminado!, vamos a medio camino, hasta ahora hemos eliminado un termino de la ecuacion original.
El siguiente paso consiste en cambiar una ecuacion de tercer grado con una incognita, en dos ecuaciones simultaneas con dos incognitas, para ello cambiemos
y =u+v
Reemplazando en la ecuacion, obtenemos
(u + v)3 + p(u + v) + q = 0
374
(3uv + p)(u + v) = 0
poniendolas juntas,
u3 + v 3 = q
p 3
3 3
uv =
3
vemos que, debemos encontrar dos
umeros:
z1 = u3 y z2 = v 3 de manera que su
3
n
p
suma sea q y su producto sea
, lo que nos conduce a una ecuacion de
3
segundo grado:
3
p
2
z + qz
=0
3
375
3
p
q2 + 4
3
2
q
q2
z2 =
3
p
+4
3
3
q
p
q 2
3
+
u= +
2
2
3
3
q 2
q
p
3
v=
+
2
2
3
y u w2
y las de
v3
son: v, v w1
v w2
376
p
3
a
3
Ejemplo
Para resolver la ecuacion:
2x3 4x2 10x + 12 = 0
Dividimos entre 2,
x3 2x2 5x + 6 = 0
21
2 121 = 2 11 1
a debe ser igual a 1.
3
3
(2 1 = 2 11 1
(2 + 1 1), (2 1 1)
377
y 4.
a2
3
2a3
ab
+c
27
3
4
19
(2)2
= (5) =
p = (5)
3
3
3
2(2)3
(5)(2)
16 10
268
+6=
+6=
27
3
27
3
27
reemplazamos estos valores en:
3
2
3
q
q
q
q 2
p
p
3
3
+
+
+
y= +
2
2
3
2
2
3
q=
y obtenemos:
2
3
!
19
268
268
27
3
27
3
y =
+
+
+
2
2
3
2
3
!
19
268
268
27
3
27
3
2
2
3
simplicando,
2
3
2
3
268
19
19
268
268
3 268
3
+
+
+
+
y=
54
54
9
54
54
9
378
y=
27
729
729
27
729
729
3
3
134
11097
134
11097
y=
+
+
27
729
27
729
Podemos aproximar la solucion
3 134
3 134
+ 3, 9016 +
3, 9016
y=
27
27
y = 3 8, 86456296 + 3 1, 06126296330
y1 = 2, 069597 + 1, 0200496
hasta que nalmente,
y1 = 3, 0896466
y por lo tanto,
x1 = y1
a
3
(2)
3
x1 = 3, 76
1 + 3i
1 3i
y
w2 =
w1 =
2
2
2
son las dos races complejas de x + x + 1 = 0.
donde
379
Ejercicio
Una solucion x1 de la ecuacion c
ubica
x3 + ax2 + bx + c = 0
se obtiene a partir de la solucion y1 que conseguimos con la formula de CardanoTartaglia; las otras dos soluciones podramos conseguirlas factorizando el polinomio
de tercer grado del lado izquierdo de la ecuacion, en la forma:
x3 + ax2 + bx + c = (x x1)(Pol2(x))
donde Pol2 (x) es un polinomio de segundo grado en x; esto dara lugar a que
las otras dos soluciones se puedan conseguir con las soluciones de la ecuacion
cuadratica:
Pol2 (x) = 0
Para conseguir Pol2 (x), bastara efectuar la division:
Pol2 (x) =
x3 + ax2 + bx + c
x x1
16.4.5.
Como
x3 1 = (x 1) (x2 + x + 1)
la ecuacion x3 1 = 0 tiene la raz real x = 1 y w1 y w2 , las dos races complejas
de
x2 + x + 1 = 0
que son
1+
w1 =
2
3i
1
w2 =
2
w12 + w1 + 1 = 0
380
3i
w22 + w2 + 1 = 0
pero ademas
w12 =
1
w2
=
w1 w1 w2
y como
w1 w2 = 1
por ser races de la ecuacion cuadratica, entonces
w12 = w2
Ademas
(1 w1) (1 w2) =
3
3
3
3
i
+
i =2
2
2
2
2
y
w1 w2 =
3i
Con lo anterior, podemos expresar todo en terminos de una sola raz, digamos w1
a la que llamaremos simplemente w.
Las tres races de la ecuacion c
ubica
y 3 + py + q = 0
son
y1 = u + v
y2 = (u w) + (v w2 )
y3 = (u w2 ) + (v w)
Por lo tanto
y1 + y2 + y3 = (u + v) + (u w) + (v w2 ) + (u w2 ) + (v w)
= (u + v) + (u + v)w + (u + v)w2
= (u + v)(1 + w + w2 )
=0
esto signica que la suma de las races de la ecuacion:
x3 + ax2 + bx + c = 0
381
a
3
a
x2 = y2
3
a
x3 = y3
3
x1 = y1
es
x1 + x2 + x3 = a
Podemos ampliar nuestro conocimiento de las relaciones que existen entre las races
y los coecientes de la ecuacion c
ubica de manera similar a como lo hicimos en el
caso de las ecuaciones de segundo grado; si suponemos que el polinomio
x3 + ax2 + bx + c
se puede factorizar como
x3 + ax2 + bx + c = (xx1) (xx2 ) (xx3)
efectuamos las multiplicaciones en el lado derecho de la ecuacion y obtenemos:
(xx1) (xx2 ) (xx3) = x3(x1 + x2 + x3 )x2 + (x1 x2 + x2 x3 + x1x3 )x + x1x2 x3
lo que signica que
x1 + x2 + x3 = a
x1 x2 + x2 x3 + x1 x3 = b
x1 x2 x3 = c
A
un mas, como en el caso de las ecuaciones de segundo grado, podemos determinar
el caracter real o complejo de las soluciones de la ecuacion c
ubica,
y 3 + py + q = 0
estudiando su discriminante, este se dene como:
D = (y1 y2)2 (y1 y3 )2(y2 y3)2
Para calcularlo, como es habitual, hagamoslo por partes:
y1 y2 = (u + v) (wu + w2 v)
= (1 w)u + w3 v w2 v
= (1 w)u(1 w)w2 v
= (1 w)(u w2 v)
382
y
Ahora, notemos que
(1 w)(1 w2 ) = 3
ww2 = 3i
y
ademas, como
(x 1)(x w)(x w2 ) = x3 1
u
porque w y w2 son las races c
ubicas de la unidad, y x = tambien es una raz
v
c
ubica de la unidad, entonces
3
u
u
u
u
2
1
1
w
w =
v
v
v
v
lo que es equivalente a:
(u v) (u vw) (u vw2) = u3 v 3
o sea que:
(u v) (u vw) (u vw2 ) = 2
2 3
q
p
+
2
3
3 2
q 2
p
= 3 3i 2
+
2
3
3
q 2
p
= 108
+
2
3
D = (27q 2 4p3 ).
Veamos ahora que el discriminante de la ecuacion:
x3 + ax2 + bx + c = 0
383
x1 x2 = y1 y2 ,
x1 x3 = y1 y3 ,
x2 x3 = y2 y3 .
D = (27q 2 4p3 ).
Y en terminos de a, b y c:
D = 18abc 4a3 c + a2b2 4b3 27c2 .
Si la ecuacion c
ubica
x3 + ax2 + bx + c = 0
y x2 = i
Ejercicios
1. Halle las races de la ecuacion
x3 + 3x2 x + 6 = 0
2. Comparar la forma del como se hallo el metodo descrito en esta seccion
para hallar las races c
ubicas de una ecuacion de tercer grado con el metodo
expuesto en el texto Calculus de Spivak, (Pags. 642, 643, 644, 645, 646).
Establecer diferencias y similitudes.
16.5.
16.5.1.
M
etodo Babil
onico
16.5.2.
El m
etodo de Ferrari
386
16.5.3.
La soluci
on moderna
a
4
en la ecuacion original:
a 4
a 3
a 2
a
+d
y
+a y
+b y
+c y
4
4
4
4
operamos
2
3 4
a
a
a
a
a
4
3
2
3
2
y 4y
+ by
+ a y 3y
4y
+
4
4
4
4
4
2 3
2
a
a
2ya a
ca
+ 3y
+ b y2
+
+ cy
+d=0
4
64
4
16
4
4y 3a 6y 2 a 4ya3
3y 2a2
a4
+
+
+ ay 3
y4
4
16
64
256
4
3
3
a
ca
2yab a2 b
3ya
+ by 2
+
+ cy + d = 0
+
16
64
4
16
4
2 2
3
4
2 2
3
3y a
3y a
ya
a
3ya
y4 +
+
+
+ ay 3
+
8
16
256
4
16
3
ca
yba a2b
a
2
+ by
+
+ cy + d = 0
64
2
16
4
2 2
3
4
3
2
ya
a
a
a
ca
3y
yba
a
b
+
+
+ by 2
+
+ cy + d = 0
y4 +
8
4
256 64
2
16
4
388
+d =0
8
4
2
256 64
4
para obtener
y 4 + py 2 + qy + r = 0
donde
3a2
p=
+b
8
a3 ab
+c
q=
4
2
a4
a3 ca
r=
+d
256 64
4
De nuevo, como en la c
ubica cambiamos una ecuacion de cuarto grado en una
incognita por tres ecuaciones simultaneas con tres incognitas, haciendo
y =u+v+w
y calculamos
y 2 = (u + v + w)2
y 2 (u + v + w)2 = 0
y 2(u2 + v 2 + w2 + 2uv + 2uw + 2wv) = 0
y 2(u2 + v 2 + w2 + 2(uv + uw + wv)) = 0
y 2u2v 2w2 2(uv + uw + wv)) = 0
y 2 (u2 + v 2 + w2 )2(uv + uw + wv)) = 0
y =u+v+w
389
y 4 + py 2 + qy + r = 0
entonces
y 42(u2 + v 2 + w2 )y 28uvwy4(u2 v 2 + u2w2 + w2 v 2) + (u2 + v 2 + w2 )2 = 0
las dos ecuaciones son equivalentes si
2(u2 + v 2 + w2) = p
8uvw = q
2
2
2 2
2 2
2 2
(u + v + w ) 4(u v + v w + w2 u2) = r
(6)
(7)
(8)
uv w =
q
8
2
u2 + v 2 + w 2 =
2 2
uv w =
q
8
p2 4r
16
esto puede interpretarse, diciendo que z1 = u2 , z2 = v 2 y z3 = w2 son las races de
la ecuacion c
ubica:
q2
p
p2 4r
z + = 0
z3 + z2 + +
2
16
64
lo que nos lleva al caso anterior que, en teora, ya sabemos resolver.
(u2v 2 + v 2w2 + w2 u2) =
Por fortuna tenemos maneras para resolver ecuaciones de tercero y cuarto grado
sin utilizar estos metodos engorrosos, que hemos presentado, por su ingenio y
390
16.6.
a
5
Por ejemplo James Gregory que haba proporcionado metodos propios de resoluci
on de la
ecuacion de tercer y cuarto grados, trat
o de emplearlos en la solucion de la de quinto y fracaso. En
posteriores trabajos sobre integraci
on, Gregory dio por sentado que no era posible resolver algebraicamente la ecuacion general de grado n para n mayor que cuatro. Walter von Tschirnhausen
391
(1651-1708) prob
o transformaciones de la forma
x=t
a1
na0
392
6x4
5x4
x4
x4
+
+
6x3
6x3
5x3
x3
x3
5x2
5x2
5x2
0
2x
+ 2x
2x
10
10
10
0
x5
x x3 + x2 + 2
4
393
16.7.
1 6
6 5 2 10
5 5
5 0
10
1 1
1
0 2
0
N
umero de races de una ecuaci
on de grado
n.
Hemos mencionado que una ecuacion de grado 1, tiene a lo mas una solucion, una
de segundo grado 2, y sospechamos que una de grado n, debe tener a lo mas n
soluciones.
Este resultado, intuido inicialmente por Cardano, quien haba introducido las races
complejas y que por un tiempo penso que una ecuacion poda tener cualquier
n
umero de races, fue enunciado sin prueba por Albert Girard diciendo que una
ecuacion polin
omica de grado n, tiene n races, si se cuentan las races imposibles
y si se tienen en cuenta las repetidas.
Tambien Descartes, asume que una ecuacion puede tener tantas races como n
umero
de dimensiones de la incognita, usando la expresion puede tenerpor considerar
falsas las races negativas. Mas tarde, al incluir las races imaginarias y las negativas, concluyo que hay tantas como indica el grado.
En cuanto al n
umero de races positivas, negativas y complejas, Cardano observo que las races complejas de una ecuacion se dan por pares y Newton lo
demostro en su Atihmetica Universalis.
Descartes en La Geometra, enuncio, sin demostracion, la regla de los signos, conocida como regla de Descartes, que arma: el maximo n
umero de races positivas de
f(x) = 0, donde f es un polinomio, es el n
umero de variaciones del signo de los coecientes y que el maximo n
umero de races negativas es el n
umero de apariciones
de dos signos + o dos signos consecutivamente.
Esta regla fue demostrada por varios matematicos del siglo XVIII. La prueba que
se da en la actualidad se debe a Abbe Jean-Paul de Gua de Malves (1712-85), que
tambien demostro que la ausencia de 2m + 2 o 2m races complejas, seg
un que los
dos terminos entre los que se halla la deciencia tengan signos iguales o distintos.
Gauss demostro que si el n
umero de races positivas queda por debajo del n
umero
de variaciones del signo, tal diferencia debe ser un n
umero par.
394
16.7.1.
16.7.2.
29
396