Relative to an orthonormal basis , writing and gives

In this coordinate formula defines the dot product directly, , and it satisfies .

The geometric definition uses , so it requires . Cauchy-Schwarz provides exactly this bound:

whenever both vectors are non-zero.