NMERO REAL

Fundamentos de la Matemtica 2013

Prof. Gustavo Franco Prof. Daniel Siberio

INTRODUCCIN

A lo largo de nuestra vida nos hemos ido encontrando con algunos conjuntos numricos.
Seguramente el lector conoce desde hace mucho tiempo a los naturales, a los enteros y a los racionales,
as como tambin las diferencias entre ellos y las necesidades no cubiertas por un conjunto numrico
que hace necesaria la creacin de otro.
Cules son las insuficiencias de los racionales que hacen necesario presentar un nuevo conjunto
numrico? Intentemos plantear una de ellas.






Te proponemos realizar una demostracin por reduccin al absurdo para probar que L no puede
ser un nmero racional. Supn que L . Entonces debe existir un nmero racional
p
q
(con p y q primos
entre s), tal que
p
L
q
= (en otras palabras, si L es un nmero racional, se puede representar a travs de
una fraccin irreducible).
| | | |
= = =
| |
\ \
2 2
2
Ahora bien, si , con lo cual: 2.
p p p
L L
q q q


(1) A partir de la suposicin anterior, prueba que p es par.
(2) Escribiendo = 2 ; con p t t (es correcto escribir a p de esta forma?), prueba que q
tambin es par.
(3) A qu contradiccin llegaste? Qu conclusin puedes sacar?


Por lo tanto, los racionales no nos permiten obtener la medida de la diagonal de un cuadrado de
lado uno. Es necesario disponer entonces de un conjunto numrico con el cual poder medir cualquier
longitud u otra magnitud escalar.


(4)





Construimos un cuadrado de lado [OA], siendo
O el origen y A el punto de abscisa 1. Trazamos
la diagonal y la trasportamos al eje. Qu
abscisa le asignamos a P ?
1
Consideremos un cuadrado de lado 1 (una unidad cualquiera) y hallemos la medida de
una de sus diagonales tomando al lado como unidad. Llamemos L a la medida de la
diagonal; por el teorema de Pitgoras se cumple que:

2 2 2 2
1 1 2 L L = + =
0
O
1
A
P
P
Nmero Real


Prof. Gustavo Franco Prof. Daniel Siberio
2
Hemos presentado una de las incapacidades de los racionales; no la nica. Elegimos esta por ser la
de mayores consecuencias desde el punto de vista histrico.

Los Pitagricos enamorados de los nmeros enteros creyeron que todas las cosas podan derivarse
de ellos, empezando por todos los dems nmeros. Se produjo una crisis en esta doctrina cuando
descubrieron que la raz cuadrada de 2 (la razn entre la diagonal y el lado de un cuadrado) era
irracional, es decir que 2 no puede expresarse de modo preciso como la razn de dos enteros
determinados por grandes que fueran estos nmeros.
Este descubrimiento se llev a cabo utilizando irnicamente como herramienta el teorema de
Pitgoras. Irracional significaba en principio que un nmero no poda expresarse como una razn
(cociente). Pero para los Pitagricos lleg a suponer algo amenazador, un indicio de que su
concepcin del mundo poda carecer de sentido, lo cual es la otra acepcin que tiene hoy la palabra
irracional. (Sagan, 1985)

Para cubrir esta, como otras carencias de los racionales, definiremos a los nmeros reales. Para
ello existen fundamentalmente dos caminos: el constructivo, que consiste en definir a los naturales, a
partir de ellos a los enteros, luego a los racionales y a partir de estos ltimos a los nmeros reales. El
otro camino consiste en definir directamente a los reales siendo los naturales, los enteros y los
racionales, subconjuntos de los reales. Este ltimo camino es el que seguiremos en esta parte del curso,
para ello daremos una definicin axiomtica del conjunto de los nmeros reales.


(5) A continuacin aparece una demostracin posible de la propiedad Cancelativa de la Adicin:
+ = + = a b c a b a c b c , , , .
(Debes tener en cuenta que op(a) significa opuesto de a).

Dem
+ = + + + = + + + + = + +
( ( + + = + + + = + =

( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
( ) ( ) 0 0 .
a b a c a b op a a c op a op a a b op a a c
op a a b op a a c b c b c


Indica todas las propiedades que se deben aceptar para que la demostracin sea posible.


(6) (a) Realiza una demostracin similar a la anterior de la propiedad Cancelativa de la
Multiplicacin: = = a b c a b a c a b c , , , . . 0 .
(b) Indica las propiedades que debiste aceptar para que la demostracin fuera posible.


(7) A continuacin aparece una demostracin posible de la Propiedad de Absorcin:
, .0 0. a a =
Dem
0 .1 (1 0) .1 .0 .0 0 .0 0 .0 a a a a a a a a a a a a + = = = + = + = + + = + =

Indica todas las propiedades que se deben aceptar para que la demostracin sea posible.
Nmero Real


Prof. Gustavo Franco Prof. Daniel Siberio
3
DEFINICIN AXIOMTICA DEL CONJUNTO DE LOS NMEROS REALES

En una definicin axiomtica encontramos conceptos primitivos y axiomas (proposiciones
verdaderas) que definen a dichos conceptos.
Consideraremos como conceptos primitivos un conjunto al que llamaremos Conjunto de los
Nmeros Reales, al que notaremos , y dos operaciones binarias definidas en l denominadas adicin y
multiplicacin, las cuales notaremos + y respectivamente, que cumplen:

Axioma 1 (Axioma de cuerpo)

A
1
) Asociativa: , , , ( ) ( ) . a b c a b c a b c + + = + +
A
2
) Conmutativa: , , . a b a b b a + = +
A
3
) Existencia del elemento neutro: 0 , , 0 0 . a a a a + = + =
A
4
) Existencia de elemento opuesto: , ( ) , ( ) ( ) 0. a op a a op a op a a + = + =

M
1
) Asociativa: , , , .( . ) ( . ). . a b c a b c a b c =
M
2
) Conmutativa: , , . . . a b a b b a =
M
3
) Existencia del elemento neutro: 1 1 0, , .1 1. . a a a a = =
M
4
) Existencia de elemento inverso: 0, ( ) , . ( ) ( ). 1. a a inv a a inv a inv a a = =

AM) Distributiva de la multiplicacin respecto a la adicin:
( ) ( )
+ = + + = + , , , .( ) . . , , , ( ). . . a b c a b c a b a c a b c b c a b a ca



