jvitor1402 Escreveu:Não consegui pensar numa maneira para provar que vale para todos n, apenas para n=1, que é claro, e para n=2, um dos números deve ser negativo.
Não necessariamente, note que se tivermos uma igualdade também temos a desigualdade não estrita (dito de outra forma, \(a=b \Rightarrow a\leq b\))
Como provar para todos n?
Faça por indução: se, por hipótese de indução, \(|x_1 + x_2 +...+ x_n| \leq |x_1| + |x_2| +...+ |x_n|\) então também temos a tese de indução: \(|x_1 + x_2 +...+ x_{n+1}| \leq |x_1| + |x_2| +...+ |x_{n+1}|\).
Pois \(|x_1 + x_2 +...+ x_{n+1}| =|(x_1 + x_2 +...+x_n)+ x_{n+1}| \leq |(x_1 + x_2 +...+x_n)|+ |x_{n+1}| \leq (|x_1| + |x_2| +...+ |x_n|)+|x_{n+1}| = |x_1| + |x_2| +...+ |x_{n+1}|\) (na primeira desigualdade usamos a desigualdade para n=2 e na segunda desigualdade usamos a hipótese de indução).