Per què obtenim un enter positiu en multiplicar dos enters negatius?

Per què obtenim un enter positiu en multiplicar dos enters negatius?
Anonim

Resposta:

Utilitzeu la distribució de la multiplicació sobre l’addició i altres propietats de l’aritmètica per demostrar …

Explicació:

L'addició i la multiplicació dels enters tenen diverses propietats, conegudes com a axiomes. Usaré la taquigrafia # AA # "per a tot", # EE # "existeix", #:# "tal que" de la següent manera:

Hi ha una identitat additiva #0#:

#EE 0: AA un "" a + 0 = 0 + a = un #

L'addició és commutativa:

#AA a, b "" a + b = b + a #

L'addició és associativa:

#AA a, b, c "" (a + b) + c = a + (b + c) #

Tots els nombres enters tenen una inversió sota:

#AA a EE b: a + b = b + a = 0 #

Hi ha una identitat multiplicativa #1#:

#EE 1: AA a "" a * 1 = 1 * a = un #

La multiplicació és commutativa:

#AA a, b "" a * b = b * a #

La multiplicació és associativa:

#AA a, b, c "" (a * b) * c = a * (b * c) #

La multiplicació és la distribució esquerra i dreta sobre l’addició:

#AA a, b, c "" a * (b + c) = (a * b) + (a * c) #

#AA a, b, c "" (a + b) * c = (a * c) + (b * c) #

Utilitzem la notació # -a # per representar l’invers de l’additiu de # a # i la notació # a-b # com a abreviació de #a + (- b) #.

Tingueu en compte que l’associativitat d’addició significa que podem escriure sense ambigüitats:

# a + b + c #

Utilitzant la convenció PEMDAS que la suma i la resta es realitzen d'esquerra a dreta, podem evitar escriure més claudàtors i mantenir les coses sense ambigüitats.

Llavors trobem:

# (- a) (- b) = (-a) (- b) + 0 #

#color (blanc) ((- a) (- b)) = (-a) (- b) + (- ab) + ab

#color (blanc) ((- a) (- b)) = ((-a) (- b) -ab) + ab

#color (blanc) ((- a) (- b)) = ((-a) (- b) + 0-ab) + ab

#color (blanc) ((- a) (- b)) = ((-a) (- b) + (a) (- b) - (a) (- b) -ab) + ab #

#color (blanc) ((- a) (- b)) = ((-a) (- b) + (a) (- b)) - ((a) (- b) + ab)) + ab #

#color (blanc) ((- a) (- b)) = ((-a) + a) (- b) - (a) ((- b) + b)) + ab #

#color (blanc) ((- a) (- b)) = (0 * (- b)) - (a * 0) + ab #

#color (blanc) ((- a) (- b)) = 0-0 + ab

#color (blanc) ((- a) (- b)) = 0 + ab

#color (blanc) ((- a) (- b)) = ab

Així que si #a, b # són positius i estàs content # ab també és positiu # (- a) * (- b) = ab també és positiu.