Nota

Si leemos con atencin el Axioma 1 veremos que entre las muchas cosas que nos dice, una de ellas
es que el conjunto de los nmeros reales es un conjunto no vaco que tiene al menos dos elementos: el 0
y el 1; neutros de la adicin y de la multiplicacin respectivamente.
Nada en este axioma nos lleva a concluir que tenga ms que estos dos elementos. Si
consideramos = {0, 1} y la adicin y la multiplicacin definidas por las siguientes tablas:





el lector podr comprobar que este modelo verifica el Axioma 1. Por lo tanto, del Axioma de cuerpo no
se concluye que tenga infinitos elementos como todos esperamos. Esto ser necesariamente cierto
recin cuando entre en juego el segundo axioma. El lector atento tambin habr notado que se indica
explcitamente en el primer axioma que 0 1. Esto se debe a que si tal proposicin no es
+
0 1 0 1
0 0 1 0 0 0
1 1 0 1 0 1
Nmero Real


Prof. Gustavo Franco Prof. Daniel Siberio
4
necesariamente verdadera, tomando = {0}, 0 + 0 = 0 y 0 . 0 = 0, se verifica toda la axiomtica que
veremos sobre nmero real, creando un modelo trivial que no es el que andamos buscando generar.

Veamos ahora algunas proposiciones que se desprenden de manera ms o menos inmediata del
Axioma de cuerpo.


(8) Teorema: Propiedad de Unicidad del Neutro

(a) 0 es el nico neutro de la adicin: + = + = + = + = = , 0 0 0' 0' 0 0'. a a a a a a a
(b) 1 es el nico neutro de la multiplicacin: = = = = = , .1 1. .1' 1'. 1 1'. a a a a a a a

Demuestra el teorema anterior. Para probar, por ejemplo, la unicidad del neutro de la
multiplicacin, te sugerimos tener en cuenta que a puede ser 1.


(9) Teorema: Propiedades Cancelativa

(a) Enuncia y demuestra nuevamente las propiedades Cancelativa de la adicin y Cancelativa de
la multiplicacin, e indica cules axiomas te fue necesario considerar para poder demostrarlas.
(b) Por qu se exige que el factor cancelado sea distinto de cero?


(10) Teorema: Propiedad de Absorcin

, .0 0. a a =

Justifica cada paso de la demostracin siguiente:

Dem
0 .1 (1 0) .1 .0 .0 0 .0 0 .0 a a a a a a a a a a a a + = = = + = + = + + = + =


(11) Teorema: Ausencia de divisores de 0 o Propiedad hankeliana


0
. 0
0
a
a b
b
=

Completa la siguiente demostracin:
Dem
Si a = 0, la proposicin es verdadera.
Si a 0, tenemos que:

=
`
=

)
0
Cancelativa
Por hiptesis: .............
. .............. ...............
Por el teorema anterior: .0 0
a
a b
a

Nmero Real


Prof. Gustavo Franco Prof. Daniel Siberio
5
(12) Teorema: Existencia y unicidad de la diferencia


= +

= + =

i) ,
H) , T)
ii) es nico: ' , ' '

c a c b
a b
c c a c b c c


Para demostrar i), debes probar que dados a y b reales cualesquiera, siempre puedes hallar un
real c en funcin de a y b, tal que a = c + b. Cul es ese real c? Justifica.


Definicin

Consideremos , . a b Llamaremos diferencia de a y b, y escribiremos a b, al real c tal que
b + c = a (los nmeros reales a y b se llaman minuendo y sustraendo respectivamente).


(13) La relacin de en , en la que a cada par ordenado de reales (x, y) le hace
corresponder la diferencia x y, es una operacin binaria definida en ? Justifica. En caso
afirmativo, qu nombre recibe?


Nota

Cuando demostraste el teorema inmediato anterior no solamente probaste que existe c tal que
b + c = a, sino que seguramente llegaste a que: ( ). c a op b = +
Por lo tanto: ( ) a b a op b = +



(14) Demuestra el siguiente:
Teorema: Existencia y unicidad del cociente


=

, i) , .
H) T)
0 ii) es nico
a b c a c b
b c



Definicin
Consideremos , , 0. a b b Llamaremos cociente de a y b, y escribiremos o : ,
a
a b
b
al nmero
real c tal que . b c a = (los nmeros reales a y b se llaman dividendo y divisor respectivamente).

Nmero Real


Prof. Gustavo Franco Prof. Daniel Siberio
6
Nota

1) Cuando demostraste el teorema inmediato anterior seguramente llegaste a que = . ( ). c a inv b
entonces: . ( )
a
a inv b
b
=
2) Por lo tanto:
1 1
1. ( ) ( ) ( ) inv x inv x inv x
x x
= = =


(15) Demuestra las siguientes proposiciones en ( , ,), + donde a, b, c y d son nmeros reales:
(i)
( ) ( )
= ( ) ; 0 inv inv a a a (ii) 0 a b a b = = (iii) = = 1 ( 0)
a
a b b
b


(iv) (1) 1 inv = (v) ( ) a b a b + = (vi) ( ) a b a b + =

(16) Ya sabes que para demostrar una proposicin puedes utilizar axiomas, definiciones y
proposiciones anteriormente demostradas. En esta actividad te pedimos que ordenes
lgicamente las proposiciones que aparecen a continuacin teniendo en cuenta que si al
demostrar una de ellas necesitas recurrir a otra, sta ltima debe aparecer con anterioridad (a,
b, c y d son nmeros reales).

(i) (0) 0 op = (ii) 0 0 a a (iii)
( )
( ) op op a a =

(17) dem para las siguientes proposiciones:

(i) .( ) a b c ab ac = (ii) ( . ) ( ). .( ) a b a b a b = = (iii) ( ).( ) . a b a b = (iv) ( 1). a a =

(18) Demuestra las siguientes proposiciones en ( , ,), + donde a, b, c y d son nmeros reales:
(i)
( )
= ( . ) ( ). ( ) 0 0 inv a b inv a inv b a b (ii)
1
a
a = (iii)
a a a
b b b

= =

(iv)
| |
=
|
\
( 0 0)
a b
inv a b
b a
(v)
.
: ( 0 0)
b a c
a b c
c b
=
(vi)

= ( 0 0)
a c ad cb
b d
b d bd
(vii) . ( 0 0)
a c ac
b d
b d bd
=
(viii) : ( 0 0 0)
a c ad
b c d
b d bc
=


Nota
En la actividad anterior utilizamos indistintamente ( ) o op a a e
1
( ) o , inv a
a
segn lo hayamos
considerado conveniente. A partir de este momento utilizaremos exclusivamente la notacin habitual
(a y
1
a
).
Nmero Real


Prof. Gustavo Franco Prof. Daniel Siberio
7
ORDEN EN LOS REALES

A continuacin introduciremos en ( , ,) + una relacin de orden estricto total (<) y una relacin de
orden amplio total (), compatibles con la adicin y la multiplicacin (es decir, de modo que se cumplan
las propiedades de monotona de la adicin y de la multiplicacin). En pocas palabras, intentaremos
ordenar al cuerpo de los reales, lo cual haremos por intermedio del siguiente:

Axioma 2 (Axioma de orden)

Existe un subconjunto de los reales al cual denominaremos Conjunto de los Reales Positivos, y lo
notaremos ,
+
que verifica:


(1) , 0 x x x x
+ +
= (Tricotoma)
(2) Si
i)
ii)
x y
x y
x y

+
+ +
+

Nota

En el punto (1) expresamos que un mismo real no puede ser simultneamente positivo y cero, o
positivo y su opuesto tambin, o cero y su opuesto positivo. En el punto (2) estamos diciendo que la suma
y el producto de dos reales positivos es un real tambin positivo. Tengamos en cuenta que, por ahora,
que un real sea positivo significa que pertenece a ese subconjunto de los reales del cual afirmamos su
existencia en el Axioma 2 y al que denominamos Conjunto de los Reales Positivos. A continuacin te
pedimos demostrar que el mencionado subconjunto no es vaco.


(19) Teorema

1
+


Demuestra el teorema anterior. (Te sugerimos una demostracin por reduccin al absurdo,
teniendo en cuenta que si
+
1 , entonces
+
1 Por qu?).


Definicin

Consideremos , . a b Diremos que:
+
<
> <
<

1)
2)
3)
4)
a b b a
a b b a
a b
a b
a b
a b b a


Nmero Real


Prof. Gustavo Franco Prof. Daniel Siberio
8
Observacin

Notemos que definimos la relacin menor a travs de los reales positivos cuya existencia est
asegurada por el Axioma de Orden. Al definir la relacin menor, queda definida su relacin inversa:
mayor.


(20) Te pedimos que demuestres la siguiente proposicin que plantea que un nmero real es
positivo si, y solo si, dicho nmero pertenece a
+
.

Teorema

0 x x
+
>


Definicin

Llamaremos Conjunto de los Reales Negativos, y lo notaremos ,

al conjunto formado por todos

reales cuyos opuestos son reales positivos.
Simblicamente:
{ }
/ x x
+
=

Con esta definicin podemos enunciar de manera ms familiar la primera proposicin del Axioma
de Orden: todo nmero real cumple una y una sola de las siguientes proposiciones: i) es positivo, ii) es
cero o iii) es negativo.


(21) Demuestra el siguiente:
Teorema

0 x x

<



Teorema

La relacin < es una relacin de orden estricto total en :

( )
( )
( )
< /
< </
<

<
`
<

)
< <
1) , Inidntica
2) Asimtrica
3) Transitiva
4) Todo par de nmeros reales y distintos, verifica una y slo una de las siguientes proposiciones:
i) ii) T
a a a
a b b a
a b
a c
b c
a b
a b b a
( )
ricotoma .



