Question

Difficulty: Very hardFractions and Rational Numbers
Let aa, bb, and cc be positive integers, and define three rational numbers xx, yy, and zz as follows:
x=aa+b,y=bb+c,andz=cc+ax = \frac{a}{a+b}, \quad y = \frac{b}{b+c}, \quad \text{and} \quad z = \frac{c}{c+a}
Which of the following statements MUST be true for all such positive integers aa, bb, and cc? Select all that apply.
  1. The sum x+y+zx + y + z satisfies the inequality 1<x+y+z<21 < x + y + z < 2.Answer
  2. The product (1x)(1y)(1z)(1 - x)(1 - y)(1 - z) is identically equal to xyzxyz.Answer
  3. The product xyzxyz cannot exceed 18\frac{1}{8}.Answer
  4. D
    The sum x+y+zx + y + z can be equal to an integer.
  5. E
    If x+y+z=32x + y + z = \frac{3}{2}, then it must be that x=y=z=12x = y = z = \frac{1}{2}.

Answer

The statements asserting that 1<x+y+z<21 < x + y + z < 2, that (1x)(1y)(1z)=xyz(1 - x)(1 - y)(1 - z) = xyz, and that xyz18xyz \le \frac{1}{8} are all true.
The statement bounding the sum between 1 and 2 is correct because adjusting denominators to a common sum a+b+ca+b+c reveals that the sum is strictly greater than 1 and strictly less than 2. The identity statement is correct because subtracting each fraction from 1 shifts the numerators cyclically without changing the overall product. The statement placing an upper bound of 18\frac{1}{8} on the product is correct by applying the AM-GM inequality to each denominator term.

Step-by-Step Solution

1
Establish strict bounds on the sum x+y+zx + y + z.
Since a,b,c>0a, b, c > 0, we have aa+b>aa+b+c\frac{a}{a+b} > \frac{a}{a+b+c}. Summing all three terms gives x+y+z>a+b+ca+b+c=1x + y + z > \frac{a+b+c}{a+b+c} = 1. To find the upper bound, rewrite aa+b<a+ca+b+c\frac{a}{a+b} < \frac{a+c}{a+b+c}. Summing all three terms gives x+y+z<(a+c)+(a+b)+(b+c)a+b+c=2x + y + z < \frac{(a+c)+(a+b)+(b+c)}{a+b+c} = 2. Thus, 1<x+y+z<21 < x + y + z < 2.
This proves that the sum of the three fractions must always lie strictly between 1 and 2.
2
Compute the product (1x)(1y)(1z)(1-x)(1-y)(1-z) algebraically.
1x=1aa+b=ba+b1 - x = 1 - \frac{a}{a+b} = \frac{b}{a+b}, 1y=cb+c1 - y = \frac{c}{b+c}, and 1z=ac+a1 - z = \frac{a}{c+a}. The product is bca(a+b)(b+c)(c+a)=abc(a+b)(b+c)(c+a)=xyz\frac{b \cdot c \cdot a}{(a+b)(b+c)(c+a)} = \frac{abc}{(a+b)(b+c)(c+a)} = xyz.
This proves the structural algebraic identity between (1x)(1y)(1z)(1-x)(1-y)(1-z) and xyzxyz.
3
Apply the AM-GM inequality to find the upper bound of xyzxyz.
Since a+b2aba+b \ge 2\sqrt{ab}, b+c2bcb+c \ge 2\sqrt{bc}, and c+a2cac+a \ge 2\sqrt{ca}, their product satisfies (a+b)(b+c)(c+a)8a2b2c2=8abc(a+b)(b+c)(c+a) \ge 8\sqrt{a^2b^2c^2} = 8abc. Taking the reciprocal gives xyz=abc(a+b)(b+c)(c+a)abc8abc=18xyz = \frac{abc}{(a+b)(b+c)(c+a)} \le \frac{abc}{8abc} = \frac{1}{8}.
This confirms that xyzxyz has a maximum possible value of 18\frac{1}{8} (achieved when a=b=ca=b=c).
4
Test counterexamples for the remaining statements.
Since 1<x+y+z<21 < x + y + z < 2, no integer value is possible, ruling out integer sums. Additionally, substituting a=1,b=2,c=1a=1, b=2, c=1 gives x=13,y=23,z=12x=\frac{1}{3}, y=\frac{2}{3}, z=\frac{1}{2}, whose sum is 32\frac{3}{2} despite x,y,zx, y, z not being equal to 12\frac{1}{2}.
This disproves the statements claiming the sum can be an integer or that a sum of 32\frac{3}{2} requires all three fractions to be equal.

Key Concept

Bounding and algebraic properties of cyclic rational fractions
Estimated Time:3m 0s
Rate this question