Here’s the machine that MAKES units fall out. Count the quantities in a problem and the independent dimensions (mass, length, time…); subtract, and that many DIMENSIONLESS combinations must govern the physics — pure numbers with the units cancelled away. It’s how a pendulum’s period is forced to be T√(g/L) = const before you solve anything. Slide the setup and watch the π-groups drop out.
The Buckingham π theorem: a physical relation among n dimensional quantities, spanning k independent base dimensions, can be rewritten as a relation among exactly n − k DIMENSIONLESS groups (π-terms). The units must cancel, so those pure numbers — not the raw variables — govern the behaviour. For a pendulum {T, L, g, m}: n=4, dimensions {M,L,T} so k=3, giving 1 group, T√(g/L) = const, forcing the period’s form. It underlies every scale model and the whole idea of a natural unit. A fail-loud self-check throws unless n−k gives the right group count for the pendulum. ◆ real dimensional analysis, node-verified.
The COUNT n−k is exact (given independent dimensions); which specific groups you pick isn’t unique (any independent set works), and choosing the physically-useful ones is the art. This is the general engine behind ‘a unit falls out’.