Axiomas de los Números Reales

Taller de Ayudantı́a 2:
Axiomática de Números Reales

Coordinación de Matemáticas

Programa de Bachillerato
Universidad de Chile

Abril, 2020

Coordinación de Matemáticas Matemáticas 1

 Axiomas de los Números Reales

Objetivos

1 Identificar condiciones para que una expresión algebraica esté

bien definida.

2 Trabajar con los axiomas de los números reales para

demostrar, y con contraejemplos para refutar, afirmaciones.

3 Aplicar los axiomas de cuerpo.

Coordinación de Matemáticas Matemáticas 1

 Axiomas de los Números Reales

Ejercicio Propuesto

1. Simplifique las siguientes expresiones indicando sus

restricciones:
a)
1 a3 − 1 a3 + 1 (a2 + 11a + 10)(a3 − 3a2 + 3a − 1)(a2 + 3a + 2)
2
⋅ 2 ⋅ 2 + .
1−a a −a+1 a +a+1 (a2 − 1)2 (a2 + 9a − 10)(a + 2)

2−c 5 4−c
b) + − .
c2 + c − 6 9 − c2 c2 − 7c + 12

Coordinación de Matemáticas Matemáticas 1

 Axiomas de los Números Reales

Solución:

a) Considerando las restricciones de la expresión se tiene

i. 1 − a2 ≠ 0 iv. (a2 − 1)2 ≠ 0

ii. a2 − a + 1 ≠ 0 v. a2 + 9a − 10 ≠ 0
iii. a2 + a + 1 ≠ 0 vi. a + 2 ≠ 0

Luego, factorizando se tiene

1 − a2 = (1 − a) ⋅ (1 + a) ≠ 0
⇒ a ≠ −1 ∧ a≠1

2
(a2 − 1) = (a + 1)2 ⋅ (a − 1)2 ≠ 0
⇒ a ≠ −1 ∧ a ≠ 1.

Coordinación de Matemáticas Matemáticas 1

 Axiomas de los Números Reales

Además recordemos que un polinomio de la forma x2 + bx + c se

puede factorizar en dos binomios de grado uno, si existen p, q ∈ R
tal que,
x2 + bx + c = (x + p) ⋅ (x + q)
Ası́, la expresión a2 + a + 1 tendrı́a factorización si existieran p y
q ∈ R tales que se cumplirı́a

a2 + a + 1 = (a + p) ⋅ (a + q)
= a2 + (p + q) ⋅ a + pq

entonces
p+q =1
∣.
pq = 1

Coordinación de Matemáticas Matemáticas 1

 Axiomas de los Números Reales

Resolviendo el sistema, considere la primera igualdad y elevamos al

cuadrado,

(1)2 = (p + q)2
1 = p2 + 2(p ⋅ q) + q 2

de la segunda igualdad se tiene 1 = p ⋅ q, si reemplazamos tenemos.

1 = p2 + 2(p ⋅ q) + q 2
1 = p2 + 2 ⋅ (1) + q 2
1 = p2 + 2 + q 2
−1 = p2 + q 2 .

Lo cual corresponde a una contradicción ya que la suma de

cuadrados siempre es positiva, entonces no existe tal factorización
en dos binomios de grado 1. Análogo para a2 − a + 1.

Coordinación de Matemáticas Matemáticas 1

 Axiomas de los Números Reales

Además,

a2 + 9a − 10 = (a + 10) ⋅ (a − 1) ≠ 0
⇒ a ≠ −10 ∧ a ≠ 1.

a+2≠0 ⇒ a ≠ −2

Por lo tanto las restricciones de definición para la expresión en

cuestión corresponden al conjunto

{−2, −1, 1, −10}

Coordinación de Matemáticas Matemáticas 1

 Axiomas de los Números Reales

Por otro lado, factorizando las expresiones de los numeradores se

tiene

