Um tópico importante em Análise são as desigualdades. Elas são usadas, entre outras coisas, nas questões de convergência, estimativas etc. Este exercício abordará algumas desigualdades importantes que surgirão em várias situações ao longo destes capítulos. Comecemos definindo módulo ou valor absoluto de um número real. Dado um número real x, define-se seu módulo ou valor absoluto, designado por |x|, por
|x|=\left\{\begin{array}{rll}x & \text { se } & x \geq 0 \\\ -x & \text { se } & x<0\end{array}\right.
Feito isso, demonstre as seguintes desigualdades.
Desigualdade triangular generalizada:
para quaisquer a_{1}, a_{2}, \ldots, a_{n} \in \mathbb{R}.
Passo 1
O enunciado define o valor absoluto de um real x\) por
\[|x| = \begin{cases} x, & x \ge 0,\\\\ -\,x, & x<0, \end{cases}
e pede para mostrar que, dados quaisquer reais a_{1},a_{2},\dots,a_{n}\], vale a desigualdade
\[\bigl|a_{1}+a_{2}+\cdots+a_{n}\bigr|\le |a_{1}|+|a_{2}|+\cdots+|a_{n}|.\]
O conteúdo-chave é a desigualdade triangular para dois termos e depois estender por indução ao caso de \(n termos.
Passo 2
Primeiro provamos a desigualdade triangular para dois números reais a e b. Sabemos que