Свойства длины вектора

Для любых векторов \(\overline{a}\) и \(\overline{b}\) и любого числа \(\lambda\)
   1. \(|\overline{a}| \geq 0\);
   2. \(|\overline{a}| = 0 \, \Leftrightarrow \overline{a}=\overline{0}\);
   3. \(|\lambda\overline{a}| = |\lambda||\overline{a}|\);
   4. \(|\overline{a}\pm\overline{b}| \leq |\overline{a}|+|\overline{b}|\) (неравенство треугольника).