Nmero Real


Prof. Gustavo Franco Prof. Daniel Siberio
9
(22) Completa la demostracin de la proposicin 3):
Dem


+
<

`
<

)
Def. de "<"
Ax 2_(2) i)
Def. de "<"
...................
....................................
...................

a b
b c

Pero como ( ) ( ) , b a c b c a + = tenemos que
+

Def. de "<"
.................. ....................

(23) Demuestra las restantes proposiciones.


Teorema (Monotonas de la adicin y de la multiplicacin compatibilidad con las operaciones.)

( )
( )
( )
1) Monotona de la adicin
2) Monotona generalizada de la adicin
3) . . Monotona de la multiplicacin
4) . . Monotona de la m
a b a c b c
a b
a c b d
c d
a b
a c b c
c
a b
a c b c
c

< + < +
<

+ < +
`
<

)
<

<
`

)
<

>
`

)
( )
ultiplicacin



(24) Completa la demostracin de la proposicin 3):
Dem

+
+
<

)
Def. de "<"
Ax 2_(2) ii)
Por hiptesis ........................
........................

a b
c

Pero como ( ). , b a c bc ac = tenemos que
+

Def. de "<"
............................ .......................

(25) Demuestra las restantes proposiciones.


Proposiciones (Regla de los signos del producto)

+ + +
+
+



1) .
2) .
3) .



a b a b
a b a b
a b a b



(26) Completa la demostracin de la proposicin 2):
Dem

+
+ +
+

)
a
b

Ax 2_(2) ii) ................... ...................
Def. de
................ ............... ...............
...............

Nmero Real


Prof. Gustavo Franco Prof. Daniel Siberio
10

(27) Demuestra las restantes proposiciones.
(28) Demuestra la siguiente proposicin:
1
a
a

+ +



(29) (a) Dados dos nmeros reales cualesquiera a y b, siendo , a b < halla un nmero real c en
funcin de a y b, tal que < < . a c b

(b) Demuestra el siguiente:
Teorema: Densidad
Dados dos nmeros reales cualesquiera a y b, siendo , a b < se cumple que: / c a c b < <


Nota
Cmo se puede justificar que + = 2 ? a a a
Como
+
> + > + = + > > 1 1 0 1 1 0 1 1. Por lo tanto: 1 1 1 0. En consecuencia, 1+1 es un real
distinto de 0 y de 1, al que notaremos 2. Un razonamiento similar nos lleva a que 0, 1, 2, 2+1 (que
notaremos 3), 3+1 (4), 4+1 (5),... son nmeros reales necesariamente diferentes. Entonces, la
aceptacin del Axioma 1 y del Axioma 2 nos lleva a que tiene infinitos elementos, lo cual, como vimos,
no se puede concluir solamente del primer axioma.
Ahora bien, volviendo a la pregunta inicial, 2 , a a a + = porque 1. 1. (1 1). 2. . a a a a a a + = + = + =



