Orthogonality as a Dot Product Criterion

Why a Dot Product Can Detect Perpendicularity

Perpendicularity is a geometric relationship: two nonzero vectors are perpendicular when the angle between their directions is a right angle. The dot product gives a direct way to test for that relationship using components, without first finding the angle itself.

This is useful because an angle calculation may require an inverse cosine, while an orthogonality test can often be completed with a few multiplications and an addition. The key is to use the criterion with its condition stated correctly: both vectors must be nonzero.

Definitions and the Criterion

For vectors \(\mathbf{u}=(u_1,u_2,u_3)\) and \(\mathbf{v}=(v_1,v_2,v_3)\), their dot product is the scalar

The angle between two nonzero vectors is the angle \(\theta\) in the interval from \(0\) to \(\pi\) determined by their directions. Two nonzero vectors are orthogonal, or perpendicular, when this angle is \(\frac{\pi}{2}\).

“If and only if” means that each condition implies the other. For nonzero vectors, a zero dot product guarantees perpendicularity; conversely, perpendicular vectors have dot product zero.

Why the Criterion Works

The angle formula for nonzero vectors relates the dot product to the angle between them. In that formula, \(\|\mathbf{u}\|\) and \(\|\mathbf{v}\|\) are the magnitudes of the vectors. Both magnitudes are positive because neither vector is zero.

This identity gives a short proof of the theorem. If the vectors are perpendicular, then \(\theta=\frac{\pi}{2}\), and \(\cos(\frac{\pi}{2})=0\). Therefore their dot product is zero. In the other direction, suppose their dot product is zero. Since both magnitudes are positive, their product is positive, so the angle formula implies \(\cos\theta=0\). The only angle in the interval from \(0\) to \(\pi\) whose cosine is zero is \(\frac{\pi}{2}\). Thus the vectors are perpendicular. This proves both directions.

The nonzero condition matters in the proof: it lets us define the angle and ensures that the product of the magnitudes is not zero. The zero vector has dot product zero with every vector, but it has no direction and therefore no angle with another vector under this definition.

Testing Orthogonality from Components

For a component calculation, multiply the first component of one vector by the first component of the other, then do the same for the second and third components. Add those three products, keeping negative signs throughout. First make sure each vector is nonzero; then apply the theorem to the resulting scalar.

Finding a Component That Makes Vectors Perpendicular

The criterion also turns a geometric condition into an equation. If one component is unknown, write the dot product in terms of that component and set the expression equal to zero. This is valid because the theorem says that a zero dot product is equivalent to perpendicularity when the vectors involved are nonzero.

A Common Mistake: Losing a Negative Sign

It is easy to get a wrong answer by treating every component product as positive. For example, with \(\mathbf{u}=(2,-1,3)\) and \(\mathbf{v}=(1,5,1)\), an incorrect calculation might replace \((-1)(5)\) by \(+5\) and conclude

then say the vectors are not perpendicular. The error is that multiplying a negative number by a positive number gives a negative product. The correct calculation is

Thus the vectors are perpendicular. A reliable habit is to write each component product with its signs before adding. Also check that components are paired by position: first with first, second with second, and third with third.

Why This Criterion Matters

The dot product criterion connects a geometric idea to an arithmetic test. It lets you determine orthogonality using components without calculating magnitudes, finding an inverse cosine, or estimating an angle. It is also useful when the goal is to choose or solve for a component that makes two directions perpendicular.

Keep the logical order clear. The theorem applies to two nonzero vectors. First calculate the dot product accurately; then interpret the result. A zero value is exactly the desired condition. A nonzero value, positive or negative, rules out perpendicularity. If one of the vectors is zero, the dot product is automatically zero, but that fact alone does not make it a perpendicular direction.