AL2 - Surds and exact values

AL2 - Surds and exact values

Every decimal your calculator gives for 2\sqrt2 is rounded, because the true decimal never ends and never repeats. This lesson shows you how to keep square roots exact: simplify them, collect them, expand brackets that contain them and clear them from the bottom of a fraction. OCR's "exact", "Determine" and "detailed reasoning" questions reward exactly these skills, and you will use them in almost every later topic, from circles to calculus.

Surds and exact values

A surd is a square root that cannot be written as a fraction, and leaving it as a root is the only way to write its value exactly.

Start with a puzzle. The golden ratio, which Euclid described in his Elements around 300 BC, is φ=1+52\varphi=\frac{1+\sqrt5}{2}. Your calculator gives φ=1.6180339887…\varphi=1.6180339887\ldots. Now press the reciprocal key: 1φ=0.6180339887…\frac1\varphi=0.6180339887\ldots. The digits after the decimal point are identical. Is that a lucky coincidence, or must it happen? By the end of this lesson you will prove the answer in a few lines, without a calculator.

First, a concrete case. Remember from GCSE that a\sqrt a means the positive square root of aa, so a×a=a\sqrt a\times\sqrt a=a. Type 2\sqrt2 into your calculator and it shows 1.4142135621.414213562. Square that decimal and you get 1.999999998944…1.999999998944\ldots, not 2. The calculator has rounded, and no decimal, however long, squares to exactly 2. The symbol 2\sqrt2 is the only exact way to write this number.

Surd

A surd is a square root of a rational number that is itself irrational: it cannot be written as a fraction pq\frac pq of whole numbers. For example, 2\sqrt2, 12\sqrt{12} and 35\sqrt{\frac35} are surds. Not an example: 16=4\sqrt{16}=4 and 925=35\sqrt{\frac{9}{25}}=\frac35 are rational, so they are not surds.

An expression built from surds, such as 353\sqrt5 or 2+32+\sqrt3, is said to be in surd form. When a question asks for an exact answer, this is the form it expects.

Exact value

An exact answer is one where numbers are not given in rounded form. It often contains an irrational number such as 3\sqrt3 or π\pi, left in that form. For example, the exact solution of 3x=23x=2 is x=23x=\frac23 (or 0.6˙0.\dot6). Not an example: x=0.67x=0.67, which is rounded.

Surds have a simple picture. By Pythagoras, the diagonal of a 1 by 1 square is 12+12=2\sqrt{1^2+1^2}=\sqrt2, and the diagonal of a 2 by 2 square is 22+22=8\sqrt{2^2+2^2}=\sqrt8. Now look at the grid: the long diagonal is made of two short diagonals placed end to end, so 8=22\sqrt8=2\sqrt2. In the same way, the diagonal of a 3 by 3 square gives 18=32\sqrt{18}=3\sqrt2.

[DIAGRAM: asset_name: Square diagonals as copies of root 2; asset_slug: surd-diagonals; caption: The diagonals of 1 by 1, 2 by 2 and 3 by 3 squares are 1, 2 and 3 copies of root 2; description: Three squares on a unit grid with sides 1, 2 and 3. Each diagonal is drawn in blue and split at the grid points into unit-square diagonals, each of length root 2. Labels show that 1 squared plus 1 squared is 2 so the diagonal is root 2, 2 squared plus 2 squared is 8 so the diagonal is root 8 which equals 2 root 2, and 3 squared plus 3 squared is 18 so the diagonal is root 18 which equals 3 root 2]
The diagonals of 1 by 1, 2 by 2 and 3 by 3 squares are 1, 2 and 3 copies of root 2

Put the 2 by 2 and 3 by 3 diagonals end to end and you have 2+3=52+3=5 copies of 2\sqrt2, so 8+18=52≈7.07\sqrt8+\sqrt{18}=5\sqrt2\approx7.07. That is not 8+18=26≈5.10\sqrt{8+18}=\sqrt{26}\approx5.10. Roots of a sum behave very differently from sums of roots.

