← All past papers

TMUA 2016 (Paper 2)

20 questions20 marks75Updated July 2025

The TMUA 2016 (Paper 2) paper in full: all 20 questions, each with its answer and a worked solution that shows every step. TMUA is the Test of Mathematics for University Admission. Sit it cold under exam timing, mark it, then work back through anything you missed using the solutions below.

Download the original PDF →

Question 1

1 mark
Find the value of
12(x24x2)2dx\int_1^2 \left(x^2 - \frac{4}{x^2}\right)^2 dx
  • A.4315\frac{43}{15}
  • B.3
  • C.9715\frac{97}{15}
  • D.10315\frac{103}{15}
  • E.16315\frac{163}{15}
  • F.18

Answer: A

Worked solution

We begin by expanding the brackets, either using the binomial theorem or by multiplying them out by hand, to get
12(x2+4x2)2dx=12(x48+16x4)dx\int_{1}^{2} \left(x^2 + \frac{4}{x^2}\right)^2 dx = \int_{1}^{2} \left(x^4 - 8 + \frac{16}{x^4}\right) dx

=12(x48+16x4)dx= \int_{1}^{2} \left(x^4 - 8 + 16x^{-4}\right) dx

=[x558x+16x33]12= \left[\frac{x^5}{5} - 8x + \frac{16x^{-3}}{-3}\right]_{1}^{2}

=(3258×2168)(158163)= \left(\frac{32}{5} - 8 \times 2 - \frac{16}{8}\right) - \left(\frac{1}{5} - 8 - \frac{16}{3}\right)

=(325162)(158163)= \left(\frac{32}{5} - 16 - 2\right) - \left(\frac{1}{5} - 8 - \frac{16}{3}\right)

=3251815+8+163= \frac{32}{5} - 18 - \frac{1}{5} + 8 + \frac{16}{3}

=31510+163= \frac{31}{5} - 10 + \frac{16}{3}

=93150+8015= \frac{93 - 150 + 80}{15}

=2315= \frac{23}{15}

and so the answer is A.

Question 2

1 mark
Let f(x)=(x2+5)(2x)x34, x>0f(x) = \frac{(x^2 + 5)(2x)}{\sqrt[4]{x^3}},\ x > 0. Which one of the following is equal to f(x)f'(x)?
  • A.
    8x4+403x148x^4 + \frac{40}{3}x^{\frac{1}{4}}
  • B.
    92x54+52x34\frac{9}{2}x^{\frac{5}{4}} + \frac{5}{2}x^{-\frac{3}{4}}
  • C.
    8x94+403x148x^{\frac{9}{4}} + \frac{40}{3}x^{-\frac{1}{4}}
  • D.
    813x134+8x54\frac{8}{13}x^{\frac{13}{4}} + 8x^{\frac{5}{4}}

Answer: B

Worked solution

We begin by expanding the brackets and simplifying the powers of xx:
f(x)=2x3+10xx34f(x) = \frac{2x^3 + 10x}{x^{\frac{3}{4}}}

=2x334+10x134= 2x^{3 - \frac{3}{4}} + 10x^{1 - \frac{3}{4}}

=2x94+10x14= 2x^{\frac{9}{4}} + 10x^{\frac{1}{4}}

so
f(x)=2×94x941+10×14x141f'(x) = 2 \times \frac{9}{4}x^{\frac{9}{4} - 1} + 10 \times \frac{1}{4}x^{\frac{1}{4} - 1}

=92x54+52x34= \frac{9}{2}x^{\frac{5}{4}} + \frac{5}{2}x^{-\frac{3}{4}}

which is option B.

Question 3

1 mark
What is the value, in radians, of the largest angle xx in the range 0x2π0 \le x \le 2\pi that satisfies the equation 8sin2x+4cos2x=78 \sin^2 x + 4 \cos^2 x = 7?
  • A.
    2π3\frac{2\pi}{3}
  • B.
    5π6\frac{5\pi}{6}
  • C.
    4π3\frac{4\pi}{3}
  • D.
    5π3\frac{5\pi}{3}
  • E.
    7π4\frac{7\pi}{4}
  • F.
    11π6\frac{11\pi}{6}

Answer: D

Worked solution

We use the identity sin2x+cos2x=1\sin^2 x + \cos^2 x = 1 to write the equation in terms of sinx\sin x:
8sin2x+4cos2x=78 \sin^2 x + 4 \cos^2 x = 7

8sin2x+4(1sin2x)=78 \sin^2 x + 4 (1 - \sin^2 x) = 7

8sin2x+44sin2x=78 \sin^2 x + 4 - 4 \sin^2 x = 7

4sin2x=34 \sin^2 x = 3

giving
sin2x=34\sin^2 x = \frac{3}{4} so sinx=±32\sin x = \pm \frac{\sqrt{3}}{2}.
The solutions to
sinx=32\sin x = \frac{\sqrt{3}}{2} lie in the interval 0<x<π0 < x < \pi, while the solutions to sinx=32\sin x = -\frac{\sqrt{3}}{2} lie in the interval π<x<2π\pi < x < 2\pi, and thus the largest angle in the range 0<x<2π0 < x < 2\pi which satisfies the original equation is the largest solution to sinx=32\sin x = -\frac{\sqrt{3}}{2}. This is 2ππ3=5π32\pi - \frac{\pi}{3} = \frac{5\pi}{3}, which is option D.

Question 4

1 mark
Five sealed urns, labelled P, Q, R, S, and T, each contain the same (non-zero) number of balls. The following statements are attached to the urns.
Urn P This urn contains one or four balls.
Urn Q This urn contains two or four balls.
Urn R This urn contains more than two balls and fewer than five balls.
Urn S This urn contains one or two balls.
Urn T This urn contains fewer than three balls.
Exactly one of the urns has a true statement attached to it.
Which urn is it?
  • A.Urn P
  • B.Urn Q
  • C.Urn R
  • D.Urn S
  • E.Urn T

Answer: C

Worked solution

We work through the possibilities systematically.