a3 − 1 = (a − 1) ⋅ (a2 + a + 1)
a3 + 1 = (a + 1) ⋅ (a2 − a + 1)
a2 + 11a + 10 = (a + 1) ⋅ (a + 10)
a3 − 3a2 + 3a − 1 = (a − 1)3
a2 + 3a + 2 = (a + 2) ⋅ (a + 1).

Coordinación de Matemáticas Matemáticas 1

 Axiomas de los Números Reales

Reemplazando las expresiones anteriores, por un lado el primer

término de la expresión quedarı́a,

1 a3 − 1 a3 + 1 1 (a − 1)(a2 + a + 1)
⋅ ⋅ = ⋅
1 − a2 a2 − a + 1 a2 + a + 1 (1 − a)(1 + a) a2 − a + 1
(a + 1)(a2 − a + 1)
⋅
a2 + a + 1
a−1
=
1−a
−(1 − a)
=
1−a
= −1

Coordinación de Matemáticas Matemáticas 1

 Axiomas de los Números Reales

y el segundo término de la expresión quedarı́a,

(a2 + 11a + 10)(a3 − 3a2 + 3a − 1)(a2 + 3a + 2)

=
(a2 − 1)2 (a2 + 9a − 10)(a + 2)
(a + 1)(a + 10)(a − 1)3 (a + 2)(a + 1)
= =
(a2 − 1)2 (a + 10)(a − 1)(a + 2)
(a + 1)2 (a − 1)3
= =
(a − 1)(a + 1)2 (a − 1)2
=1

Finalmente
1 a3 − 1 a3 + 1 (a2 + 11a + 10)(a3 − 3a2 + 3a − 1)(a2 + 3a + 2)
2
⋅ 2 ⋅ 2 + =0
1−a a −a+1 a +a+1 (a2 − 1)2 (a2 + 9a − 10)(a + 2)

Coordinación de Matemáticas Matemáticas 1

 Axiomas de los Números Reales

Solución:

b) Factorizando los denominadores tenemos,

c2 + c − 6 = (c − 2) ⋅ (c + 3)
9 − c2 = (3 − c) ⋅ (3 + c)
c2 − 7c + 12 = (c − 3) ⋅ (c − 4)

Ası́ el conjunto de restricciones para la expresión corresponden

al conjunto
{−3, 2, 3, 4}.

Coordinación de Matemáticas Matemáticas 1

 Axiomas de los Números Reales

Ahora reemplazado estas expresiones en la expresión original se

tiene,
2−c 5 4−c
+ − =
(c − 2)(c + 3) (3 − c)(3 + c) (c − 3)(c − 4)
(−1)(c − 2) 5 (−1)(c − 4)
= + − =
(c − 2)(c + 3) (3 − c)(3 + c) (c − 3)(c − 4)
(−1) 5 (−1)
= − − =
(c + 3) (c − 3)(c + 3) (c − 3)
(−1) ⋅ (c − 3) − 5 + (c + 3)
= =
(c + 3)(c − 3)
−c + 3 − 5 + c + 3
= =
(c + 3)(c − 3)
1
= .
c2 −9

Coordinación de Matemáticas Matemáticas 1

 Axiomas de los Números Reales

Finalmente

(−1) ⋅ (c − 3) − 5 + (c + 3) 1
= 2 .
(c + 3)(c − 3) c −9

Coordinación de Matemáticas Matemáticas 1

 Axiomas de los Números Reales

Ejercicio Propuesto

2. Determine si las siguientes proposiciones son verdaderas o

falsas. En cualquier caso, justifique demostrando o con un
contraejemplo, respectivamente.
a c
a) Sean b, d ≠ 0. Luego, = ⇐⇒ ad = bc.
b d

b) Para todo número real b se verifica que

√
b2 = b.

c) Si x, y son números reales positivos, entonces

√ √ √
x + y = x + y.

Coordinación de Matemáticas Matemáticas 1

 Axiomas de los Números Reales

