2023

MATERIAL DE
APOYO
A
ÁLGEBRA
1 2𝜋 ⅆ𝜃 1
∫ =
2𝜋 0 𝑎+𝑏 seno 𝜃 √𝑎2 −𝑏 2

𝑛𝑥 𝑛(𝑛 − 1)𝑥 2
(1 + 𝑥)𝑛 = 1 + + +⋯
1! 2!

𝑛
(𝑥 + 𝑎)𝑛 = ∑ (𝑛𝑘)𝑥 𝑘 𝑎𝑛−𝑘
𝑘=0

ELABORADO POR:

LIC. JOHN LENON DA ROSA

 CONTENIDOS

UNIDADES PROGRAMÁTICAS
1- Álgebra Numérica

2- Expresiones Algebraicas

3- Matrices y Determinantes

4- Análisis Combinatorio

5- Números Complejos
 CLASIFICACIÓN DE LOS CONJUNTOS NUMÉRICOS
Los conjuntos numéricos se han construidos a partir de las necesidades tanto humanas como
matemáticas en la siguiente forma:

ℂ
ℝ
l
ℚ k

ℕ ℚ′ 𝐼 k
l
ℤ ´ l

Conjunto de los Números Naturales: El conjunto ℕ de los números naturales surgió de la

necesidad de contar. Se describe como: ℕ = {1, 2, 3, 4, 5, 6, … }

Números Enteros: Sea la ecuación 𝑎 + 𝑥 = 𝑏 donde 𝑎, 𝑏 𝜖 ℕ , para que tenga siempre

solución se introdujo el concepto de los números enteros. ℤ = {… . , −3, −2, −1, 0, 1, 2 , 3 … }
y se puede afirmar que ℕ está incluido en ℤ, es decir, ℕ ⊂ ℤ.

Numero par: Un número entero 𝑥 se llama par, si lo podemos escribir como 𝑥 = 2𝑘 donde
𝑘 ∈ ℤ.

Número impar: Un número entero 𝑥 se llama impar, si lo podemos escribir como 𝑥 = 2𝑘 + 1

donde 𝑘 ∈ ℤ.

Números Racionales: Para que la ecuación 𝑎𝑥 = 𝑏 tenga siempre solución, se hace necesario
construir un nuevo conjunto, el cuál se denomina conjunto de los números racionales y se
simboliza como ℚ, es decir:
𝑏
ℚ = {𝑥⁄𝑥 = , 𝑎, 𝑏 ∈ ℤ, 𝑎 ≠ 0}, por lo tanto, ℤ ⊂ ℚ.
𝑎

De acuerdo a la definición, son números racionales:

5
a) Los números enteros. Ejemplo: −5 = − 1
4 416
b) Los números finitos. Ejemplos: 0,8 = 5 , 83,2 = 5
c) Los decimales infinitos periódicos (puros y mixtos).
 Ejemplos:
0,66666 … .. (Periódico puro)
1,28571428 …. (Periódico mixto)
4,3256466 …. (Periódico mixto)

Números Irracionales: El conjunto de los números irracionales está formado por aquellos
números que no se pueden expresar como el cociente de dos enteros. Este conjunto se simboliza
por ℚ′ .

a) Los decimales infinitos no periódicos:

𝜋 = 3,141592 … ; √2 = 1,4142 … ; √3 = 1,7320 …
b) Las raíces de cualquier índice que después de ser simplificado originan una nueva raíz:
3 3
√8 = 2√2 ; √243 = 3√9

Números Reales: La unión de los números racionales con los números irracionales determina
el conjunto de los números reales que simbolizamos por ℝ.

Números Imaginarios: La ecuación cuadrática 𝑥 2 + 1 = 0 no tiene solución en el conjunto

de los números reales. Pero sí tiene solución en el conjunto de números imaginarios, que
simbolizamos por I.

Números complejos: El conjunto de todos los números de la forma 𝑎 + 𝑏𝑖, donde 𝑎, 𝑏 ∈ ℝ,

e i es la unidad imaginaria, se llama “conjunto de los números complejos” y se simboliza por.
ℂ = {𝑥⁄𝑥 = 𝑎 + 𝑏𝑖 , 𝑎, 𝑏 ∈ ℝ , √−1 = 𝑖}.

Observación: Se puede afirmar que todo número real es complejo porque ∀ 𝑥 ∈ ℝ se puede
expresarse como 𝑥 = 𝑥 + 0𝑖 y también todo número imaginario puro es complejo, puesto que
𝑏𝑖 = 0 + 𝑏𝑖.

EL ÁLGEBRA DE LOS NÚMEROS NATURALES

Axioma 1. Clausura de la adición : ∀ 𝑎, 𝑏 ∈ ℝ, la suma (𝑎 + 𝑏) ∈ ℝ.

Axioma 2. Clausura de la multiplicación: ∀ 𝑎, 𝑏 ∈ ℝ, el producto (𝑎. 𝑏) ∈ ℝ.

Axioma 3. Asociatividad de la adición: ∀ 𝑎, 𝑏, 𝑐 ∈ ℝ, (𝑎 + 𝑏) + 𝑐 = 𝑎 + (𝑏 + 𝑐).

Axioma 4. Asociatividad de la multiplicación: : ∀ 𝑎, 𝑏, 𝑐 ∈ ℝ, (𝑎. 𝑏). 𝑐 = 𝑎. (𝑏. 𝑐).

Axioma 5. Conmutatividad de la adición: : ∀ 𝑎, 𝑏 ∈ ℝ, 𝑎 + 𝑏 = 𝑏 + 𝑎.

Axioma 6. Conmutatividad de la multiplicación: ∀ 𝑎, 𝑏 ∈ ℝ, 𝑎. 𝑏 = 𝑏. 𝑎.

Axioma 7. Distributividad de la multiplicación respecto de la adición: ∀ 𝑎, 𝑏, 𝑐 ∈ ℝ ,
𝑐. (𝑎 + 𝑏) = 𝑐. 𝑎 + 𝑐. 𝑏 𝑦 (𝑎 + 𝑏). 𝑐 = 𝑎. 𝑐 + 𝑎. 𝑐

Axioma 8. Identidad multiplicativa: ∃ un único número 1 en ℝ talque 1. 𝑎 = 𝑎. 1 = 𝑎

AXIOMAS DE IGUALDAD

Axioma I.1 Reflexividad de la igualdad: ∀ 𝑎 ∈ ℝ , 𝑎 = 𝑎 .

Axioma I.2 Simetría de la igualdad: ∀ 𝑎, 𝑏 ∈ ℝ, 𝑠𝑖 𝑎 = 𝑏 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑏 = 𝑎.

Axioma I.3 Transitividad de la igualdad: ∀ 𝑎, 𝑏, 𝑐 ∈ ℝ, 𝑠𝑖 𝑎 = 𝑏 𝑦 𝑏 = 𝑐 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑎 = 𝑐.

Axioma I.4 Propiedad de la adición para la igualdad: : ∀ 𝑎, 𝑏, 𝑐 ∈ ℝ, 𝑠𝑖 𝑎 = 𝑏 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑎 +

𝑐 = 𝑏 + 𝑐.

Axioma I.5 Propiedad de multiplicación para la igualdad: : ∀ 𝑎, 𝑏, 𝑐 ∈ ℝ , 𝑠𝑖 𝑎 =

𝑏 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑎. 𝑐 = 𝑏. 𝑐

1. INVERSO ADITIVO Y SUSTRACIÓN

Axioma 5.A Existencia de una identidad aditiva: ∃ un único número 0 “cero” talque 𝑎 + 0 =
𝑎.

Axioma 5.A Existencia de inverso aditivo: ∀ 𝑎, ∃ un único número (−𝑎) talque 𝑎 + (−𝑎) =
0.

Teorema 1: ∀ 𝑎, −(−𝑎) = 𝑎 esto es, el negativo del negativo de 𝑎.

𝑎 + (−𝑎) = 0 𝑖𝑛𝑣𝑒𝑟𝑠𝑜 𝑎𝑑𝑖𝑡𝑖𝑣𝑜

𝑎 + (−𝑎) + (−(−𝑎)) = 0 + (−(−𝑎)) 𝑎𝑑𝑖𝑐𝑖ó𝑛 𝑝𝑎𝑟𝑎 𝑙𝑎 𝑖𝑔𝑢𝑎𝑙𝑑𝑎𝑑

𝑎 + [(−𝑎) + (−(−𝑎))] = 0 + (−(−𝑎)) 𝑎𝑠𝑜𝑐𝑖𝑎𝑡𝑖𝑣𝑖𝑑𝑎𝑑 𝑑𝑒 𝑙𝑎 𝑎𝑑𝑖𝑐𝑖ó𝑛

𝑎 + 0 = 0 + (−(−𝑎)) 𝑖𝑛𝑣𝑒𝑟𝑠𝑜 𝑎𝑑𝑖𝑡𝑖𝑣𝑜

𝑎 = −(−𝑎) 𝑖𝑑𝑒𝑛𝑡𝑖𝑑𝑎𝑑 𝑑𝑒 𝑙𝑎 𝑎𝑑𝑖𝑐𝑖ó𝑛

−(−𝑎)) = 𝑎 𝑠𝑖𝑚𝑒𝑡𝑟í𝑎 𝑑𝑒 𝑙𝑎 𝑖𝑔𝑢𝑎𝑙𝑑𝑎𝑑

Teorema 2: Ley de cancelación para la adición 𝑎 + 𝑐 = 𝑏 + 𝑐 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑎 = 𝑏

𝐻) 𝑎 + 𝑐 = 𝑏 + 𝑐

𝑇) 𝑎 = 𝑏

𝑎 + 𝑐 = 𝑏 + 𝑐 𝑝𝑜𝑟 ℎ𝑖𝑝ó𝑡𝑒𝑠𝑖𝑠

