3.2.1 Resta

La resta es una operación binaria que asocia dos números reales: a, b , con otro real llamado resta, r . de manera que:

a – b = r

a = b + r

La operación de restar un número es equivalente a sumar el inverso aditivo de ese número:

a – b = a + (- b ) = r

Al transformar la resta en una suma, todos los postulados y propiedades de la suma son válidos para la resta.

A continuación se demuestra que la resta puede expresarse como una suma:

a – b = a + (- b ) = r

a = b + r	Por la definición de resta
a + (- b ) = - b + b + r	Por la propiedad aditiva de la igualdad: la igualad no se altera al sumar números iguales en ambos lados de la igualdad.
a + (- b ) = r	Por el inverso aditivo de la igualdad. La suma de inversos es cero
a + (- b ) = r	Es lo que queríamos demostrar

DR© Instituto Tecnológico y de Estudios Superiores de Monterrey, Vicerrectoría de Investigación y Desarrollo, Prepanet | México, 2006.