TEOREMA 1

En los nmeros reales se cumplen las leyes cancelativas y uniforme con la suma, es decir:
i) Si x+y=x+z entonces y=z.
ii) Si y=z entonces x+y=x+z.

Demostracin/:
i)
y = 0+y
y = ((-x)+x)+y
y = (-x)+(x+y)
y=(-x)+(x+z)
y =(-x)+(x+z)
y=((-x)+x)+z
y= =0+z
y==z
la anterior demostracin se justifica usando el axioma 4, el axioma 5, ley asociativa, la
hiptesis, ley asociativa, el axioma 5 y el axioma 4 respectivamente.
ii)Por ley reflexiva x+z=x+z pero como z=y entonces por ley transitiva x+z= x+y.

TEOREMA 2
Los neutros e inversos aditivos y multiplicativos son nicos.
Demostracin/:
Supongamos que existen 01 y 02 dos neutros aditivos, entonces01 +02 =01 y 02 +01 =
02 luego por ley transitiva y conmutativa 01=01 +02=02 +01 =02.luego estos neutros aditivos
son el mismo. (Anlogamente se demuestra para el neutro multiplicativo).

Ahora supongamos que para x hay dos inversos aditivos x1 y x2tal que x+x1 =0 y x+x2 =
0 por ley transitiva tenemos que x+x1 =x+x2 luego por ley cancelativa x1 =x2. Luego los
inversos aditivos para x real son el mismo. (Anlogamente se demuestra para el inverso
multiplicativo teniendo en cuenta que x0).



TEOREMA 3
En los nmeros reales distintos de cero se cumplen las leyes cancelativas y uniforme con la
multiplicacin, es decir:

i) Si xy=xz entonces y=z.
ii) Si y=z entonces xy=xz.
Demostracin/:
La demostacion es analoga a la del Teorema1.

TEOREMA 4
-0=0.
Demostracin/:
Tenemos que 0+(-0) =0 y 0+0 =0 luego por ley transitiva 0+(-0) =0+0, finalmente por ley
cancelativa 0 =-0.

TEOREMA 5
Para x real se cumple: -(-x)=x.
Demostracin/:
(-x) =0+((-x))=(x+(-x))+((-x))=x+((-x)+((-x)))=x+0=x.Podemos ver que usamos los
axiomas 4 y 5 y el hecho de que ((-x)) es el inverso aditivo de (-x).
LEMA
Para toda x real se cumple: x0=0x=0.
Demostracin/:
x0=x (0+0) = x0+x0, luego x0 = x0+x0 y por ley cancelativa 0 = x0 x0=0, de la
misma forma demostramos que 0x=0, por lo que concluimos que x0=0x=0.

TEOREMA 6
Para x, y reales se cumple: (-x) y= x(-y) =-(xy).
Demostracin/:
Por lema 0=0y=(x+(-x)) 0y = xy+(-x) y, entonces 0= xy+(-x)y y por ley uniforme se puede
sumar -(xy) y tenemos que -(xy) = (-(xy))+xy+(-x)y luego (xy))+xy=0 por lo que se tiene
que: -(xy) = 0+(-x)y =+(-x)y. Analogamente se demuestra que x(-y)=-(xy).

TEOREMA 7
Para x0 real se cumple: 1/(1/x)=x.
Demostracin/:
Esta demostracion es parecida al adel teorema 5.

TEOREMA 8
Para x, y reales distintos de cero se cumple: 1/(xy)= (1/x)(1/y).
Demostracin/:
1/(xy)=111/(xy)
1/(xy)= (x(1/x)) (y(1/y))1/(xy)
1/(xy)= (xy) ((1/x)(1/y))1/(xy)
1/(xy)=((1/x)(1/y)) ((xy) 1/(xy))
1/(xy)= (1/x)(1/y).
Aqu hemos usando en repetidas ocasiones propiedades como la ley conmutativa y
asociativa para el producto y la existencia de los neutros e inversos multiplicativos.


TEOREMA 9
Para x, y reales distintos de cero se cumple: 1/(x/y)=y/x.
Demostracin/:
Aqu vemos como los Teoremas 7 y 8 son usados junto con las propiedades conmutativa
y asociatativa del producto para demostrar lo requerido.
1/(x/y)= 1/(x (1/y))=(1/x)(1/(1/y))=(1/x) y = y/x.