(30) Demuestra que en el cuerpo ordenado de los nmeros reales se cumplen las siguientes
proposiciones:

i)
a
a b
b

+
`

ii)
1
a
a



iii) Si , 0 0 x x
+
< = iv) , a a a (Idntica)

v)
a b
a b
b a


=
`

)
(Antisimtrica) vi)
a b
a c
b c



`

)
(Transitiva)

vii) , , a b a b b a (Dicotoma) viii) a b a c b c + +

ix)
a b
a c b d
c d


+ +
`

)
x)
a b
ac bc
c
+



`

xi)
a b
ac bc
c




`

xii)
0
0
a b
ac bd
c d
< <

<
`
< <

)
(Monotona generalizada de la multiplicacin)

xiii)
a b
a c
b c


<
`
<

)
xiv)
1 1
0 a b
a b
< < >
Nmero Real


Prof. Gustavo Franco Prof. Daniel Siberio
11
(31) Clasifica la relacin definida en .


(32) (i) Demuestra que
2
0, x x (entendemos por x
2
al producto: x.x).
(ii) Demuestra que
( )
2 2
, , 0 0 . a b a b a b + = = =
(iii) Si
{ }
, 0 , a b
+
demuestra que
2 2
. a b a b
(iv) Sin la condicin de que a y b no sean negativos, la proposicin de la parte anterior, es
vlida? Justifica.


(33) (i) Prueba que +
2 2
2 , , . x y xy x y
(ii) Sabiendo que , , a b c
+
y adems que 1, a b c + + = prueba que:
(1)
2
(1 ) 4 a bc
(2) (1 ).(1 ).(1 ) 8 a b c abc



SIGNO DE LAS IMGENES SEGN UNA FUNCIN

Consideremos la funcin : , ( ) 3 2 f f x x = + . Queremos hallar el conjunto de todos los
elementos del dominio que tienen imagen, segn f, negativa. Es decir, vamos a hallar el conjunto de
todos los x tal que f(x) < 0:
+
| | | |
< + < + + < + < < <
| |
\ \
Monot. de ( ) Monot. de ( )
1 1 2
( ) 0 3 2 0 (3 2) ( 2) 0 ( 2) 3 2 .3 .( 2) .
3 3 3
i
f x x x x x x
Por lo tanto, el conjunto de todos los elementos del dominio que tienen imagen negativa segn f es:

= <
`
)
2
/ .
3
S x x


(34) (i) Halla, en forma anloga, el conjunto de los elementos del dominio que tienen imagen,
segn f, cero y el conjunto de los elementos del dominio que tienen imagen mayor que cero.
(ii) Cmo puedes representar en el siguiente esquema los resultados obtenidos?

Sg ( ) f x


Signo de ( ) ( 0), con : f x ax b a f = + = + = + = +

Entendemos por estudiar el signo de f(x), encontrar el conjunto de los x reales cuyas imgenes
son positivas, el conjunto de los reales cuyas imgenes son 0 y el conjunto de los reales cuya imagen son
negativas.

Nmero Real


Prof. Gustavo Franco Prof. Daniel Siberio
12
(35) (1) Consideremos : . f Procediendo en forma similar a lo realizado anteriormente,
estudia el signo de f (x) = ax + b
( )
0 , a si:
(i) a > 0
(ii) < 0 a
(2) Expresa esquemticamente el signo de f (x), en funcin de a.



(36) Demuestra que:
(i)
2 2
, ,( ).( ) a b a b a b a b + =
(ii)
=

2 2
, ,
a b
a b a b
a b

(iii) Demuestra que
{ } ( )
+
= =
2 2
, 0 , . a b a b a b

Bhaskara II (n. 1114)
Bhaskara II, o Bhaskaracharya (el maestro Bhaskara) como todava
se le conoce popularmente en la India, fue el astrnomo matemtico ms
distinguido que produjo la escuela de Ujjain. Su fama reside en tres obras:
Lilavati, Bijaganita y Siddhanta Siromani. La ltima, una obra astronmica de
gran influencia, la escribi en 1150 cuando tena 36 aos de edad.
Lilavati, que se basa en las obras de Brahmagupta, Sridhara y
Aryabhata II, demuestra un profundo conocimiento de la aritmtica. El
trabajo de Bhaskaracharya sobre las operaciones fundamentales, sus reglas
de tres, cinco, siete, nueve y once, sus trabajos sobre permutaciones y
combinaciones, y sus reglas de las operaciones con el cero demuestran en
conjunto una madurez, una culminacin de quinientos aos de avances matemticos.
En 1587, siguiendo las instrucciones del emperador mongol Akbar, el poeta cortesano Fyzi
tradujo el Lilavati al persa. Fyzi cuenta una encantadora historia del origen del libro. Lilavati era el
nombre de la hija de Bhaskaracharya. Al hacerle el horscopo, descubri que el tiempo favorable
para su boda iba a ser una hora particular de un cierto da. Coloc una taza con un agujerito en su
fondo en una vasija llena de agua, dispuesta de tal manera que la taza se hundiera a comienzos del
da propicio. Cuando todo estaba preparado y la taza estaba colocada en la vasija, Lilavati
repentinamente, llena de curiosidad, se inclin sobre la vasija y una perla de su vestido cay en la
taza y tap el agujerito. La hora feliz pas sin que se hundiera la taza. Bhaskaracharya crey que la
manera de consolar a su abatida hija, que ahora no se casara nunca, era escribir para ella un
manual de matemticas.
El Bijaganita de Bhaskaracharya contiene problemas para determinar cantidades incgnitas,
calcular nmeros sordos (las incgnitas) y resolver ecuaciones simples y de segundo grado, y
tambin ciertas reglas que avanzan sobre las de Sridhara y que tratan de la resolucin de
Nmero Real


Prof. Gustavo Franco Prof. Daniel Siberio
13
ecuaciones indeterminadas de segundo grado, e incluso de ecuaciones de tercero y cuarto grados.
El mtodo cclico de Bhaskaracharya para resolver ecuaciones indeterminadas de la forma
ax
2
+ bx + c = y fue redescubierto en Occidente por William Brouncker en 1657. En el Siddhanta
Siromani, Bhaskaracharya demuestra su conocimiento de la trigonometra, incluyendo la tabla de
senos y la relacin entre diferentes funciones trigonomtricas. En su obra se pueden rastrear ciertos
conceptos preliminares del clculo infinitesimal y de anlisis, conceptos que adoptara la escuela
matemtica de Kerala en sus trabajos sobre las series infinitas unos doscientos aos despus.

(Joseph, 1996, pp. 365-367)

( (( ( ) )) ) ( (( ( ) )) )
2
Resolucin en , ,, de 0 0 ax bx c a + + + = + + + = + + + = + + + =

(37) Transforma la ecuacin:

=
2
4
2
b b ac
x
a
(a la que se le suele llamar frmula de
Bhaskara) hasta obtener la ecuacin equivalente: + + =
2
0. ax bx c

Si notamos al nmero real b
2
4ac (al que llamaremos discriminante), observa lo que realizaste
en la actividad anterior y vers que = +
2
(2 ) . ax b Y fjate tambin que:
2 2
0 (2 ) . ax bx c ax b + + = + = Ahora consideremos tres casos:

Si > 0
( )

+
+ = =

+ = + =

+ = =

2
2 2
2
2
(2 ) (2 )
2
2
b
ax b x
a
ax b ax b
b
ax b x
a

Por lo tanto, en este caso,
2 2
4 4
,
2 2
b b ac b b ac
S
a a

+
=
`

)


