Loading [MathJax]/jax/output/CommonHTML/fonts/TeX/fontdata.js

User interface language: English | Español

Date November 2017 Marks available 7 Reference code 17N.3dm.hl.TZ0.4
Level HL only Paper Paper 3 Discrete mathematics Time zone TZ0
Command term Hence or otherwise and Find Question number 4 Adapted from N/A

Question

Consider the system of linear congruences

x2(mod

With reference to the integers 5, 8 and 3, state why the Chinese remainder theorem guarantees a unique solution modulo 120 to this system of linear congruences.

[2]
a.

Hence or otherwise, find the general solution to the above system of linear congruences.

[7]
b.

Markscheme

5, 8 and 3 are pairwise relatively prime (or equivalent)     R1

120 is the product of 5, 8 and 3     R1

[2 marks]

a.

METHOD 1

x = 2 + 5t,{\text{ }}t \in \mathbb{Z} and 2 + 5t \equiv 5(\bmod 8)     M1

5t \equiv 3(\bmod 8) \Rightarrow 5t \equiv 35(\bmod 8)     (M1)

t = 7 + 8u,{\text{ }}u \in \mathbb{Z}     (A1)

x = 2 + 5(7 + 8u) \Rightarrow x = 37 + 40u     (A1)

37 + 40u \equiv 1(\bmod 3) \Rightarrow u \equiv 0(\bmod 3)     (A1)

u = 3v,{\text{ }}v \in \mathbb{Z}     (A1)

x = 37 + 40(3v)

x = 37 + 120v{\text{ }}\left( {x \equiv 37(\bmod 120)} \right)     A1

 

METHOD 2

attempting systematic listing of possibilities     M1

solutions to x \equiv 2(\bmod 5) are x = 2,{\text{ }}7,{\text{ }}12,{\text{ }} \ldots ,{\text{ }}37,{\text{ }} \ldots     (A1)

solutions to x \equiv 5(\bmod 8) are x = 5,{\text{ }}13,{\text{ }}21,{\text{ }} \ldots ,{\text{ }}37,{\text{ }} \ldots     (A1)

solutions to x \equiv 1(\bmod 3) are x = 1,{\text{ }}4,{\text{ }}7,{\text{ }} \ldots ,{\text{ }}37,{\text{ }} \ldots     (A1)

a solution is x = 37     (A1)

using the Chinese remainder theorem     (M1)

x = 37 + 120v{\text{ }}\left( {x \equiv 37(\bmod 120)} \right)     A1

 

METHOD 3

attempting to find {M_i},{\text{ }}i = 1,{\text{ }}2,{\text{ 3}}

{M_1} = 8 \times 3 = 24,{\text{ }}{M_2} = 5 \times 3 = 15 and {M_3} = 5 \times 8 = 40     M1

using {M_i}{x_i} \equiv 1(\bmod {m_i}),{\text{ }}i = 1,{\text{ }}2,{\text{ }}3 to obtain

24{x_1} \equiv 1(\bmod 5),{\text{ }}15{x_2} \equiv 1(\bmod 8) and 40{x_3} \equiv 1(\bmod 3)     M1

{x_1} \equiv 4(\bmod 5),{\text{ }}{x_2} \equiv 7(\bmod 8) and {x_3} \equiv 1(\bmod 3)     (A1)(A1)(A1)

use of x \equiv {a_1}{x_1}{M_1} + {a_2}{x_2}{M_2} + {a_3}{x_3}{M_3}(\bmod M) gives

x = (2 \times 4 \times 24 + 5 \times 7 \times 15 + 1 \times 1 \times 40)(\bmod 120)     (M1)

x \equiv 757(\bmod 120){\text{ }}\left( { \equiv 37(\bmod 120)} \right){\text{ }}(x = 37 + 120v,{\text{ }}v \in \mathbb{Z})     A1

 

[7 marks]

b.

Examiners report

[N/A]
a.
[N/A]
b.

Syllabus sections

Topic 10 - Option: Discrete mathematics » 10.4 » Modular arithmetic.
Show 23 related questions

View options