Universidad de Concepcin

Facultad de Ciencias Fsicas y Matemticas

Departamento de Matemticas
______________________________________________________________________________________________________________

Nmeros y Complejos II
Prof.: Luis Rojas R.

CONCLUSIONES

Con el fin de disponer de un criterio que nos permita comparar nmeros reales, se define ,
una relacin de orden compatible con las operaciones de adicin y multiplicacin.
Considerando el subconjunto de que contiene los nmeros reales positivos .
se caracteriza por los siguientes postulados:
P1 : a, b a b
P2 : a, b a b

P3 : Para cada nmero real x se verifica una y slo una de las siguientes proposiciones
x , x , x 0
A partir de estos postulados se pueden probar las siguientes propiedades de los nmeros reales.
1. Si x y x 0, entonces x 2
Demostracin
Por P3
x0
x x
x x x x

Por P2

x 2 x

Concepto de potencia

x 2 x2
x 2

Ley de los signos

Idempotencia de " "

2.
Demostracin (investigacin)
3. Si a , entonces a 1
Demostracin
Sea a , arbitrario
a a 0
a0
As, a 1 existe
Supongamos que a 1 0
a 1 0 a 1 0
a a 1 0

__________________________

a a 1 0

__________________________

1 0

__________________________

__________________________

Contradiccin 1 0

______________________________________________________

1 ______________________________________________________

En efecto,
1 1 12 0
Como 1 0 entonces debe cumplirse que 1 0
Finalmente se afirma que: Si a , entonces a 1
p
4. Si p, q , entonces
q
Demostracin
Para p, q , se tiene que

p
p q 1
q

Por (3), q 1 p , luego p q 1

p

q

DEFINICIONES:
Si a, b son dos nmeros reales, diremos que:
a) a es menor que b si y slo si: b a b a 0
Notacin: a b
b) Se escribe a b y se lee a menor o igual que b si y slo si a b a b.
c) Se escribe b a y se lee b mayor que a si y slo si a b .
d) Se escribe b a y se lee b mayor o igual que a si y slo si b a b a .

Consecuencias de los Axiomas de Orden

1. Ley de Tricotoma: Si a y b son dos nmeros reales, una y slo una de las siguientes
condiciones se verifica:
a b, a b, b a
2. a b, b c a c
Sean a, b y c, reales
Por demostrar a b, b c a c
a b

b c

b a 0 c b 0

_____________________________________

b a c b 0

_____________________________________

c a b b 0

_____________________________________

c a 0
ca

_____________________________________
_____________________________________

a b, b c a c
______________________________________________________

2 ______________________________________________________

3. a b, c a c b c
Por demostrar a b a c b c

ab

ba 0
ba00
b a c c 0

_____________________________________
_____________________________________
_____________________________________

b c a c 0

_____________________________________

b c a c 0

_____________________________________

b c a c 0

_____________________________________

ac bc

_____________________________________

a b a c b c .................(*)

Por demostrar a c b c a b

acbc

b c a c 0

_____________________________________

bcac 0
bacc 0
ba0 0
ba 0
ab

_____________________________________
_____________________________________
_____________________________________
_____________________________________
_____________________________________

a c b c a b .................(**)
De (*) y (**) se tiene que a b a c b c
4. a b, c d a c b d
Por demostrar a b, c d a c b d
a bc d

a c b c c b d b

_____________________________________

a c b c b c d b

_____________________________________

ac d b

_____________________________________
a b c d a c b d

______________________________________________________

3 ______________________________________________________

5. a b, c 0 ac bc
Por demostrar a b, c 0 ac bc
Hip :
Tesis :

a b, c 0
ac bc

c0

c 0

_____________________________________

As
ab

c a c b

_____________________________________

c b c a 0

_____________________________________

c b c a 0

_____________________________________

c b c a 0

_____________________________________

c a c b 0
c a c b
ac bc

_____________________________________
_____________________________________
_____________________________________

a b, c 0 ac bc

Consecuencias de los Axiomas de Orden

Demostrar que: (Lema - 1)
Si a , entonces a a 0
Demostracin
a 0 a 0

por definicin de desigualdad

a 0 a

elemento neutro de la adicin

Demostrar que: (Lema - 2)

a a b b
Demostracin

a
a
a
a
a

a b a 1 a b

por (3)

a b a 1 a b

por P2

a b a 1 a b

asociatividad de

a b 1 b

inverso multiplicativo

a b b

elemento neutro de la multiplicacin

a a b b
______________________________________________________

4 ______________________________________________________

6. ab 0 a 0 b 0 a 0 b 0
Demostracin

a 0 b 0 a b
a 0 b 0 a b
a 0 b 0 a b 0

Lema - 1
P2
Lema - 1
.(i)

a 0 b 0 a b
a 0 b 0 a b
a 0 b 0 a b
a 0 b 0 a b 0

_________________
_________________
_________________
_________________
.(ii)

De (i) y (ii) se tiene que ab 0 a 0 b 0 a 0 b 0

7. ab 0 a 0 b 0 a 0 b 0
Demostracin

a 0 b 0 a b
a 0 b 0 a b
a 0 b 0 a b
a 0 b 0 0 a b
a 0 b 0 a b 0
a 0 b 0 a b
a 0 b 0 a b
a 0 b 0 a b
a 0 b 0 0 a b
a 0 b 0 a b 0

P3
P2
Ley de los signos
Neutro de la adicin en
Definicin de desigualdad
(i)
P3
P2
Ley de los signos
Neutro de la adicin en
Definicin de desigualdad

(ii)

De (i) y (ii) se tiene que ab 0 a 0 b 0 a 0 b 0

______________________________________________________

5 ______________________________________________________

ab
b
2
Demostracin
1 0 1 0 1 0
11 0 0
20
2 1 0
1
0
2

8. a b a

ab

______________________________________
______________________________________
______________________________________
______________________________________
______________________________________

ba 0
1
b a 0
2
b a
0
2 2
b a
a a 0
2 2
b a
a 0
2 2
a b

a 0
2
a b

a
2

______________________________________
______________________________________
______________________________________
______________________________________
______________________________________
______________________________________
______________________________________
.(i)

Por otro lado,

1
b a 0
2

b a
0
2 2

b b

______________________________________
b a
0
2 2

b a
b 0
2 2
b a
b 0
2 2
ba
b
0
2
a b
b
0
2

______________________________________________________

______________________________________
______________________________________
______________________________________
______________________________________
______________________________________

6 ______________________________________________________

a b
2

______________________________________

.(ii)
a b a b
ab
De (i) y (ii) se tiene que a

b a
b
2
2
2

9. a, b 0, a b a 1 b 1
Demostracin
a b a a 1 b a 1

_____________________________________

1 b a 1

_____________________________________

b 1 b b a
1

_____________________________________

b 1 1 a 1

_____________________________________

b 1 a 1

_____________________________________

Ejercicio:
Probar que 0 a b a 2 b 2
Demostracin
Sean a, b
ab

a a a b

a2 a b

_____________________________________
_____________________________________

.(1)
ab

ab b b

_____________________________________

ab b 2

_____________________________________
.(2)

De (1) y (2), y por transitividad de la desigualdad se tiene que:

a 2 ab b 2 a 2 b 2

______________________________________________________

7 ______________________________________________________