Home / IBDP Maths AI: Topic : AHL 1.14: Definition of a matrix: IB style Questions HL Paper 2

IBDP Maths AI: Topic : AHL 1.14: Definition of a matrix: IB style Questions HL Paper 2

Question

 A transformation, T, of a plane is represented by \(r’ = Pr + q\), where P is a \(2 \times 2\) matrix, q is a \(2 \times 1\) vector, r is the position vector of a point i the plane and r’ the position vector of its image under T.
The triangle OAB has coordinates (0, 0), \((\frac{1}{4}, 1 + \frac{\sqrt{3}}{4})\) and \((\frac{\sqrt{3}}{4}, \frac{3}{4}\)) respectively.
(a) (i) By considering the image of (0 , 0), find q.
(ii) By considering the image of (1 , 0) and (0 , 1), show that
\(P = \begin{pmatrix}
\frac{\sqrt{3}}{4} & \frac{1}{4}\\
-\frac{1}{4} & \frac{\sqrt{3}}{4}
\end{pmatrix}\)
P can be written as P = RS, where S and R are matrices.
S represents an enlargement with scale factor 0.5, centre (0 , 0).
R represents a rotation about (0 , 0).
(b) Write down the matrix S.
(c) (i) Use P = RS to find the matrix R.
(ii) Hence find the angle and direction of the rotation represented by R.
The transformation T can also be described by an enlargement scale factor \(\frac{1}{2}\) centre (a,b), followed by a rotation about the same centre (a, b)
(d) (i) Write down an equation satisfied by \(\binom{a}{b}\)
(ii) Find the value of a and the value of b.

▶️Answer/Explanation

Ans:

Question

Consider the matrix

       

    1. Show that 3 is the only real value of λ for which A is singular. [4]

    2. Consider the system of equations

      1. Determine the value of μ for which the equations are consistent.

      2. Solve the equations in that case. [6]

    3. Consider the system of equations

      where a is an integer.

      1. Find the inverse of the matrix of coefficients, giving the answer in exact form.

      2. Given that y = x2 , determine the value of a and hence the value of x and of y . [9]

▶️Answer/Explanation

Ans: 

(a)

attempts to find det A

 \(det A = 4 \lambda -1+\lambda (2-\lambda ^{2})- 2(\lambda -8)=(-\lambda ^{3}+4\lambda +15)\)

recognises that A is singular when det A = O

solves to obtain  \(\lambda =3,(-1.5\pm 1.66i)\)  and

demonstrates that the only real root is 3 for which A is singular

(b)

(i)

attempts row reduction

for example, \(R_2-3R_1\)  and \(R_3-2R_1\)

\(\mu -2=1\)

⇒ μ =3

(ii)

attempts to solve by putting z =α ,for example, 

y= \(\frac{7a-1}{5},x = \frac{8-11a}{5}\)

attempts to find the RHS matrix product

y= \(x^{2}\Rightarrow \frac{a+16}{12}=\frac{(-5a- 8)^{2}}{144}\)

\(\Rightarrow 25a^{2}\)+68a-128= 0

a = -4

x= y = 1 

Question

  1. The matrix A is given by

    A = where a , b , c ∈ R. 

    Verify that the inverse matrix of A is given by

    A-1 =              [2]

    1. The set of matrices ,where a , b , c ∈ R.  is denoted by S .

      1. Show that {S , *} is a group, where * denotes matrix multiplication. It may be  assumed that matrix multiplication is associative.

      2. Determine whether {S , *} is Abelian.

      3. Identify any self-inverse elements of {S , *} . [11]

        The set of matrices  where a , b , c ∈ R , is denoted by T .

    2. Giving a reason, state whether {T , *} is a subgroup of {S , *} . [1]

▶️Answer/Explanation

Ans: 

(a)

EITHER

forms AA-1

OR

FROMS A-1 A

THEN

  which proves the result 

(b)

(i)

closure:

which belongs to S , therefore closed

identity:

putting a,b, c  = O , the identity matrix is seen to belong to S

inverse:

it has been shown in (a) that a matrix belonging to S has an inverse in S

associativity:

this follows since matrix multiplication is associative the four group axioms are satisfied therefore {S *} is a group

(ii)

consider both of which belong to S

this is different from the reverse product found above so {S *} is not Abelian

(iii)

EITHER

OR

compares A and A-1

determines from this comparison that a= b= c = o

THEN the only self-inverse element is therefore the identity matrix

(c) yes because the identity, inverse and the product would belong to T

Question

The set of all permutations of the list of the integers \(1,{\text{ }}2,{\text{ }}3{\text{ }} \ldots {\text{ }}n\) is a group, \({S_n}\), under the operation of composition of permutations.