Si = 0
2
(2 ) 0 2 0
2
b
ax b ax b x
a
+ = + = =
Entonces si 0,
2
b
S
a

= =
`
)


Si < 0 + + = = /
2 2
, (2 ) 0, por lo tanto / (2 ) . Es as que: . x ax b x ax b S

Nota
Hemos utilizado raz cuadrada sin haberla definido y menos an demostrado que todo real positivo
o cero tiene una raz cuadrada. El desarrollo terico hecho hasta el momento no nos lo permite
(precisamos para ello el tercer axioma). A pesar de esto utilizamos para no postergar el estudio del
trinomio de segundo grado.
Nmero Real


Prof. Gustavo Franco Prof. Daniel Siberio
14
(38) Consideremos
2
: , ( ) ( , , , 0). f f x ax bx c a b c a = + +
Vimos que si
2
4 0 b ac = > la funcin f tiene dos races reales distintas; a saber:

y
2 2
b b
a a

+
= =

Prueba que:
(i) y .
b c
a a
+ = =
(ii) ( ) .( ).( ), f x a x x x =


2
Signo de ( ) ( 0), con : f x ax bx c a f = + + = + + = + + = + +
Comencemos por analizar el signo de f (x) para el caso en que > 0. Tenemos que si > 0, f
admite dos races reales distintas < ( y . Supongamos ). Adems, por lo que probaste en la
actividad anterior, ( ) .( ).( ), . f x a x x x =


(39) (1) Determina el signo de f (x
1
), < <
1 1
/ , x x si:
(i) > 0 a
(ii) < 0 a
(2) Determina el signo de f (x
2
),
2 2
/ , x x < < si:
(i) > 0 a
(ii) < 0 a
(3) Determina el signo de f (x
3
),
3 3
/ , x x < < si:
(i) > 0 a
(ii) < 0 a
(4) Representa esquemticamente el signo de f (x) en funcin de a, para el caso en que > 0.


Pasemos ahora a analizar el signo de f (x) para los casos en que = 0 y < 0.

(40) (1) Prueba que si = + + = +
2 2
( ) 4 ( ) (2 ) f x ax bx c af x ax b
(2) A partir del resultado anterior, estudia el signo de f (x) para = 0, si:
(i) > 0 a
(ii) < 0 a
(3) Representa esquemticamente el signo de f (x) en funcin de a, para el caso en que = 0.
(4) A partir del resultado de la parte (1), estudia el signo de f (x) para < 0, si:
(i) > 0 a
(ii) < 0 a
(5) Representa esquemticamente el signo de f (x) en funcin de a, para el caso en que < 0.

Nmero Real


Prof. Gustavo Franco Prof. Daniel Siberio
15
VALOR ABSOLUTO

Definicin

El valor absoluto de un nmero real a, al que notaremos , a ser a, si a 0, y a (opuesto de a),
si a < 0.
Simblicamente: , si 0 y , si 0. a a a a a a = = <

Ejemplos
4 4, 3 ( 3) 3, 0 0. = = = =

Teoremas
1) 0, x x
2) 0 0 x x = =
3)
2
2 2
, x x x x = =
4)
x y
x y
x y
=

5) . . , , x y x y x y =
6) , , 0
x
x
x y y
y y
=
7) , x x x x
8) Siendo r
+
se cumple que: i) x r r x r
ii)
x r
x r
x r

Nota

Las proposiciones de la parte 8 son tambin vlidas si intercambiamos por < y por >

9) , , x y x y x y + + (Desigualdad triangular)
10) , , x y x y x y


(41) Completa la demostracin de la proposicin 7):
Nmero Real


Prof. Gustavo Franco Prof. Daniel Siberio
16
Dem

1) x 0

`


) 0
0 .......
....... .......
0 ........ .......
x
x x
x x x x x x
x x x x


2) x < 0

<

< = =

