Idea
y Método de la Demostración
La
idea es partir de (-a)(-b),
y mediante una cadena de igualdades llegar a (ab),
utilizando el llamado Método
Directo.
Para
construir
Para
construir tal cadena de igualdades se deben utilizar exclusivamente los
axiomas
de los reales, las hipótesis
del teorema, teoremas o resultados anteriores y, desde luego, propiedades
conocidas de la igualdad, en este caso la transitividad: Si x
= w y w
= z, entonces
x
= z.
En particular se hace uso del Teorema 8 que establece:
del Teorema 9 que establece:
y del Teorema 10 que establece:
Conclusión
Este
resultado es fundamental en la manipulación de expresiones.