Hola,
Haciendolo con vectores concretos me queda que es falsa pero no se como demostrarlo con vectores generales.
Gracias por las respuestas!
Si lo que se pide es probar la veracidad o falsedad de la afirmación:
\( (\forall a\in \mathbb{R})\wedge(\forall \vec{v}\in \mathbb{R}^3)\wedge (\forall \vec{w}\in \mathbb{R}^3): \: \left\|{a\vec{v}+\vec{w}}\right\| = \left\|{a\vec{v}}\right\|+ \left\|{\vec{w}}\right\| \qquad (p) \)
La negación de la afirmación anterior es:
\( (\exists a \in \mathbb{R}) \vee (\exists \vec{v} \in \mathbb{R}^3) \vee (\exists \vec{w} \in \mathbb{R}^3): \left\|{a\vec{v}+\vec{w}}\right\| \neq \left\|{a\vec{v}}\right\|+ \left\|{\vec{w}}\right\| \qquad (\neg p) \)
\( (\neg p) \) es verdadera \( \Longrightarrow{p} \) es falsa.
No encontrar una solución genérica no implica que el proceso carezca de rigor.
El proceso puede ser riguroso aun sin encontrar solución genérica, siempre que se trate de casos como éste.
A esto se le llama "encontrar un contraejemplo".
Saludos.