Watch out

Wrong: 9+16=9+16=7\sqrt{9+16}=\sqrt9+\sqrt{16}=7. A square root does not split over a plus sign, because (a+b)2=a+b+2ab(\sqrt a+\sqrt b)^2=a+b+2\sqrt{ab}, which is more than a+ba+b. Right: 9+16=25=5\sqrt{9+16}=\sqrt{25}=5.

Multiplication is different, and the reason is short. For a≥0a\ge0 and b≥0b\ge0, the numbers a×b\sqrt a\times\sqrt b and ab\sqrt{ab} are both non-negative, and they have the same square: (a×b)2=(a)2×(b)2=ab(\sqrt a\times\sqrt b)^2=(\sqrt a)^2\times(\sqrt b)^2=ab. Two non-negative numbers with the same square are equal, so a×b=ab\sqrt a\times\sqrt b=\sqrt{ab}. That is why 8=4×2=22\sqrt8=\sqrt4\times\sqrt2=2\sqrt2, exactly as the picture shows. The same argument works for division.

Multiplying and dividing square roots

a×b=abab=ab\sqrt{a}\times\sqrt{b}=\sqrt{ab} \qquad\qquad \frac{\sqrt a}{\sqrt b}=\sqrt{\frac ab}

These hold for a≥0a\ge0 and b≥0b\ge0, with b>0b>0 for the quotient.
Not on the formulae sheet: learn it.

You will use this rule all the way through the lesson: to split a surd into a whole number times a smaller surd, and to multiply surds together. It never applies to a sum.

Key idea

A surd is an exact number: keep it as a root, and break it up with ab=a×b\sqrt{ab}=\sqrt a\times\sqrt b, never by splitting a sum under the root.

Now test the rule on a student's working.

Simplifying and collecting surds

A surd is in its simplest form when the number under the root has no square factor except 1, and only then can you see which surds can be collected.

To simplify n\sqrt n, look for the largest square number that divides nn (the squares are 4,9,16,25,36,49,64,81,100,…4, 9, 16, 25, 36, 49, 64, 81, 100, \ldots). Split it off using ab=a×b\sqrt{ab}=\sqrt a\times\sqrt b, then take its square root. This is the algebra behind the square diagonals in the previous section.

Simplest form of a surd

knk\sqrt n is in simplest form when nn is a whole number with no square factor other than 1. For example, 555\sqrt5 and 262\sqrt6 are in simplest form. Not an example: 2122\sqrt{12}, because 12=4×312=4\times3, so 212=432\sqrt{12}=4\sqrt3.

Once surds are simplified, those with the same number under the root are called like surds. They collect exactly like like terms in algebra, with the surd playing the part of the letter: 43+23=634\sqrt3+2\sqrt3=6\sqrt3, just as 4x+2x=6x4x+2x=6x. Unlike surds, such as 2+3\sqrt2+\sqrt3, cannot be combined into one term.

Worked example 1: simplifying a single surd

Question. Write 72\sqrt{72} in the form knk\sqrt n, where nn is as small as possible.

Plan. Find the largest square factor of 72, split it off, then take its square root.

72=36×236 is the largest square factor=36×2ab=a×b=6236=6\begin{aligned} \sqrt{72} &= \sqrt{36\times2} && \text{36 is the largest square factor} \\ &= \sqrt{36}\times\sqrt2 && \sqrt{ab}=\sqrt a\times\sqrt b \\ &= 6\sqrt2 && \sqrt{36}=6 \end{aligned}

Why 36? The square factors of 72 are 4, 9 and 36. Using 4 gives 2182\sqrt{18}, and 18 still contains the square 9, so you would have to simplify again. Choosing the largest square finishes the job in one step.

Answer. 72=62\sqrt{72}=6\sqrt2

Check. (62)2=36×2=72(6\sqrt2)^2=36\times2=72 ✓\checkmark

