Seja K um corpo. Utilizando-se os axiomas, prove cada igualdade a seguir:
-(-x) = x

Passo 1

Primeiro, vamos entender o que o exercício está pedindo. Temos um corpo K e precisamos provar, usando os axiomas desse corpo, que para todo elemento x em K. Vamos precisar dos axiomas de adição, especialmente os que envolvem o elemento neutro e os inversos aditivos.

Passo 2

Lembrando dos axiomas dos corpos, sabemos que para todo elemento x existe um elemento inverso aditivo, que é -x, tal que:
Aqui, 0 é o elemento neutro da adição.

Passo 3

Agora, queremos encontrar o inverso aditivo de -x, que é . Pelo mesmo axioma, temos:

Passo 4

Para isolar , vamos adicionar x em ambos os lados da equação:
Usando a associação da adição:

Passo 5

Sabemos que (pelo axioma do inverso aditivo). Substituindo na equação:

Passo 6

Como adicionar 0 não altera o valor, temos:

Resposta

Portanto, mostramos que utilizando os axiomas do corpo K.

Exercícios relacionados