𝑎 + 𝑐 + (−𝑐) = 𝑏 + 𝑐 + (−𝑐) 𝑎𝑑𝑖𝑐𝑖ó𝑛 𝑝𝑎𝑟𝑎 𝑙𝑎 𝑖𝑔𝑢𝑎𝑙𝑑𝑎𝑑

𝑎 + [𝑐 + (−𝑐)] = 𝑏 + [𝑐 + (−𝑐)] 𝑎𝑠𝑜𝑐𝑖𝑎𝑡𝑖𝑣𝑎 𝑑𝑒 𝑙𝑎 𝑎𝑑𝑖𝑐𝑖ó𝑛

𝑎 + 0 = 𝑏 + 0 𝑖𝑛𝑣𝑒𝑟𝑠𝑜 𝑎𝑑𝑖𝑡𝑖𝑣𝑜

𝑎 = 𝑏 𝑖𝑑𝑒𝑛𝑡𝑖𝑑𝑎𝑑 𝑎𝑑𝑖𝑡𝑖𝑣𝑎

Teorema 3: Para todo número 𝑎 tenemos que 𝑎. 0 = 0

0 + 0 = 0 𝑖𝑑𝑒𝑛𝑡𝑖𝑑𝑎𝑑 𝑎𝑑𝑖𝑐𝑡𝑖𝑣𝑎

𝑎. (0 + 0) = 𝑎. 0 𝑚𝑢𝑙𝑡𝑖𝑝𝑙𝑖𝑐𝑎𝑐𝑖ó𝑛 𝑝𝑎𝑟𝑎 𝑙𝑎 𝑖𝑔𝑢𝑎𝑙𝑑𝑎𝑑

𝑎. 0 + 𝑎. 0 = 𝑎. 0 𝑑𝑖𝑠𝑡𝑟𝑖𝑏𝑢𝑡𝑖𝑣𝑎 𝑑𝑒 𝑙𝑎 𝑚𝑢𝑙𝑡𝑖𝑝𝑙𝑖𝑐𝑎𝑐𝑖ó𝑛

(𝑎. 0 + 𝑎. 0) + (−𝑎. 0) = 𝑎. 0 + (−𝑎. 0) 𝑎𝑑𝑖𝑐𝑖ó𝑛 𝑝𝑎𝑟𝑎 𝑙𝑎 𝑖𝑔𝑢𝑎𝑙𝑑𝑎𝑑

𝑎. 0 + (𝑎. 0 + (−𝑎)) = 𝑎. 0 + (−𝑎. 0) 𝑎𝑠𝑜𝑐𝑖𝑎𝑡𝑖𝑣𝑖𝑑𝑎𝑑

𝑎. 0 + 0 = 0 𝑖𝑛𝑣𝑒𝑟𝑠𝑜 𝑎𝑑𝑖𝑡𝑖𝑣𝑜

𝑎. 0 = 0 𝑖𝑑𝑒𝑛𝑡𝑖𝑑𝑎𝑑

Teorema 4: Para todos los números (−𝑎)𝑏 = −(𝑎. 𝑏)

𝑎 + (−𝑎) = 0 𝑖𝑛𝑣𝑒𝑟𝑠𝑜 𝑎𝑑𝑖𝑡𝑖𝑣𝑜

(𝑎 + (−𝑎)). 𝑏 = 0. 𝑏 𝑚𝑢𝑙𝑡𝑖𝑝𝑙𝑖𝑐𝑎𝑐𝑖ó𝑛 𝑝𝑎𝑟𝑎 𝑙𝑎 𝑖𝑔𝑢𝑎𝑙𝑑𝑎𝑑

𝑎. 𝑏 + (−𝑎). 𝑏 = 0. 𝑏 𝑑𝑖𝑠𝑡𝑟𝑖𝑏𝑢𝑡𝑖𝑣𝑖𝑑𝑎𝑑

𝑎. 𝑏 + (−𝑎). 𝑏 = 𝑏. 0 𝑎𝑠𝑜𝑐𝑖𝑎𝑡𝑖𝑣𝑖𝑑𝑎𝑑

𝑎. 𝑏 + (−𝑎). 𝑏 = 0 𝑇𝑒𝑜𝑟𝑒𝑚𝑎 𝑎. 0 = 0

