← Daruma Education

How Well Do You Know This 'x'?

How to use this page
  • Read First: I would advise reading this page and thinking about the contents, then summarising what you find significant or new in your own concise conclusions.
  • Topic: This page is about being mathematically rigorous, which means being careful with the assumptions we make, and clear with the logic we use to make each step.
How to support this course

I plan to finish writing up the whole course as a free online revision textbook. If you'd like to help, you can:

We’re used to working with xx and not worrying too much about what it can be; we just think of it as “some number”. But at a higher level, like A-Level exam questions or university style proofs, we clarify which values of xx are allowed for our equation.

Why are there letters in my numbers anyway…

A quick recap of vocabulary. So we’re all on the same page.

Definition(s): Algebra is maths where letters stand in for numbers, but follow the same rules as numbers. A term is a single number, a single letter, or numbers and letters multiplied together, e.g. 77, xx, 3x23x^2 or −5xy-5xy. The number at the front is the coefficient, so the coefficient of 3x23x^2 is 33.

Terms added or subtracted together make an expression, such as 3x2−5x+73x^2 - 5x + 7. Two expressions joined by an equals sign make an equation, such as 3x2−5x+7=93x^2 - 5x + 7 = 9.

Why do we need Letters?

A letter can represent many numbers at once (infinitely many if we want), allowing mathematicians to prove statements for many numbers, or work with relationships between sets of numbers.

Are the letters different?

The letters always act the same, be they English, a,b,c,x,y,za,b,c, x,y,z or ancient Greek α,β,γ,λ,μ,θ\alpha, \beta, \gamma,\lambda, \mu, \theta. What changes their behaviour is the constraints we place on them.

They can represent: unknowns which are values we’re searching for, variables that represent a value which can change and vary, or a constant which we know is a fixed value.

You’ll see some letters reused in certain roles: xx and yy for variables, aa, bb, cc and kk for constants, nn for whole numbers, tt for time and θ\theta (theta) for angles. Or a special guy like π\pi.

Well what can x be?

Our algebraic term, say xx, represents any number from a set of allowed values. Now we start worrying about exactly which allowed set that is.

Mathematicians historically grouped numbers into sets, and each set was invented because the one before it couldn’t answer a question.

The natural numbers, N\mathbb{N}, are the counting numbers 1,2,3,…1, 2, 3, \dots They’re perfect for counting sheep. But 3−53 - 5 has no answer in N\mathbb{N}.

Note: Some books include 00 in N\mathbb{N}. In the Edexcel specification, and for us, N\mathbb{N} starts at 11, which makes sense to me as zero took so much longer to be discovered.

The integers, Z\mathbb{Z}, are the whole numbers, including zero and the negatives, …,−2,−1,0,1,2,…\dots, -2, -1, 0, 1, 2, \dots Now any subtraction works. But 1÷31 \div 3 has no answer in Z\mathbb{Z}.

The rationals, Q\mathbb{Q}, are every number that can be written as a fraction ab\dfrac{a}{b}, where a,b∈Za, b \in \mathbb{Z} and b≠0b \neq 0. Now most division works. But a square with area 22 has side length 2\sqrt{2}, and it can be proved that 2\sqrt{2} can’t be written as a fraction.

The reals, R\mathbb{R}, are every point on the number line, including numbers like 2\sqrt{2} and π\pi whose decimals never end or repeat. These are called irrational numbers.

Conclusion: You want to get comfortable with what statements like x∈Rx \in \mathbb{R} or n∈Nn \in \mathbb{N} mean.

How do these sets relate to each other?

Each set contains the one before it. We write this with ⊂\subset, meaning “is a proper subset of”: inside it, but not the whole of it.

N⊂Z⊂Q⊂R\mathbb{N} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R}

Personal Note: This relates to one of my favourite mathematical concepts: whether infinite sets can have different sizes. It’s summarised in a nice thought experiment you can look up: Hilbert’s Hotel, and what happens when the real numbers check in (Cantor’s diagonal argument).

What do these sets look like in practice?

Every point on a graph is a pair of numbers (x,y)(x, y). Suppose we plot y=2xy = 2x, but only allow x∈Zx \in \mathbb{Z}. We get the points (−1,−2)(-1, -2), (0,0)(0, 0), (1,2)(1, 2), (2,4)(2, 4), and so on: a row of separate dots with gaps between them. Allow x∈Qx \in \mathbb{Q} and the gaps fill with more and more dots. Only with x∈Rx \in \mathbb{R} do the gaps disappear completely, leaving the solid line you’re used to drawing.

