¿Cómo probarías (-a) * (-b) = ab?

Por definición del símbolo (-) (- a ) significa inverso aditivo de ( a ) y (- b ) significa inverso aditivo de ( b ).

Como

a * 0 = 0 | por propiedad multiplicativa de cero

a * { b + (- b )} = 0 | usando inversa aditiva

a * b + a (- b ) = 0 | propiedad asociativa multiplicativa

Ahora, usando la propiedad de inversos aditivos, podemos decir que a (- b ) es inverso aditivo de ( ab), entonces a (- b ) es igual a – ( ab ).

AHORA

Usando la propiedad de cero podemos escribir

(- a ) * 0 = 0

=> (- a ) * { b + (- b )} = 0 | utilizando inversos aditivos

=> (- a ) b + (- a ) (- b ) = 0 | propiedad asociativa multiplicativa

=> – ( ab ) + (- a ) (- b ) = 0 | demostrado anteriormente que a (- b ) = – ( ab )

La afirmación anterior implica que (- a ) (- b ) es inversa aditiva de – ( ab ) y como sabemos ( ab ) también es inversa aditiva de – ( ab ).

Como el inverso aditivo siempre es único, podemos decir que (- a ) (- b ) = ( ab ).

TA..DA …

Perdón por el mal formato, aprenderé LaTex en unos días.

Comience con tautologías: [matemáticas] aa = 0 [/ matemáticas], [matemáticas] bb = 0 [/ matemáticas].

Por congruencia, [matemáticas] (aa) * b = 0 * b [/ matemáticas], [matemáticas] (- a) * (bb) = (- a) * 0 [/ matemáticas].

Por definición de multiplicación, [matemáticas] (aa) * b = 0 [/ matemáticas], [matemáticas] (- a) * (bb) = 0 [/ matemáticas].

Por transitividad, [matemáticas] (aa) * b = (- a) * (bb) [/ matemáticas].

Por ley distributiva de multiplicación, [matemáticas] ab + (- a) b = (-a) b + (- a) * (- b) [/ matemáticas].

Por congruencia, [matemática] ab [/ matemática] [matemática] = (-a) * (- b) [/ matemática].

gráficamente (x, y), midiendo dos cuadrados, uno con los lados a y by uno con los lados -a y -b y encontrando el área del mismo tamaño (-a) (- b) = ab

CUANDO – Y – SE MULTIPLICAN, SE CONVIERTE + SO (-a) * (- b) = ab

Déjame esbozar un buen camino.

  1. Demuestre que [math] -a = (- 1) a [/ math].
  2. Luego demuestre que [matemáticas] (- 1) (- 1) = 1 [/ matemáticas].
  3. Ahora puedes terminar.

Realmente después de la inspección, pero sigamos algunos pasos:

(-a) * (-b) =

-1 (a) * -1 (b) =

(-1) ^ 2 ab =

1ab = ab

por definición -a = opuesto (a) entonces -a = (- 1) (a) y -b = (- 1) (b); por lo tanto

-a * -b = (-1) (a) * (- 1) (b) = (- 1) (- 1) (a) (b) = (- 1) [(- 1) (ab)] = (- 1) [- ab] = ab