`


) 0
0 ........ ........
0 ........
x
x x x
x x x
x x x


Por 1) y 2), , . x x x x


(42) Demuestra las proposiciones restantes. Para demostrar la propiedad 9) te sugerimos que
comiencen por considerar las desigualdades: , , , x x x y y y x y (Por
qu se verifican?) y que a continuacin sumes miembro a miembro; de ah en ms debes
ingenirtelas para llegar a la tesis.


NMERO NATURAL
La idea de la generacin de los nmeros naturales ya fue presentada; recordmosla. Como
1 0 1 1 1 0 1 1 1 0. > + > + + > > Por lo tanto el nmero real 1 + 1 es necesariamente distinto del 0 y
del 1, mereciendo entonces un nombre diferente. Al real 1 + 1 lo denominamos dos, y lo notamos 2.
Al ser 2 1 2 1 1 1 2 1 2 1 0. > + > + + > > > Entonces 2 + 1 es un nmero real distinto del 0, del 1
y del 2; lo denominamos tres, y lo notamos 3. Un razonamiento idntico nos lleva a que 3 + 1 es un real
distinto (mayor) que el 0, que el 1, que el 2 y que el 3. Denominamos cuatro a 3 + 1, y lo notamos 4. Y
as sucesivamente.
Para dar una definicin nominal explcita del Conjunto de los Nmeros Naturales, basada en la
definicin axiomtica del Conjunto de los Nmeros Reales, necesitaremos de un concepto previo que
definimos a continuacin.

Definicin

Consideremos . A Diremos que A es un conjunto inductivo si y slo si se cumple:
1) 0 A
2) Si 1 x A x A +

(43) es inductivo?
+
es inductivo? Y
{ }
+ +
=
0
0 ? El conjunto
{ }
+
=
0
2 , B es
inductivo?
Nmero Real


Prof. Gustavo Franco Prof. Daniel Siberio
17
Notacin

Notaremos con la letra I a la familia de todos los conjuntos inductivos. Por lo tanto, podemos
escribir I y
+
I.


Observacin

0 , 0 1 1 , 1 1 2 , 2 1 3 , ... A A A A A A A A + = + = + = I I I I
Entonces 0, 1, 2, 3 , ... A A I Los nmeros reales que identificamos como naturales pertenecen
a todos los conjuntos inductivos.


Definicin

Llamaremos Conjunto de los Nmeros Naturales, y lo notaremos , a la interseccin de todos los
conjuntos inductivos.
Simblicamente:

=

A
A
I


Observaciones

1) , , A A I ya que la interseccin de varios conjuntos est incluido en
cada uno de ellos.
2) Como

= 0, 1, 2, 3... , 0, 1, 2, 3... .

A
A A A I
I
Los nmeros que desde siempre
reconocimos como naturales, con la definicin que acabamos de adoptar, son efectiva y
tranquilizadoramente nmeros naturales.
3) pues , y . A A I I
4) Un razonamiento similar nos lleva a:
{ }
0 .
+
En otras palabras 0, . n n


(44) Demuestra el siguiente:
Teorema

I


Teorema de Induccin Completa

1)
H) 2) 0
3) Si 1
H
H
x H x H

T) H =
Nmero Real


Prof. Gustavo Franco Prof. Daniel Siberio
18
(45) Demuestra el teorema anterior. Ten en cuenta que, como por hiptesis H , te faltara
slo probar que H. Para demostrar esto ltimo, te sugerimos que pruebes que el conjunto H
es inductivo.

(46) Considera la relacin de orden amplio , definida en I. Halla el mnimo y el mximo de I,
segn dicha relacin.


Segn la teora que venimos desarrollando, los naturales son tambin nmeros reales y, por lo
tanto, se pueden operar como tales. Trataremos de responder ahora las siguientes preguntas: Las
operaciones binarias que estn definidas en (adicin, multiplicacin y sustraccin) siguen siendo
operaciones binarias ? En caso afirmativo, qu propiedades cumplen?


(47) Demuestra el siguiente:
Teorema: La suma de naturales es un nmero natural

, a b a b +

Para demostrar este teorema te sugerimos que consideres el conjunto
{ }
/ H x a x = + ,
y que a continuacin pruebes que H verifica las hiptesis del Teorema de Induccin Completa;
de este modo estars demostrando que = . H Cmo puedes utilizar esto para probar lo que
se te pide?


(48) (i) A partir del teorema anterior, qu puedes afirmar acerca de la relacin + definida
de en ?
(ii) A partir del teorema anterior, qu relacin puedes afirmar que existe entre las
estructuras
( ) ( )
+ + , y , ? Cules propiedades se verifican en la estructura
( )
+ , y cules
no?

Veamos a continuacin que la condicin para que la diferencia de dos naturales sea un natural es
que el minuendo sea mayor o igual que el sustraendo.


(49) Previamente te pedimos que pruebes el siguiente:
Lema

1
0
a
a
a



`

Te sugerimos que consideres el conjunto
{ }
= = , 0 1 , H x x x y que a continuacin
pruebes que H verifica las hiptesis del Teorema de Induccin Completa; esto te ayudar a
probar lo que se te pide.
Nmero Real


Prof. Gustavo Franco Prof. Daniel Siberio
19
(50) Ya ests en condiciones de demostrar el siguiente:

Teorema

, a b
a b
a b



`

Para demostrar este teorema te sugerimos considerar el conjunto
{ }
= > , , H x x a a x y a continuacin probar que H verifica las hiptesis del
Teorema de Induccin Completa. Para lo cual, entre otras cosas, debers probar que
+ si , entonces tambin 1 ; x H x H teniendo en cuenta que si x H puede suceder que
> x a o que . a x Si > , x a compara +1 x y a, qu conclusin puedes sacar? Por otro
lado, si , a x te proponemos que consideres dos posibilidades: 1) = 0 a x o 2) 0. a x
En el caso 2), para probar que + 1 , x H ten presente el lema anterior.


(51) Las relaciones < y definidas en , cumplen todas las mismas propiedades que las
relaciones < y definidas en ?


(52) Demuestra el siguiente:
Teorema

/ 0 1 n n < <
Te sugerimos que consideres el conjunto
{ }
= = / 0 1 H x x x y que a continuacin
pruebes que H verifica las hiptesis del Teorema de Induccin Completa; esto te ayudar a
probar lo que se te pide.


(53) Demuestra el siguiente:
Teorema

H) T) , 1 a n a n a < < + /
Te sugerimos una demostracin por reduccin al absurdo: supn que < < + , 1, n a n a y
concluye que esto te permitira encontrar un natural entre 0 y 1 Cul es ese natural? Por qu
esto es una contradiccin?

(54) Demuestra el siguiente:
Teorema

, , si 1 a b a b a b < +

(55) Prueba que la multiplicacin es una operacin binaria en , que cumple: asociativa,
conmutativa, existencia de elemento neutro, distributiva respecto a la adicin y no cumple la
propiedad de existencia de elemento inverso. Demuestra adems que la divisin no es una
operacin binaria en .
Nmero Real


Prof. Gustavo Franco Prof. Daniel Siberio
20
Continuemos con el estudio del orden en los naturales. Antes, algunas definiciones de carcter
general que nos son necesarias.

Definicin

Consideremos ; . A A Diremos que:

1) A est acotado superiormente , , k k a a A (k se denomina cota superior de A).

2) A est acotado inferiormente , , h h a a A (h se denomina cota inferior de A).

3) A est acotado A est acotado superior e inferiormente.


(56) Investiga si los siguientes conjuntos estn o no acotados superior o inferiormente y, en
caso afirmativo, determina sus cotas.
(i)
{ }
/ 1 7 B x x = <
(ii)
+




(57) El motivo por el cual
+
no est acotado superiormente, es porque es un conjunto infinito?


Definicin

Consideremos: , y . A M m Diremos que:
1) M es mximo de A
, M a a A
M A

Si M es mximo de A anotaremos: M = mxA.

2) m es mnimo de A
, m a a A
m A

Si m es mnimo de A anotaremos: m = mnA.


(58) (1) Demuestra que el mximo (mnimo) de un conjunto, si existe, es nico.
(2) Considera nuevamente el conjunto
{ }
/ 1 7 B x x = <
Prueba que: (i) 1 es el mnimo de B.
(ii) B no tiene mximo (sugerencia: hacer una demostracin por el absurdo).
(3) Prueba que
+
no tiene ni mximo ni mnimo.
(4) Es condicin necesaria o suficiente que un conjunto est acotado superiormente
(inferiormente) para que exista mximo (mnimo)?

Nmero Real


Prof. Gustavo Franco Prof. Daniel Siberio
21

Teorema (Principio de Buena Ordenacin: Todo conjunto de naturales no vaco tiene mnimo.)



=
`


)
/ mn
K
m m K
K