The next example adds one new feature: two surds that look unrelated until you simplify them.

Worked example 2: collecting surds that look unlike

Question. Simplify 12+27\sqrt{12}+\sqrt{27}.

Plan. Simplify each surd first; they then become like surds and can be collected.

12=4×3=23largest square factor 427=9×3=33largest square factor 912+27=23+33=53collect like surds\begin{aligned} \sqrt{12} &= \sqrt4\times\sqrt3 = 2\sqrt3 && \text{largest square factor 4} \\ \sqrt{27} &= \sqrt9\times\sqrt3 = 3\sqrt3 && \text{largest square factor 9} \\ \sqrt{12}+\sqrt{27} &= 2\sqrt3+3\sqrt3 = 5\sqrt3 && \text{collect like surds} \end{aligned}

What changed from Worked example 1? There are two surds, and 12 and 27 share no obvious link. Simplifying each one reveals the common 3\sqrt3, and only then can they be added.

Answer. 535\sqrt3

Check. 12+27≈3.464+5.196=8.660\sqrt{12}+\sqrt{27}\approx3.464+5.196=8.660 and 53≈8.6605\sqrt3\approx8.660 ✓\checkmark

The most common slip at this stage comes in the collecting step.

Watch out

Wrong: 23+33=562\sqrt3+3\sqrt3=5\sqrt6. When you collect like surds, the surd itself does not change, just as the xx does not change in 2x+3x=5x2x+3x=5x. Right: 23+33=532\sqrt3+3\sqrt3=5\sqrt3.

When a question names a form such as knk\sqrt n or a+bca+b\sqrt c, finish by checking that the number under each root has no square factor left.

Exam tip

"Simplify" and "in the form knk\sqrt n" mean fully simplified: 3203\sqrt{20} is not finished, but 656\sqrt5 is. Without such an instruction, OCR accepts any correct exact surd form (in June 2024, −3±20-3\pm\sqrt{20} scored as well as −3±25-3\pm2\sqrt5), but simplifying is never wrong.

Now try one like Worked example 2, with three surds and a subtraction.

Expanding brackets with surds

Brackets containing surds expand exactly like algebraic brackets; the one extra fact you need is a×a=a\sqrt a\times\sqrt a=a.

You already know

From GCSE: multiply every term in the first bracket by every term in the second, then collect like terms. In particular, (p+q)2=p2+2pq+q2(p+q)^2=p^2+2pq+q^2, with a middle term 2pq2pq.

To multiply single surds, multiply the numbers outside the roots together and the numbers inside the roots together, then simplify: 23×56=1018=10×32=3022\sqrt3\times5\sqrt6=10\sqrt{18}=10\times3\sqrt2=30\sqrt2. Whenever a surd meets itself it becomes a whole number, so 3×3=3\sqrt3\times\sqrt3=3 and (45)2=16×5=80(4\sqrt5)^2=16\times5=80. That is what makes surd brackets tidy: the squared surd terms drop out as ordinary numbers.

Worked example 3: expanding a product of two brackets

Question. Expand and simplify (2+3)(5−3)(2+\sqrt3)(5-\sqrt3).

Plan. Multiply each term of the first bracket by each term of the second (four products), then collect the whole numbers and the surds.

(2+3)(5−3)=10−23+53−3×3four products=10+33−33×3=3=7+33collect whole numbers\begin{aligned} (2+\sqrt3)(5-\sqrt3) &= 10-2\sqrt3+5\sqrt3-\sqrt3\times\sqrt3 && \text{four products} \\ &= 10+3\sqrt3-3 && \sqrt3\times\sqrt3=3 \\ &= 7+3\sqrt3 && \text{collect whole numbers} \end{aligned}

Why this step? The last product is 3×(−3)\sqrt3\times(-\sqrt3): the minus sign comes from the second bracket and the 3 comes from 3×3\sqrt3\times\sqrt3, so it contributes −3-3.