Three number lines: the natural numbers are separate dots at 1, 2, 3 and beyond, the integers are separate dots in both directions, and the real numbers are a solid line. Below, two graphs of y = 2x: for integer x a row of separate dots, for real x a solid line.

So every unbroken line you’ve ever drawn quietly assumed x∈Rx \in \mathbb{R}.

Then what can’t x be?

Dividing by Zero

The most important exception for you is dividing by zero.

Division by zero is undefined. Why?

Division undoes multiplication. So 8÷2=48 \div 2 = 4 because 4×2=84 \times 2 = 8. But every number multiplied by zero is also zero. So that means:

It kind of feels like you define 1÷0=∞1 \div 0 = \infty as you can take infinitely many zeros out of any number. But that leads to insane results and breaks algebra:

That is one of several reasons that mathematicians leave dividing by zero as undefined. The fact it doesn’t have a one-to-one mapping just makes it a wild ingredient to add in.

Conclusion: What you need to know: whenever xx appears on the bottom of a fraction, it can’t take any value that makes the bottom zero.

Square Roots of Negatives

First, the symbol x\sqrt{\phantom{x}} always means the non-negative root, so 9=3\sqrt{9} = 3, not −3-3. This is also called the principal root.

When we solve something like x2=9x^2 = 9, we write x=±9=±3x = \pm\sqrt{9} = \pm 3. The ±\pm is there because x\sqrt{\phantom{x}} on its own only gives the positive root, but there are two solutions that square to solve the equation.

Now, from this logic, we know that no real number squares to give a negative, because a positive or a negative squared is positive and 02=00^2 = 0. So −9\sqrt{-9} has no answer in the real numbers.

Note: Mathematicians invented a number to deal with this: ii where i2=−1i^2 = -1, giving another number set, complex numbers. They aren’t in A-Level Maths.

Conclusion: You will see the phrase “has no real solutions”. This is what that means. There are no real numbers that solve that equation.

When the Answer Doesn’t Fit Reality

Sometimes the limits on xx come from the context rather than the maths. A length or an area must be positive, time usually starts at t=0t = 0, and you can’t have 2.52.5 people.

Key Example: A rectangle has sides xx cm and (x+3)(x + 3) cm, and an area of 4040 cm². Find xx.

x(x+3)=40x2+3x−40=0(x+8)(x−5)=0x=−8orx=5\begin{aligned} x(x + 3) &= 40 \\ x^2 + 3x - 40 &= 0 \\ (x + 8)(x - 5) &= 0 \\ x = -8 \quad &\text{or} \quad x = 5 \end{aligned}

Both solve the equation, but a length must be positive, so the only solution we count is x=5x = 5.

Conclusion: You may need to disallow or throw away solutions to fit the context of a question.

What do you need to be aware of?

You’ll be expected to be more “Rigorous”

Mathematicians call this being more rigorous: making every assumption visible, so nothing is quietly taken for granted.

It matters because the same statement can be true or false depending on which set xx belongs to. Take ”2x2x is an even number”. For x∈Zx \in \mathbb{Z}, it’s always true. For x∈Rx \in \mathbb{R}, it’s false: x=0.5x = 0.5 gives 2x=12x = 1.

Conclusion: A statement or equation containing an algebraic term is only complete once we know which values that term can take.

Make sure you can read and write the conditions

The constraints and conditions are what changes the behaviour of an algebraic term:

We can also describe a whole set of values with set-builder notation: {x:x≠2}\{x : x \neq 2\} reads “the set of all xx such that xx is not 22”.

Look at the Proof for “1 = 2”

This proof is often wheeled out to show students how not being rigorous can lead to ridiculous results.

Key Example: Watch closely. Let aa and bb be equal, non-zero numbers, so a=ba = b:

a2=abmultiply both sides by aa2−b2=ab−b2take away b2(a+b)(a−b)=b(a−b)factorise both sidesa+b=bdivide both sides by (a−b)2b=bsince a=b2=1divide both sides by b\begin{aligned} a^2 &= ab && \text{multiply both sides by } a \\ a^2 - b^2 &= ab - b^2 && \text{take away } b^2 \\ (a + b)(a - b) &= b(a - b) && \text{factorise both sides} \\ a + b &= b && \text{divide both sides by } (a - b) \\ 2b &= b && \text{since } a = b \\ 2 &= 1 && \text{divide both sides by } b \end{aligned}

So 1=21 = 2? Wow, that’s wild…

Oh wait, we did something illegal. The culprit is the fourth line: since a=ba = b, we have a−b=0a - b = 0, so we divided by zero. Every line before it was true. Every line after it is nonsense.

For A-Level, you need to be able to read these conditions and recognise the number sets. You need to learn to recognise all this new notation and over time you’ll know how to apply it yourself.