Skip to main content
Lemma

TMUA practice: Necessary Sufficient, problem 1

A TMUA-calibre necessary sufficient problem at difficulty 4 of 5, with the full worked solution.

The question
Let x,y,z,wx, y, z, w be positive real numbers satisfying: (i) if x>yx > y then z>wz > w; (ii) if x>zx > z then y<wy < w. Which of the following is a valid conclusion?
A if x<y then z<w\text{if } x<y \text{ then } z<w
B if x<z then y>w\text{if } x<z \text{ then } y>w
C if x>y+z then z<y\text{if } x>y+z \text{ then } z<y
D if x>y+z then z>y\text{if } x>y+z \text{ then } z>y

The correct answer is highlighted. D

Worked solution

Suppose x>y+zx > y + z. Since yy and zz are positive, y+z>yy + z > y and y+z>zy + z > z, so

x>yandx>z.x > y \qquad \text{and} \qquad x > z.

  • From x>yx > y, premise (i) gives z>wz > w.
  • From x>zx > z, premise (ii) gives y<wy < w.

Chaining these: y<w<zy < w < z, hence z>yz > y.

So x>y+z    z>yx > y + z \implies z > y — exactly statement D.

(The other options fail: (i) and (ii) are one-directional implications, so the converse-style claims in A and B do not follow, and C is the negation of what we just proved.)

Answer: D.