(−(𝑎. 𝑏)) + (𝑎. 𝑏 + (−𝑎). 𝑏 = −(𝑎. 𝑏) + 0 𝑎𝑑𝑖𝑐𝑖ó𝑛 𝑝𝑎𝑟𝑎 𝑙𝑎 𝑖𝑔𝑢𝑎𝑙𝑑𝑎𝑑

(−(𝑎. 𝑏) + 𝑎. 𝑏) + (−𝑎). 𝑏 = −(𝑎. 𝑏) + 0 𝑎𝑠𝑜𝑐𝑖𝑎𝑡𝑖𝑣𝑖𝑑𝑎𝑑

 ((𝑎. 𝑏) + (−(𝑎. 𝑏)) + (−𝑎). 𝑏 = −(𝑎. 𝑏) + 0 𝑐𝑜𝑛𝑚𝑢𝑡𝑎𝑡𝑖𝑣𝑖𝑑𝑎𝑑

0 + (−𝑎). 𝑏 = −(𝑎. 𝑏) + 0 𝑖𝑛𝑣𝑒𝑟𝑠𝑜 𝑎𝑑𝑖𝑡𝑖𝑣𝑜

(−𝑎). 𝑏 + 0 = −(𝑎. 𝑏) + 0 𝑐𝑜𝑛𝑚𝑢𝑡𝑎𝑡𝑖𝑣𝑖𝑑𝑎𝑑

(−𝑎). 𝑏 = −(𝑎. 𝑏) 𝑖𝑑𝑒𝑛𝑡𝑖𝑑𝑎𝑑 𝑎𝑑𝑖𝑡𝑖𝑣𝑎

Corolario 5: Para todo número 𝑏 (−1)𝑏 = −𝑏

(−𝑎)𝑏 = −(𝑎𝑏) 𝑝𝑜𝑟 𝑒𝑙 𝑡𝑒𝑜𝑟𝑒𝑚𝑎 4 𝑝𝑎𝑟𝑎 𝑎 = 1

(−1)𝑏 = −𝑏 𝑖𝑑𝑒𝑛𝑡𝑖𝑑𝑎𝑑 𝑑𝑒 𝑙𝑎 𝑚𝑢𝑙𝑡𝑖𝑝𝑙𝑖𝑐𝑎𝑐𝑖ó𝑛

Teorema 7: Para todos números 𝑎 𝑦 𝑏, (−𝑎)(−𝑏) = 𝑎𝑏

𝑎 + (−𝑎) = 0 𝑖𝑛𝑣𝑒𝑟𝑠𝑜 𝑎𝑑𝑖𝑡𝑖𝑣𝑜

(𝑎 + (−𝑎)). (−𝑏) = 0. (−𝑏) 𝑚𝑢𝑙𝑡𝑖𝑝𝑙𝑖𝑐𝑎𝑐𝑖ó𝑛 𝑝𝑎𝑟𝑎 𝑙𝑎 𝑖𝑔𝑢𝑎𝑙𝑑𝑎𝑑

𝑎. (−𝑏) + (−𝑎). (−𝑏) = 0. (−𝑏) 𝑑𝑖𝑠𝑡𝑟𝑖𝑏𝑢𝑡𝑖𝑣𝑖𝑑𝑎𝑑

(−𝑏). 𝑎 + (−𝑎)(−𝑏) = (−𝑏). 0 𝑐𝑜𝑛𝑚𝑢𝑡𝑎𝑡𝑖𝑣𝑖𝑑𝑎𝑑

−(𝑏𝑎) + (−𝑎)(−𝑏) = (−𝑏). 0 𝑡𝑒𝑜𝑟𝑒𝑚𝑎 (−𝑎)𝑏 = −(𝑎𝑏)

−(𝑏𝑎) + (−𝑎)(−𝑏) = 0 𝑡𝑒𝑜𝑟𝑒𝑚𝑎 𝑎. 0 = 0

(𝑏𝑎) + (−(𝑏𝑎)) + (−𝑎)(−𝑏) = (𝑏𝑎) + 0 𝑎𝑑𝑖𝑐𝑖ó𝑛 𝑝𝑎𝑟𝑎 𝑙𝑎 𝑖𝑔𝑢𝑎𝑙𝑑𝑎𝑑

[(𝑏𝑎) + (−(𝑏𝑎))] + (−𝑎)(−𝑏) = (𝑏𝑎) + 0 𝑎𝑠𝑜𝑐𝑖𝑎𝑡𝑖𝑣𝑖𝑑𝑎𝑑

0 + (−𝑎)(−𝑏) = (𝑏𝑎) + 0 𝑖𝑛𝑣𝑒𝑟𝑠𝑜 𝑎𝑑𝑖𝑡𝑖𝑣𝑜

(−𝑎)(−𝑏) + 0 = (𝑎𝑏) + 0 𝑐𝑜𝑛𝑚𝑢𝑡𝑎𝑡𝑖𝑣𝑖𝑑𝑎𝑑

(−𝑎)(−𝑏) = (𝑎𝑏) 𝑖𝑑𝑒𝑛𝑡𝑖𝑑𝑎𝑑 𝑎𝑑𝑖𝑡𝑖𝑣𝑎

Teorema 8: Para todos los números 𝑎 𝑦 𝑏, −(𝑎 + 𝑏) = (−𝑎) + (−𝑏) es decir, el negativo de
la suma de dos números es la suma de los negativos de los números.

𝑥 = −(𝑎 + 𝑏) 𝑠𝑢𝑠𝑡𝑖𝑡𝑢𝑐𝑖ó𝑛 𝑑𝑒𝑙 𝑝𝑟𝑖𝑚𝑒𝑟 𝑚𝑖𝑒𝑚𝑏𝑟𝑜 𝑑𝑒 𝑙𝑎 𝑖𝑔𝑢𝑎𝑙𝑑𝑎𝑑

𝑥 = (−1)(𝑎 + 𝑏) 𝑐𝑜𝑟𝑜𝑙𝑎𝑟𝑖𝑜 (−1)𝑏 = −𝑏

𝑥 = (−1)𝑎 + (−1)𝑏 𝑑𝑖𝑠𝑡𝑟𝑖𝑏𝑢𝑡𝑖𝑣𝑖𝑑𝑎𝑑

 𝑥 = (−𝑎) + (−𝑏) 𝑐𝑜𝑟𝑜𝑙𝑎𝑟𝑖𝑜 (−1)𝑏 = −𝑏

−(𝑎 + 𝑏) = (−𝑎) + (−𝑏) 𝑟𝑒𝑓𝑙𝑒𝑥𝑖𝑣𝑖𝑑𝑎𝑑 𝑑𝑒 𝑙𝑎 𝑖𝑔𝑢𝑎𝑙𝑑𝑎𝑑

Teorema 9: Para cada para de números 𝑎 𝑦 𝑏 existe una única solución para la ecuación 𝑎+
𝑥=𝑏

𝐻) 𝑎, 𝑏 ∈ ℝ; 𝑎 + 𝑥 = 𝑏

𝑇) 𝑥 = 𝑏 − 𝑎