Answer. 7+337+3\sqrt3

Check. (2+3)(5−3)≈3.732×3.268≈12.196(2+\sqrt3)(5-\sqrt3)\approx3.732\times3.268\approx12.196 and 7+33≈12.1967+3\sqrt3\approx12.196 ✓\checkmark

The next example changes one feature: the surd arrives by substitution, so the work is squaring a bracket.

Worked example 4: substituting a surd into a quadratic

Question. Determine the exact value of x2−4x+7x^2-4x+7 when x=2+3x=2+\sqrt3.

Plan. Find x2x^2 by squaring the bracket, find −4x-4x, then add 7 and collect.

x2=(2+3)2=4+43+3=7+43(p+q)2=p2+2pq+q2−4x=−8−43multiply outx2−4x+7=(7+43)+(−8−43)+7substitute=6the surds cancel\begin{aligned} x^2 &= (2+\sqrt3)^2 = 4+4\sqrt3+3 = 7+4\sqrt3 && (p+q)^2=p^2+2pq+q^2 \\ -4x &= -8-4\sqrt3 && \text{multiply out} \\ x^2-4x+7 &= (7+4\sqrt3)+(-8-4\sqrt3)+7 && \text{substitute} \\ &= 6 && \text{the surds cancel} \end{aligned}

What changed from Worked example 3? The bracket is squared, so the middle term 2×2×3=432\times2\times\sqrt3=4\sqrt3 must appear, and "Determine" means the expansion has to be written down, not just the final number.

Answer. x2−4x+7=6x^2-4x+7=6

Check. From x=2+3x=2+\sqrt3, x−2=3x-2=\sqrt3, so (x−2)2=3(x-2)^2=3. This gives x2−4x+4=3x^2-4x+4=3, so x2−4x=−1x^2-4x=-1 and x2−4x+7=6x^2-4x+7=6 ✓\checkmark

The error examiners see most often here is in squaring the bracket.

Watch out

Wrong: (3+5)2=9+5=14(3+\sqrt5)^2=9+5=14. This squares each term and drops the middle term 2×3×52\times3\times\sqrt5. Right: (3+5)2=9+65+5=14+65(3+\sqrt5)^2=9+6\sqrt5+5=14+6\sqrt5.

OCR is strict about seeing that expansion when the question says "Determine".

Exam tip

"Determine" means the working must be on the page. In June 2025, OCR's scheme for this type of question gave a correct exact value with no working only 1 of the 3 marks.

Now try one like Worked example 4, with a minus sign in the value of xx.

Rationalising the denominator

Rationalising the denominator means rewriting a fraction so that no surd is left on the bottom, without changing its value.

A surd on the bottom is exact but awkward. Compare 12\frac{1}{\sqrt2} with 22\frac{\sqrt2}{2}: they are the same number, but the second is easy to estimate (half of 1.4141.414 is 0.7070.707), easy to combine with other surds, and the form exam answers expect. Before calculators, dividing 1 by 1.4141.414 by hand was slow, while halving 1.4141.414 took a moment.

Rationalising the denominator

Rewriting a fraction as an equal fraction whose denominator is rational. For example, 12=22\frac{1}{\sqrt2}=\frac{\sqrt2}{2}. Not an example: 12=28\frac{1}{\sqrt2}=\frac{2}{\sqrt8} is true, but the denominator is still a surd.

The tool is multiplying the top and bottom of the fraction by the same non-zero number, which is multiplying by 1, so the value never changes. If the denominator is a single surd a\sqrt a, multiply top and bottom by a\sqrt a, because a×a=a\sqrt a\times\sqrt a=a.

If the denominator has two terms, such as 2+32+\sqrt3, multiplying by 3\sqrt3 does not work: (2+3)×3=23+3(2+\sqrt3)\times\sqrt3=2\sqrt3+3 still contains a surd. You need a partner that cancels the surd completely.

Conjugate