* Urn P's statement is true, so the urns each contain one or four balls. As Urn Q has a false statement, there cannot be two or four balls in the urns, and so there is one ball in each urn. But then Urn S has a true statement, which is impossible.
* Urn Q's statement is true, so the urns each contain two or four balls. As Urn P has a false statement, there cannot be one or four balls in each urn, so there are two balls in each urn. But then Urn S has a true statement, which is impossible.
* Urn R's statement is true, so there are three or four balls in each urn. As Urn P's statement is false, there cannot be four balls in the urn, so there are three balls in each urn. This means that Urn Q, Urn S and Urn T each have a false statement, and therefore this is possible.
* Urn S's statement is true, so the urns each contain one or two balls. As Urn P's statement is false, there cannot be one ball in each urn, so there are two balls in each urn. But then Urn Q has a true statement, which is impossible.
* Urn T's statement is true, so the urns each contain one or two balls. But then Urn S's statement is true, which is impossible.

Therefore the only urn which has a true statement is Urn R, so option C is correct.

Question 5

1 mark
Consider the statement:
(*) A whole number
nn is prime if it is 1 less or 5 less than a multiple of 6.
How many counterexamples to (*) are there in the range
0<n<500 < n < 50 ?
  • A.2
  • B.3
  • C.4
  • D.5
  • E.6

Answer: C

Worked solution

We can rewrite the statement (*) in the form

If a whole number
nn is 11 less or 55 less than a multiple of 66, then nn is prime.

A counterexample to this statement is a whole number
nn which makes this if statement false, that is, it is a whole number nn that is 11 less or 55 less than a multiple of 66, but which is not prime. So we list these numbers and check whether they are prime:

|
nn | Prime? |
|---|--------|
|
11 | no |
|
55 | yes |
|
77 | yes |
|
1111 | yes |
|
1313 | yes |
|
1717 | yes |
|
1919 | yes |
|
2323 | yes |
|
2525 | no |
|
2929 | yes |
|
3131 | yes |
|
3535 | no |
|
3737 | yes |
|
4141 | yes |
|
4343 | yes |
|
4747 | yes |
|
4949 | no |

Thus there are
44 numbers which are counterexamples in this range, and so the answer is C.

Question 6

1 mark
The sequence of functions f1(x)f_1(x), f2(x)f_2(x), f3(x)f_3(x), ... is defined as follows:
f1(x)=x10f_1(x) = x^{10}
fn+1(x)=xfn(x)f_{n+1}(x) = xf_n'(x) for n1n \ge 1
where
fn(x)=dfn(x)dxf_n'(x) = \frac{df_n(x)}{dx}.
Find the value of
n=120fn(x)\sum_{n=1}^{20} f_n(x)
  • A.
    x10(x201)x1\frac{x^{10}(x^{20} – 1)}{x-1}
  • B.
    x10(x211)x1\frac{x^{10} (x^{21} – 1)}{x-1}
  • C.
    (102019)x10\left(\frac{10^{20}-1}{9}\right)x^{10}
  • D.
    (102119)x10\left(\frac{10^{21}-1}{9}\right)x^{10}
  • E.
    ((10!)2019)x10\left(\frac{(10!)^{20}-1}{9}\right)x^{10}
  • F.
    ((10!)2119)x10\left(\frac{(10!)^{21}-1}{9}\right)x^{10}
  • G.
    x10+x9+x8++x+1x^{10} + x^9 + x^8 + … + x + 1
  • H.
    x10+10x9+(10×9)x8++(10×9×...×2)x+(10×9×...×2×1)x^{10} + 10x^9 + (10 \times 9)x^8 + … + (10 \times 9 \times ... \times 2)x + (10 \times 9 \times ... \times 2 \times 1)

Answer: C

Worked solution

We work out the first few functions in the sequence to find a pattern.
f1(x)=x10f_1(x) = x^{10}
f2(x)=x(10x9)=10x10f_2(x) = x(10x^9) = 10x^{10}
f3(x)=x(100x9)=100x10f_3(x) = x(100x^9) = 100x^{10}
f4(x)=x(1000x9)=103x10f_4(x) = x(1000x^9) = 10^3x^{10}
f5(x)=x(104x9)=104x10f_5(x) = x(10^4x^9) = 10^4x^{10}
and so the pattern is clear:
fn(x)=10n1x10f_n(x) = 10^{n-1}x^{10}.
The sum expands to
n=120fn(x)=x10+10x10+102x10+103x10++1019x10\sum_{n=1}^{20} f_n(x) = x^{10} + 10x^{10} + 10^2x^{10} + 10^3x^{10} + \cdots + 10^{19}x^{10}

=(1+10+102++1019)x10= (1 + 10 + 10^2 + \cdots + 10^{19})x^{10}

=(10201101)x10= \left(\frac{10^{20} - 1}{10 - 1}\right)x^{10}

where on the final line we have summed the geometric series with
a=1a = 1, r=10r = 10, n=20n = 20 using the formula
Sn=a(rn1)r1S_n = \frac{a(r^n - 1)}{r-1}
The answer is therefore option C.

Question 7

1 mark
The four real numbers a,b,ca, b, c, and dd are all greater than 1.
Suppose that they satisfy the equation
logcd=(logab)2\log_c d = (\log_a b)^2.
Use some of the lines given to construct a proof that, in this case, it follows that
(*)
logbd=(logab)(logac)\log_b d = (\log_a b)(\log_a c).
(1) Let
x=logabx = \log_a b and y=logacy = \log_a c
(2)
d=(cx)2d = (c^x)^2
(3)
d=c(x2)d = c^{(x^2)}
(4)
d=bxyd = b^{xy}
(5)
d=(ay)(x2)d = (a^y)^{(x^2)}
(6)
d=((ax)y)2d = ((a^x)^y)^2
(7)
d=(ax)xyd = (a^x)^{xy}
(8)
d=a(y2x)d = a^{(y^2x)}
(9)
d=a(x2y)d = a^{(x^2y)}
  • A.(1). Then (2), so (6), so (8), so (7), and therefore (4), hence (*) as required.
  • B.(1). Then (2), so (7), so (8), so (6), and therefore (4), hence (*) as required.
  • C.(1). Then (3), so (5), so (9), so (7), and therefore (4), hence (*) as required.
  • D.(1). Then (3), so (7), so (9), so (5), and therefore (4), hence (*) as required.
  • E.(1). Then (4), so (5), so (9), so (7), and therefore (3), hence (*) as required.
  • F.(1). Then (4), so (6), so (8), so (7), and therefore (2), hence (*) as required.
  • G.(1). Then (4), so (7), so (8), so (6), and therefore (2), hence (*) as required.
  • H.(1). Then (4), so (7), so (9), so (5), and therefore (3), hence (*) as required.

