UNIVERSIDAD CATOLICA DE LA SANTISIMA CONCEPCION

FACULTAD DE INGENIERIA

DEPARTAMENTO DE MATEMATICA Y FISICA APLICADAS

Gua 1: Axiomas de Cuerpo y Orden
lculo I (IN1002C)
Ca
1 . Indicar los axiomas que se aplican
(1.1 ) (1 + 2) 3 = 3 2 + 3

(1.3 ) 1 (2 1) = 2

(1.2 ) (5 + 1) + 0 = 1 + 5

(1.4 ) (4 + 1)

1
=1
1+4

2 . Verificar las siguientes propiedades, utilizando los axiomas de los n

umeros reales.
(2.1 ) a, b R : a (b) = a + b;

(2.5 ) a R : a 0 = 0;

(2.2 ) a, b R : a b = 0 si y s
olo si a = b;

(2.6 ) a R : (a) = a;

(2.3 ) a R : (a1 )1 = a;
a
(2.4 ) a R :
= a;
1

(2.7 ) a, b R : (ab)1 = a1 b1 ;
(2.8 ) Si a 6= 0 y b 6= 0, entonces ab =

3 . Indicar los axiomas y los procedimientos que se aplican en la siguiente demostraci

on de la proposici
on
a, b R :

(a b)3 = a3 3a2 b + 3ab2 b3 .

Demostraci
on: Sean a, b R.
(a b)3

(a + (b))2 (a + (b)),

[(a + (b))(a + (b))](a + (b)),

[(a + (b))a + (a + (b))(b)](a + (b)),

[a(a + (b)) + (b)(a + (b))](a + (b)),

[aa + (b)a + a(b) + (b)(b)](a + (b))

[aa + a(b) + (ab) + bb](a + (b)),

[aa + (ab) + (ab) + bb](a + (b)),

[aa + 2(ab) + bb](a + (b)),

[aa + ((2ab)) + bb](a + (b)),

[a2 2ab + b2 ](a + (b)),

[a2 2ab + b2 ]a + [a2 2ab + b2 ](b),

a[a2 2ab + b2 ] + (b)[a2 2ab + b2 ],

a3 2a2 b + ab2 a2 b + 2ab2 b3 ,

a3 3a2 b + 3ab2 b3 .

a
.
b

IN1002C - 2013

4 . Indicar los axiomas que se aplican

1
0+1
;
21
2
1
(4.2 ) (4 1) < 1(2 + 0) 1 > 2;
2

(4.3 ) 4 + 3(2 + 1) > 4 + 3(1 + 0);

(4.1 )

(4.4 )

1
1
<
.
4
41

5 . Indicar los axiomas que se aplican en la siguiente demostraci

on
Si a > 0 entonces a +

1
2.
a

Demostraci
on:
Como (a 1)2 0, se tiene que
a2 2a + 1 0

a2 + 1 + (2a) 0,

a2 + 1 + (2a) + 2a 0 + 2a

a2 + 1 + [(2a) + 2a] 0 + 2a

a2 + 1 + 0 2a

a2 + 1 2a

a [a a1 ] + 1 a1 2[a a1 ]

a 1 + 1 a1 2 1

a + a1 2

a+

1
2
a

6 . Demuestre las siguientes propiedades de la relaci

on de orden:
(6.1 ) Si a > b y b > c, entonces a > c;
(6.2 ) Si a < b y c < 0, entonces ac > bc;
(6.3 ) Si a 6= b, entonces a2 + b2 > 2ab;
(6.4 ) Si a < b, entonces a > b.

Marzo de 2013