Dem

Consideraremos dos casos:
1) 0 K

(59) Cul es el mnimo del conjunto K en este caso? Por qu?


2) 0 K. Consideremos
{ }
/ , H x x k k K = <

La idea consiste en probar que H tiene un ltimo elemento x
0
y que su siguiente, x
0
+ 1, es el
mnimo de K.
(*) H y 0 H.
(60) Justifica que 0 H.

Si suponemos ahora, haciendo un razonamiento por reduccin al absurdo, que
( )
, 1 , x x H x H + teniendo en cuenta (*), por el Teorema de Induccin Completa, podramos
concluir que H = . Veamos que esto nos conduce a una contradiccin.
(61) Completa el resto de la demostracin:
...... ......
Ahora por def. de : ...... ......,
Por hiptesis ......
H K K
H K H K
K K

= =

= =

lo cual contradice
En consecuencia, la proposicin:
( ) ( )
0
Negacin
de la implicacin
, 1 es falsa ............................... es verdadera. x x H x H x +
Probemos ahora que
0
1 mn . x K + =
H K
0 0
1 x x +
0
Nmero Real


Prof. Gustavo Franco Prof. Daniel Siberio
22
Como
0 0 0
.................... 1........ , x H x x k k K < +
Por otra parte:
( )
1
0 0 0
1 1 , ......................... ( ). x H x k k K k + + <
Teniendo en cuenta la proposicin recuadrada anteriormente, como
0
, k K podemos concluir que
(
2
).
Por (
1
) y (
2
), tenemos que:
0 0 0
, 1 .............. k K x k K + =
De ambas proposiciones recuadradas concluimos que .


(62) Demuestra el siguiente:
Teorema: Consecuencia del Principio de Buena Ordenacin

Todo conjunto de naturales no vaco y que tiene cota superior natural, tiene mximo.

Te sugerimos considerar el conjunto de las cotas superiores naturales, demostrar que este
conjunto tiene mnimo y que este mnimo es el mximo buscado.



MTODO DE INDUCCIN COMPLETA

Entendemos por induccin al proceso que nos conduce de una proposicin particular a una general.
Proceso inverso a la deduccin que nos lleva de lo general a lo particular. Veamos algunos ejemplos:

Ejemplo 1

Observemos que:

2
2
2
2
1 3 4 2
1 3 5 9 3
1 3 5 7 16 4
1 3 5 7 9 25 5
+ = =
+ + = =
+ + + = =
+ + + + = =


(63) Cualquiera sea n natural, cul te parece que es el resultado de esta adicin
+ + + + + 1 3 5 7 ......... (2 1) ? n


En la actividad anterior has realizado un razonamiento inductivo. De algunos casos particulares
(cuatro) has llegado a una proposicin general.

Ejemplo 2

Consideremos
2
: , ( ) 41 f f x x x = + +
Observemos que = = = = (0) 41, (1) 43, (2) 47, (3) 53. f f f f
Nmero Real


Prof. Gustavo Franco Prof. Daniel Siberio
23

(64) (i) Qu particularidad tienen los nmeros 41, 43, 47 y 53?
(ii) Cualquiera sea n, qu te parece que se puede concluir acerca de f (n)?


Que una proposicin sea vlida para algunos casos particulares no implica necesariamente que lo
sea en general.
Es innecesario resaltar la importancia que tendra el disponer de un procedimiento de induccin
que nos lleve a conclusiones siempre verdaderas.

Una metfora

Disponemos de 10.000 fichas de domin con las cuales formar una fila. Cmo debemos
proceder para tener la certeza de que, si se cae una ficha, se caern todas las siguientes?




Que se caigan las primeras cuatro fichas no implica necesariamente que se caigan todas. Es
razonable afirmar que si: (1) se cae la ficha 1 y (2) las fichas estn dispuestas de tal manera que si se
cae una cualquiera (h) necesariamente se cae la siguiente (h + 1), entonces se caern todas las fichas.
Tngase en cuenta que si falla cualquiera de las dos condiciones no necesariamente se caern
todas las fichas. Por otra parte, observemos que si sustituimos la condicin (1) por: (1) se cae la ficha
5, llegaramos a la conclusin de que se caen todas a partir de la quinta.
Intentaremos a continuacin formalizar esta idea.


Teorema: Principio de Induccin Completa

es una proposicin referida a los naturales
H) 1) ( ) es V ( es verdadera para un natural particular )
2) Si ( ) es V ( 1) es V, ,
T) ( ) es V, ,

P
P k P k
P h P h h h k
P n n n k


(65) Demuestra el teorema anterior. Te sugerimos que consideres el conjunto
{ }
= + / ( ) es V , H x P x k y que pruebes, utilizando el Teorema de Induccin Completa,
que H = . Luego, como debes probar que ( ) es V, , , P n n n k los naturales n que
interesa considerar son los mayores o iguales que k. Pero , , n n k se verifica que
, n k y como H = , puede concluir que , n k H con lo cual te queda muy poco para
probar lo que se te peda.


