Taller 2 Metodología: Resolución de Problema 1

Demostrar que : 𝒂 · 𝟎 = 𝟎. Usando el lenguaje matemático.

Este ejemplo le proporciona la idea del 0 “conveniente” para justificar el uso
de algún método de cálculo de dif. o int. a cualquier nivel
1º Comprensión del problema: Se debe demostrar que el nº real 𝑎 · 0 es
igual a 0 y que quede claro , no es la unicidad del 0.
Se tiene solo los axiomas de cuerpo .
Ax del neutro : ∀𝑎𝜖ℛ: 𝒂 + 𝟎 = 𝒂 , en particular 𝑠𝑖 𝑎 = 0 ∶ 𝟎 + 𝟎 = 𝟎
Ax del opuesto : ∀𝑎𝜖ℛ, ∃ − 𝑎 ∈ ℛ: 𝒂 + −𝒂 = 𝟎,
en particular, si 𝑎 𝑒𝑠 𝑎 · 0: 𝒂 · 𝟎 + −𝒂 · 𝟎 = 𝟎
2º Configurar el plan: Ax del neutro, ax de dist,suma del opuesto, asoc, op
adit, neutro.
3º Ejecutar el plan configurado
Dem: 𝑎 · 0 = 𝑎 · 0 + 0 ax del neutro
𝑎·0=𝑎·0+𝑎·0 ax de dist
−𝑎 · 0 + 𝑎 · 0 = −𝑎 · 0 + (𝑎 · 0 + 𝑎 · 0)(suma del op)
−𝑎 · 0 + 𝑎 · 0 = (−𝑎 · 0 + 𝑎 · 0) + 𝑎 · 0 ax asoc
0 = 0 + 𝑎·0 ax del op adit
0 = 𝑎·0 ax del neutro
4º Discusión existe otra forma de demostrar.
Si usando la axiomática y transitividad y cancelación de la igualdad y
abstracción.
Usach. Módulo Básico Ing. Cálculo I
Prof Gmo Acuña H
 Metodología: Resolución de Problema 2
Demostrar la ley de los signos.
• Caso a
• 1º Comprensión del problema: Por demostrar: − −𝒂 = 𝒂
Se tiene solo los axiomas de cuerpo, a saber:
Ax del opuesto : ∀𝑎𝜖ℛ, ∃ − 𝑎 ∈ ℛ: 𝒂 + −𝒂 = 𝟎,
Por abstracción: ∀ − 𝑎𝜖ℛ, ∃ − −𝑎 ∈ ℛ: −𝒂 + −(−𝒂) =𝟎
Ax. de asociatividad 𝑥 + 𝑦 + 𝑧 = 𝑥 + 𝑦 + 𝑧
• 2º Configurar un plan. Aplicar: Ax asoc, ax opuesto adit., y ax. neutro
• 3º Ejecutar el plan configurado
Usar Ax de asociatividad por tener tres elementos :𝒂, −𝒂 𝒚 − −𝒂
𝒂 + (−𝒂) + (− −𝒂 ) = 𝒂 + −𝒂 + − −𝒂 ax asoc
𝒂 + 𝟎 = 𝟎 + − −𝒂 ax op aditivo
𝒂 = − −𝒂 ax neutro
• 4º Discusión existe otra forma, usando propiedades de la igualdad, caso b
Usach. Módulo Básico Ing. Cálculo I Prof
Gmo Acuña H
 Metodología: Propiedades de la igualdad y aplicación
Simetría: 𝑎 = 𝑏 → 𝑏 = 𝑎
Transitividad: 𝑎 = 𝑏 ∧ 𝑏 = 𝑐 → 𝑎 = 𝑐
Cancelación: 𝑎 + 𝑥 = 𝑏 + 𝑥 → 𝑎 = 𝑏 ; 𝑎 · 𝑥 = 𝑏 · 𝑥 → 𝑎 = 𝑏
Notaciones: 𝑎 − 𝑏 = 𝑎 + −𝑏 ; 𝑎: 𝑏 = 𝑎 · 𝑏 −1
Caso b:
Demostración de − −𝑎 = 𝑎 usando propiedades de igualdad:
En efecto
Como ∀𝑎𝜖ℛ, ∃ − 𝑎 ∈ ℛ: 𝒂 + −𝒂 = 𝟎,
Por otro lado ∀ − 𝑎𝜖ℛ, ∃ − −𝑎 ∈ ℛ: −𝒂 + − −𝒂 = 𝟎 = − −𝒂 + (−𝒂)
Por transitividad 𝒂 + −𝒂 = − −𝒂 + (−𝒂) , por cancelación la igualdad
Caso c
Demostrar (−𝑚) · (−𝑛) = 𝑚 · 𝑛
Se puede demostrar de dos formas
Una de estas es considerar un nexo entre las expresiones dadas. Sea (−𝑚) · 𝑛
En efecto: (−𝑚) · (−𝑛) + (−𝑚) · 𝑛 = (−𝑚)(−𝑛 + 𝑛) = −𝑚 · 0 = 0 (cada igualdad se justifica)
Por otro lado m · 𝑛 + −𝑚 · 𝑛 = −𝑚 + 𝑚 𝑛 = 0 · 𝑛 = 0 (cada igualdad se justifica).
Por transitividad : −𝑚 · −𝑛 + −𝑚 · 𝑛 = m · 𝑛 + −𝑚 · 𝑛
Por cancelación lo pedido
La otra forma es considerar el ax de asociatividad con los términos −𝑚 · −𝑛 , −𝑚 · 𝑛, 𝑚 · 𝑛
Usach. Módulo Básico Ing. Cálculo I Prof
Gmo Acuña H
 + +