Answer: C

Worked solution

The proof certainly begins with (1):
Let
x=logabx = \log_a b and y=logacy = \log_a c.
We are then given a choice of writing
dd in various ways (line (2), (3) or (4)). We are given
logad=(logab)2\log_a d = (\log_a b)^2
so we can rewrite this using
xx as logad=x2\log_a d = x^2. Therefore d=a(x2)d = a^{(x^2)}, which is line (3).
Our next choice is between lines (5) and (7) (these are the only options, as the correct answer must be C or D); these are equivalent, but expressed differently. How can we get from
d=a(x2)d = a^{(x^2)} to dd being a power of aa? We must rewrite cc in terms of yy: since y=logacy = \log_a c, it follows that c=ayc = a^y, so d=(ay)(x2)d = (a^y)^{(x^2)}, which is line (5).
Without doing any more work, the answer must therefore be option C, and the whole proof reads as follows:

Suppose that
logad=(logab)2\log_a d = (\log_a b)^2.
(1) Let
x=logabx = \log_a b and y=logacy = \log_a c. Then (3) d=c(x2)d = c^{(x^2)}, so (5) d=(ay)(x2)d = (a^y)^{(x^2)}, so
(9)
d=a(x2y)d = a^{(x^2y)}, so (7) d=(ax)xyd = (a^x)^{xy}, and therefore (4) d=bxyd = b^{xy}, hence (*) as required.

Question 8

1 mark
A region is defined by the inequalities x+y>6x + y > 6 and xy>4x - y > -4
Consider the three statements:
1
x>1x > 1
2
y>5y > 5
3
(x+y)(xy)>24(x + y)(x - y) > -24
Which of the above statements is/are true for every point in the region?
  • A.none
  • B.1 only
  • C.2 only
  • D.3 only
  • E.1 and 2 only
  • F.1 and 3 only
  • G.2 and 3 only
  • H.1, 2 and 3

Answer: B

Worked solution

A useful way to approach this question is to sketch the graph of these inequalities; we shade the invalid regions. (You might find it helpful to rewrite the inequalities as y>6xy > 6-x and y<x+4y < x+4.)

The boundaries of the regions intersect when
x+y=6x + y = 6 and xy=4x - y = -4; adding these equations gives 2x=22x = 2, so x=1x = 1 and y=5y = 5, that is, they intersect at (1,5)(1,5).
Therefore for every point in the white region, condition 1,
x>1x > 1, is satisfied.
However, there are clearly points for which condition 2,
y>5y > 5, is not satisfied, for example (7,0)(7,0).
Finally,
(x+y)(xy)>24(x + y)(x - y) > -24 is not immediately clear. This is obtained by multiplying the two inequalities together, but is this permissible? We could try finding a counterexample to this condition. x+y>6x + y > 6 means that x+yx + y is always positive, so a counterexample must have xy<0x-y < 0 (that is, y>xy > x) to give a product less than 24-24. We could take y=x+3y = x + 3, giving xy=3x - y = -3, and then if we had x+y>8x + y > 8, the product would be less than 24-24. (Recall that the first inequality is equivalent to x+y>6x + y > 6, so we may do this.) So we have a counterexample: take x=5x = 5, y=8y = 8, giving x+y=13x + y = 13, and (x+y)(xy)=39<24(x + y)(x - y) = -39 < -24. Hence this third condition is not true for every point in the region.
Therefore the answer is option B.

Question 9

1 mark
Triangles ABCABC and XYZXYZ have the same area.
Which of these extra conditions, taken independently, would imply that they are congruent?
(1)
AB=XYAB = XY and BC=YZBC = YZ
(2)
AB=XYAB = XY and ABC=XYZ\angle ABC = \angle XYZ
(3)
ABC=XYZ\angle ABC = \angle XYZ and BCA=YZX\angle BCA = \angle YZX
  • A.Condition (1): Does not imply congruent; Condition (2): Does not imply congruent; Condition (3): Does not imply congruent
  • B.Condition (1): Does not imply congruent; Condition (2): Does not imply congruent; Condition (3): Implies congruent
  • C.Condition (1): Does not imply congruent; Condition (2): Implies congruent; Condition (3): Does not imply congruent
  • D.Condition (1): Does not imply congruent; Condition (2): Implies congruent; Condition (3): Implies congruent
  • E.Condition (1): Implies congruent; Condition (2): Does not imply congruent; Condition (3): Does not imply congruent
  • F.Condition (1): Implies congruent; Condition (2): Does not imply congruent; Condition (3): Implies congruent
  • G.Condition (1): Implies congruent; Condition (2): Implies congruent; Condition (3): Does not imply congruent
  • H.Condition (1): Implies congruent; Condition (2): Implies congruent; Condition (3): Implies congruent

Answer: D

Worked solution

We work through the conditions in the order given. We recall three relevant conditions for these two triangles to be congruent:

* side-side-side (SSS): all three corresponding pairs of sides are equal in length
* side-angle-side (SAS): two corresponding pairs of sides are equal in length, and the corresponding included angles are equal
* angle-side-angle (ASA): two corresponding pairs of angles are equal, and the corresponding sides between these angles are equal in length

(1) If we knew that either
AC=XZAC = XZ or the angle BB equals the angle YY, then they would certainly be congruent by SSS or SAS. We know that the areas are equal, so we have 12ABBCsinB=12XYYZsinY\frac{1}{2}AB \cdot BC \sin B = \frac{1}{2}XY \cdot YZ \sin Y, and so sinB=sinY\sin B = \sin Y. This does not imply that B=YB = Y though: we could have Y=180BY = 180^{\circ} - B, for example:

(2) We now have an angle at the end of the given side, so we can use the equal-area property to work out a second side: the angle
ABC\angle ABC is included between ABAB and BCBC, and likewise for XYZXYZ. Therefore, as the areas are 12ABBCsin(ABC)\frac{1}{2}AB \cdot BC \sin(\angle ABC) and 12XYYZsin(XYZ)\frac{1}{2}XY \cdot YZ \sin(\angle XYZ), it follows that BC=YZBC = YZ. The triangles are therefore congruent by SAS.

