From counting beams on a bridge to locating an irrational point on a ruler — every number you use in engineering lives inside ℝ. This chapter builds the full taxonomy.
ℕ ⊂ 𝕎 ⊂ ℤ ⊂ ℚ ⊂ ℝ — the nested hierarchy
On a construction site you use all number types without thinking: you order 12 beams (natural), the basement is on floor −2 (integer), the column spacing is 3/4 of a metre (rational), and the diagonal of a 1 m × 1 m tile is √2 m (irrational). Different problems demand different precisions.
Quantum mechanics assigns integer quantum numbers to energy levels — no halves allowed. Classical mechanics uses real-valued position and velocity. Whole-number counting is physically distinct from continuous measurement. The type of number isn't arbitrary — it reflects what nature allows.
The sets nest like Russian dolls:
Every natural number is a whole number, every whole number is an integer, and so on — the arrow flows only outward.
Every number you'll ever use in engineering is a real number — knowing which subset it belongs to tells you exactly what operations and properties are valid.
Click any ring to see which numbers live there. Hover to explore examples.
Enter a number and find out every set it belongs to.
| Number | ℕ | 𝕎 | ℤ | ℚ | ℝ | Verdict |
|---|---|---|---|---|---|---|
| −7 | ✗ | ✗ | ✓ | ✓ | ✓ | Integer |
| 0 | ✗ | ✓ | ✓ | ✓ | ✓ | Whole |
| 3/5 | ✗ | ✗ | ✗ | ✓ | ✓ | Rational |
| √3 | ✗ | ✗ | ✗ | ✗ | ✓ | Irrational |
| 4.5 | ✗ | ✗ | ✗ | ✓ | ✓ | Rational |
Fractions, decimal expansions, and infinite density
Concrete mix ratios (1:2:4 = cement:sand:gravel) are rational relationships. Road gradient of 1-in-20 is 1/20. Steel rebar diameters — 8 mm, 10 mm, 12 mm — are rational fractions of a metre. Every engineering specification is a rational number, because measuring instruments have finite precision.
A physics measurement always comes with a finite number of significant figures, making it rational by definition. The true value may be irrational — but the density property of rationals guarantees that a rational measurement can get arbitrarily close to any real value. This is why rational approximations are sufficient for practical physics.
A rational number is any number of the form \(\dfrac{p}{q}\) where \(p, q \in \mathbb{Z},\ q \neq 0\).
Density: Between any two distinct rationals \(a\) and \(b\), there exists another rational \(\dfrac{a+b}{2}\). This process never ends — there are infinitely many.
A rational number is any measurement you can express as a precise fraction — and between any two of them, you can always squeeze infinitely many more. No gaps, no "next" rational.
Keep clicking "Zoom In" to find infinitely more rationals between any two points. The density never runs out.
Enter two numbers and how many rationals to find between them (Method: multiply-denominator trick).
Rewrite 3 and 4 with denominator 7:
List all fractions with denominator 7 strictly between \(\frac{21}{7}\) and \(\frac{28}{7}\):
Non-terminating, non-repeating — impossible to tame as a fraction
The diagonal of a 1 m × 1 m floor tile is exactly √2 ≈ 1.41421… m — you cannot write that as a perfect fraction. The circumference of a circular column with diameter 1 m is π m. Irrational numbers show up the moment geometry involves diagonals or circles. You cannot avoid them.
The golden ratio φ = (1+√5)/2 governs quasicrystal diffraction patterns. The constant e underpins radioactive decay and RC-circuit discharge. π appears in every wave equation. Irrationals aren't exotic exceptions — they are the natural language of continuous physical phenomena.
A number is irrational if it cannot be written as p/q. Its decimal is non-terminating AND non-repeating.
Quick test: \(\sqrt{n}\) is irrational if and only if \(n\) is not a perfect square.
Irrational numbers are the numbers geometry forces on you — the moment you draw a diagonal or a circle, you leave the world of fractions forever.
Watch the Pythagorean construction that pins √2 to a precise point. Each step is animated.
Enter any positive integer. See whether it's rational (perfect square) or irrational, and get the simplified form a√b.
Assume the opposite: Suppose \(\sqrt{2} = \dfrac{p}{q}\) where \(\gcd(p,q)=1\) (lowest terms).
Square both sides: \(\quad 2 = \dfrac{p^2}{q^2} \;\Rightarrow\; p^2 = 2q^2\).
So \(p^2\) is even. Since odd² = odd, \(p\) is even. Write \(p = 2m\).
Substitute: \((2m)^2 = 2q^2 \;\Rightarrow\; 4m^2 = 2q^2 \;\Rightarrow\; q^2 = 2m^2\). So \(q\) is also even.
Contradiction: Both p and q are even, so gcd(p,q) ≥ 2, contradicting our assumption of lowest terms.
Every point has an address — the line has no gaps
The longitudinal axis of a 5-metre beam is a real number line. Every point along it — whether it carries a support, a load, or nothing at all — has a precise real-number coordinate. Bending moment diagrams, shear force diagrams, deflection curves are all functions plotted on a real-number axis. There are no gaps in a beam.
Temperature, pressure, voltage, velocity — every continuous physical quantity takes values in ℝ. The real number line is the mathematical model of a continuous physical scale. Leaving out the irrationals would leave gaps in physics — you'd have no precise location for the point where the diagonal of a unit square lands.
Every real number corresponds to exactly one point on the number line. Every point corresponds to exactly one real number. The line is complete — no holes, no missing addresses.
The Spiral of Theodorus gives a geometric construction for every \(\sqrt{n}\): the hypotenuse of the \(n\)th right triangle equals \(\sqrt{n+1}\).
ℝ is the complete number line — rationals plus irrationals fill every gap. You can locate any irrational exactly via geometric construction, even if you can't write its decimal expansion.
The hypotenuse of the nth right triangle = √(n+1). Every irrational square root has a precise geometric home.
Enter any positive integer to compute its square root, verify if rational or irrational, and see where it sits on the number line.
Draw a number line. Mark origin O and point A at 1. At A, erect a perpendicular AB of length 1 unit.
Apply Pythagoras on triangle OAB:
Set compass to length OB. With centre O, draw an arc to cut the number line at C.
Simplifying square roots and clearing irrational denominators
A diagonal brace in a truss with equal sides of 3 m has length 3√2 m. Writing it as 4.2426… loses precision and is harder to manipulate algebraically. Leaving it as 3√2 keeps it exact. Rationalization matters when dividing forces, stresses, or moments that contain surds — you want no irrational in a denominator before substituting numbers.
Wave interference amplitudes routinely produce expressions like \(\dfrac{A}{\sqrt{2}}\) (amplitude of each component in equal-amplitude superposition). Rationalization gives \(\dfrac{A\sqrt{2}}{2}\) — cleaner for squaring to get intensity. Rationalized forms propagate through calculations more cleanly than surds in denominators.
To rationalize \(\dfrac{c}{a+\sqrt{b}}\), multiply top and bottom by the conjugate \((a-\sqrt{b})\).
Surds are exact diagonal measurements — rationalization is the algebraic move that removes irrationals from denominators so your answer is in standard form.
Drag the slider to change b. Watch how the conjugate product a²−b stays rational even as √b is irrational.
Rationalize \(\dfrac{c}{a + \sqrt{b}}\) step by step.
Conjugate of \((\sqrt{5}+\sqrt{2})\) is \((\sqrt{5}-\sqrt{2})\). Multiply top and bottom:
Denominator: \((\sqrt{5})^2 - (\sqrt{2})^2 = 5 - 2 = 3\)
Including fractional and negative powers — algebra's fastest shortcuts
Scale a floor plan from 1:100 to reality: linear dimensions multiply by 100¹, areas by 100² = 10,000, volumes by 100³ = 1,000,000. That's the power-of-power law in action. Unit conversions, cross-sectional area formulas (πr²), volume of cylinders (πr²h) — all require fluent exponent manipulation.
Radioactive decay: \(N(t) = N_0 \cdot 2^{-t/T_{1/2}}\). Inverse-square law: \(F = k/r^2 = kr^{-2}\). Signal attenuation: \(P = P_0 \cdot e^{-\alpha x}\). Every exponential in physics traces back to one of these eight laws. Negative and fractional exponents are not abstract — they are reciprocals and roots.
Exponent laws are cheat codes: they convert multiplication chains into a single addition, and extract roots as fractional powers — master all eight and you can simplify any algebraic power expression in one step.
See how quickly different bases grow. Notice how negative exponents shrink toward zero and fractional exponents are roots.
Enter base a and exponents m, n — see all 8 laws applied with numeric results.
Recognise perfect powers: \(125=5^3,\; 64=4^3,\; 32=2^5\)
Apply \(a^{m/n}=(\sqrt[n]{a})^m\):