The conjugate of a+ba+\sqrt b is a−ba-\sqrt b, and the conjugate of a−ba-\sqrt b is a+ba+\sqrt b: only the sign of the surd term changes. For example, the conjugate of 4−54-\sqrt5 is 4+54+\sqrt5. Not an example: −4+5-4+\sqrt5 is not the conjugate of 4−54-\sqrt5, because the sign of the whole number has changed too.

A two-term surd expression times its conjugate is always rational. It is a difference of two squares, so the two cross terms cancel and the squared surd is a whole number.

Product of conjugates

(a+b)(a−b)=a2−b(a+\sqrt b)(a-\sqrt b)=a^2-b

This holds for b≥0b\ge0. The cross terms −ab-a\sqrt b and +ab+a\sqrt b cancel, and b×b=b\sqrt b\times\sqrt b=b.
Not on the formulae sheet: learn it.

Here is the same fact as a picture, with a=3a=3 and b=2b=2. Remove a 2\sqrt2 by 2\sqrt2 square (area 2) from the corner of a 3 by 3 square (area 9), leaving an L-shape of area 7. Cut off strip B, turn it, and place it at the end of piece A: the pieces now make a rectangle 3+23+\sqrt2 long and 3−23-\sqrt2 high. So (3+2)(3−2)=9−2=7(3+\sqrt2)(3-\sqrt2)=9-2=7, a whole number.

[DIAGRAM: asset_name: A conjugate pair as an area; asset_slug: conjugate-area; caption: Why 3 plus root 2 times 3 minus root 2 equals 9 minus 2, which is 7; description: Left, a 3 by 3 square with a root 2 by root 2 corner square marked for removal, leaving a blue piece A that is 3 wide and 3 minus root 2 high and a green strip B that is 3 minus root 2 wide and root 2 high, so the area left is 9 minus 2, which is 7. A curved arrow shows strip B turned and moved to the end of piece A. Right, the two pieces form a rectangle 3 plus root 2 wide and 3 minus root 2 high, so its area, 3 plus root 2 times 3 minus root 2, is also 7]
Why 3 plus root 2 times 3 minus root 2 equals 9 minus 2, which is 7

Now for the method itself, starting with the simpler case of a single surd on the bottom.

Worked example 5: a single surd in the denominator

Question. Rationalise the denominator of 1525\frac{15}{2\sqrt5}, simplifying your answer fully.

Plan. Multiply the top and bottom by 5\sqrt5, which turns 252\sqrt5 into a whole number, then cancel.

1525=1525×55multiply by 1=1552×55×5=5=352cancel 5\begin{aligned} \frac{15}{2\sqrt5} &= \frac{15}{2\sqrt5}\times\frac{\sqrt5}{\sqrt5} && \text{multiply by 1} \\ &= \frac{15\sqrt5}{2\times5} && \sqrt5\times\sqrt5=5 \\ &= \frac{3\sqrt5}{2} && \text{cancel 5} \end{aligned}

Why 5\sqrt5 and not 252\sqrt5? Either works, but 5\sqrt5 is enough: the 2 is already rational, so only the surd needs clearing, and the numbers stay smaller.

Answer. 352\frac{3\sqrt5}{2}

Check. 1525≈154.472≈3.354\frac{15}{2\sqrt5}\approx\frac{15}{4.472}\approx3.354 and 352≈3.354\frac{3\sqrt5}{2}\approx3.354 ✓\checkmark

The next example changes one feature: the denominator has two terms, so you need the conjugate.

Worked example 6: a two-term denominator

Question. Write 114−5\frac{11}{4-\sqrt5} in the form a+b5a+b\sqrt5.

Plan. Multiply the top and bottom by the conjugate 4+54+\sqrt5, so that the denominator becomes 42−54^2-5.