𝑎 + 𝑥 = 𝑏 𝑝𝑜𝑟 ℎ𝑖𝑝ó𝑡𝑒𝑠𝑖𝑠

(−𝑎) + (𝑎 + 𝑥) = (−𝑎) + 𝑏 𝑎𝑑𝑖𝑐𝑖ó𝑛 𝑝𝑎𝑟𝑎 𝑙𝑎 𝑖𝑔𝑢𝑎𝑙𝑑𝑎𝑑

((−𝑎) + 𝑎) + 𝑥 = (−𝑎) + 𝑏 𝑎𝑠𝑜𝑐𝑖𝑎𝑡𝑖𝑣𝑖𝑑𝑎𝑑

(𝑎 + (−𝑎)) + 𝑥 = 𝑏 + (−𝑎) 𝑐𝑜𝑛𝑚𝑢𝑡𝑎𝑡𝑖𝑣𝑖𝑑𝑎𝑑

0 + 𝑥 = 𝑏 + (−𝑎) 𝑖𝑛𝑣𝑒𝑟𝑠𝑜 𝑎𝑑𝑖𝑡𝑖𝑣𝑜

𝑥 = 𝑏 + (−𝑎) 𝑖𝑑𝑒𝑛𝑡𝑖𝑑𝑎𝑑 𝑎𝑑𝑖𝑡𝑖𝑣𝑎

𝑥 = 𝑏 − 𝑎 𝑜𝑝𝑒𝑟𝑎𝑐𝑖ó𝑛 𝑑𝑒 𝑑𝑖𝑓𝑒𝑟𝑒𝑛𝑐𝑖𝑎

2. INVERSO MULTIPLICATIVO Y DIVISIÓN

Axioma 6.M Existencia de inversos multiplicativos: Para todo número 𝑎 diferente de 0 “cero”,
1 1
existe un único número talque a.  1
a a

1
Teorema 2.10: Para todo número 𝑎 diferente de cero se tiene que a
1
a

1
𝑎. = 1 𝑖𝑛𝑣𝑒𝑟𝑠𝑜 𝑚𝑢𝑙𝑡𝑖𝑝𝑙𝑖𝑐𝑎𝑡𝑖𝑣𝑜
𝑎
1 1
. = 1 𝑖𝑛𝑣𝑒𝑟𝑠𝑜 𝑚𝑢𝑙𝑡𝑖𝑝𝑙𝑖𝑐𝑎𝑡𝑖𝑣𝑜
𝑎 1
𝑎
1 1
𝑎. . = 𝑎. 1 𝑚𝑢𝑙𝑡𝑖𝑝𝑙𝑖𝑐𝑎𝑐𝑖ó𝑛 𝑝𝑎𝑟𝑎 𝑙𝑎 𝑖𝑔𝑢𝑎𝑙𝑑𝑎𝑑
𝑎 1
𝑎
 1 1
(𝑎. ) . = 𝑎. 1 𝑎𝑠𝑜𝑐𝑖𝑎𝑡𝑖𝑣𝑖𝑑𝑎𝑑
𝑎 1
𝑎
1
1. = 𝑎. 1 𝑖𝑛𝑣𝑒𝑟𝑠𝑜 𝑚𝑢𝑙𝑡𝑖𝑝𝑙𝑖𝑐𝑎𝑡𝑖𝑣𝑜
1
𝑎

1
= 𝑎 𝑖𝑑𝑒𝑛𝑡𝑖𝑑𝑎𝑑 𝑚𝑢𝑙𝑡𝑖𝑝𝑙𝑖𝑐𝑎𝑡𝑖𝑣𝑎
1
𝑎

Teorema 2.11: Ley de cancelación para la multiplicación a

Para todo número 𝑎 𝑦 𝑏 cualesquiera y para todo número 𝑐 diferente de cero. Si 𝑎. 𝑐 = 𝑏. 𝑐

