lgebra

Unidad 1. Nmeros reales

Actividad 3. Uso de propiedades de campo
Indicaciones: Resuelve los ejercicios que se te presentan a continuacin.
1. Escribe en cada una de las lneas de la derecha la propiedad o axioma que corresponda sobre los
nmeros reales que se estn empleando.
Partimos de considerar tres nmeros reales, a, b y c, con c ! tenemos que si ac " bc entonces a " b.
ac = bc
Partimos de esta suposicin.
c
1
!ac" = c
1
!bc"
#ultiplicamos ambos miembros de la i$ualdad
por c
%&
, pues como c ! existe su inverso
multiplicativo.
!c
1
a" c = !c
1
b" c 'xioma de asociatividad, no cambia el resultado
independientemente de cambiar los nmeros , ya
sea en sumando o multiplicando , (ab)c " a(bc)
!a c
1
" c = !b c
1
" c *e puede multiplicar en cualquier orden ,
lle$ando al mismo producto en esta propiedad
a !c
1
c" = b !c
1
c" 'xioma de %+onmutativa, no importa el orden, en
la suma y multiplicacin no altera el resultado
a # 1 = b # 1 'xioma de identidad hay un nmero y slo un
nmero, el cero, de modo que a , ! " ! , a " a,
para cualquier valor de a. -e ah que el cero
reciba el nombre de elemento id.ntico o mdulo
de la suma.
a = b 'xioma de reciprocidad ,si a " b, tenemos que b
" a
/-espu.s de resolver este ejercicio lo que obtienes es la le$ de la cancelacin de la multiplicacin.
%. Escribe en cada una de las lneas de la derecha la propiedad o axioma que corresponda acerca de
los nmeros reales que se estn empleando.
Partimos de considera dos nmeros reales, a y b, para ver que si ab " ! y a !, entonces b " !.
+iencias Exactas, 0n$enieras y 1ecnolo$a 2 3o$stica y 1ransporte &
lgebra
Unidad 1. Nmeros reales
ab = &
Partimos de esta suposicin.
a
1
!ab" = a
1
# &
#ultiplicamos ambos miembros de la i$ualdad
por a
%&
, pues como a ! existe su inverso
multiplicativo.
a
1
!ab" = & 'xioma de existencia del inverso
!a
1
# a" b = & 'xioma distributiva
1 # b = & 'xioma de existencia del inverso multiplicativo
b = & 'xioma de la propiedad de cancelativa
%. 'nali4a la si$uiente serie de ar$umentos para justi5icar que 6 " &.
Partimos de la idea de tomar dos nmeros reales, a y b, que cumplan dos caractersticas7 a " b y
a !.
1"
a = b
%" ab " b
6
#ultiplicamos ambos miembros de la i$ualdad por b.
3" ab % a
6
" b
6
% a
6
Resta a ambos miembros de la i$ualdad a
6
.
'" a(b % a) " (b % a) (b , a) 8actori4amos expresiones de ambos miembros de la
i$ualdad. 'unque ambas expresiones se 5actori4aron
aplicando el axioma 9 de campo, la de la i4quierda 5ue de
manera inmediata mientras que la de la derecha requiri
un trabajo ms amplio.
&
(" :a(b % a); (b % a)
%&
"
" :(b % a) (b , a); (b % a)
%&
#ultiplicamos ambos miembros de la i$ualdad por el
inverso multiplicativo de (b % a) que se denota por
(b % a)
%&
.
)" a :(b % a) (b % a)
%&
; "
" :(b % a) (b , a); (b % a)
%&
'plicamos el axioma < de la asociatividad en el miembro
i4quierdo de la i$ualdad.
*" a " :(b % a) (b , a); (b % a)
%&
'qu simpli5icamos el miembro i4quierdo aplicando el
axioma = del inverso multiplicativo y el axioma > del
elemento neutro para la multiplicacin.
+" a " (b , a) :(b % a) (b % a)
%&
; 'qu comen4amos a simpli5icar el miembro de la
derecha. 'plicamos el axioma 6 de la conmutatividad de
la multiplicacin y el axioma < de la asociatividad de la
multiplicacin.
," a " b , a 'qu se termina de simpli5icar el miembro derecho de la
i$ualdad. 'plicamos el axioma = del inverso multiplicativo
y el axioma > del elemento neutro de la multiplicacin.
1&" a " a , a *ustituimos el valor de b por a. ('l inicio se dijo que
ambos valan lo mismo.)
11" a " 6a
*umamos las dos a, aunque es una aplicacin del
1
Los temas factorizacin vienen en el curso en la siguiente unidad, as que por lo pronto te pedimos
que creas estos pasos de factorizaciones.
+iencias Exactas, 0n$enieras y 1ecnolo$a 2 3o$stica y 1ransporte 6
lgebra
Unidad 1. Nmeros reales
axioma 9 de distributividad7 &a , &a " (& , &)a " 6a.
1%" a?a
%&
" 6a?a
%&
#ultiplicamos ambos miembros de la i$ualdad por el
inverso multiplicativo de a, es decir, por a
%&
.
13" & " 6 &
'plicamos el axioma = del inverso multiplicativo
1'" & " 6 'plicamos el axioma > del elemento neutro para la
multiplicacin.
#arvin Rojo @rti4 '3&!96<>A>
+iencias Exactas, 0n$enieras y 1ecnolo$a 2 3o$stica y 1ransporte B