Nótese que O no tiene inverso multiplicativo, y, por tanto, la división

por cero no está definida. La hipótesis de que O tuviera inverso multi­

plicativo no es consistente con los otros axiomas. Si O tuviese un inverso
multiplicativo, llamémosle a, entonces O· a= l . Esto estaría en contradicción
con el teorema 4.1, y por tanto no sería consistente con los axiomas sobre
los que está basada la prueba del teorema 4.1. Es en este sentido en el que
decimos que la división por cero no puede definirse.
De la definición 4.7 y los axiomas M5 y M 1, resulta que el cociente de
dos números reales cualesquiera es un número real con tal de que el
denominador no sea O. Como los enteros son números reales y un número
racional es un cociente de dos enteros, los números racionales son números
reales.
No podemos demostrar que números irracionales tales como J2 -J5
o
son números reales sin usar el axioma L. Más adelante probaremos
que tales números son números reales. Entre tanto, suponemos que si n es
un entero impar positivo y a es un número real cualquiera, entonces
hay un número único b tal que a= bn. El número b está denotado por
:fa o por a 11" y se le llama n-ésima raíz de a. Por ejemplo, ifn =3 y
:J -32 = -2. Obsérvese, sin embargo, que si n es un entero positivo par,
entonces no hay ningún número b tal que a = b" si a < O, y hay dos
números tales que a = bn si a > O. Así pues, si n es un entero positivo par
suponemos que para cada número a ;:, O hay un número único b ;:, O tal
que a= b". El número no negativo b se denota por ::fa o por a 1 tn y se
llama raíz n-ésima de a. Por ejemplo, J9 = 3 y lf[6 = 2.

Problemas
l. Pruébese que - O = O.
2. Pruébese que -a-b = -(a+b).
3. Pruébese que si a+b = a+c, entonces, b = c. Esta es la ley de
cancelación para la adición.
4. Pruébese que a-(b-c) = (a-b)+c.
5. Pruébese que 1- 1 = l .
6. Pruébese que si ab = O, entonces a = O o b = O.
7. Pruébese que si ab # O, entonces (ab)- 1 =, a- 1 ·b- 1•
8. Pruébese que si a# O, entonces (a- 1)-1 == a.
9. Pruébese que si ab = ac y a # O, entonces b = c. Esta es la ley de
cancelación para la multiplicación.

5. ALGO DE ÁLGEBRA

Mostraremos cómo algunas de las reglas y métodos del álgebra pueden

manejarse a la luz de los axiomas para el sistema de los números reales.

Algo de álgebra 29
Problemas
l. Pruébense los siguientes teoremas:
a) 6.6, b) 6.7, e) 6.8, d) 6.9.
2. Si a es un número real distinto de cero, demuéstrese que a y --a
son de signo diferente.
3. Pruébese: si a � O y b ;:: O, entonces ab � O.
4. Pruébese: si a � O y b < O, entonces ab� O.
5. Pruébese: si a� e y b� d, entonces a+b� c+d.
6. Pruébese que a< b si y sólo si b-a > O.
7. Pruébese que a < b si y sólo si existe un número positivo e tal que
a+c = b.
8. Resuélvanse las siguientes desigualdades lineales:
a) x+5 > 2 b) 3x � 5
e) 4x+ 1 < 2x+3 d) 3x-5 > 7x+ 12
e) -3x+ 1 < 2x+5 f) l lx-7�4x+2
9. Pruébese: si a > 1, entonces a 2 > a, y si O < a < l, entonces
2
ª < a.
10. Resuélvanse las siguientes desigualdades cuadráticas:
a) x2 -5x+6 < O b) X - 3 X - 4 > Ü
2

e) 2 x2 - x - 1 O > O d) 3x2 -7x+4 < O

e) 3 x2 - 7 x +6 < O f) x 2 - 4 X+ 5 > Ü
11. Si a y b son dos números reales distintos cualesquiera, demuéstrese
que hay un número real entre a y b.
12. Pruébese: O < a < b implica O < ..ja < /b.
13. Encontrar el mínimo número M con la propiedad de que para
todo x E R:
a) 2x-x 2 � M h¡ 1 +6x-x 2 � M
e) -19+ 12x-2x � M
2

14.

a) m� x2 -4x+4 b) 111 � X - 4 X +29

2

e) 111 � x 2 +4x+6

15. Determinar los valores de x para los que cada una de las siguientes
expresiones es 1) igual a cero, 2) menor que cero, y 3) mayor que cero.
a) x2 - 5 x - 6 b) x 2 - 6 x
e) x 2 -l0x+33

38 Cap. l Los números reales