Tienen algunos de no-null$\vec{a}$$\vec{b}$.
Estoy tratando de demostrar esta fue en vano:
$$||\vec{a}+\vec{b}|| = ||\vec{a}-\vec{b}|| \iff \vec{a} \perp \vec{b}$$
Si empezamos con
$$||\vec{a}+\vec{b}|| = ||\vec{a}-\vec{b}|| \implies \vec{a} \perp \vec{b}$$
Nuestra hipótesis es
$$||\vec{a}+\vec{b}|| = ||\vec{a}-\vec{b}||$$
Que nos dice que tanto en horizontal lados de este triángulo tienen la misma longitud, por lo que tenemos un triángulo isósceles. No está seguro de qué hacer con eso.
De todos modos, la hipótesis es equivalente a
$$\sqrt{(\vec{a} + \vec{b})\cdot (\vec{a} + \vec{b})} = \sqrt{(\vec{a} - \vec{b})\cdot (\vec{a} - \vec{b})}$$
Yo no puedo hacer mucho de eso.
Una pista para empezar a abordar este problema sería apreciada.