entonces 𝑎 = 𝑏

T) a.c  b.c
H) a  b

a.c  b.c por hipótesis

1 1
a.c .    b.c .   multiplicaciónparalaigualdad
c c
 1  1
a.  c .   b.  c .  asociatividad
 c  c
a.1  b.1 inversomultiplicativo
ab

Teorema 2.12: Si 𝑎 𝑦 𝑐 son números tales que a.c  0 entonces a  0 o c  0

a.c  0 por hipótesis

a.0  0 teoremaa.0  0
a.c  a.0 transitividad de laigualdad
1 1
.a.c  .a.0 multiplicaciónparalaigualdad
a a
1  1 
 a .a  .c   a .a  .0 asociatividad
   
1.c  1.0 inversomultiplicativo
c  0 identidad multiplicativa y teo : a.0  0
 1 1 1
Teorema 2.13: Si a y b son números diferentes de cero, entonces  .
a.b  a   b 

1
x sustituciónenel primer miembro
ab
1
x .  ab   .  ab  multiplicaciónparalaigualdad
ab
1
x .  ab    ab  . conmutatividad
ab
x .  ab   1 inversomultiplicativo

1 1
x .  ab  .  1. multiplicaciónparalaigualdad
a a

1 1
x .  ba  .  1. conmutatividad
a a
 1 1
x .b.  a.   1. asociatividad
 a a
1
x .b.1  1. inversomultiplicativo
a
1
x .b  identidad multiplicativa
a
1 1 1
x .b.  . multipilcaciónparalaigual
b a b
 1 1 1
x .  b.   . asociatividad
 b a b
1 1
x .1  . inversomultiplicativo
a b
1 1
x  . identidad multiplicativa
a b
1 1 1
 . por reflexividad
ab a b

Teorema 2.14: Para todo número b y todo número a diferente de cero existe una solución
única de la ecuación a.x  b

H ) a y b  0 ; a.x  b
b
T) x 
a
 a.x  b por hipótesis
1 1
 a  .a.x  b.  a  multiplicaciónparalaigualdad
   
1  1
 a .a  .x  b. a ascociatividad
 
1
1.x  b. inversomultiplicativo
a
1
x  b. i de ntidad aditiva
a
b
x  operacióndedivisión
a

1
Teorema 2.15: Para todo número b , b
b

b
x sustitucióndel primer miembrode latesis
1
1
x  b. operacióndedivisión
1
1
x  b. .1 multiplicaciónparalaigualdad
1
1 
x  b.  .1  asociatividad
1 
x  b.1 inversomultiplicativo
x  b identidad de lamultiplicación
b
 b por reflexividad enel primer tér min o
1

c
Teorema 2.16: Si c es un número diferente de cero 1
c

c
x sustitucióndel primer miembrode latesis
c
1
x  c . operacióndedivisón
c
x  1 inversomultiplicativo
c
 1 por reflexividad
c
  b  d  b.d
Teorema 2.17: Productos de cuocientes    
 a  c  a.c

b.d
x sustituciónenel segundomiembrode laigualdad
a.c
1
x  b.d . operacióndedivisión
a.c
1 1  1  1 1
x  b.d . . Teorema :   .
a c  a.b  a b
1 1
x  b. .d . conmutatividad
a c
 1  1
x   b.  .  d .  asociatividad
 a  c

 b  d 
x     operaciónde división
 a  c 
 b  d  b.d
 a  c   a.c por reflexividad
  

b b.c
Teorema 2.18: Si c es un número diferente de cero, entonces 
a a.c

b.c
x sustituciónenel segundomiembrodeigualdad
a.c
1
x  b.c . operacióndedivisión
a.c
1 1  1  1 1
x  b.c . . Teorema :   .
a c  a.b  a b
1 1
x  b. .c . conmutatividad
a c
 1  1
x   b.  .  c .  asociatividad
 a  c
 1
x   b.  .1 inversomultiplicativo
 a
1
x  b. identidad de lamultiplicación
a
b
x  operacióndedivisión
a
 b  b.c
 a   a.c por reflexividad
 
 b d b d
Teorema 2.19: Igualdad de cocientes. Si  entonces b  d y si  entonces b.c  a.d
a a a c

b d
H) 
a a
T) b d

b d
 por hipótesis
a a
1 1
b.  d . operacióndedivisión
a a
1 1
b. .a  d . .a multiplicaciónparalaigualdad
a a

1  1 
b.  .a   d .  .a  asociatividad
a  a 
b.1  d.1 inversomultiplicativo
b  d identidad multiplicativa

b d
H) 
a c
T ) b.c  a.d

b d
 Por hipótesis
a c
1 1
b.  d . operacióndedivisión
a c
1 1
b. .a  d . .a multiplicaciónparalaigualdad
a c
1  1
b.  .a   d . .a asociatividad
a  c
1
b.1  d . .a inversomultiplicativo
c
1
c .b.1  c .d . .a multiplicaciónparalaigualdad
c
1
b.c .1  d .c . .a conmutatividad
c
 1
