Three axioms define a norm; everything below them is derived. Watch the equality cases — each one identifies a geometric configuration, not just an edge case in the algebra.
Scaling by multiplies the length by , not by . The absolute value is doing real work: for the direction is preserved, for it reverses, and in both cases the length grows by the same factor. A negative length would violate the axiom above.
A lower bound to go with the upper one. It says two vectors of very different lengths cannot be close together — which is what makes the norm a continuous function, and is used constantly in analysis.
Length is the square root of the self-dot product. This is the bridge between the two: positive definiteness of the dot product is the same statement as non-negativity of the norm, seen from the other side.
Length is never negative, and only the zero vector has zero length. The second half is the load-bearing part — without it a nonzero vector could have length zero and normalization would break, since dividing by the magnitude assumes it is nonzero.
The direct path is never longer than the tip-to-tail path. Equality holds exactly when one vector is a non-negative multiple of the other — the triangle degenerates to a line. This is the axiom that makes distance a metric, and it follows from the Cauchy–Schwarz inequality.
Immediate from absolute homogeneity with . The zero vector cannot be normalised, which is the same fact as it having no direction.