a.Each element of \({S_4}\) can be represented by a \(4 \times 4\) matrix. For example, the cycle \({\text{(1 2 3 4)}}\) is represented by the matrix

\(\left( {\begin{array}{*{20}{c}} 0&1&0&0 \\ 0&0&1&0 \\ 0&0&0&1 \\ 1&0&0&0 \end{array}} \right)\) acting on the column vector \(\left( {\begin{array}{*{20}{c}} 1 \\ 2 \\ 3 \\ 4 \end{array}} \right)\).

(i) Show that the order of \({S_n}\) is \(n!\);

(ii) List the 6 elements of \({S_3}\) in cycle form;

(iii) Show that \({S_3}\) is not Abelian;

(iv) Deduce that \({S_n}\) is not Abelian for \(n \geqslant 3\).[9]

 

b.(i) Write down the matrices M\(_1\), M\(_2\) representing the permutations \((1{\text{ }}2),{\text{ }}(2{\text{ }}3)\), respectively;

(ii) Find M\(_1\)M\(_2\) and state the permutation represented by this matrix;

(iii) Find \(\det (\)M\(_1)\), \(\det (\)M\(_2)\) and deduce the value of \(\det (\)M\(_1\)M\(_2)\).[7]

 

c.(i) Use mathematical induction to prove that

\((1{\text{ }}n)(1{\text{ }}n{\text{ }} – 1)(1{\text{ }}n – 2) \ldots (1{\text{ }}2) = (1{\text{ }}2{\text{ }}3 \ldots n){\text{ }}n \in {\mathbb{Z}^ + },{\text{ }}n > 1\).

(ii) Deduce that every permutation can be written as a product of cycles of length 2.[8]

 
▶️Answer/Explanation

Markscheme

(i) 1 has \(n\) possible new positions; 2 then has \(n – 1\) possible new positions…

\(n\) has only one possible new position R1

the number of possible permutations is \(n \times (n – 1) \times \ldots \times 2 \times 1\) R1

\( = n!\) AG

Note: Give no credit for simply stating that the number of permutations is \(n!\)

(ii) \((1)(2)(3);{\text{ }}(1{\text{ }}2)(3);{\text{ }}(1{\text{ }}3)(2);{\text{ }}(2{\text{ }}3)(1);{\text{ }}(1{\text{ }}2{\text{ }}3);{\text{ }}(1{\text{ }}3{\text{ }}2)\) A2

Notes: A1 for 4 or 5 correct.

If single bracket terms are missing, do not penalize.

Accept \(e\) in place of the identity.

(iii) attempt to compare \({\pi _1} \circ {\pi _2}\) with \({\pi _2} \circ {\pi _1}\) for two permutations M1

for example \((1{\text{ }}2)(1{\text{ }}3) = (1{\text{ }}3{\text{ }}2)\) A1

but \((1{\text{ }}3)(1{\text{ }}2) = (1{\text{ }}2{\text{ }}3)\) A1

hence \({S_3}\) is not Abelian AG

(iv) \({S_3}\) is a subgroup of \({S_n}\), R1

so \({S_n}\) contains non-commuting elements R1

\( \Rightarrow {S_n}\) is not Abelian for \(n \geqslant 3\) AG

[9 marks]

a.

(i) M\(_1 = \left( {\begin{array}{*{20}{c}} 0&1&0&0 \\ 1&0&0&0 \\ 0&0&1&0 \\ 0&0&0&1 \end{array}} \right)\), M\(_2 = \left( {\begin{array}{*{20}{c}} 1&0&0&0 \\ 0&0&1&0 \\ 0&1&0&0 \\ 0&0&0&1 \end{array}} \right)\) A1A1

(ii) M\(_1\)M\(_2 = \left( {\begin{array}{*{20}{c}} 0&0&1&0 \\ 1&0&0&0 \\ 0&1&0&0 \\ 0&0&0&1 \end{array}} \right)\) A1

this represents \((1{\text{ }}3{\text{ }}2)\) A1

(iii) by, for example, interchanging a pair of rows (M1)

\(\det (\)M\(_1) = \det (\)M\(_2) = – 1\) A1

then \(\det (\)M\(_1\)M\(_2) = ( – 1) \times ( – 1) = 1\) A1

[7 marks]

b.

(i) let \({\text{P}}(n)\) be the proposition that

\((1{\text{ }}n)(1{\text{ }}n – 1)(1{\text{ }}n – 2) \ldots (1{\text{ }}2) = (1{\text{ }}2{\text{ }}3 \ldots n){\text{ }}n \in {\mathbb{Z}^ + }\)

the statement that \({\text{P}}(2)\) is true eg \((1{\text{ }}2) = (1{\text{ }}2)\) A1

assume \({\text{P}}(k)\) is true for some \(k\) M1