Solución:

a c
a) Sean b, d ≠ 0. Luego, = ⇐⇒ ad = bc. (verdadera)
b d
Demostración: Primero como la demostración tiene un si y
solo si, se tienen que hacer dos demostraciones:
a c
⇒ Sean b, d ≠ 0. Luego, = ⇒ ad = bc.
b d
a c
⇐ Sean b, d ≠ 0. Luego, ad = bc ⇒ =
b d

Coordinación de Matemáticas Matemáticas 1

 Axiomas de los Números Reales

Ahora sean b, d ≠ 0 demostraremos primero ⇒ . Sabemos que

a c
=
b d
(ab−1 ) = (cd−1 ) / ⋅ (bd)
(a ⋅ b−1 ) ⋅ (b ⋅ d) = (c ⋅ d−1 ) ⋅ (b ⋅ d)
(a ⋅ b−1 ) ⋅ (b) ⋅ (d) = (c ⋅ d−1 ) ⋅ (b) ⋅ (d)

Aplicando asociatividad (a ⋅ b−1 ) ⋅ (b) = (a ⋅ (b−1 ⋅ b)) y en

(c ⋅ d−1 ) ⋅ (b) = (c ⋅ (d−1 ⋅ b)) tenemos,

(a ⋅ (b−1 ⋅ b)) ⋅ (d) = (c ⋅ (d−1 ⋅ b)) ⋅ (d)

Coordinación de Matemáticas Matemáticas 1

 Axiomas de los Números Reales

Aplicando conmutatividad en (d−1 ⋅ b) = (b ⋅ d−1 )

(a ⋅ (b−1 ⋅ b)) ⋅ (d) = (c ⋅ (b ⋅ d−1 )) ⋅ (d)

Asociamos (c ⋅ (b ⋅ d−1 )) = ((c ⋅ b) ⋅ d−1 )

(a ⋅ (b−1 ⋅ b)) ⋅ (d) = (c ⋅ b) ⋅ (d−1 ) ⋅ (d)

Asociamos (c ⋅ b) ⋅ (d−1 ) ⋅ (d) = (c ⋅ b) ⋅ (d−1 ⋅ d), concluyendo

(a ⋅ (b−1 ⋅ b)) ⋅ (d) = (c ⋅ b) ⋅ (d−1 ⋅ d)

a⋅1⋅d=c⋅b⋅1
ad = cb.

Coordinación de Matemáticas Matemáticas 1

 Axiomas de los Números Reales

Por otro lado, para demostrar ⇐ . Sean b, d ≠ 0, tales que

(a ⋅ d) = (b ⋅ c). Luego, existen inversos multiplicativos
b−1 , d−1 ∈ R ⇒ (d−1 ⋅ b−1 ) ∈ R.

Utilizando conmutabilidad (b ⋅ c) = (c ⋅ b) y Multiplicando

(d−1 ⋅ b−1 ) a la igualdad anterior,

(a ⋅ d) ⋅ (d−1 ⋅ b−1 ) = (b ⋅ c) ⋅ (d−1 ⋅ b−1 )

(a ⋅ d) ⋅ (d−1 ) ⋅ (b−1 ) = (c) ⋅ (b) ⋅ (d−1 ⋅ b−1 )

Aplicando asociatividad (a ⋅ d) ⋅ (d−1 ) = (a ⋅ d ⋅ d−1 ) y en

(b) ⋅ (d−1 ⋅ b−1 ) = (b ⋅ d−1 ⋅ b−1 ).

(a ⋅ d ⋅ d−1 ) ⋅ (b−1 ) = (c) ⋅ (b ⋅ d−1 ⋅ b−1 )

Coordinación de Matemáticas Matemáticas 1

 Axiomas de los Números Reales

Asociando los términos

(a ⋅ d ⋅ d−1 ) = (a) ⋅ (d ⋅ d−1 ))

