+ a
= b ac = b c
TEMA I
+ b
a Números reales
R+ y
desigualdades
En este capítulo se brindan los fundamentos del sistema numérico, en
particular lo relativo a los números reales, simbolizado por R., Sus
propiedades, teoremas, inecuaciones y valor absoluto .
* 0+( -
* 0 ) =a
* 0) +(-
(a*0
+a
1.1 Los números reales
El conjunto de los números reales R. Comprende a los números racionales(Q) e irracionales(Q
´); por tanto incluye a los positivos R+, negativos R-, el cero(0), enteros(Z), fraccionarios(Z
´), naturales(N).
El método matemático para establecer Una teoría consistente en tomar unos cuantos axiomas,
para en base a ellos establecer teoremas.
Las propiedades de los números reales que constituyen el sostén básico de los teoremas y de
la teoría del cálculo de números reales son:
Sí: a, b, c ϵ R
A1 a + b = b + a Conmutatividad de la suma
A2 a +(b+c)= (a+b)+c Asociatividad de la suma
A3 a + 0 = a Existencia de neutro aditivo (0)
A4 a +(·a) = 0 Existencia de opuesto aditivo(-a)
A5 a· b= b· a Conmutatividad del producto
A6 a( b·c)= (a b)c Asociatividad del producto
A7 a·1=a Existencia de neutro multiplicativo(1)
A8 a(a-1)=1 Existencia de inverso multiplicativo(a-1)·a=0
A9 a(b+c)=a·b+a·c Distribuidad de producto a suma
A10 a es positivo (a>0) Ley de tricotomía
a es cero (a=0)
a no es positivo (a<0)
A11 a>0·b>0→ a+b>0 Clausura de la suma
a>0·b>0 →a·b>0 Clausura del producto
Teorema de los Números Reales
Los Principales Teoremas de los Números Reales son:
T1) Si: a + b = b + c ⇒a = b T7) -(-a)=a
T2) Si: ac = bc ⇒a = b T8) (ab)=(-a)(-b)
T3) Si: a + x = b⇒x=b-a T9) a(b-c)=ab-ac
T4) a· 0=0 T10) ax=b·a.≠0⟹x=b⁄a
T5) ab=0⇒a=0 o b=0 T11) (ab)-1=a-1b-1
T6) a(-b)=-(ab) = (-a)b T12) a+a=2ª
Para demostrar los teoremas de los números reales. se deben usar los axiomas o
propiedades de los números reales, indicados anteriormente. también se pueden
usar otros teoremas, previamente demostrados.
Ej . 1-1 Demostración de T1 sí: a + b = b + c ⟹a=b
a+c=b+c Partiendo de la proposición original
(-c) =(-c) Por A4( existencia del opuesto)
( a + c)+(-c)=( b + c) +(-c) Sumando(-c) a ambos miembros de la igualdad
a+ [c+ (-c)]=b+[c+(-c)] Por A2( asociatividad de la suma)
a+0=b+0 Por A4( existencia del opuesto)
a=b PorA3( existencia del neutro aditivo)
Así queda demostrada el teorema mediante las propiedades indicadas.
1-1 Demostrar los siguientes Teoremas de los Números Reales.
a) Si: a+x=a ⟹ x=0 Este teorema es una generalización de T1
a+x=a Por la posición original
(-a)=(-a)Por A4
(a+x)+(-a)=a+(-a) Sumando (-a)
(x+a)+(-a)=a+(-a) Por A1
x+[a+(-a)]=a+(-a) Por A2
x+0=0 ⟹ x+0 Por A4 y por A3. queda demostrado el Teorema
b) Demostrar: 0+0=0 Usando A3. considerando que el número real: a.
a+0=a Puede ser igual a cero.
0+0=0 Reemplazando. Queda demostrado el Teorema.
c) Demostrar T2: Si: ac = bc , c ≠ 0 ⇒ a = b
a c=b*c Por la posición original
c -1=c -1 Por A8. Existe un inverso de: c. es c -1
(a c)(c -1)=(b*c)(c -1) Multiplicando por c -1 ambos miembros
a(c c -1)=b(c c -1) Por A6
a(1)=b(1) Por A8
a=b Por A7. Queda demostrado el Teorema.
1-2 Demostrar los siguientes Teoremas de los Números Reales.
a) Demostrar: T4 a*0=0 Se inicia la demostración a partir de identidad
0+0=0 Por la consecuencia de: P-1 -b
a(0+0)=a(0) Por A9
a*0+a*0=a*0 Por A4, ya que: a*0 ϵ R
(-a*0)=(-a*0) Sumando (-a*0) a ambos miembros
(a*0+a*0)+(-*0)=a*0+(-a*0) Por A2
a*0+[a*0+(-a*0)]=a*0+(-a*0) Por A4
a*0+0=0⇒a*0=0 Por A3. Queda demostrado el Teorema.
b) Demostrar: T6 (-a)b=-(ab)=a(-b)
(-a+a)b=(-a+a)b Partiendo de una identidad
(-a)b+ab=0 b Por A9. A4
(-a)b+ab=0 Por P-1-2-a
(-ab)=(-ab) Por A8. Existe: (-ab)=-(ab)
[(-a)b+ab]+(-ab)=0+(-ab) Sumando a ambos miembros: (-ab)
(-a)b+[ab+(-ab)]=(-ab) Por A2. A32
(-a)b+0=-ab Por A4 y por A3, queda demostrada la 1raigualdad
(-a)b=-(ab) La 2da es equivalente.
c) Demostrar: T8 (-a)(-b) = ab
(- a)(-5) = (-a)(-6) Partiendo de una Identidad
-(ab) = (-a)b Por P-1-2-a, ya demostrada
(-a)(-b) + (-ab) = (-a)(-b) + (-a)b Sumando miembro a miembro
(-a)(-6) + (-ab) = (-a)(-6+b) Por A9
(-a) (-b) + (-ab) = (-a)(0) Por A4
(-a)(-b) + (-ab).= 0 Por P-I-1-c
ab=ab Existe el Números Real: ab
[(-a) (-b) + (-ab)] + ab = 0 + ab Sumando a ambos miembros: ab
(-a)(-b) + ((-ab) + ab] = ab Por A2. A3
(-a)(-b) + 0 = ab Por A4
(-a)(-5) = ab Por A3. queda demostrado el Teorema
d) Demostrar: T10 ax=b⇒x=b/a:a≠0
ax=b De la Proposición original
a-1=a-1 Por A6. Existe:a-1*a≠0
(ax)a-1=ba-1 Multiplicando ambos miembros por: a-1
(xa)a-1=ba-1 Por A5
x(aa-1)=ba-1 Por A6
x(1)=ba-1 Por A8
x=ba-1 Por A7
x=b/a Por convenio a-1=1/a
Teoremas sobre desigualdades
Para operar con los signos de desigualdad (>Mayor, < Menor), es preciso definir los
siguiente:
Def 1 Si a>b a-b>0 (a-b) ϵ R
Def 2 a<b a-b<0 (a-b) ϵ R
Def 3 a ≥b a>b o a=b
Def 4 a ≤b a<b o a=b
Los axiomas o propiedades de los Números Reales: A10, A11, A12. Permiten
demostrar los teoremas sobre desigualdades, de los cuales los principales son:
TD-1 Si: ab ϵ R a>ba=ba<b TD-8 Si: a>b : c>0ac>bc
TD-2 Si: a>bb>c a>c a>b : c<0ac<bc
TD-3 Si: a>b a+c>b+cTD-9 Si: a>b : c>da+c>b+d
TD-4 Si: a>0 a2>0 TD-10 Si: 0<a<ba2<b2
TD-5 ϵ R>0 TD-11 Si: 0≤a<b : 0≤c<d
TD-6 Si: a>b-a<-b TD-12 Si: b≥0a2>b-a>√b a < -√b
TD-7 Si: ab>0 a<0yb<oa>0yb>0 TD-13 Si: b>0 a2 <b- - √b<a< √b
Ej: 1-2 Demostración de kTD-2 Si a>b : b>c a>c
Para la demostración se usan los axiomas o propiedades de los números reales.
Sobre desigualdades y las anteriores definiciones.
a>b b>c Partiendo de las propiedades originalmente dadas.
a-b>0 b-c>0 Por la definición: Def. 1
(a-b) ϵ R (b-c) ϵ R
[(a-b)+(b-c)] ϵ R Por A11. Clausura de la suma
(a-c) ϵ R Simplificando
(a-c)>0a>c Por la definición: Def. 1
1-3.-Demostrar los siguientes. Teoremas sobre desigualdades.
a) TD-3 Si: a>b a+c>b+c
a>b a - b>0 Partiendo de la proposición original
(a-b) ϵ R Por la definición Def. 1
(a-b+c-c) ϵ R Sumando y restando: c(No afecta a la expresión)
[(a+c)-(b+c)]> R Reordenando
(a+c)-(b+c)>0a+c>b+c Por la definición: Def 1
b)Si: a<0 . b<0ab>0 Variante de TD-7
a<0 b<0 Partiendo de las propusiciones por definición
a∉Rb∉R
-a ϵ R -b ϵ R Por A12. Clausura del producto de reales
(-a)(-b) ϵ R(-a)(-b) ϵ R ab>0 Por P-1-2-b. Teorema ya demostrado(-a)(-b)=ab
