Maths Olympiad Prep

Library / /9 of 25

Algebra Difficulty 4.0 AMC 10/12 Prove it Turkey

Find the largest value of xyx - y, where xx, yy, zz are real numbers satisfying the following two conditions
x+y+z=2,xy+yz+zx=1. x + y + z = 2, \quad xy + yz + zx = 1.

Solution

Answer: 233\frac{2\sqrt{3}}{3}.
The equality holds at x=2+33x = \frac{2+\sqrt{3}}{3}, y=233y = \frac{2-\sqrt{3}}{3}, z=23z = \frac{2}{3}.
Let us show that xy233x - y \le \frac{2\sqrt{3}}{3}.

Solution 1: Problem conditions yield
x+y=2z,xy=1z(x+y)=1z(2z)=(z1)2 x + y = 2 - z, \quad xy = 1 - z(x + y) = 1 - z(2 - z) = (z - 1)^2
Therefore,
(xy)2=(x+y)24xy=(2z)24(z1)2=z(43z) (x - y)^2 = (x + y)^2 - 4xy = (2 - z)^2 - 4(z - 1)^2 = z(4 - 3z)
and consequently xy=z(43z)|x - y| = \sqrt{z(4 - 3z)}. Since by AM-GM inequality 3z(43z)43z(4 - 3z) \le 4 we can complete the proof: xyxy23/3x - y \le |x - y| \le 2\sqrt{3}/3.

Solution 2: Problem conditions yield (xy)2+(yz)2+(zx)2=(x-y)^2 + (y-z)^2 + (z-x)^2 =
2(x2+y2+z2)2(xy+yz+zx)=2(x+y+z)26(xy+yz+zx)=2.2(x^2+y^2+z^2)-2(xy+yz+zx) = 2(x+y+z)^2 - 6(xy+yz+zx) = 2.
Let us put a=xya = x-y and b=yzb = y-z. Then zx=abz-x = -a-b and hence
a2+b2+(ab)2=2a^2 + b^2 + (-a-b)^2 = 2 and a2+ab+b2=1a^2 + ab + b^2 = 1. The last equation
can be interpreted as a second order equation with respect to bb: b2+ab+(a21)=0b^2 + ab + (a^2-1) = 0. Since aa and bb are real numbers its discriminant D=a24(a21)=43a20D = a^2 - 4(a^2-1) = 4 - 3a^2 \ge 0. Hence aa23a \le |a| \le \frac{2}{\sqrt{3}}.
Done.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.