114−5=11(4+5)(4−5)(4+5)multiply by the conjugate=11(4+5)16−5(a−b)(a+b)=a2−b=11(4+5)1116−5=11=4+5cancel 11\begin{aligned} \frac{11}{4-\sqrt5} &= \frac{11(4+\sqrt5)}{(4-\sqrt5)(4+\sqrt5)} && \text{multiply by the conjugate} \\ &= \frac{11(4+\sqrt5)}{16-5} && (a-\sqrt b)(a+\sqrt b)=a^2-b \\ &= \frac{11(4+\sqrt5)}{11} && 16-5=11 \\ &= 4+\sqrt5 && \text{cancel 11} \end{aligned}

What changed from Worked example 5? Multiplying by 5\sqrt5 alone would give 45−54\sqrt5-5 on the bottom, which still contains a surd. The conjugate is the multiplier that removes it completely.

Answer. 4+54+\sqrt5, so a=4a=4 and b=1b=1.

Check. 114−5≈111.764≈6.236\frac{11}{4-\sqrt5}\approx\frac{11}{1.764}\approx6.236 and 4+5≈6.2364+\sqrt5\approx6.236 ✓\checkmark

Marks are most often lost in the product of the conjugates.

Watch out

Wrong: (5−2)(5+2)=25+2=27(5-\sqrt2)(5+\sqrt2)=25+2=27. OCR's June 2023 examiners' report names 27 as a popular wrong denominator. The surd product is −2×2=−2-\sqrt2\times\sqrt2=-2, so the conjugate product is a difference. Right: (5−2)(5+2)=25−2=23(5-\sqrt2)(5+\sqrt2)=25-2=23.

Now try one like Worked example 6, with a plus sign in the denominator.

Exact answers with detailed reasoning

The hardest surd questions combine all of these skills, and OCR often adds the instruction "In this question you must show detailed reasoning".

That instruction means your solution must be a complete analytical method that a reader can follow from start to finish. You may still use your calculator to check, but a calculator value is not evidence. "Show that" is similar: the answer is given, so all the marks are for the steps that reach it.

To add or subtract two fractions with surd denominators, use the product of the two denominators as the common denominator. When the denominators are conjugates, that product is already rational, so there is nothing left to rationalise.

Problem-solving

Spot conjugate denominators. If two fractions have denominators a+ba+\sqrt b and a−ba-\sqrt b, their product a2−ba^2-b is a rational common denominator, so one step does the combining and the rationalising together.

Here is that idea in a detailed reasoning question.

Worked example 7: subtracting fractions with conjugate denominators

Question. In this question you must show detailed reasoning. Simplify 43+5−13−5\frac{4}{3+\sqrt5}-\frac{1}{3-\sqrt5}.

Plan. Use (3+5)(3−5)(3+\sqrt5)(3-\sqrt5) as the common denominator, expand both numerators, then collect.

43+5−13−5=4(3−5)−(3+5)(3+5)(3−5)common denominator=12−45−3−59−5expand top and bottom=9−554collect like terms\begin{aligned} \frac{4}{3+\sqrt5}-\frac{1}{3-\sqrt5} &= \frac{4(3-\sqrt5)-(3+\sqrt5)}{(3+\sqrt5)(3-\sqrt5)} && \text{common denominator} \\ &= \frac{12-4\sqrt5-3-\sqrt5}{9-5} && \text{expand top and bottom} \\ &= \frac{9-5\sqrt5}{4} && \text{collect like terms} \end{aligned}

Why this common denominator? The denominators are conjugates, so their product is 9−5=49-5=4, a whole number. The answer is finished as soon as the numerator is collected.

Answer. 9−554\frac{9-5\sqrt5}{4}

Check. 43+5−13−5≈0.764−1.309=−0.545\frac{4}{3+\sqrt5}-\frac{1}{3-\sqrt5}\approx0.764-1.309=-0.545 and 9−554≈−0.545\frac{9-5\sqrt5}{4}\approx-0.545 ✓\checkmark

The last example changes one feature: the answer is given, so you must reach it with every step shown.

