Estoy tratando de demostrar que si $|u+v| = |u| + |v|$ implica $u = \lambda v$ para $\lambda \ge 0$ .
Para ello he $|u + v|^2 = (|u| + |v|)^2 \Rightarrow |u|^2 + |v|^2 + 2|u||v| = |u|^2 + |v|^2 + 2u\cdot v \Rightarrow |u||v| = u \cdot v \Rightarrow u = \lambda v$ donde la última implicación se sigue por Cauchy-Schwarz.
Sin embargo, ¿cómo puedo demostrar que $\lambda \ge 0$ ?