b.c .1  d .  c .  .a asociatividad
 c
b.c .1  d .1.a inversomultiplicativo
b.c  d .a identidad multiplicativa
b.c  a.d conmutatividad
 b 1 a
Teorema 2.20: Recíproco de cuocientes. Si  0 entonces 
a b b
a

b 1
.  1 inversomultiplicativo
a b
a

 
b 1 a a
 . b  .  1. multiplicaciónparalaigualdad
a  b b
 a
 
 1 b a a
 b .  .  1. conmutatividad
 a b b
a 
 
 1  b a a
 b  .  .   1. asociatividad
  a b b
a
 
 1   1 1 a
 b  .  b. .a.   1. operacióndedivisión
   a b b
a
 
 1  1  1 a
 b  .b.  .a  .  1. asociatividad
  a  b b
a
 
 1   1  1  a
 b  .  a.  b.   1. conmutatividad
   a  b  b
a
 
1 a
 b  .1.1  1. inversomultiplicativo
  b
a
 
1 a
 b   identidad multiplicativa
  b
a
 d
b d .a
Teorema 2.21: Cuocientes de cuocientes. Si  0 entonces c 
a b c .b
a

 
1 a
 b   Teoremarecípro cos decuocientes
  b
a

d 1 d a
.  . multiplicaciónparalaigualdad
c b c b
a
d
c  d . a operacióndedivisión
b c b
a
d
c  d .a Teorema : b . d  b.d
b c .b a c a.c
a

 b     b  y
 b   b
Teorema 2.22: Cuocientes de negativos. a
a    a  a
Segunda parte
Pr imera parte x
 b  sustituciónenel primer miembro
 b   a 
x sustitucióndel primer miembro
a  1 
x   b  .   operaciónde división
1  a 
x   b  . operacióndedivisión
a  1 
x   1  b.  Teorema : 1  b  b
1   1  a 
x   1 .b. Teorema : 1  b  b  
a  1  1  1 1 1
x   1  b.   a  Teorema : ab  a . b
 1   1  
x   1 .  b.  asociatividad
 a  1  1
x   1  .   .b.   conmutatividad
b  1   a 
x   1 .   operacióndedivisión
a 
x   1.
1  1
.b. asociatividad
b  1  a
x     Teorema : 1 b  b 1
a x  1.b. inversomultiplicativo
a
 b     b  por reflexividad 1
a a x  b. identidad multiplicativa
  a
b
x operacióndedivisión
a
 b   b por reflexividad
 a  a
  b   d  b.c  a.d
Teorema 2.23: Sumas de cuocientes      
a  c  a.c

H ) a , b, c , d  ; a, c  0
 b   d  b.c  a.d
T)    
a c  a.c

b.c  a.d
x sustituciónenel segundomiembro
a.c
1
x   b.c  a.d  . operación dedivisión
a.c
1 1 1 1 1
x   b.c  a.d  . . Teorema :  .
a c ab a b
1 1 1 1
x   b.c  .  .    a.d  .  .  distributividad
a c a c
 1 1  1 1
x   b. .c .    a. .d .  conmutatividad
 a c  a c
 1  1   1  1 
x   b.  c .    a.  d .  asociatividad
 a  c   a  c 
 1  1
x   b.  .1  1.  d .  inversomultiplicativo
 a  c
 1  1
x   b.    d .  identidad multiplicativa
 a  c
b d 
x       operación dedivisión
a c 
 b   d  b.c  a.d
 a    c   a.c por reflexividad
   

GEOMETRÍA DE LOS NÚMEROS REALES

Axioma de orden para los números reales.

Axioma 1: Axioma de tricotomía.

Para todo a y b en , una y sola una de las proposiciones siguientes es válida:

ab , ab ó ba

Definición: Un número real es positivo si a  0 y negativo si 0  a . El número cero no es

positivo ni negativo.
Axioma 2: Axioma de transitividad.

Si a , b y c en y si, a  b y b  c , entonces a  c .

Axioma 3: Axioma de adición

Si a , b y c están en y, si a  b entonces a  c  b  c .

Axioma 4: Axioma de multiplicativo.

Si a , b y c están en , y si a  b y c  0 entonces a.c  b.c

Definición: si a , b decimos a  b si y sólo si b  a.

Teorema 4.1: El conjunto de los números reales positivos es cerrado respecto a la adición, es
decir; la suma de dos números reales positivos es un número positivo.

H ) a  0 , b  0 a, b 
T) a  b 0

a  0 por hipótesis
a  b  0  b axiomadeadición
a  b  b identidad aditiva
b  0 por hipótesis
a  b  b Por el axiomadetransitividad

Teorema 4.2: El conjunto de los reales positivos es cerrado respecto a la multiplicación.

H ) a  0 , b  0 a, b 
T ) a.b  0

a  0 por hipótesis
a.b  0.b axiomade lamultiplicación
a.b  b.0 conmutatividad
a.b  0 Teorema :a.0  0

Teorema 4.3: Si a es un número real positivo, entonces a es negativo y si a es negativo

