Checking Dimensional Consistency of Equations

You have learned how to write dimensional formulae and dimensional equations. Now comes one of the most practical payoffs of that skill: using dimensions as a built-in error detector for physical equations. Before you reach for a calculator, a quick dimensional check can tell you whether an equation even makes sense, saving you from chasing results through a formula that was wrong from the start.

The Principle of Homogeneity

The idea behind dimensional checking rests on one simple rule called the principle of homogeneity of dimensions: you can only add or subtract physical quantities that share the same dimensions. Mixing quantities of different types is physically meaningless. You cannot add a velocity to a force, or subtract an electric current from a temperature, any more than you could add 5 kilograms to 3 seconds and expect a sensible answer.

This principle extends naturally to entire equations. In any correct physical equation, every term that appears on either side must carry exactly the same dimensions. If you find that one term has the dimensions of length but another has the dimensions of velocity, something has gone wrong in the derivation, and you can stop right there.

How to Check an Equation

The process is direct. Take every term in the equation, work out its dimensions using the base quantities, and then compare. If all terms match, the equation passes the dimensional test. If even one term disagrees, the equation is definitely wrong.

Worked example: the kinematic displacement equation

Consider the equation for the distance $x$ travelled by an object starting from position $x_0$ with initial velocity $v_0$ and uniform acceleration $a$:

$x = x_0 + v_0 \, t + \frac{1}{2} \, a \, t^2$

To check this, compute the dimensions of each term separately.

First term on the right, $x_0$: This is a position, which is a length.

$[x_0] = [L]$

Second term, $v_0 \, t$: Initial velocity has dimensions $[L \, T^{-1}]$ and time has $[T]$. Multiplying:

$[v_0 \, t] = [L \, T^{-1}] \times [T] = [L]$

The $T^{-1}$ and $T$ cancel out, leaving pure length.

Third term, $\frac{1}{2} \, a \, t^2$: The factor $\frac{1}{2}$ is a pure number with no dimensions, so it drops out of the analysis. Acceleration has $[L \, T^{-2}]$ and $t^2$ has $[T^2]$:

$\left[\frac{1}{2} \, a \, t^2\right] = [L \, T^{-2}] \times [T^2] = [L]$

Again, the time dimensions cancel, leaving length.

Left side, $x$: This is a distance, so $[x] = [L]$.

Every term on the right produces $[L]$, which matches the left side. The equation is dimensionally consistent.

Worked example: energy conservation (Example 1.3)

Check whether the equation $\frac{1}{2} m v^2 = m g h$ is dimensionally correct, where $m$ is mass, $v$ is velocity, $g$ is acceleration due to gravity, and $h$ is height.

Left side: Start with mass $[M]$ and velocity squared $[L \, T^{-1}]^2 = [L^2 \, T^{-2}]$. Multiplying:

$\left[\frac{1}{2} m v^2\right] = [M] \times [L^2 \, T^{-2}] = [M \, L^2 \, T^{-2}]$

(The $\frac{1}{2}$ is dimensionless and does not affect the result.)

Right side: Mass gives $[M]$, acceleration due to gravity gives $[L \, T^{-2}]$, and height gives $[L]$. Multiplying:

$[m g h] = [M] \times [L \, T^{-2}] \times [L] = [M \, L^2 \, T^{-2}]$

Both sides yield $[M \, L^2 \, T^{-2}]$, so the equation is dimensionally consistent.

Worked example: ruling out wrong formulas (Example 1.4)

Suppose someone offers you five candidate formulas for kinetic energy $K$ (where $m$ is mass, $v$ is speed, $a$ is acceleration) and asks which can be eliminated purely on dimensional grounds:

(a) $K = m^2 v^3$

(b) $K = \frac{1}{2} m v^2$

(c) $K = m a$

(d) $K = \frac{3}{16} m v^2$

(e) $K = \frac{1}{2} m v^2 + m a$

Kinetic energy has the SI unit joule, which is $\text{kg} \cdot \text{m}^2 \cdot \text{s}^{-2}$, so its dimensional formula is $[M \, L^2 \, T^{-2}]$. Now check each candidate:

(a) $[m^2 v^3] = [M^2] \times [L \, T^{-1}]^3 = [M^2 \, L^3 \, T^{-3}]$. This does not match $[M \, L^2 \, T^{-2}]$. Ruled out.

(b) $[\frac{1}{2} m v^2] = [M] \times [L^2 \, T^{-2}] = [M \, L^2 \, T^{-2}]$. Matches.

(c) $[m a] = [M] \times [L \, T^{-2}] = [M \, L \, T^{-2}]$. This is force, not energy. Ruled out.

(d) $[\frac{3}{16} m v^2] = [M] \times [L^2 \, T^{-2}] = [M \, L^2 \, T^{-2}]$. Matches.

(e) This expression tries to add $\frac{1}{2} m v^2$ (dimensions of energy, $[M \, L^2 \, T^{-2}]$) and $m a$ (dimensions of force, $[M \, L \, T^{-2}]$). Since the two terms have different dimensions, they cannot be added. The right side has no well-defined dimensional formula at all. Ruled out.

Formulas (a), (c), and (e) are eliminated. Both (b) and (d) survive the dimensional test. To decide between them, you need the actual physics: the correct formula for kinetic energy is (b), $K = \frac{1}{2} m v^2$. The dimensional check alone cannot tell you that $\frac{1}{2}$ is the right coefficient instead of $\frac{3}{16}$, because both are just dimensionless numbers.

Dimensionless Quantities and Special Functions

Some quantities have no dimensions at all. They arise whenever you take the ratio of two quantities that share the same dimensions. For example:

• Angle is defined as arc length divided by radius: $[L] / [L] = [M^0 \, L^0 \, T^0]$, which is dimensionless.
• Refractive index is the ratio of the speed of light in vacuum to the speed of light in a medium: $[L \, T^{-1}] / [L \, T^{-1}]$, again dimensionless.

These pure numbers slip through dimensional checks entirely. You cannot detect whether a formula includes the correct dimensionless factor (such as $\frac{1}{2}$ versus $\frac{3}{16}$) by looking at dimensions alone.

There is an important related rule: the arguments of special mathematical functions like $\sin$, $\cos$, $\log$, $\ln$, and $e^x$ must always be dimensionless. If you encounter $\sin(\omega t)$ in an equation, the product $\omega t$ must have no net dimensions. This is why angular frequency $\omega$ carries dimensions $[T^{-1}]$, so that $\omega t = [T^{-1}] \times [T] = \text{dimensionless}$.

What the Test Can and Cannot Tell You

Dimensional consistency is a necessary condition for a correct equation, but it is not sufficient. Think of it as a filter that catches certain types of errors:

• If an equation fails the test, it is certainly wrong. There are no exceptions. Mismatched dimensions mean the equation is adding or equating things that cannot logically be combined.

• If an equation passes the test, it might still be wrong. The test is blind to pure numbers and dimensionless functions. An equation could have the right types of quantities combined in the right way, but with incorrect numerical coefficients, and the dimensional check would not notice.

One practical advantage of working with dimensions rather than units is generality. You do not need to commit to SI, CGS, or any other specific system. You also avoid worrying about conversions between multiples and sub-multiples. Dimensions operate at a higher level than units, and the consistency test works the same way regardless of which unit system you prefer.

This makes dimensional checking an excellent first pass whenever you derive, remember, or look up a formula. It takes just a few seconds and can immediately flag a mistake that might otherwise lead to a long, wasted calculation.