(b ⋅ d−1 ⋅ b−1 ) = ((b ⋅ d−1 ) ⋅ b−1 )

y conmutamos (b ⋅ d−1 ) = (d−1 ⋅ b).

(a ⋅ (d ⋅ d−1 )) ⋅ (b−1 ) = (c) ⋅ ((d−1 ⋅ b) ⋅ b−1 )

Asociando ((d−1 ⋅ b) ⋅ b−1 ) = (d−1 ⋅ (b ⋅ b−1 )), concluyendo.

a ⋅ b−1 = c ⋅ d−1

Coordinación de Matemáticas Matemáticas 1

 Axiomas de los Números Reales

Solución:

b) Para todo número real b se verifica que

√
b2 = b. (Falso)

Contraejemplo: si consideramos b = −2, se tiene

√ √
(−2)2 = (−2) ⋅ (−2)
√
= 4
=2

Coordinación de Matemáticas Matemáticas 1

 Axiomas de los Números Reales

Solución:

c) Si x, y son números reales positivos, entonces

√ √ √
x + y = x + y. (Falso)

Contraejemplo: si consideramos x = 9 e y = 16, obtenemos.

√ √ √
9 + 16 ≠ 9 + 16
√
3 + 4 ≠ 25
7≠5

Coordinación de Matemáticas Matemáticas 1

 Axiomas de los Números Reales

Ejercicio Propuesto

3. a) Demuestre que si a, b ∈ R ∖ {0}, entonces

(ab)−1 = a−1 b−1 .

b) Demuestre que si a, b, c, d ∈ R con b ≠ 0 y d ≠ 0, entonces

ab−1 + cd−1 = (ad + bc)(bd)−1 .

Coordinación de Matemáticas Matemáticas 1

 Axiomas de los Números Reales

Solución:

a) Demuestre que si a, b ∈ R ∖ {0}, entonces (ab)−1 = a−1 b−1 .

Demostración: Primero recordemos que si existen

a, b ∈ R ∖ {0}, entonces se tiene que (ab) ≠ 0 y que existe
(ab)−1 el denominado inverso multiplicativo que cumple,

(ab) ⋅ (ab)−1 = 1

Entonces probaremos que el elemento ((a)−1 ⋅ (b)−1 ) cumple

la condición antes descrita.

(ab) ⋅ ((a)−1 ⋅ (b)−1 ) = 1

Coordinación de Matemáticas Matemáticas 1

 Axiomas de los Números Reales

Considerando el lado izquierdo se tiene,

(ab) ⋅ ((a)−1 ⋅ (b)−1 ) = ((a) ⋅ (b)) ⋅ ((a)−1 ⋅ (b)−1 )

= (a) ⋅ (b) ⋅ ((a)−1 ⋅ (b)−1 )
(asociatividad) = (a) ⋅ (b ⋅ ((a)−1 ⋅ (b)−1 ))
= (a) ⋅ ((b ⋅ a−1 ) ⋅ b−1 )
(conmutatividad) = (a) ⋅ ((a−1 ⋅ b) ⋅ b−1 )
(asociatividad) = (a) ⋅ ((a)−1 ⋅ (b ⋅ b−1 ))
= (a) ⋅ (a)−1
=1

Por lo tanto
(ab) ⋅ ((a)−1 ⋅ (b)−1 ) = 1

Coordinación de Matemáticas Matemáticas 1

 Axiomas de los Números Reales

Finalmente como el inverso multiplicativo (ab)−1 es único

acabamos de mostrar que existe un elemento ((a)−1 ⋅ (b)−1 ) que
cumple la condición del inverso multiplicativo, entonces

(ab)−1 = ((a)−1 ⋅ (b)−1 ).

Coordinación de Matemáticas Matemáticas 1

 Axiomas de los Números Reales

Solución:

b) Demuestre que si a, b, c, d ∈ R con b ≠ 0 y d ≠ 0, entonces