entonces a es positivo.

primera parte
H) a  0 a
T ) 0  a
 a  0 por hipótesis
a   a   0   a  axiomadeadición
0  0   a  inversoaditivo
0  a identidad aditiva

segunda parte
H) 0  a
T) a 0

0  a por hipótesis
0   a   a   a  axiomade laadición
0   a   0 inversoaditivo
a  0 identidad aditiva

Teorema 4.4: Si a  b , entonces b  a

H) a  b
T )  b  a

a  b por hipótesis
a   a   b   a  axiomade laadición
0  b   a  inversoaditivo
0   a   b conmutatividad
0   b    a   b   b  axiomade laadición
0   b    a    b   b   asociatividad
0   b    a   0 inversoaditivo
b  a identidad aditiva

Teorema 4.5: Para todo real a , o bien a2  0 o a2  0

primera parte
H) a  0
T ) a2  0
 a  0 por hipótesis
a.a  a.0 axiomade lamultiplicación
a.a  0 Teorema : a.0  0
a2  0 definición de potencia

segunda parte
H) a  0
T ) a2  0

a  0 por hipótesis
a.a  a.0 axiomade lamultiplicación
a.a  0 Teorema : a.0  0
a2  0 definiciónde potencia

tercera parte
H) 0  a
T ) a2  0

0  a por hipótesis
a  0 Teorema : 0  a entonces  a  0
 a  .  a    a  .0 axiomade lamultiplicación
 a  .  a   0 Teorema : a.0  0
a.a  0 Teorema :  a  b   a.b
a2  0 definición de potencia

Corolario 4.6: 1  0

segundométodo
primer método
10
1  0 por que 0 
1.a  0.a axiomade lamultiplicación
12  0 Teorema : a2  0 o a2  0
a  0.a identidad multiplicativa
1.1  0 propiedad de potencia
a  a.0 conmutatividad
1  0 identidad multiplicativa
a  0 Teorema : a.0  0

Teorema 4.7: Si a  0 y 0  c , entonces b.c  a.c

H) a  b ; 0  c
T ) b.c  a.c
 0  c por hipótesis
c  0 Teorema : a  b   b  a
a  b por hipótesis
 c  .a   c  .b axiomade lamultiplicación
 c.a    c.b  Teorema :  a  b   ab 
 a.c    b.c  conmutatividad
  b.c     a.c  Teorema : a  b   b  a
b.c  a.c Teorema :   a   a

1
Teorema 4.8: Si a  0 , entonces 0
a

H) a  0
1
T) 0
a

1 1 1
Por elaxiomadetri cot omía   0 o 0 o 0 
a a a

1
considerando 0
a
1
a.  a.0 axiomade lamultiplicación
a
1  a.0 inversomultiplicativo
1  0 Teorema : a.0  0
 absurdo

1
Considerando 0 
a
1
a.0  a. axiomade lamultiplicación
a
1
0  a. Teorema : a.0  0
a
0  1 inversomultiplicativo
 absurdo

1
Considerando 0
a
1
 Por el axiomadetri cot omía severificaque  0
a
 EJERCICIOS PROPUESTOS:
1) Sea p
el conjunto de los números pares. Demostrar que el conjunto p
es cerrado
respecto a la adición y la multiplicación.
2) Demostrar que si n es un entero, tal que n2 es par, entonces n es par.
3) Consideremos un cuadrado cuya área sea 2 unidades cuadradas. La longitud del lado
de este cuadrado es un número real talque x 2  2 . Demostrar que es imposible
encontrar un número racional cuyo cuadrado sea 2.
4) Demuestre que los siguientes números son racionales.
a) 3  2    2  2 
b)  2  1 .  2  1
c) 5 2  .  2 2 
5) Para cualquier a y b ; si a  b  0 entonces b  a .
6) Para cualquier a , b , y c , si a  b  c , entonces b   a   c .
7) Demuestra que a  b sí y sólo si a  b es positivo.
8) Demostrar que a  c  b  c entonces a  b .
9) Demostrar que si c es positivo, entonces a  c  b donde a  b .
10) Demostrar que la suma de dos negativos es negativa.
11) Demostrar que el producto de dos números negativos es positivo.
12) Demostrar que el producto de un número negativo por un positivo es negativo.
13) Demostrar que el conjunto de los números reales positivos es cerrado respecto de la
multiplicación.
1
14) Para todo a  0 demostrar que  0 .
a
15) Sea i el conjunto de los números impares. Demostrar que la suma de dos impares es
par.
16) Explíquese porqué 0 “cero” es el único número re a  0 al que es su propio inverso

aditivo; esto es, que si a   a  entonces a  0 .

17) Muéstrese por qué el inverso multiplicativo de un número real diferente de cero es

1
único; esto es, si a.u  1 entonces u  .
a

18) Demuestre que si a.  b.c   0 entonces a  0 o b  0 o c  0 .

19) Demuestre que para a , b , entonces   b  a   b  a .

20) Demuestre que a  b     a.b  para todos los números reales.