03 Ejercicios 01
03 Ejercicios 01
03 Ejercicios 01
Semestre 2021 - A
Si a ∈ R, b ∈ R y c ∈ R, la proposición
a =b ⇒c ·a =c ·b
es verdadera.
i. a = b
ii. c · a = c · a
iii. c · a = c · b
Justificaciones.
a = b si y solo si a − c = b − c
es la siguiente:
a = b ≡ a + (−c) = b + (−c)
≡ a − c = b − c;
por tanto,
a = b ≡ a − c = b − c.
Justifique cada una de las equivalencias lógicas.
Justificaciones. Las razones para la validez de las primeras dos equivalecias, respectivamente son:
i. La equivalencia lógica expresa las propiedades aditiva y cancelativa (para la suma) de la igualdad.
1
ii. De i., la definición de resta.
La última equivalencia lógica es la aplicación reiterada entre las equivalencias anteriores de la transitiva
de la equivalencia lógica.
por tanto,
−(a − b) = b − a.
Justifique cada paso.
La última igualdad se obtiene por la aplicación reiterada de la propiedad transitiva de la igualdad a las
igualdades anteriores.
a · (b − c) = a · b − a · c
es la siguiente:
a · (b − c) = a · (b + (−c))
= a · b + a · (−c)
= a · b + (−(a · c))
= a · b − a · c;
por tanto,
a · (b − c) = a · b − a · c.
Justifique cada paso.
i. La definición de resta.
ii. De i., por la propiedad distributiva.
iii. De ii., por la ley de signos para la multiplicación.
iv. De ii., por la definición de resta.
La última igualdad se obtiene por la aplicación reiterada de la transitiva de la igualdad a las igualdades
anteriores.
i. a 6= 0
ii. a−1 · (a · b) = a−1 · 0
iii. (a−1 · a) · b = 0
iv. 1 · b = 0
v. b = 0.
Justificaciones.
Justificaciones.
De
a + c = b,
se obtiene
c = b − a.
Justificaciones. Las razones para la primera igualdad y, luego, para “pasar” de una igualdad a otra
son, respectivamente:
La última igualdad es una aplicación reiterada de la propiedad transitiva de la igualdad a las igualdades
obtenidas en cada uno de los pasos.
Si a 6= 0, de
a · c = b,
se obtiene
b
c= .
a
10. ¿Es válida
(a + b) · (a − b) ≡ a = −b ∨ a = b?
Respuesta. La pregunta plantea un problema falso y, por tanto, no cabe responderla. En efecto, la
expresión que está a la izquierda del signo de la equivalencia lógica no representa una proposición sino
un número real.
x − y = (x + z) − (y + z). (1)
La deducción es la siguiente:
i. c − d > 0
ii. c − d = (c + a) − (d + a)
iii. c − d = (c + a) − (d + b)
iv. (c + a) − (d + b) > 0
v. c + a > d + b.
Justificaciones.
es la siguiente:
Justificaciones.
es la siguiente:
i. b−1 > 0
ii. a · b−1 > 1
iii. a−1 · (a · b−1 ) > a−1
iv. b−1 > a−1
v. a−1 < b−1 .
Justificaciones.
i. De b > 0, por el teorema del signo del inverso multiplicativo (teorema ??).
ii. De i., a > b, la propiedad multiplicativa de la relación mayor que, b 6= 0 (por que b > 0 y la
Tricotomı́a), la existencia del inverso multiplicativo de b y el axioma de sustitución.
iii. De ii., por la propiedad multiplicativa de la relación mayor que, pues a−1 > 0 ya que a > 0 (por
la propiedad transitiva de la relación mayor que dado que a > b y b > 0), por la existencia del
inverso multiplicativo de a (pues a 6= 0, por la Tricotomı́a), la existencia de 1 y el axioma de
sustitución.
iv. De iii., por la propiedad asociativa del producto, la existencia del inverso multiplicativo de a y el
axioma de sustitución.
v. De iv., por la definición de la relación menor que.
Justificaciones.
Si a · b > 0, entonces a 6= 0 y b 6= 0
es verdadera.
es la siguiente:
i. a−1 < 0
ii. a−1 · (a · b) < 0
iii. b < 0.
Demostración.
es la siguiente:
i. a 6= 0
ii. a > 0
iii. b > 0.
iv. a < 0
v. b < 0.
Justificaciones.
los pasos iii. y vii. se utilizan para dos deducciones por reducción al absurdo:
i. a 6= 0 vi. a < 0
ii. a>0 vii. b < 0
iii. b>0
iv. a·b >0 viii. a · b > 0
v. b < 0. ix. b > 0.
Justificaciones.
19. 02 = 0 y 12 = 1. ¿Hay otros números con esta propiedad? Es decir, ¿existe un número real
x, distinto de 0 y distinto de 1, tal que
x 2 = x?
Para responder esta pregunta, supongamos que sı́ existe tal número x; por tanto, la
proposición
x2 = x (2)
es verdadera.
De los axiomas de cuerpo, se deduce la siguiente proposición para cualquier par de números
reales a y b:
a = b si y solo si a − b = 0.
x 2 − x = 0;
x · x − x · 1 = 0,
x · (x − 1) = 0.
Ası́, deducimos
x = 0 ∨ x = 1.
Es decir, si (2) es verdadera, necesariamente x = 0 o x = 1. Por tanto, ahora ya podemos
asegurar que los únicos números cuyo cuadrado es el mismo número son el 0 y el 1. Y, la
respuesta a la pregunta, es: “No, no hay más números aparte de 0 y 1 cuyo cuadrado sea el
mismo número”.
Si a2 = b2 , entonces a = b o a = −b.
Para esta deducción, haremos uso del siguiente teorema, que se deduce de los axiomas y
teoremas de cuerpo:
x 2 − y 2 = (x − y ) · (x + y ). (3)
a2 − b2 = 0.
(a − b) · (a + b) = 0.
a−b =0 o a + b = 0.
a=b o a = −b.
a=b o a = −b.
a = −b
a = b.
Es inmediato: de √ √
a= a
y a = b, por el axioma de sustitución, concluimos
√ √
a = b.
√
El uso de la hipótesis a > 0 está implı́cita en la existencia de a. A menudo, omitiremos
esta explicación.
a2 = a2
b > a.
ii. De i., a > 0, b > 0, por el ejercicio 6 de la lista de ejercicios propuestos 3-3, obtenemos
b 2 > a2 .
a2 < b 2 .
a < b,
2 Ejercicios Propuestos
1. Restaure los paréntesis en la expresión
a · b + (c · f + g).
2. Elimine los paréntesis de modo que el número real resultante sea igual a
i. a + c = b + c
ii. (a + c) + (−c) = (b + c) + (−c)
iii. a + (c + (−c)) = b + (c + (−c))
iv. a + 0 = b + 0
v. a = b
Si a = b y c = d, entonces a + c = b + d
es la siguiente:
i. a + c = b + c
ii. b + c = b + d
iii. a + c = b + d.
a − b = (a − c) − (b − c)
es la siguiente:
a − b = (a + 0) + (−b)
= (a + ((−c) + c)) + (−b)
= ((a + (−c)) + c) + (−b)
= (a − c) + ((−b) + c)
= (a − c) + (c − b)
= (a − c) − (b − c);
por tanto,
a − b = (a − c) − (b − c).
Justifique cada paso.
Si a = b y c = d, entonces a · c = b · d
se presenta a continuación:
i. a · c = b · c
ii. b · c = b · d
iii. a · c = b · d.
Deducción. La proposición
a · b = 0 ⇒ (a = 0 ∨ b = 0)
es verdadera; luego,
(a 6= 0 ∧ b 6= 0) ⇒ a · b = 0
también es verdadera, como se querı́a demostrar.
es la siguiente:
i. b · (a · a−1 ) = b · 1
ii. (a · b) · a−1 = b
iii. ((a · b) · a−1 ) · b−1 = 1
iv. (a · b) · (a−1 · b−1 ) = 1
v. (a · b)−1 = a−1 · b−1 .
Si b 6= 0, entonces
a c a+c
+ =
b b b
es la siguiente:
a c
i. + = a · b−1 + c · b−1
b b
a c
ii. + = (a + c) · b−1
b b
a c a+c
iii. + = .
b b b
Justifique cada uno de los pasos.
es la siguiente:
i. a + c > b + c
ii. b + c > b + d
iii. a + c > b + d.
es la siguiente:
a·c >b·d
es la siguiente:
i. c > 0
ii. a · c > b · c
iii. b · c > b · d
iv. a · c > b · d.
es la siguiente:
i. b−1 < 0
ii. a · b−1 > 1
iii. a−1 · (a · b−1 ) < a−1
iv. b−1 < a−1 .
Si a · b < 0, entonces a 6= 0 y b 6= 0
es verdadera.
es la siguiente:
i. a−1 · (a · b) > 0
ii. b > 0.
20. Utilice el ejercicio 7 de la Lista de ejercicios con solución en esta lista para demostrar
que la proposición
i. a > 0
ii. b > 0
iii. a > b
iv. a + b > 0
v. a − b > 0
vi. (a + b) · (a − b) > 0
vii. a2 − b2 > 0
viii. a2 > b2
i. a < 0
ii. b < a
iii. −b > −a
iv. −a > 0
v. −b > 0
vi. (−b)2 > (−a)2
i. a < 0
ii. −a > 0
p
iii. (−a)2 = −a
√
iv. a2 = −a