Por que o produto entre dois números negativos resulta em um número

positivo?

Para responder essa questão se faz necessário nos apoiar na axiomática dos números inteiros.

No Conjunto dos Números Inteiros, está definida uma operação binária denominada produto que

associa um único valor para cada número inteiro .

Demonstração

Logo, temos:

Se é oposto de e também é oposto de e pela a existência da unicidade do

elemento oposto, logo .

Com base nessa demonstração e na aula introdutória sobre a axiomática dos números inteiros,

demonstre: