4.

Una deducción del teorema

Si a = b y c = d, entonces a + c = b + d

es la siguiente:

i. a + c = b +c Aditiva de la igualdad

ii. b + c = b +d Aditiva de la igualdad y propiedad conmutativa

iii. a + c = b + d. Transitiva entre i. y ii.

Justificada cada paso.

5. Una deducción del teorema

a − b = (a − c) − (b − c)

es la siguiente:

a − b = (a + 0) + (−b)

i. = (a + ((−c) + c)) + (−b) Existencia del inverso aditivo y axioma de sustitución

ii. = ((a + (−c)) + c) + (−b) Asociativa de la suma en i.
iii. = (a − c) + ((−b) + c) Ley de signos y asociativa de la suma en ii.
iv. = (a − c) + (c − b) Conmutativa de la suma y ley de signos para la resta
v. = (a − c) − (b − c) Conmutativa y ley de signos, axioma de sustitución // Teorema-(a-
b)=b-a

por tanto,

a − b = (a − c) − (b − c). Es verdadera

Justifique cada paso.

6. Una deducción del teorema

Si a = b y c = d, entonces a · c = b · d

se presenta a continuación:

i. a · c = b · c Multiplicativa de la igualdad

ii. b · c = b · d Multiplicativa de la igualdad

iii. a · c = b · d. Transitiva entre i. y ii.

7. Una deducción del teorema

Si a y b son diferentes de 0, entonces a · b ≠ 0

se muestra a continuación:

Deducción. La proposición

a · b = 0 ⇒ (a = 0 ∨ b = 0)

es verdadera; luego,

(a ≠ 0 ∧ b ≠0) ⇒ a · b = 0

también es verdadera, como se quería demostrar.

Justifique esta deducción.

i. Por el teorema a · b = 0 ⇒ (a = 0 ∨ b = 0) demostrado en el ejercicio 5 de los ejercicios

con solución
ii. Aplicando la tautología contra positiva en i, se concluye que si a y b son diferentes de
0 entonces a · b ≠ 0 es verdadera

8. Una deducción del teorema

Si a y b son diferentes de 0, entonces

( ·b) = ·b
es la siguiente:

i. ·( · ) = · 1 Multiplicativa de la igualdad
ii. ( · )· = Asociativa del producto en i.
iii. ((a · b) · ) · b = 1 Asociativa del producto e inverso multiplicativo de b
iv. (a · b) · ( · b ) = 1 Asociativa del producto
v. ( ·b) = · b unicidad del Inverso multiplicativo y propiedad simétrica de la
igualdad

Justifique cada paso.

9. Una deducción del teorema

Si ≠ , =

i. = 1 · Definición de la operación división

ii. = Existencia del elemento neutro y sustitución

10. Una deducción del teorema

Si ≠ , entonces

+ =
es la siguiente:

i. + = a · b +c · b Definición de operación división

ii. + = (a + c ) · b Distributiva del producto, respecto a la suma (factor

común)

iii. + = definición operación división

11. Una deducción del teorema

Si b y c son diferentes de 0, entonces ≠ " ≠

·#
= ·#

es la siguiente:

i. = · por distributiva del producto

ii. = ( · b ) · (c · c ) Definición de división, ya que b y d son diferentes de 0.

iii. = ( · $) · (b ·c ) Asociativa del producto

iv. = ( · $) · ( · c) Por la propiedad cancelativa de la igualdad respecto al producto

ya que · $ ≠ 0,

·&
v. = De iii., por la definición de división ya que · $ ≠ 0
·&

12. Una deducción del teorema

Si b y d son distintos de 0, entonces