Axiomas de Orden
𝑂1 : 𝑥, 𝑦𝜖𝑅 → 𝑥 + 𝑦 ∈ 𝑅
𝑂2 : 𝑥, 𝑦𝜖𝑅+ → 𝑥 · 𝑦 ∈ 𝑅+
𝑂3 : 𝑥 ∈ 𝑅 → 𝑥 ∈ 𝑅+ 𝑜 − 𝑥 ∈ 𝑅+ o 𝑥 = 0
Algunas propiedades
∀𝑥 ∈ 𝑅 → 𝑥 2 ≥ 0
Esta propiedad permite demostrar
𝑎 𝑏 𝑥 1 𝑦 2
+ ≥ 2; + ≥ 2; + ≥ 2 etc.
𝑏 𝑎 1 𝑥 2 𝑦
Propiedades de desigualdades
1.. 𝑎 > 𝑏 𝑦 𝑐 ∈ 𝑅 → 𝑎 + 𝑐 > 𝑏 +c. Dem ejercicio. 2.. 𝑎 > 𝑏 𝑦 𝑐 > 0 → 𝑎𝑐 > 𝑏c. Dem ejercicio
3. . 𝑎 > 𝑏 𝑦 𝑐 < 0 → 𝑎𝑐 < 𝑏c. Dem ejercicio 4.. 𝑎 > 𝑏 𝑦 𝑏 > 𝑐 → 𝑎 >c
Algunos casos
Caso 1 Dem de la transitividad
𝑎 > 𝑏 𝑦 𝑏 > 𝑐 → 𝑎 − 𝑏 ∈ 𝑅+ , 𝑏 − 𝑐 ∈ 𝑅+ . 𝑃𝑜𝑟 𝑎𝑥 𝑑𝑒 𝑜𝑟𝑑𝑒𝑛 𝑎 − 𝑏 + 𝑏 − 𝑐 ∈ 𝑅+ . 𝑃𝑜𝑟 𝑎𝑥 𝑑𝑒𝑙 𝑜𝑝𝑢𝑒𝑠𝑡𝑜 𝑦 𝑒𝑙 𝑛𝑒𝑢𝑡𝑟𝑜
𝑎 − 𝑐 ∈ 𝑅+ 𝑝𝑜𝑟 𝑡𝑒𝑜𝑟𝑒𝑚𝑎 𝑎 − 𝑐 > 0 → 𝑎 >c(definición)
Caso 2: 𝑎 > 𝑏 𝑦 𝑐 > 𝑑 → 𝑎𝑐 > 𝑏𝑑
Dem: 𝑎 > 𝑏 → 𝑎𝑐 > 𝑏𝑐
Por otro lado 𝑐 > 𝑑 → 𝑏𝑐 > 𝑏𝑑 Por transitividad 𝑎𝑐 > 𝑏𝑑
Caso 3 . Análogamente: 𝑎 > 𝑏 > 0 → 𝑎2 > 𝑏 2
Caso 4 Si 𝑎 > 𝑏 > 0 → 𝑎 > 𝑏
2
Dem: 𝑎 > 𝑏 > 0 → 𝑎 − 𝑏 ∈ 𝑅+ → 𝑎 − 𝑏 = 𝑎 2 − 𝑏 = 𝑎 − 𝑏 𝑎 + 𝑏 . Pero 𝑎 + 𝑏 es siempre
positiva por ax de orden entonces por la ley de los signo 𝑎 − 𝑏 > 0 → 𝑎 > 𝑏

Usach. Módulo Básico Ing. Cálculo I Prof:

Gmo Acuña H