TEOREMA 10
Para x, z reales y w, y reales distintos de cero se cumple: x/y + z/w = (xw+ zy)/ yw.
Demostracin/:
(x/y)+(z/w)= (x/y+z/w)1
(x/y)+(z/w)= (x/y+z/w)((yw)(1/yw))
(x/y)+(z/w)= ((x/y+z/w)(yw))(1/yw)
(x/y)+(z/w)= (x/y (yw)+z/w (yw))(1/yw)
(x/y)+(z/w)= (xw+ yz)(1/yw)
(x/y)+(z/w)= (xw+ yz)/(yw)
Note que en esta demostracin usamos los axiomas 2, 3, 6 y 7.

TEOREMA 11
Para x, z reales y w, y reales distintos de cero se cumple: (x/y) (z/w)= (xz)/ (yw).
Demostracin/:
Al igual que en el teorema anterior aqu usamos la definicin 5 los axiomas 2, 3 y los
teoremas 8 y 9 .
(x/y)(z/w)=((x/y)z)/w
(x/y)(z/w)= ((x(1/y))z)/w
(x/y)(z/w)= (x((1/y)z)/w
(x/y)(z/w)= (x(z/y))/w
(x/y)(z/w)= ((xz)/y)/w
(x/y)(z/w)= xz/yw.

TEOREMA 12
Para x, y y z reales se cumple: x>y si y solo si x+z>y+z.
Demostracin/:
Sea a=x+z y b=y+z, entonces a-b=(x+z)-(y+z)=x-y como a>b si y solo si a-b>0 y por
transitividad de a>b se deduce que x+z>y+z.
Por otro lado veamos que x+z >y+z si y solo si (x+z)-(y+z) >0 luegox-y >0 x>y.
TEOREMA 13
Para x, y y z reales con z distinto de cero se cumple:
i) x>y si y solo si xz>yz con z>0.
ii) x>y si y solo si yz > xz con 0>z.
Demostracin/:
Si x>y si y solo si x-y >0 por lo tanto x-y es positivo, si z>0entonces z tambian es positivo y
por los axiomas de orden vemos que (x-y)z es positivo si y solo si (x-y)z >0
Si y solo si x z -yz>0 si y solo si x z >yz.

Si x>y si y solo si x-y >0 por lo tanto x-y es positivo, 0>z entonces(-z)>0 usando el mismo
razonamiento que en i) llegamos a queyz-xz>0 si y solo si yz >xz.ii) se deduce de la
misma forma.
TEOREMA 14
Para x, y reales distintos de cero se cumple:

i) Si xy>0 con x>0 entonces y>0.
ii) Si xy>0 con 0>x entonces 0>y.
iii) Si 0> xy con x>0 entonces 0>y.
iv) Si 0> xy con 0>x entonces y>0.

Demostracin/:
Supongamos que no se cumple la tesis, es decir, 0>y como x>0entonces por teorema
13 0>xy llegando a la contradiccin de la hiptesis o sea que lo afirmamos anteriormente
es falso, llegando a la demostracin del teorema (anlogamente se demuestra
para ii),iii) y iv).

TEOREMA 15
Para x0 real se cumple: x>0 .
Demostracin/:
Si x>0 entonces x es positivo luego xx=x es positivo si y solo six>0.Si 0>x entonces (-
x) es positivo luego (-x)(-x)=(-x) es positivo si y solo si (-x)>0.Pero (-x)(-x)=-(x(-x))=-(-
(xx))=xx=x por teorema 6, con lo que vemos que (-x)(-x)=x>0.

TEOREMA 16
Para x0 real se cumple:
i) x>0 si y solo si (1/x)>0.
ii) 0>x si y solo si 0>(1/x).
Demostracin/:
Como x>0; x0 entonces existe (1/x), luego x(1/x)=1 entonces.x>0implica que x1>0 si y
solo si x (x(1/x)) >0, luego x(1/x )>0 y como x>0 por teoremas 13 y 14 se deduce
que 1/x>0.

Por otro lado 1/x>0; x0 entonces existe x, luego x(1/x)=1entonces.1/x>0 implica
que (1/x)1>0 si y solo si (1/x) ((1/x)x)) >0, luego (1/x)x>0 y como (1/x)>0 por teoremas 13
y 14 se deduce que x>0.