(3) We now have two pairs of corresponding equal angles, and so the third pair of corresponding angles is also equal and the triangles are similar. Since the areas are equal, they must be congruent.

Hence conditions (2) and (3) each imply that the triangles are congruent, and the answer is option D.

Question 10

1 mark
In this question xx and yy are non-zero real numbers.
Which one of the following is sufficient to conclude that
x<yx < y ?
  • A.x4<y4x^4 < y^4
  • B.y4<x4y^4 < x^4
  • C.x1<y1x^{-1} < y^{-1}
  • D.y1<x1y^{-1} < x^{-1}
  • E.x35<y35x^{\frac{3}{5}} < y^{\frac{3}{5}}
  • F.y35<x35y^{\frac{3}{5}} < x^{\frac{3}{5}}

Answer: E

Worked solution

A key point in this question is that xx and yy are permitted to be positive or negative.
To show that a condition is not sufficient, we need to find values of
xx and yy where the condition holds but xyx \ge y. To show that a condition is sufficient, we must prove it to be the case.
We can argue algebraically or graphically; we start with an algebraic approach.

A If
y=2y = -2 and x=1x = 1, the condition holds but x>yx > y.

B We do not even need to look at negative cases here: if
xx and yy are both positive, we can take fourth roots and deduce that y<xy < x, for example y=1y = 1 and x=2x = 2.

C If
x=2x = 2 and y=1y = 1, then x1<y1x^{-1} < y^{-1} but x>yx > y.

D Positive values of
xx and yy do not work, but if we take x=1x = 1 and y=1y = -1, then y1<x1y^{-1} < x^{-1} but x>yx > y.

E This looks quite plausible: if we raise this inequality to the power of
55 (which we are allowed to do, as f(x)=x5f(x) = x^5 is an increasing function), we get x3<y3x^3 < y^3. We can now take cube roots (again, this is permissible as f(x)=x3=x3f(x) = x^3 = \sqrt[3]{x} in an increasing function) to give x<yx < y. So this condition is sufficient.

F Arguing as in part E,
y13<x13y^{\frac{1}{3}} < x^{\frac{1}{3}} implies y<xy < x, so this is not sufficient. Alternatively, we can just substitute in the values x=1,y=1x = 1, y = -1.

Thus the answer is option E.

We can also see this by looking at the graphs of the functions
f(x)=x4f(x) = x^4, f(x)=x1f(x) = x^{-1} and f(x)=x13f(x) = x^{\frac{1}{3}}: if these are strictly increasing functions, then x<yx < y if and only if f(x)<f(y)f(x) < f(y), while if they are strictly decreasing functions, then x<yx < y if and only if f(x)>f(y)f(x) > f(y).
These are sketches of the graphs of these functions:

Neither of the first two functions is strictly increasing or strictly decreasing (for
f(x)=x1f(x) = x^{-1}, note that the function decreases when x<0x < 0, but f(1)<f(1)f(-1) < f(1), so it is not a decreasing function). The third function is strictly increasing, so the answer is option E.

Question 11

1 mark
f(x)f(x) is a polynomial with real coefficients.
The equation
f(x)=0f(x) = 0 has exactly two real roots, x=px = -p and x=px = p, where p>0p > 0.
Consider the following three statements:
1
f(x)=0f'(x) = 0 for exactly one value of xx between p-p and pp
2 The area between the curve
y=f(x)y = f(x), the xx-axis and the lines x=px = -p and x=px = p is given by 20pf(x)dx2 \int_0^p f(x) dx
3 The graph of
y=f(x)y = -f(-x) intersects the xx-axis at the points x=px = -p and x=px = p only
Which of the above statements must be true?
  • A.none
  • B.1 only
  • C.2 only
  • D.3 only
  • E.1 and 2 only
  • F.1 and 3 only
  • G.2 and 3 only
  • H.1, 2 and 3

Answer: D

Worked solution

We know that the polynomial intersects the xx-axis at x=px = -p and x=px = p only. It may touch the xx-axis at those points or it may cross it — we are not told whether x=px = p is a single root or double root, for example. We consider the three statements in turn.

1 It is entirely possible that
y=f(x)y = f(x) has multiple stationary points between x=px = -p and x=px = p without crossing the xx-axis, for example in this sketch:

Therefore this statement need not be true.

2 This is not necessarily true for (at least) two different reasons:
* If the graph of
y=f(x)y = f(x) is entirely below the xx-axis between x=px = p and x=px = -p, as in the above sketch, then the integral 0pf(x)dx\int_{0}^{p} f(x) dx will be negative, but the area is positive.
* If the graph of
y=f(x)y = f(x) is not symmetrical about x=0x = 0, then there is no reason that the integral ppf(x)dx\int_{-p}^{p} f(x) dx will be twice 0pf(x)dx\int_{0}^{p} f(x)dx. An example is this sketch, which is of the graph of y=(x+1)(x1)(x2+x+1)y = (x + 1)(x - 1)(x^2 + x + 1); here p=1p = 1, and the graph of y=x2+x+1y = x^2 + x + 1 is always positive, but it is not symmetrical about x=0x = 0:

3 The graph of
y=f(x)y = f(-x) is obtained by reflecting the graph of y=f(x)y = f(x) in the yy-axis, so this graph intersects the xx-axis at x=px = -p and x=px = p. The graph of y=f(x)y = -f(-x) is obtained from this by reflecting the graph in the xx-axis, which does not change the points of intersection with the xx-axis. Therefore this statement must be true.
The graph obtained by combining these two transformations is the rotation of the original graph about the origin by
180180^{\circ}.

The answer is therefore option D.

Question 12

1 mark
The first term of an arithmetic sequence is aa and the common difference is dd.
The sum of the first
nn terms is denoted by SnS_n.
If
S8>3S6S_8 > 3S_6, what can be deduced about the sign of aa and the sign of dd?
  • A.both aa and dd are negative
  • B.aa is positive, dd is negative
  • C.aa is negative, dd is positive
  • D.a is negative, but the sign of dd cannot be deduced
  • E.dd is negative, but the sign of aa cannot be deduced
  • F.neither the sign of aa nor the sign of dd can be deduced

Answer: F

Worked solution

