Para cada inteiro a, definimos o valor absoluto a, como sendo |a|=\left\{\begin{array}{c}a \text { se } a \geq 0 \\\\ -a \text { se } a<0\end{array}\right.. De modo que para cada a, b inteiros prove que:
(c) |-a|=|a|
Passo 1
O enunciado define o valor absoluto de um inteiro a\) por
\[|a| = \begin{cases} a, & \text{se } a \ge 0,\\\\ -\,a, & \text{se } a < 0. \end{cases}
E pede para provar que para todo inteiro a\] vale
\[|-a| = |a|.\]
Para isso, basta analisar dois casos: \(a\ge0 e a<0.