consider \((1{\text{ }}k + 1)(1{\text{ }}k)(1{\text{ }}k – 1)(1{\text{ }}k – 2) \ldots (1{\text{ }}2)\)

\( = (1{\text{ }}k + 1)(1{\text{ }}2{\text{ }}3 \ldots k)\) M1

then the composite permutation has the following effect on the first \(k + 1\) integers: \(1 \to 2,{\text{ }}2 \to 3 \ldots k – 1 \to k,{\text{ }}k \to 1 \to k + 1,{\text{ }}k + 1 \to 1\) A1

this is \((1{\text{ }}2{\text{ }}3 \ldots k{\text{ }}k + 1)\) A1

hence the assertion is true by induction AG

(ii) every permutation is a product of cycles R1

generalizing the result in (i) R1

every cycle is a product of cycles of length 2 R1

hence every permutation can be written as a product of cycles of length 2 AG

[8 marks]

c.

Question

Consider the matrix

A \( = \left[ {\begin{array}{*{20}{c}} \lambda &3&2 \\ 2&4&\lambda \\ 3&7&3 \end{array}} \right]\).

Suppose now that \(\lambda  = 1\) so consider the matrix

B \( = \left[ {\begin{array}{*{20}{c}} 1&3&2 \\ 2&4&1 \\ 3&7&3 \end{array}} \right]\).

a.i.Find an expression for det(A) in terms of \(\lambda \), simplifying your answer.[3]

 

a.ii.Hence show that A is singular when \(\lambda  = 1\) and find the other value of \(\lambda \) for which A is singular.[2]

 

b.i.Explain how it can be seen immediately that B is singular without calculating its determinant.[1]

 

b.ii.Determine the null space of B.[4]

 

b.iii.Explain briefly how your results verify the rank-nullity theorem.

 

c.Prove, using mathematical induction, that

B\(^n = {8^{n – 2}}\)B\(^2\) for \(n \in {\mathbb{Z}^ + },{\text{ }}n \geqslant 3\).[7]

 
▶️Answer/Explanation

Markscheme

det(A) \( = \lambda (12 – 7\lambda ) + 3(3\lambda  – 6) + 2(14 – 12)\)     M1A1

\( = 12\lambda  – 7{\lambda ^2} + 9\lambda  – 18 + 4\)

\( =  – 7{\lambda ^2} + 21\lambda  – 14\)     A1

[??? marks]

a.i.

A is singular when \(\lambda  = 1\) because the determinant is zero     R1

Note:     Do not award the R1 if the determinant has not been obtained.

the other value is 2     A1

[??? marks]

a.ii.

the third row is the sum of the first two rows     A1

[??? marks]

b.i.

the null space satisfies

\(\left[ {\begin{array}{*{20}{c}} 1&3&2 \\ 2&4&1 \\ 3&7&3 \end{array}} \right]\left[ {\begin{array}{*{20}{c}} x \\ y \\ z \end{array}} \right] = \left[ {\begin{array}{*{20}{c}} 0 \\ 0 \\ 0 \end{array}} \right]\)     M1

\(x + 3y + 2z = 0\)

\(2x + 4y + z = 0\)     (A1)

\(3x + 7y + 3z = 0\)

the solution is (by GDC or otherwise)

\(\left[ {\begin{array}{*{20}{c}} x \\ y \\ z \end{array}} \right] = \left[ {\begin{array}{*{20}{c}} 5 \\ { – 3} \\ 2 \end{array}} \right]\alpha \) where \(\alpha  \in \mathbb{R}\)     M1A1

[??? marks]

b.ii.

the rank-nullity theorem for square matrices states that

rank of matrix + dimension of null space = number of columns     A1

here, rank = 2, dimension of null space = 1 and number of columns = 3     A1

[??? marks]

b.iii.

first show that the result is true for \(n = 3\)

B\(^2 = \left[ {\begin{array}{*{20}{c}} {13}&{29}&{11} \\ {13}&{29}&{11} \\ {26}&{58}&{22} \end{array}} \right]\)     A1

B\(^3 = \left[ {\begin{array}{*{20}{c}} {104}&{232}&{88} \\ {104}&{232}&{88} \\ {208}&{464}&{176} \end{array}} \right]\)     A1

therefore B\(^3 = 8\)B\(^2\) so true for \(n = 3\)     R1

assume the result is true for \(n = k\), that is B\(^k = {8^{k – 2}}\)B\(^2\)     M1

consider B\(^{k + 1} = {8^{k – 2}}\)B\(^2\)     M1

\( = {8^{k – 2}}8\)B\(^2\)

\( = {8^{k – 1}}\)B\(^2\)     A1

therefore, true for \(n = k \Rightarrow \) true for \(n = k + 1\) and since the result is true for \(n = 3\), it is true for \(n \geqslant 3\)     R1

[7 marks]

c.
Scroll to Top