Algebraic proof
A formula for prime numbers
What is a prime number? Any number that has exactly two factors
Write down the first 12 prime numbers. 2 3 5 7 11 13 17 19 23
27 29 31
Here is a formula for the prime numbers, where n is a whole number (1,2,3 ….) and P is a prime number
P = 6n - 1 and P = 6n + 1
So, when n = 1 P = 5 and 7 5 and 7 are both prime numbers
Check if the formula works when
n=2 P = 11 and 13 11 & 13 are both prime
n=3 P = 17 and 19 17 & 19 are both prime
n=4 P = 23 and 25 25 is not prime
n=5 P = 29 and 31 29 & 31 are both prime
Did you get a prime number every time? No
If you found one value of n that doesn’t give you a prime number, then the formula doesn’t work.
Often, it is easier to prove a formula isn’t true than to prove that it is true.
Here is another formula for prime numbers:
P = n2 +n + 41
Choose some values for n. Does it always work? How do you know?
(to help you, the first 75 prime numbers are written on the last page)
The last page shows results for n = 1 to 60
The first value of n which does not yield a prime number is 40 which gives 1681 (41 x 41)
It’s unlikely that students will discover a value that doesn’t work, so this is a good opportunity for students to
see that lots of examples that work is not evidence that it is always right.
If it is practical, this is also a good opportunity for students to use a spreadsheet to generate the repetitive
calculations (they will of course need a longer list of prime numbers to compare with).
HS 26/10/20
1 of 6 Version 1.1
To prove a rule algebraically, you have to be able to prove it works every time, for every value of n.
One example where it does not work is enough to say rule isn’t true
Lots of examples where the rule does work is not enough to prove the rule is true
You need a way to show that the rule works for every possible value of n
Lots of people have tried to find a formula for prime numbers. Some of these formulae look really
complicated and seem to work for a lot of values of n, but so far no-one has found one that works for
every value of n. So, if you have nothing to do next weekend…. (but don’t waste too much time on it!)
2 of 6
In GCSE maths you may be asked to prove something a bit simpler, like this:
Prove that the difference between the squares of two consecutive odd numbers is always a multiple
of 8
You could try it out: You can try whatever
52 - 32 = 25 - 9 = 16 = 2x8 consecutive numbers you
like. It worked for the two
172 – 152 = 289 – 225 =64 = 8x8 examples here, but this
does not prove it.
Even though examples don’t prove a
rule, they can help us to understand
what the rule is saying.
Once you understand it, follow the rule using algebra.
Your solution should look something like this:
Let n be an integer (a whole number)
Then 2n would be an even number and (2n+1) would be an odd number
Consecutive odd numbers increase by 2 so (2n+3) would be the next odd number after (2n+1)
(2n+3)2 – (2n+1)2 = (2n+3)(2n+3) – (2n+1)(2n+1)
= 4n2 + 12n + 9 – (4n2 + 4n +1)
Take care, it’s
= 4n2 +12n + 9 – 4n2 – 4n – 1 easy to make
mistakes with
= 8n + 8 – signs or when
multiplying out
= 8(n+1) which is a multiple of 8 as required brackets
3 of 6
Try this one:
Prove that the sum of the squares of two consecutive even numbers is always a multiple of 4
Do you understand what the
rule is saying?
Start by using some numbers to
You need to know what these
check if the rule works
words mean?
Any suitable example
Sum
E.g. 42 + 62 = 16 + 36 = 52 = 4x13
Square
Consecutive
Multiple
Let n be a whole number
How would you write an even number? 2n
How would you write the next even number? 2n + 2
Now square the two even numbers and add them together (be careful with brackets)
(2n)2 + (2n+2)2
Simplify your expression
(2n)2 + (2n+2)2 = 4n2 + (4n2 + 8n + 4)
= 8n2 + 8n + 4
Now write your expression as two factors (one of the factors must be 4)
= 4(2n2 + 4n +1) which is a multiple of 4 as required
Try this one by yourself:
The mean of three consecutive numbers is always the middle number
Try – (accept any suitable example) 3, 4, 5 mean = (3 + 4 + 5) ÷ 3 = 12 ÷ 3 = 4
Let n be an integer
The three consecutive numbers are n, (n + 1) & (n + 2) (other sets are possible)
Mean = (n + n + 1 + n + 2) ÷ 3 = (3n + 3) ÷ 3 = n + 1 this is the middle number as required
4 of 6
Now try this one:
The product of two consecutive odd numbers is always an odd number
Example: 3 x 5 = 35
Let n be an integer
Then (2n + 1) is an odd number
(2n + 1) and (2n + 3) are consecutive odd numbers
(2n + 1) x (2n + 3) = (2n + 1)(2n + 3)
= 2n2 + 8n + 3
= 2(n2 + 4n + 1) + 1 which is an odd number as required
Here is a nice little number trick (It may be helpful on your non-calculator paper)
To square a number that ends .5 follow these steps:
1. Multiply the whole number part by the next whole number
2. Write this down
3. Now put .25 at the end of your number
Example Try the trick yourself Try one of your own
Work out 3.52 Work out 6.52 Work out ___.52
3 x 4 = 12 6 x 7 = 42
So 12.25 is the answer So 42.25 is the answer
Check these answers on a calculator
Were they all right? Yes
Why does this work? We can answer this question with a proof:
Let n be a whole number
Then n.52 is correctly written as (n + 0.5)2
(n + 0.5)2 = (n + 0.5)(n + 0.5) = n2 + n + 0.25 = n(n+1) + 0.25 as required
5 of 6
Prime numbers
2 3 5 7 11 13 17 19 23 29 31 37 41 43 47
53 59 61 67 71 73 79 83 89 97 101 103 107 109 113
127 131 137 139 149 151 157 163 167 173 179 181 191 193 197
199 211 223 227 229 233 239 241 251 257 263 268 271 277 281
283 293 307 311 313 317 331 337 347 349 353 359 367 373 379
n n^2 + n + 41 Prime
n n^2 + n + 41 Prime
30 971 ✓
1 43 ✓
31 1033 ✓
2 47 ✓
32 1097 ✓
3 53 ✓
33 1163 ✓
4 61 ✓
34 1231 ✓
5 71 ✓
35 1301 ✓
6 83 ✓
36 1373 ✓
7 97 ✓
37 1447 ✓
8 113 ✓
38 1523 ✓
9 131 ✓
39 1601 ✓
10 151 ✓
40 1681 1681 = 41x41
11 173 ✓
41 1763 1763 = 41x43
12 197 ✓
42 1847 ✓
13 223 ✓
43 1933 ✓
14 251 ✓
44 2021 2021 = 43x47
15 281 ✓
45 2111 ✓
16 313 ✓
46 2203 ✓
17 347 ✓
47 2297 ✓
18 383 ✓
48 2393 ✓
19 421 ✓
49 2491 2491=47x53
20 461 ✓
50 2591 ✓
21 503 ✓
51 2693 ✓
22 547 ✓
52 2797 ✓
23 593 ✓
53 2903 2903=23x91
24 641 ✓
54 3011 ✓
25 691 ✓
55 3121 ✓
26 743 ✓
56 3233 3233=53x61
27 797 ✓
57 3347 ✓
28 853 ✓
58 3463 ✓
29 911 ✓
59 3581 ✓
30 971 ✓
60 3701 ü
30 971 ü
31 1033 ü
32 1097 ü
33 1163 ü
634
of 6 1231 ü
35 1301 ü
36 1373 ü
