Date | May 2014 | Marks available | 6 | Reference code | 14M.3dm.hl.TZ0.2 |
Level | HL only | Paper | Paper 3 Discrete mathematics | Time zone | TZ0 |
Command term | Find and Show that | Question number | 2 | Adapted from | N/A |
Question
Consider the integers a=871 and b=1157, given in base 10.
(i) Express a and b in base 13.
(ii) Hence show that gcd(a, b)=13.
A list L contains n+1 distinct positive integers. Prove that at least two members of Lleave the same remainder on division by n.
Consider the simultaneous equations
4x+y+5z=a
2x+z=b
3x+2y+4z=c
where x, y, z∈Z.
(i) Show that 7 divides 2a+b−c.
(ii) Given that a = 3, b = 0 and c = −1, find the solution to the system of equations modulo 2.
Consider the set P of numbers of the form n2−n+41, n∈N.
(i) Prove that all elements of P are odd.
(ii) List the first six elements of P for n = 0, 1, 2, 3, 4, 5.
(iii) Show that not all elements of P are prime.
Markscheme
(i) METHOD 1
using a relevant list of powers of 13: (1), 13, 169, (2197) M1
871=5×132+2×13 A1
871=52013 A1
1157=6×132+11×13 A1
1157=6B013 A1
METHOD 2
attempted repeated division by 13 M1
871÷13=67; 67÷13=5rem2 A1
871=52013 A1
1157÷13=89; 89÷13=6rem11 A1
1157=6B013 A1
Note: Allow (11) for B only if brackets or equivalent are present.
(ii) 871=13×67; 1157=13×89 (M1)
67 and 89 are primes (base 10) or they are co-prime A1
So gcd(871, 1157)=13 AG
Note: Must be done by hence not Euclid’s algorithm on 871 and 1157.
[7 marks]
let K be the set of possible remainders on division by n (M1)
then K={0, 1, 2, …n−1} has n members A1
because n<n+1 (=n(L)) A1
by the pigeon-hole principle (appearing anywhere and not necessarily mentioned by name as long as is explained) R1
at least two members of L correspond to one member of K AG
[4 marks]
(i) form the appropriate linear combination of the equations: (M1)
2a+b−c=7x+7z A1
=7(x+z) R1
so 7 divides 2a+b−c AG
(ii) modulo 2, the equations become M1
y+z=1
z=0 A1
x=1
solution: (1, 1, 0) A1
Note: Award full mark to use of GDC (or done manually) to solve the system giving x=−1, y=−3, z=2 and then converting mod 2.
[6 marks]
(i) separate consideration of even and odd n M1
even2−even+odd is odd A1
odd2−odd+odd is odd A1
all elements of P are odd AG
Note: Allow other methods eg, n2−n=n(n−1) which must be even.
(ii) the list is [41, 41, 43, 47, 53, 61] A1
(iii) 412−41+41=412 divisible by 41 A1
but is not a prime R1
the statement is disproved (by counterexample) AG
[6 marks]