Worked example 8: a "show that" with the golden ratio

Question. Given that φ=1+52\varphi=\frac{1+\sqrt5}{2}, show that 1φ=φ−1\frac1\varphi=\varphi-1.

Plan. Rationalise 1φ\frac1\varphi, simplify φ−1\varphi-1 separately, and show that the two results are the same.

1φ=1÷1+52=25+11÷pq=qp=2(5−1)(5+1)(5−1)multiply by the conjugate=2(5−1)5−1product of conjugates=5−12cancel 2φ−1=1+52−22=5−12common denominator\begin{aligned} \frac1\varphi &= 1\div\frac{1+\sqrt5}{2} = \frac{2}{\sqrt5+1} && 1\div\tfrac pq=\tfrac qp \\ &= \frac{2(\sqrt5-1)}{(\sqrt5+1)(\sqrt5-1)} && \text{multiply by the conjugate} \\ &= \frac{2(\sqrt5-1)}{5-1} && \text{product of conjugates} \\ &= \frac{\sqrt5-1}{2} && \text{cancel 2} \\ \varphi-1 &= \frac{1+\sqrt5}{2}-\frac22 = \frac{\sqrt5-1}{2} && \text{common denominator} \end{aligned}

What changed from Worked example 7? The target is given, so you work on each side until both reach the same expression, then say so. A calculator check that both sides are about 0.6180.618 earns nothing.

Answer. Both sides equal 5−12\frac{\sqrt5-1}{2}, so 1φ=φ−1\frac1\varphi=\varphi-1.

Check. φ≈1.618\varphi\approx1.618, 11.618≈0.618\frac{1}{1.618}\approx0.618 and 1.618−1=0.6181.618-1=0.618 ✓\checkmark

This settles the puzzle from the start of the lesson. Because 1φ\frac1\varphi is exactly φ−1\varphi-1, the two numbers differ by exactly 1, so they must share every digit after the decimal point. It was never a coincidence: rationalising the denominator proves it.

Watch out

Wrong: 4(3−5)−(3+5)=12−45−3+54(3-\sqrt5)-(3+\sqrt5)=12-4\sqrt5-3+\sqrt5. The minus sign in front of the second fraction applies to both terms of its numerator. Right: 12−45−3−5=9−5512-4\sqrt5-3-\sqrt5=9-5\sqrt5. OCR's June 2023 examiners' report describes sign errors in the numerator in exactly this type of question.

The way you set out a "show that" matters as much as the algebra.

Exam tip

In a "show that", never start from the given answer as if it were already true. Work from one side to the other, or take both sides to the same expression, and finish with a sentence such as "so 1φ=φ−1\frac1\varphi=\varphi-1". On detailed reasoning questions OCR's schemes give no method marks to an answer without working.

Now try one like Worked example 8. The number 1+21+\sqrt2 is sometimes called the silver ratio.

Quick Recap

  • A surd is an exact irrational root. Keep it as a root, not a rounded decimal, whenever an exact answer is needed.
  • Simplify with ab=a×b\sqrt{ab}=\sqrt a\times\sqrt b using the largest square factor, and collect only like surds.
  • Expand surd brackets like algebra: a×a=a\sqrt a\times\sqrt a=a, and a squared bracket has a middle term.
  • Rationalise 1a\frac{1}{\sqrt a} by multiplying top and bottom by a\sqrt a, and 1a+b\frac{1}{a+\sqrt b} by the conjugate a−ba-\sqrt b, because (a+b)(a−b)=a2−b(a+\sqrt b)(a-\sqrt b)=a^2-b.
  • "Exact", "Determine", "Show that" and "detailed reasoning" all mean the steps must be written down.

The opening puzzle: 1φ=5−12=φ−1\frac1\varphi=\frac{\sqrt5-1}{2}=\varphi-1, so φ\varphi and 1φ\frac1\varphi differ by exactly 1 and share every digit after the decimal point.