Two Different Ways to Ask, “Does This Make Sense?”
Suppose a vehicle travels at
\[ 60\frac{\text{mi}}{\text{h}} \]for
\[ 2\text{ h}. \]The distance calculation should have dimensions of length:
\[ \left(60\frac{\text{mi}}{\text{h}}\right)(2\text{ h}) = 120\text{ mi}. \]If instead someone reports
\[ 120\frac{\text{mi}}{\text{h}^2}, \]the number \(120\) may look plausible, but the dimensions immediately expose a mistake.
Now suppose algebra says the solutions of
\[ x^2=9 \]are
\[ x=\pm3. \]A graph of
\[ y=x^2 \]and
\[ y=9 \]should show two intersections, one at \(x=-3\) and one at \(x=3\).
Dimensional and graphical checks test different features, but both ask whether the result fits the mathematical structure.
\[ \boxed{ \text{verification} = \text{numerical agreement} + \text{structural agreement} } \]What Is a Dimensional Check?
A dimensional check compares the kinds of quantities on both sides of a mathematical relationship.
For example, if
\[ d=vt, \]then:
\[ [d]=L, \] \[ [v]=\frac{L}{T}, \] \[ [t]=T. \]Therefore:
\[ [vt] = \frac{L}{T}\cdot T = L. \]Both sides have the same dimension.
\[ \boxed{[d]=[vt]} \]This does not prove the formula is correct, but it shows the formula is at least dimensionally possible.
Units versus Dimensions
A unit is a particular standard of measurement. A dimension describes the kind of physical quantity.
For example:
- meters and miles are different units of length,
- seconds and hours are different units of time,
- meters per second and miles per hour are different units of speed.
But both
\[ \frac{\text{m}}{\text{s}} \]and
\[ \frac{\text{mi}}{\text{h}} \]share the dimension
\[ \frac{L}{T}. \]Dimensional checks work at the level of quantity type; unit checks work at the more specific level of measurement system.
Dimensional Homogeneity
An equation is dimensionally homogeneous when terms that are added, subtracted, or equated have compatible dimensions.
This is meaningful:
\[ s=ut+\frac12at^2. \]Check:
\[ [ut] = \frac{L}{T}\cdot T = L, \]and:
\[ [at^2] = \frac{L}{T^2}\cdot T^2 = L. \]So every term has dimension \(L\).
But this is not dimensionally homogeneous:
\[ s=u+t. \]It tries to add speed and time.
Checking Derived Units
Derived quantities inherit units from the operations that define them.
Area
\[ A=\ell w. \]If both lengths are measured in meters:
\[ [m][m]=m^2. \]Density
\[ \rho=\frac{m}{V}. \]Possible units:
\[ \frac{\text{kg}}{\text{m}^3}. \]Acceleration
\[ a=\frac{\Delta v}{\Delta t}. \]Units:
\[ \frac{\text{m/s}}{\text{s}} = \frac{\text{m}}{\text{s}^2}. \]If the final unit does not match the requested quantity, the calculation needs review.
Checking Unit Conversions
A conversion factor equals \(1\) when numerator and denominator represent the same quantity.
For example:
\[ 1\text{ h}=60\text{ min}, \]so
\[ \frac{60\text{ min}}{1\text{ h}}=1. \]To convert:
\[ 2.5\text{ h} \left( \frac{60\text{ min}}{1\text{ h}} \right) = 150\text{ min}. \]The unwanted unit cancels.
If the unit does not cancel in the intended direction, the conversion factor may have been inverted.
Dimensionless Quantities
Some quantities are ratios of like dimensions and are therefore dimensionless.
Example
\[ \frac{5\text{ m}}{20\text{ m}} = \frac14. \]The length units cancel.
Probabilities, many proportions, and many normalized quantities are dimensionless.
This is also why expressions such as
\[ \sin(\theta), \qquad e^x, \qquad \ln(x) \]require appropriately dimensionless arguments in their standard mathematical forms.
What Is a Graphical Check?
A graphical check compares a calculated or symbolic result with the visible behavior of a graph.
A graph can help verify:
- roots,
- intersections,
- signs,
- increasing or decreasing behavior,
- symmetry,
- domain and range,
- approximate magnitude.
A graph is especially useful as an independent representation of a result found algebraically.
Checking Roots Graphically
A root of
\[ f(x)=0 \]appears graphically where the graph of \(y=f(x)\) meets the \(x\)-axis.
If algebra gives a root near
\[ x=2.4, \]but the graph has no \(x\)-intercept anywhere near \(2.4\), the result deserves another look.
Checking Systems by Intersections
A solution to
\[ y=f(x), \] \[ y=g(x) \]is an intersection point of the two graphs.
Suppose algebra gives:
\[ (x,y)=(2,3). \]If the graphs visibly intersect near
\[ (2,3), \]the graphical representation supports the symbolic result.
If the graph shows two intersections while the algebra produced only one, the symbolic solution may be incomplete.
Checking Sign and Trend
Graphs make sign and direction visible.
For example, if:
\[ f(x)>0, \]the graph should lie above the \(x\)-axis.
If:
\[ f'(x)>0 \]over an interval, the function should be increasing there.
Even before formal calculus, a graph can help verify whether a claimed trend matches the data or formula.
Checking Symmetry
Certain formulas imply visible symmetry.
Even Function
\[ f(-x)=f(x). \]The graph should be symmetric about the \(y\)-axis.
Odd Function
\[ f(-x)=-f(x). \]The graph should have origin symmetry.
If an alleged even function produces a graph with no \(y\)-axis symmetry, one of the representations is wrong.
Checking Scale and Magnitude
A graph can reveal whether a result is plausible in size.
Suppose a model predicts values around
\[ y=1000 \]for the relevant input range, but a calculation returns
\[ y=0.001. \]That mismatch in scale is a strong reason to recheck:
- unit conversions,
- powers of ten,
- decimal placement,
- the selected formula.
Graphical scale checks are especially useful for catching order-of-magnitude errors.
Checking Domain and Range
Graphs help reveal where a function exists and what outputs it can produce.
For:
\[ f(x)=\sqrt{x-2}, \]the real-valued graph begins at:
\[ (2,0). \]So the graph supports:
\[ x\geq2 \]and:
\[ f(x)\geq0. \]A proposed real input \(x=1\) or output \(y=-3\) conflicts with the graphical structure.
Graphical Checks for Approximate Solutions
Graphs are especially useful when exact solutions are unavailable or unnecessary.
Suppose:
\[ x^3-x-1=0. \]A graph can show that the real root lies between:
\[ 1 \]and
\[ 2. \]A numerical method might then refine the value to:
\[ x\approx1.3247. \]The graph does not provide the same precision, but it checks the location and number of visible real roots.
Limits of Dimensional and Graphical Checks
These checks are powerful, but they do not prove everything.
Dimensional Check
A dimensionally consistent formula can still have the wrong numerical constant or wrong functional dependence.
Graphical Check
A graph can hide small errors, miss off-screen behavior, or give only approximate coordinates.
Example
Both:
\[ d=vt \]and
\[ d=7vt \]are dimensionally consistent, but only one may model the intended situation.
Likewise, a low-resolution graph may make two nearby roots appear to be one.
Using Both Checks Together
Dimensional and graphical checks complement one another.
Suppose a projectile model is:
\[ h(t)=-16t^2+64t+5 \]with \(h\) in feet and \(t\) in seconds.
A dimensional check asks whether every term represents a length.
A graphical check asks whether the trajectory:
- starts near \(h=5\),
- rises initially,
- reaches a maximum,
- eventually returns toward ground level.
Together, the checks test both the quantity structure and the visible behavior of the model.
Worked Examples
Example 1: Dimensional Error
Proposed formula:
\[ d=v+t. \]Dimensions:
\[ [d]=L, \] \[ [v]=\frac LT, \] \[ [t]=T. \]Since speed and time cannot be added as like quantities, the formula fails the dimensional check.
Example 2: Area Units
A rectangle measures \(6\text{ m}\) by \(4\text{ m}\).
\[ A=(6\text{ m})(4\text{ m}) = 24\text{ m}^2. \]If the answer were written as \(24\text{ m}\), the units would expose the mistake.
Example 3: Conversion Direction
Convert \(3\text{ h}\) to minutes:
\[ 3\text{ h} \left( \frac{60\text{ min}}{1\text{ h}} \right) = 180\text{ min}. \]The hours cancel, leaving the desired unit.
Example 4: Root Check
Solve:
\[ x^2-4=0. \]Algebra gives:
\[ x=\pm2. \]The graph of:
\[ y=x^2-4 \]should cross the \(x\)-axis at:
\[ \boxed{x=-2,\ 2}. \]Example 5: System Check
Solve:
\[ y=x+1, \] \[ y=5-x. \]Algebra gives:
\[ x=2, \qquad y=3. \]The graphs should intersect at:
\[ \boxed{(2,3)}. \]Example 6: Symmetry Check
For:
\[ f(x)=x^2+1, \]we have:
\[ f(-x)=(-x)^2+1=x^2+1=f(x). \]So the graph should be symmetric about the \(y\)-axis.
Common Errors
1. Checking Only Numerical Values
A plausible number may carry impossible units.
2. Treating Unit Labels as Decoration
Units participate in multiplication, division, powers, and conversion.
3. Assuming Dimensional Consistency Proves a Formula
It only shows that the quantity types are compatible.
4. Trusting a Graph beyond Its Resolution
Graphs are often approximate representations.
5. Using an Inappropriate Graphing Window
Roots, asymptotes, or intersections may lie outside the displayed region.
6. Ignoring Scale
A graph with compressed axes can make very different behaviors look similar.
7. Forgetting Domain Restrictions
A graph can help reveal domain boundaries, but the symbolic restrictions still matter.
Practice
Dimensional Check
Is the relation
\[ d=vt \]dimensionally consistent if \(d\) is distance, \(v\) is speed, and \(t\) is time?
Check Answer
Yes:
\[ \frac LT\cdot T=L. \]Unit Check
What units result from:
\[ (8\text{ m})(3\text{ m})? \]Check Answer
\[ \boxed{24\text{ m}^2}. \]Graphical Root Check
If \(f(2)=0\), where should the graph of \(y=f(x)\) meet the \(x\)-axis?
Check Answer
\[ \boxed{(2,0)}. \]System Check
If two equations have solution \((4,-1)\), what should their graphs do?
Check Answer
They should intersect at:
\[ \boxed{(4,-1)}. \]Limits of Dimensional Analysis
Does dimensional consistency alone prove that
\[ d=100vt \]is the correct distance formula?
Check Answer
No. It is dimensionally consistent, but the numerical factor \(100\) still requires independent justification.
The Deeper Idea
Different representations preserve different kinds of structure.
Units and dimensions preserve the type of quantity:
\[ L,\quad T,\quad \frac LT,\quad L^2,\ldots \]Graphs preserve visible relationships such as:
- where values are zero,
- where two relationships agree,
- how a quantity changes,
- what symmetries are present.
Verification becomes stronger when we move the same result through more than one representation:
\[ \boxed{ \text{symbolic result} \to \text{dimensional check} \to \text{graphical check} \to \text{greater confidence} } \]The point is not that every problem needs every check. The point is to choose a check that is structurally different enough to catch the kinds of mistakes the original method might miss.
Summary
- A dimensional check compares the quantity types on both sides of a relationship.
- Units are specific measurement standards; dimensions describe kinds of quantities.
- Dimensionally homogeneous equations compare or combine compatible dimensions.
- Derived units follow from the operations that define a quantity.
- Unit conversion factors should cancel unwanted units and leave the desired ones.
- Some quantities are dimensionless because like dimensions cancel.
- A graphical check compares symbolic or numerical results with visible behavior.
- Roots appear where a graph meets the \(x\)-axis.
- Solutions to systems appear as intersections.
- Graphs can check signs, trends, symmetry, domain, range, and scale.
- Graphs are especially useful for checking approximate solutions.
- Dimensional consistency does not by itself prove that a formula is correct.
- A graph is limited by scale, window choice, and resolution.
- Using dimensional and graphical checks together can test different aspects of the same solution.
A number is not enough. Ask whether the units fit the quantity, whether the dimensions balance, and whether the graph behaves the way the solution says it should. These structural checks often catch mistakes that arithmetic alone cannot see.
Problem Solving and Verification
- Previous: Boundary Tests, Special Cases, and Counterexamples
- Problem Solving and Verification — return to the lesson directory.