ab−1 + cd−1 = (ad + bc)(bd)−1 .

Demostración: Sean a, b, c, d ∈ R con b ≠ 0 y d ≠ 0 y

consideremos el lado derecho de la igualdad, luego usando el
axioma de distributividad se tiene

(ad + bc)(bd)−1 = (ad) ⋅ (bd)−1 + (bc) ⋅ (bd)−1

Coordinación de Matemáticas Matemáticas 1

 Axiomas de los Números Reales

Luego,

(ad + bc)(bd)−1 = (ad) ⋅ (bd)−1 + (bc) ⋅ (bd)−1

(propiedad inverso) = (a ⋅ d) ⋅ (b−1 ⋅ d−1 ) + ((b ⋅ c) ⋅ (b−1 ⋅ d−1 ))
(asociatividad) = (a ⋅ (d ⋅ b−1 ) ⋅ d−1 ) + ((b ⋅ c) ⋅ (b−1 ⋅ d−1 ))
(Conmutatividad) = (a ⋅ (b−1 ⋅ d) ⋅ d−1 ) + ((c ⋅ b) ⋅ (b−1 ⋅ d−1 ))
(asocitividad) = ((a ⋅ b−1 ) ⋅ (d ⋅ d−1 )) + ((c ⋅ (b ⋅ b−1 ) ⋅ d−1 ))
(inverso multiplicativo) = ((a ⋅ b−1 ) ⋅ 1) + ((c ⋅ 1 ⋅ d−1 ))
(neutro multiplicativo) = ab−1 + cd−1 .

Por lo tanto
ab−1 + cd−1 = (ad + bc)(bd)−1

Coordinación de Matemáticas Matemáticas 1

 Axiomas de los Números Reales

Ejercicio Propuesto

4. En el conjunto de los números reales distintos de cero

podemos definir la siguiente operación:
a b
a ⊕ b ∶= + ,
b a
donde el sı́mbolo + es la suma usual de R.

i. Demuestre que la operación ⊕ es conmutativa.

ii. Demuestre que la operación ⊕ no es asociativa.

Coordinación de Matemáticas Matemáticas 1

 Axiomas de los Números Reales

Solución:

a) Demuestre que la operación ⊕ es conmutativa.

Demostración: Sean a, b ∈ R ∖ {0} entonces,

a b
a⊕b= +
b a
(definición) = ab−1 + ba−1
(3.b) = (a2 + b2 )(ba)−1
(conmutatividad) = (b2 + a2 )(ab)−1
(distributividad) = b2 (ab)−1 + a2 (ab)−1

Coordinación de Matemáticas Matemáticas 1

 Axiomas de los Números Reales

(Propiedad inversos) = b2 b−1 a−1 + a2 b−1 a−1

(conmutatividad) = b2 b−1 a−1 + a2 a−1 b−1
= ba−1 + ab−1
b a
(definición) = +
a b
= b ⊕ a.

Por lo tanto
a⊕b=b⊕a
Finalmente ⊕ es conmutativa.

Coordinación de Matemáticas Matemáticas 1

 Axiomas de los Números Reales

Solución:

b) Demuestre que la operación ⊕ no es asociativa.

Contraejemplo: Consideremos los números reales −1, 1 y 2,

para tales elementos vamos a calcular (−1 ⊕ 1) ⊕ 2 y
−1 ⊕ (1 ⊕ 2) y mostraremos que los resultados no son iguales,
esto implicará que la operación no es asociativa.

(−1 ⊕ 1) ⊕ 2 = −2 ⊕ 2 = −2
5 29
−1 ⊕ (1 ⊕ 2) = −1 ⊕ =−
2 10
29
y como −2 ≠ − se sigue que (−1 ⊕ 1) ⊕ 2 ≠ −1 ⊕ (1 ⊕ 2),
10
y por lo tanto, la operación ⊕ no es asociativa.

Coordinación de Matemáticas Matemáticas 1