$ · ' + · $
+ =
' ·'
es la siguiente:
 ·( ·
i. + = + Definición de la división y distributiva
( ·( ·(

·( ·
ii. + = propiedad asociativa y conmutativa de la multiplicación
( ·(

Justifique cada paso de la demostración.

13. Demuestre que la proposición

−1<0

es verdadera.

i. 1 < 0 Por el teorema de inverso aditivo

Sabemos que es verdadera ya que 1 < 0 si y solo si − 1 < 0 por el teorema de inverso aditivo de
un positivo

14. Una deducción de la proposición

Si a > b y c > d , entonces a - d > b- c

es la siguiente:

i. −c < −d relación mayor que

ii. −d > −c relación de menor que

iii. a + (−d) > b + (−c) Definición de operación resta y sustitución

iv. a − d > b − c. Ley de signos para mayor que, definición de la resta

16. Una deducción de la proposición

Si a > b, c > d, b > 0 y d > 0, entonces

a·c>b·d

es la siguiente:

i. c > 0 tricotomía

ii. a · c > b · c Multiplicativa para el orden

iii. b · c > b · d Multiplicativa para el orden y sustitución

iv. a · c > b · d. Transitiva entre ii. y iii.

Justifique cada paso.

17. Una deducción de la proposición

Si a < b y b < 0, entonces ) <*

es la siguiente:

i. b < 0 Inverso multiplicativo diferente de 0

ii. a · b > 1 por la propiedad multiplicativa de la relación mayor que ≠ 0 , la tricotomía de

b<0, existencia del inverso multiplicativo y axioma de sustitución

iii. a · (a · b ) < a propiedad multiplicativo de la relación mayor que puesto que a < 0,
existencia del inverso multiplicativo, la existencia de 1 y axioma de sustitución

iv. b < a Propiedad asociativa, existencia del inverso multiplicativo, la existencia del inverso
multiplicativo de a y el axioma de sustitución

Justifique cada paso

18. Mediante reducción al absurdo, demuestre que la proposición

Si a · b < 0, entonces ≠ " ≠

es verdadera.

i. a· b = 0 Por reducción a lo absurdo sabemos que es verdadero y por tricotomía si a· b =

0 entonces no puede ser a· b < 0 y a· b > 0
ii. a = 0 v b = 0 Tenemos una contradicción, por lo tanto, a · b < 0 es verdadera

19. Una deducción de la proposición

Si a · b > 0 y a > 0, entonces b > 0

es la siguiente:

i. a · (a · b) > 0 propiedad multiplicativa de la relación mayor que, teorema de la multiplicación

por 0 axioma de sustitución

ii. b > 0. Propiedad asociativa, existencia del inverso multiplicativo y axioma de sustitución

20. Utilice el ejercicio 7 de la Lista de ejercicios con solución en esta lista para demostrar que la
proposición

Si (+ − ) · (+ − ) > 0, entonces + > . + > , o bien + < y+ <

es verdadera.
 i. (+ − ) · (+ − ) > 0 Suponemos como verdadero
ii. (+ − ) > 0 y (+ − ) > 0 o bien (+ − ) < 0 y (+ − ) < 0 Del paso i y del
teorema del ejercicio 17 de los ejercicios con solución Si · > 0, 01231$04 >
0 . > 0, 3 501 < 0 . < 0
iii. + > y + > o bien + < y + < por la definición de mayor que en el primer caso y
en el otro por la definición de menor que de números negativos

Por lo tanto, si (+ − ) · (+ − ) > 0, entonces + > . + > , o bien + < y+ <

es verdadera.

22. √ = " √ = . ¿Hay otros números que satisfacen esta propiedad? Dicho de otro
modo, ¿existe un número z, mayor que 0, pero distinto de 0 y distinto de 1, tal que

√= = =

Vamos a demostrar √= = =

i. z > 0 y z =√> Suponemos como verdadero

ii. > = √> si y solo si > = > ? por el teorema de raíz cuadrada ya que z>0
iii. > ∙ > − > = 0 por la definición el cuadrado de un número y axioma de sustitución
iv. > ∙ (> − 1) = 0 propiedad distributiva del producto respecto a la suma
v. > = 0 ∨ > = 1 Entonces z debe ser 0 o 1 para cumplir con la dicha condición

Por lo tanto no existe otro número que cumpla con esta condición ya que 0 es el elemento neutro
de la suma y el 1 es el elemento neutro de la multiplicación

23. Deduzcamos la proposición

A A
Si = , > " > , entonces a = b.
? ?
i. = Tenemos:
? ?
−
ii. ( − ) · ( + ) = 0 Por i. diferencia de cuadrados y el axioma de sustitución
iii. ( − ) = 0 o ( + ) = 0 de ii.
iv. = por la propiedad de la igualdad de números reales, la unicidad del inverso
aditivo y el axioma de sustitución podemos concluir que
v. =
25. Deduzcamos la proposición

Si > , > "√ = √ , entonces a = b.

i. De √ = √ , porque a > 0 y b > 0 tenemos:

(√ )? = (√ )?
 ii. Por el axioma de completitud de i. y el axioma de sustitución

a=b

ya que (√ )? = ; (√ )? = pues a > 0 y b > 0

26. Deduzcamos la proposición

A A
Si a > 0, b > 0 y a > b, entonces > ,

i. a > 0 Suponemos como verdadera

ii. b > 0 Suponemos como verdadera

iii. a > b Suponemos como verdadera

iv. a + b > 0 de i. y ii. clausura de números positivos

v. a − b > 0 De iii. Y la definición relación mayor que

vi. (a + b) · (a − b) > 0 Transitiva entre iv. y v.

vii. ? − ? , > 0 Multiplicación y ley de signos para el producto y axioma de sustitución o

(diferencia de cuadrados)
? ?
viii. > , Definición relación mayor que

27. Deduzcamos la proposición

A A
Si a < 0, b < a, entonces <

i. a < 0 Suponemos como verdadera

ii. b < a Suponemos como verdadera
iii. −b > −a Existencia del inverso aditivo y sustitución, cambia la relación de orden
iv. −a > 0 El signo del inverso aditivo de números negativos en i.
v. −b > 0 transitiva entre iii. y iv.
vi. (− )? > (− )? De iii. con el teorema a>0, b>0, entonces ? > ?
?
vii. < ? ley de signos, de a>b si y solo si b<a definición menor que.

28. Deduzcamos la proposición

A
Si < ,√ = − .

i. a < 0 Suponemos como verdadera

ii. −a > 0 Inverso adi@vo de posi@vos

iii. √(− )? = −a Axioma de completitud
?
iv. √ = −a Definición raíz cuadrada