The formula for SnS_n in terms of aa and dd is Sn=12n(2a+(n1)d)S_n = \frac{1}{2}n(2a + (n-1)d). Substituting n=8n = 8 and n=6n = 6 gives
S8=12(8)(2a+(81)d)=4(2a+7d)S_8 = \frac{1}{2}(8)(2a + (8-1)d) = 4(2a+7d)
S6=12(6)(2a+(61)d)=3(2a+5d)S_6 = \frac{1}{2}(6)(2a + (6-1)d) = 3(2a+5d)
so the condition
S8>3S6S_8 > 3S_6 becomes
4(2a+7d)>3×3(2a+5d)4(2a +7d) > 3 \times 3(2a + 5d).
Expanding the brackets gives
8a+28d>18a+45d8a + 28d > 18a + 45d, which on rearranging gives 8a>17d-8a > 17d, or d<817ad < -\frac{8}{17}a.
If
aa is positive, then 817a- \frac{8}{17}a is negative, so dd must be negative. If aa is negative, then 817a- \frac{8}{17}a is positive, so dd could be positive or negative. So aa can be positive or negative, as can dd.
We therefore cannot deduce the sign of either
aa or dd, and so the correct option is F.

Question 13

1 mark
In this question, a,ba, b, and cc are positive integers.
The following is an attempted proof of the false statement:
If
aa divides bcbc, then aa divides bb or aa divides cc.
['
aa divides bcbc' means 'aa is a factor of bcbc']
Which line contains the error in this proof?
1. The statement is equivalent to ‘if
aa does not divide bb and aa does not divide cc then aa does not divide bcbc'.
2. Suppose
aa does not divide bb and aa does not divide cc. Then the remainder when dividing bb by aa is rr, where 0<r<a0 < r < a, and the remainder when dividing cc by aa is ss, where 0<s<a0 < s < a.
3. So
b=ax+rb = ax + r and c=ay+sc = ay + s for some integers xx and yy.
4. Thus
bc=a(axy+xs+yr)+rsbc = a(axy + xs + yr) + rs.
5. So the remainder when dividing
bcbc by aa is rsrs.
6. Since
r>0r > 0 and s>0s > 0, it follows that rs>0rs > 0.
7. Hence
aa does not divide bcbc.
  • A.Line 1
  • B.Line 2
  • C.Line 3
  • D.Line 4
  • E.Line 5
  • F.Line 6

Answer: E

Worked solution

Working through the lines of the argument one at a time:

1. This looks like it might be the contrapositive of the statement we are aiming to prove; let us check this. The original statement is:
If
aa divides bcbc, then aa divides bb or aa divides cc
so the contrapositive is
If not (
aa divides bb or aa divides cc), then not (aa divides bcbc)
which simplifies to
If not (
aa divides bb) and not (aa divides cc), then aa does not divide bcbc
or
If
aa does not divide bb and aa does not divide cc, then aa does not divide bcbc
So line 1 is correct.

2. "Suppose ..." starts the proof: we suppose the antecedent of the “if” statement. The part about remainders is correct; this is what it means for
aa to not divide bb.

3. This is an expression of division with remainder:
b=ax+rb = ax + r could be read as "bb divided by aa is xx remainder rr." So this line is correct.

4. A small amount of algebra shows that this line is correct.

5. This is not clearly correct: what happens if
rs>ars > a, for example? We will return to this line in a moment.

6. This is clearly a correct assertion.

7. If line 5 were correct, then this would be correct.

Since we are told that the statement is false, the error must lie in line 5. We have already identified one possible problem, but we can do even better by finding a case where the remainder when dividing
bcbc by aa is 00, showing that aa does divide bcbc. Let us take, for example, a=6a = 6. Then if r=2r = 2 and s=3s = 3, we have rs=6=ars = 6 = a, so that the remainder is 00. An explicit example would then be a=6,b=2a = 6, b = 2 and c=3c = 3.
The correct answer is therefore E.

Question 14

1 mark
f(x)=ax4+bx3+cx2+dx+ef(x) = ax^4 + bx^3 + cx^2 + dx + e, where a,b,c,da, b, c, d, and ee are real numbers.
Suppose
f(x)=1f(x) = 1 has pp distinct real solutions, f(x)=2f(x) = 2 has qq distinct real solutions,
f(x)=3f(x) = 3 has rr distinct real solutions, and f(x)=4f(x) = 4 has ss distinct real solutions.
Which one of the following is not possible?
  • A.p=1,q=2,r=4p = 1, q = 2, r = 4 and s=3s = 3
  • B.p=1,q=3,r=2p = 1, q = 3, r = 2 and s=4s = 4
  • C.p=1,q=4,r=3p = 1, q = 4, r = 3 and s=2s = 2
  • D.p=2,q=4,r=3p = 2, q = 4, r = 3 and s=1s = 1
  • E.p=4,q=3,r=2p = 4, q = 3, r = 2 and s=1s = 1

Answer: B

Worked solution

The number of solutions to f(x)=1f(x) = 1 is the number of times the graph of y=f(x)y = f(x) intersects with the line y=1y = 1, and similarly for the other three cases. So we need to think about possible shapes of y=f(x)y = f(x). We assume that a0a \neq 0 for now, so that we are dealing with a quartic; this will be enough to answer the question. (Each of the given options has one of p,q,rp, q, r or ss equal to 44, which is impossible if the curve is a cubic, quadratic or linear.)
A quartic with
a>0a > 0 either has a W-shape, or it is a bit like a quadratic in that it has exactly one local minimum. If a<0a < 0, the possibilities are the reflections of these.
We can then try to construct curves with the given conditions.

A
p=1p = 1 and q=2q = 2 indicates that a>0a > 0 and that y=1y = 1 is tangent to the curve. So something like this would work, where we have drawn dashed lines to show y=1,y=2,y=3y = 1, y = 2, y = 3 and y=4y = 4. (We could have left out the yy-axis for clarity.)

(An accurately-plotted quartic would not look quite like this, as you can see if you use graph-drawing software. Nevertheless, the general shape could be correct, with the stationary points in roughly the locations shown.)
We could also draw this schematically as:

We will use this schematic representation for the rest of the cases.

B Again, we require a minimum at
y=1y = 1. But as there are 4 crossings at y=4y = 4, the curve must do something like this:

where the last part is not yet clear.
However, to get
r=2r = 2, the last minimum must lie above y=3y = 3, but then we cannot have q=3q = 3. Hence this is not possible.
We look at the other three options for the sake of completeness.

C Again, there is a minimum at
y=1y = 1, and r=3r = 3 gives a stationary point at y=3y = 3. This sketch does the job:

D Since
s=1s = 1, we must have a<0a < 0 and y=4y = 4 is a maximum. Likewise, y=3y = 3 must also be a stationary point. The following sketch achieves this:

E This is similar to the previous option:
a<0a < 0 and there is a maximum at y=4y = 4. As q=3q = 3, there is a stationary point at y=2y = 2, which gives the following sketch:

The correct option is B.

Question 15

1 mark
Consider the quadratic f(x)=x22px+qf(x) = x^2 – 2px + q and the statement:
(*)
f(x)=0f(x) = 0 has two real roots whose difference is greater than 2 and less than 4.
Which one of the following statements is true if and only if (*) is true?
  • A.q<p2<q+4q < p^2 < q + 4
  • B.q+1<p<q+4\sqrt{q+1} < p < \sqrt{q + 4}
  • C.q3p24qq - 3 \le p^2 - 4 \le q
  • D.q<p21<q+3q < p^2 - 1 < q + 3
  • E.q2<p23<q+2q - 2 < p^2 - 3 < q + 2

Answer: D

Worked solution

We start by finding the roots of f(x)=0f(x) = 0. They are given by the quadratic formula, and are
r1,2=(2p)±(2p)24(1)(q)2(1)=2p±4p24q2=p±p2q.r_{1,2} = \frac{-(-2p) \pm \sqrt{(-2p)^2 - 4(1)(q)}}{2(1)} = \frac{2p \pm \sqrt{4p^2 - 4q}}{2} = p \pm \sqrt{p^2 - q}.

The roots are real if and only if the discriminant is non-negative, so if and only if
p2q0p^2 - q \ge 0.
The difference between the roots is
r2r1=(p+p2q)(pp2q)=2p2qr_2 - r_1 = (p + \sqrt{p^2 - q}) - (p - \sqrt{p^2 - q}) = 2\sqrt{p^2 - q}, so the condition (*) is true if and only if
p2q0p^2 - q \ge 0 and 2<2p2q<42 < 2\sqrt{p^2 - q} < 4
so it is true if and only if
p2q>0p^2 - q > 0 and 1<p2q<21 < \sqrt{p^2 - q} < 2
which is true if and only if
p2q0p^2 - q \ge 0 and 1<p2q<41 < p^2 - q < 4
The first condition is implied by the second condition, so both conditions are true if and only if
1<p2q<41 < p^2-q < 4, which we can rearrange to q+1<p2<q+4q+1 < p^2 < q+4. Subtracting 1 gives q<p21<q+3q < p^2-1 < q+3, which is condition D.
We can also show that the other four statements are not true if and only if (*) is true, as follows.
Statement A fails, because the left inequality
q<p2q < p^2 is not the same as q<p21q < p^2 - 1. Statement A is true if (*) is true, but (*) could be true without statement A being true; in other words "statement A is true only if (*) is true" is false.
Statement B fails, because this requires
p>0p > 0, whereas we could have p<0p < 0; thus, statement B is true only if (*) is true, but “statement B is true if (*) is true” is false.
Statement C fails, because this allows for the difference between the roots to be exactly 2 or 4. So statement C is true if (*) is true, but “statement C is true only if (*) is true” is false.
Finally, statement E fails, because the second inequality is equivalent to
p21<q+4p^2 - 1 < q + 4, so similarly to statement A, statement E is true if (*) is true, but “statement E is true only if (*) is true” is false.
So the correct option is D.

Question 16

1 mark
In the figure, PQRSPQRS is a trapezium with PQPQ parallel to SRSR.
The diagonals of the trapezium meet at
XX.
UU lies on SPSP and TT lies on RQRQ such that UTUT is a line segment through XX parallel to PQPQ.
The length of
PQPQ is 12 cm and the length of SRSR is 3 cm.
What, in centimetres, is the length of
UTUT?
Exam diagram
  • A.4.2
  • B.4.5
  • C.4.8
  • D.5.25
  • E.6

Answer: C

Worked solution

There are several pairs of similar triangles in this diagram.
We note that
SUXSUX and SPQSPQ are similar, RXTRXT and RPQRPQ are similar, and XSRXSR and XQPXQP are similar.
The last pair is the most helpful to start with, as we know the lengths of two corresponding sides:
SR=3SR = 3 and QP=12QP = 12, so the scale factor is 123=4\frac{12}{3} = 4. Thus the height of XQPXQP (from XX) is 4 times the height of XSRXSR (again from XX).
It follows that
UP=4SUUP = 4SU, and so SP=5SUSP = 5SU. Since SUXSUX is similar to SPQSPQ, and SP=5SUSP = 5SU, we must have PQ=5UXPQ = 5UX, so UX=15PQ=125UX = \frac{1}{5}PQ = \frac{12}{5}. Likewise, XT=15UTXT = \frac{1}{5}UT, so UT=245=4.8UT = \frac{24}{5} = 4.8 and the correct answer is C.
We could alternatively have used the similarity of triangles
PUXPUX and PSRPSR, and of triangles QXTQXT and QSRQSR; we would reach the same result.

Question 17

1 mark
Consider these simultaneous equations, where cc is a constant:
y=3sinx+2y = 3 \sin x + 2
y=x+cy = x + c
Which of the following statements is/are true?
1 For some value of
cc: there is exactly one solution with 0xπ0 \le x \le \pi and there is at least one solution with π<x<0- \pi < x < 0.
2 For some value of
cc: there is exactly one solution with 0xπ0 \le x \le \pi and there are no solutions with π<x<0- \pi < x < 0.
3 For some value of
cc: there is exactly one solution with 0xπ0 \le x \le \pi and there are no solutions with x>πx > \pi.
  • A.none
  • B.1 only
  • C.2 only
  • D.3 only
  • E.1 and 2 only
  • F.1 and 3 only
  • G.2 and 3 only
  • H.1, 2 and 3

Answer: H

Worked solution

The graph of y=3sinx+2y = 3 \sin x + 2 is the standard sine graph stretched vertically by a factor of 3 and then translated in the yy-direction by 2. It thus oscillates between 23=12 - 3 = -1 and 2+3=52+3 = 5, and its yy-axis intercept is 2.
y=x+cy = x + c has gradient 1 and yy-intercept cc.
We sketch the graph of
y=3sinx+2y = 3 \sin x + 2 to help us:

We now consider the statements in turn:

1 To have exactly one solution with
0xπ0 \le x \le \pi and at least one solution with π<x<0-\pi < x < 0, we could take cc to be just less than 2. So this statement is true.

2 We want to choose
cc to be negative for this case; if cc is such that y=x+cy = x + c intersects the sine curve at x=πx = \pi, there will be exactly one solution with 0xπ0 \le x \le \pi. This value of cc must satisfy 2=π+c2 = \pi + c, so c=2π<1c = 2 - \pi < -1, so there are no solutions with x<0x < 0. So this statement is true.

3 The same value of
cc as in statement 2 will work here: c=2πc = 2-\pi. At x=2πx = 2\pi, x+c=2π+2π=π+25.14>5x + c = 2\pi + 2 - \pi = \pi + 2 \approx 5.14 > 5, so there cannot be any solutions with x2πx \ge 2\pi. As the sine graph is below 2 for π<x<2π\pi < x < 2\pi, there are no solutions there either. So this statement is true.

The correct option is therefore H.

Question 18

1 mark
Consider this statement about a function f(x)f(x):
(*) If
(f(x))21(f(x))^2 \le 1 for all 1x1-1 \le x \le 1 then
11(f(x))2dx11f(x)dx\int_{-1}^1 (f(x))^2 dx \le \int_{-1}^1 f(x) dx

Which one of the following functions provides a counterexample to (*)?
  • A.f(x)=x+12f(x) = x + \frac{1}{2}
  • B.f(x)=x12f(x) = x - \frac{1}{2}
  • C.f(x)=x+x3f(x) = x + x^3
  • D.f(x)=xx3f(x) = x - x^3
  • E.f(x)=x2+x4f(x) = x^2 + x^4
  • F.f(x)=x2x4f(x) = x^2 - x^4

Answer: D

Worked solution

For a function to be a counterexample to this 'if' statement, the first condition (the antecedent) must be true but the second condition (the consequent) must be false.
So we first check whether these functions satisfy the condition
(f(x))21(f(x))^2 \le 1 for all 1x1-1 \le x \le 1:

A This function goes from
12-\frac{1}{2} to 32\frac{3}{2} as xx goes from 1-1 to 11. So when x=1x = 1, (f(x))2=(32)2=94>1(f(x))^2 = (\frac{3}{2})^2 = \frac{9}{4} > 1. So this function does not satisfy the antecedent.

B Similarly to A, when
x=12x = -\frac{1}{2}, f(x)=32f(x) = -\frac{3}{2}, so (f(x))2>1(f(x))^2 > 1 and this function also does not satisfy the antecedent.

C When
x=1x = 1, f(x)=2f(x) = 2 so (f(x))2=4>1(f(x))^2 = 4 > 1 and this function does not satisfy the antecedent.

D This function looks as though it might satisfy the antecedent, as it does not obviously fail to do so:
f(1)=f(0)=f(1)=0f(-1) = f(0) = f(1) = 0, so the cubic graph has two stationary points in the interval 1x1-1 \le x \le 1. We can locate these by differentiating:
f(x)=13x2f'(x) = 1 - 3x^2
so
f(x)=0f'(x) = 0 when x=±13x = \pm\frac{1}{\sqrt{3}}. As
f(13)=131(3)3=13133=3133=233<1f\left(\frac{1}{\sqrt{3}}\right) = \frac{1}{\sqrt{3}} - \frac{1}{(\sqrt{3})^3} = \frac{1}{\sqrt{3}} - \frac{1}{3\sqrt{3}} = \frac{3-1}{3\sqrt{3}} = \frac{2}{3\sqrt{3}} < 1 and f(13)=13(1)(3)3=13+133=3+133=233>1f\left(-\frac{1}{\sqrt{3}}\right) = -\frac{1}{\sqrt{3}} - \frac{(-1)}{(\sqrt{3})^3} = -\frac{1}{\sqrt{3}} + \frac{1}{3\sqrt{3}} = \frac{-3+1}{3\sqrt{3}} = -\frac{2}{3\sqrt{3}} > -1,
we see that the function lies between
233-\frac{2}{3\sqrt{3}} and 233\frac{2}{3\sqrt{3}} when 1x1-1 \le x \le 1, so (f(x))21(f(x))^2 \le 1 in this interval, and the antecedent is satisfied.

E As in C, when
x=1x = 1, f(x)=2f(x) = 2 so (f(x))2=4>1(f(x))^2 = 4 > 1 and this function does not satisfy the antecedent.

F As with D,
f(1)=f(0)=f(1)=0f(-1) = f(0) = f(1) = 0, so we look for stationary points of the function. We have
f(x)=2x4x3=2x(12x2)f'(x) = 2x - 4x^3 = 2x(1 - 2x^2)
so
f(x)=0f'(x) = 0 when x=0x = 0 or x=±12x = \pm\frac{1}{\sqrt{2}}. We have f(0)=0f(0) = 0 and f(±12)=2(12)2(12)4=22(14)=2121.4140.5=0.914f(\pm\frac{1}{\sqrt{2}}) = 2(\frac{1}{\sqrt{2}}) - 2(\frac{1}{\sqrt{2}})^4 = \sqrt{2} - 2(\frac{1}{4}) = \sqrt{2} - \frac{1}{2} \approx 1.414 - 0.5 = 0.914, so the function lies between 00 and 212\sqrt{2} - \frac{1}{2} when 1x1-1 \le x \le 1, so the antecedent is satisfied.

We therefore only need to consider the consequent condition for D and F.
For the function in D, the integral on the right,
11f(x)dx\int_{-1}^{1} f(x) dx, is zero, since both xx and x3x^3 are odd functions: the area between 0 and 1 and the area between -1 and 0 are equal, but the first is above the xx-axis and the second below it, so they cancel each other out. We could also see this by calculating the integral explicitly. The integral on the left, 11(f(x))2dx\int_{-1}^{1} (f(x))^2 dx, is the integral of a square, which is never negative, so the integral must be greater than 0. (We could likewise find this exactly by explicit integration.) Thus 11(f(x))2dx>11f(x)dx\int_{-1}^{1} (f(x))^2 dx > \int_{-1}^{1} f(x) dx and the consequent is false. Hence D provides a counterexample.

For the sake of completeness, we will show that F is not a counterexample. Note that
0f(x)<10 \le f(x) < 1 for all 1x1-1 \le x \le 1. This means that (f(x))2f(x)(f(x))^2 \le f(x) for all 1x1-1 \le x \le 1, and so 11(f(x))2dx11f(x)dx\int_{-1}^{1} (f(x))^2 dx \le \int_{-1}^{1} f(x)dx. Thus F is not a counterexample. (We could, of course, find these integrals by explicitly integrating.)

The correct answer is therefore D.

Question 19

1 mark
Some identical unit cubes are used to construct a three-dimensional object by gluing them together face to face.
Sketches of this object are made by looking at it from the right-hand side, from the front and from above. These sketches are called the side elevation, the front elevation, and the plan view respectively.

Exam diagram
This is the side elevation of the object.
Exam diagram
This is the front elevation of the object.
Exam diagram
This is the plan view of the object.
How many cubes were used to construct the object?
  • A.exactly 6
  • B.either 6 or 7
  • C.exactly 7
  • D.either 7 or 8
  • E.exactly 8
  • F.either 8 or 9
  • G.exactly 9

Answer: F

Worked solution

We first note that the object fits within a 3×33 \times 3 cube. We begin with the plan view of the object: all of the cubes must be within three layers fitting within this L-shape.
Let us show the three layers:

We have used '?' to indicate that we do not yet know where there are cubes. We do, however, know that there must be a cube in at least one of the three layers for each of the five positions.
Next, let us look at the front elevation. This tells us that in the left hand column, we can see two cubes. Since there is only one possible location for the cubes in this column, the first two layers must have a cube and the third not. Likewise, for the middle column, there is only a cube in the bottom layer. In the right hand column, there must be at least one cube in each layer, but it is not yet clear where these would be, as there are three possible positions in each layer.
We now know the following:

Next, let us consider the side elevation. The left hand column, which corresponds to the bottom row of the plan view layers, has height 2, which means that the bottom right corner of the top layer cannot have a cube. The middle column, which corresponds to the middle row of the plan view layers, has height three, so all three of these cubes must be present (as there is only one possible position in the middle row). Finally, the right column, corresponding to the top row of the plan view layers, has height one, so only the bottom layer has a cube in this position.
We thus reach this position:

One of the '?' cubes must be present, to give the required plan view, and the other one may or may not be – it makes no difference to any of the views. So there are either 8 or 9 cubes, and the answer is option F. (Note that we would need the corner of the bottom layer to be 'Y' if it is a single object.)

Question 20

1 mark
Each interior angle of a regular polygon with nn sides is 34\frac{3}{4} of each interior angle of a second regular polygon with mm sides.
How many pairs of positive integers
nn and mm are there for which this statement is true?
  • A.none
  • B.1
  • C.2
  • D.3
  • E.4
  • F.5
  • G.6
  • H.infinitely many

Answer: E

Worked solution

We can find the interior angle of a regular polygon with nn sides as follows. The exterior angle is 360n\frac{360^{\circ}}{n}, so the interior angle is 180360n180^{\circ} - \frac{360^{\circ}}{n}. Therefore the given condition can be written as
180360n=34(180360m).180^{\circ} - \frac{360^{\circ}}{n} = \frac{3}{4}\left(180^{\circ} - \frac{360^{\circ}}{m}\right).

We start by dividing by
180180^{\circ} for simplicity, giving
12n=34(12m).1 - \frac{2}{n} = \frac{3}{4}\left(1 - \frac{2}{m}\right).

Now multiplying both sides by
44 and expanding the brackets gives
48n=36m,4 - \frac{8}{n} = 3 - \frac{6}{m},

which rearranges to
8n6m=1.()\frac{8}{n} - \frac{6}{m} = 1. \quad(*)

We will look at two methods of solving this equation, starting with a case-based approach.
We know that
nn and mm must each be at least 33. If n8n \ge 8, then 8n1\frac{8}{n} \le 1, and so this cannot give a solution to (*). So we need only consider n=3,4,5,6n = 3, 4, 5, 6 and 77. For each of these, we can solve the equation to find mm; if mm is an integer greater than 22, we have a solution.

|
nn | 8n1\frac{8}{n} - 1 | 6m\frac{6}{m} | mm |
|---|---------------|-------|-----|
|
33 | 831=53\frac{8}{3} - 1 = \frac{5}{3} | 53\frac{5}{3} | 185\frac{18}{5} (not integer) |
|
44 | 841=1\frac{8}{4} - 1 = 1 | 11 | 66 |
|
55 | 851=35\frac{8}{5} - 1 = \frac{3}{5} | 35\frac{3}{5} | 1010 |
|
66 | 861=26=13\frac{8}{6} - 1 = \frac{2}{6} = \frac{1}{3} | 13\frac{1}{3} | 1818 |
|
77 | 871=17\frac{8}{7} - 1 = \frac{1}{7} | 17\frac{1}{7} | 4242 |

There are four pairs of
nn and mm, and the answer is E.
A second approach to solving (*) is to multiply both sides by
mnmn to eliminate the fractions; this gives
8m6n=mn8m - 6n = mn.
We can rearrange this to give
mn+6n8m=0mn + 6n - 8m = 0, and we can factorise the left hand side by adding or subtracting a constant to get
(m+6)(n8)=48(m + 6)(n - 8) = -48.
So we need to find two integers which multiply to
48-48. Since mm and nn are both positive, we must have n8<0n - 8 < 0 and m+69m + 6 \ge 9 (as m3m \ge 3), so the possibilities are:

|
m+6m+6 | n8n-8 | mm | nn |
|-------|-------|---|---|
|
1212 | 4-4 | 66 | 44 |
|
1616 | 3-3 | 1010 | 55 |
|
2424 | 2-2 | 1818 | 66 |
|
4848 | 1-1 | 4242 | 77 |

as before.
TMUA 2016 (Paper 2): Questions & Worked Solutions | tmua.fyi