Official papers

Official 2016 Paper 2 · Q7

Paper 2Logic & proofPowers & logarithmsAlgebra

The four real numbers a,b,ca,b,c, and dd are all greater than 1.

Suppose that they satisfy the equation log⁡cd=(log⁡ab)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

(∗)log⁡bd=(log⁡ab)(log⁡ac).(*)\quad\log_b d=(\log_a b)(\log_a c).
  • (1) Let x=log⁡abx=\log_a b and y=log⁡acy=\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=((ay)x)2d=((a^y)^x)^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.

Read the questions freely. Sign in to check your answer, see the worked solution and save your progress.