¿Hay alguna prueba formal que pruebe – (a + b) = (- a) + (- b)?

Sí, pero la prueba depende de cuáles son tus axiomas. En otras palabras, depende de dónde quiera comenzar. Comencemos bastante lejos. Es decir, supongamos que tenemos un conjunto de objetos, es decir, números , junto con una operación binaria, es decir, suma , que obedecen a las siguientes propiedades:

[matemáticas] a + b = b + a [/ matemáticas] (propiedad conmutativa),

[matemáticas] a + (b + c) = (a + b) + c [/ matemáticas] (propiedad asociativa),

[matemáticas] a + 0 = a [/ matemáticas] (existencia y unicidad del elemento de identidad),

[matemáticas] -a + a = 0 [/ matemáticas] (existencia de inversas).

Las dos primeras propiedades son probablemente familiares. El tercero establece que existe exactamente un número, a saber, [math] 0 [/ math], que conserva la identidad cuando se agrega a cualquier número. La cuarta propiedad establece que cada número tiene un inverso, lo que significa que un número más su inverso es [math] 0 [/ math] (el elemento de identidad). Tenga en cuenta que el signo menos aquí es solo una notación. Es decir [math] -a [/ math] solo significa el inverso de [math] a [/ math].

De la tercera propiedad anterior, tenemos:

[matemáticas] 0 + 0 = 0. [/ matemáticas]

Usando la cuarta propiedad anterior, reemplacemos cada 0 a la izquierda con un número más su inverso:

[matemáticas] (- a + a) + (- b + b) = 0 [/ matemáticas].

Usando las propiedades primera y segunda anteriores, podemos reescribir esto como:

[matemáticas] ((- a) + (- b)) + (a + b) = 0 [/ matemáticas].

Tenga en cuenta que el inverso de [matemáticas] a + b [/ matemáticas] es [matemáticas] – (a + b) [/ matemáticas]. (Recuerde que el signo menos es solo notación para inversa). Entonces, al usar nuevamente la cuarta propiedad anterior, así como la unicidad de [math] 0 [/ math], los dos términos a la izquierda deben ser inversos de cada uno otro. Es decir,

[matemáticas] ((- a) + (- b)) = – (a + b) [/ matemáticas].

¡Espero que esto tenga sentido y sea útil!

Aquí hay una restricción que puedo darle, si usa un sistema axiomático: si esta afirmación es verdadera, entonces cada paso del cálculo será analítico para todos los pasos anteriores. Alternativamente, puede suponer lo contrario en la recursión en el formato de una prueba de inducción formal (esto implica casos básicos, pasos de inducción y conclusiones. Si encuentra un tutorial que los omita, no es bueno), y eso demostrará que esta afirmación es irrefutable .

Sin embargo, uno tiene que pensarlo: ¿dónde está el espacio para las matemáticas creativas, aquí? Hay tanto rigor en probar absurdos, contradicciones e inconsistencias. Alternativamente, uno podría meterse con las respectivas definiciones y modelos para hacer lo que quiera de cualquiera de las expresiones en ambos lados de la ecuación, en el espacio de conjeturas.

(Por cierto, NUNCA debes enviar ese tipo de cosas. Todo lo que hace es iniciar argumentos).

[matemáticas] 0 [/ matemáticas] es el elemento neutral

[matemática] -1 + 1 = 0 [/ matemática] (inverso aditivo)

[matemáticas] 0 = a + (- a) [/ matemáticas]

[matemáticas] 1a + (- 1) a = a (1-1) = a * 0 = a (0 + 0) = 0 [/ matemáticas]

usando distributividad e inversa

Por lo tanto [matemática] (- 1) a = -a [/ matemática] (unicidad de inversa)

[matemáticas] – (a + b) = (- 1) (a + b) = – 1a + (- 1) b = (- a) + (- b) [/ matemáticas]

Alternativa:

Asumiendo que [math] + [/ math] es conmutativo (implícitamente hecho en el otro)

[matemáticas] (ab) ^ {- 1} = b ^ {- 1} a ^ {- 1} [/ matemáticas] en grupos. Debido a la asociatividad y singularidad de la inversa.

Y la declaración es correcta debido a la conmutatividad.

Para esto debes tomar la definición literal del menos como -1; es solo que los matemáticos somos flojos y evitamos escribir 1 siempre que sea posible.

Entonces tenemos -1 (A + B) que se expande a -1 * A + -1 * B, o simplemente (-A) + (- B)

Espero que esta simple resolución responda a su consulta.

ver en la resolución de la ecuación del lado izquierdo primero obtenemos:

– (a + b) = -ab

= -a + (- b)

que es igual al lado derecho solamente. Por lo tanto demostrado.

Si. Esta es solo la propiedad distributiva:

[matemáticas] – (a + b) = – 1 \ cdot (a + b) = – 1 \ cdot a + -1 \ cdot b = (- a) + (- b) \ tag * {} [/ matemática]