1 2 3 4 ............................................ h h + 1 .......................................
Nmero Real


Prof. Gustavo Franco Prof. Daniel Siberio
24
Ejemplo

Demuestra que:
( )
+ + + + =
2
1 3 5 ..... 2 1 , , 1. n n n n

1) La proposicin es verdadera para n = 1. Efectivamente, pues:
2
1 1 . =
2) H) La proposicin es verdadera para n = h:
2
1 3 5 ....... 2 1 h h + + + + =
T) La proposicin es verdadera para n = h + 1:
2
1 3 5 ........ 2 1 2 1 ( 1) h h h + + + + + + = +

Dem

( ) ( )
=
+ + + + + + = + + = +
2 2
2
(por H)
1 3 5 ..... 2 1 2 1 2 1 ( 1)

h
h h h h h
Por 1), 2) y el Principio de Induccin Completa, tenemos que la proposicin es verdadera para todo
natural mayor o igual que 1. En otras palabras:
2
1 3 5 ..... 2 1 , , 1. n n n n + + + + =
Existe una notacin ms compacta para escribir sumas generalizadas: la suma
( )
+ + + + 1 3 5 ..... 2 1 , n se puede escribir utilizando el smbolo (letra griega llamada sigma) de la
siguiente forma:
( )
=
=
+ + + + =

1
1 3 5 ..... 2 1 (2 1).
i n
i
n i Veamos la definicin de este smbolo.


Definicin

Consideremos una funcin : , f A y dos naturales n y k ( ) n k tal que
{ }
= + , 1 . A i k i n La suma de todos los f (i), desde i = k hasta i = n + 1, que notaremos
1
( ),
i n
i k
f i
= +
=

se define mediante las siguientes condiciones:

1
1) ( ) ( )
2) ( ) ( ) ( 1)
i k
i k
i n i n
i k i k
f i f k
f i f i f n
=
=
= + =
= =
=
= + +

Nota
La anterior es un ejemplo de uno de los cuatro tipos de definiciones que aparecen en este curso:
definicin por recurrencia. Para definir un cierto concepto o smbolo por recurrencia (llammosle E (n)),
que depende del natural n, se define primero E (k) en forma nominal explcita (siendo k un cierto
nmero natural), y luego se indica un procedimiento para construir E (n + 1) a partir de E (n) cualquiera
sea el nmero natural n.


Nmero Real


Prof. Gustavo Franco Prof. Daniel Siberio
25
Propiedades

Consideremos , . n k n k
( )
( )

= = =
= = =
= =
= =
=
=
+ = +
=
+ = +

1) ( ) ( ) ( ) ( ) (propiedad aditiva)
2) ( ) ( ), con (propiedad homognea)
3) ( 1) ( ) ( 1) ( ) (propiedad telescpica)
4
i n i n i n
i k i k i k
i n i n
i k i k
i n
i k
f i g i f i g i
f i f i
f i f i f n f k

= = =
= = = +
= + <

1
) ( ) ( ) ( ), con ,
i n i h i n
i k i k i h
f i f i f i h k h n




NMERO ENTERO

Definicin

Denominaremos Conjunto de los Nmeros Enteros, y lo notaremos , al conjunto que tiene por
elementos a los nmeros reales que son naturales o a los reales cuyos opuestos son naturales.
Simblicamente:
{ }
/ x x x =

Teorema

1)
,
2) .
a b
a b
a b
+

Dem

Para realizar la demostracin de esta proposicin consideraremos cuatro casos:
1) , a b 2) , a b 3) y a b 4) . a b

(66) Demuestra la proposicin para el caso 1)


(67) Completa la demostracin para el caso 2): . a b

Si

.........
b
b


Consideremos = = ...... , con ...... n b n n
Entonces, tenemos que: + = ...... a b a
Si + = ....... ................ . a n a b a n
Si < + = = ....... (................) ...... a n n a a b a n

Por otra parte, = . . . . a n a n a b Qu propiedad se utiliz para afirmar que: = . . ? a n a b
Nmero Real


Prof. Gustavo Franco Prof. Daniel Siberio
26

(68) Demuestra la proposicin para los dos casos restantes.


(69) (i) A partir del teorema anterior, qu puedes afirmar acerca de las relaciones + y .
definida de en ?
(ii) A partir del teorema anterior, qu relacin puedes afirmar que existe entre las
estructuras
( ) ( )
+ + , , . y , , . ? Cules propiedades se verifican en la estructura
( )
+ , , . y
cules no?


(70) Las relaciones < y definidas en , cumplen todas las mismas propiedades que las
relaciones < y definidas en ?


NMERO RACIONAL

Definicin

Llamaremos Conjunto de los Nmeros Racionales, y lo notaremos , al conjunto:

/ , con , , 0
p
x x p q q
q


= =
`
)


(71) De qu forma estn relacionados, segn la relacin , los siguientes conjuntos:
, , y ?


(72) Demuestra el siguiente:
Teorema


1)
,
2) .
a b
a b
a b
+

Como a y b son racionales, puedes escribir
{ }

= = , con y 0 ,
p
a p q
q
y =
'
,
'
p
b
q

con ' y ' . p q Luego, te sugerimos utilizar las propiedades vistas ms arriba relacionadas
con la adicin y multiplicacin de cocientes.

(73) (i) A partir del teorema anterior, qu puedes afirmar acerca de las relaciones + y .
definida de en ?
(ii) A partir del teorema anterior, qu relacin puedes afirmar que existe entre las
estructuras
( ) ( )
+ + , ,. y , ,. ? Cules propiedades se verifican en la estructura
( )
+ , ,. y
cules no?
Nmero Real


Prof. Gustavo Franco Prof. Daniel Siberio
27
BIBLIOGRAFA CONSULTADA

Apostol, T. (1972). Calculus. Volumen I. Espaa: Revert.
Joseph, G. G. (1996). La cresta del pavo real. Las matemticas y sus races no europeas. Madrid:
Pirmide.
Louro, R. (1995). Nmero Real. Montevideo: Oficina de Publicaciones del CEI.
Rojo, A. (1978). lgebra 1. Buenos Aires: El Ateneo.
Sagan, C. (1985). Cosmos. Barcelona: Planeta.
Siberio, D. (2003). Notas de lgebra I. Montevideo: Centro de Impresiones y Publicaciones del
CEIPA.