Maths Olympiad Prep

Library / /339 of 348

Algebra Difficulty 5.3 AIME, harder Find the answer

Real numbers x,y,zx, y, z satisfy x+xy+xyz=1,y+yz+xyz=2,z+xz+xyz=4x+x y+x y z=1, \quad y+y z+x y z=2, \quad z+x z+x y z=4 The largest possible value of xyzx y z is a+bcd\frac{a+b \sqrt{c}}{d}, where a,b,c,da, b, c, d are integers, dd is positive, cc is square-free, and gcd(a,b,d)=1\operatorname{gcd}(a, b, d)=1. Find 1000a+100b+10c+d1000 a+100 b+10 c+d.

A number or a short expression. Spacing and $ signs are ignored.

Solution

Solution 1: Let p=xyzp=x y z and q=(x+1)(y+1)(z+1)q=(x+1)(y+1)(z+1). Then, we get pq=[x(1+y)][y(1+z)][z(1+x)]=(1p)(2p)(4p)p q=[x(1+y)] \cdot[y(1+z)] \cdot[z(1+x)]=(1-p)(2-p)(4-p) Additionally, note that qp=xy+yz+zx+x+y+z+1=(x+xy)+(y+yz)+(z+xz)+1=83pq-p=x y+y z+z x+x+y+z+1=(x+x y)+(y+y z)+(z+x z)+1=8-3 p Therefore, we have q=82pq=8-2 p. Substituting this into our earlier equation gives us p(82p)=(1p)(2p)(4p)p(8-2 p)=(1-p)(2-p)(4-p) We can rearrange this to get (4p)(25p+p2)=0(4-p)\left(2-5 p+p^{2}\right)=0. Solving this gives us p=4,5±172p=4, \frac{5 \pm \sqrt{17}}{2}. Thus, our maximum solution is 5+172\frac{5+\sqrt{17}}{2}, which yields an answer of 5272. To show that such a solution exists, see Solution 2. Solution 2: Let r=xyz1r=x y z-1. Observe that rx=x(y+yz+xyz)(x+xy+xyz)=2x1x=12rr x=x(y+y z+x y z)-(x+x y+x y z)=2 x-1 \Longleftrightarrow x=\frac{1}{2-r} Similarly, y=24ry=\frac{2}{4-r} and z=41rz=\frac{4}{1-r}. Therefore 8=(1+r)(1r)(2r)(4r)8=(1+r)(1-r)(2-r)(4-r). This factors as r(r3)(r23r2)=0r(r-3)\left(r^{2}-3 r-2\right)=0, so the maximum possible value for rr is 3+172\frac{3+\sqrt{17}}{2} Now let's check that this yields a valid solution for x,y,zx, y, z. Let r=3+172r=\frac{3+\sqrt{17}}{2} and let x=12r,y=24r,z=x=\frac{1}{2-r}, y=\frac{2}{4-r}, z= 41r\frac{4}{1-r}. Then xyz1=8(2r)(4r)(1r)1=1+r1=rx y z-1=\frac{8}{(2-r)(4-r)(1-r)}-1=1+r-1=r. Now, we may do our above computations in reverse to get 2x1=2x(2r)x=rx=x2yzx=x(y+yz+xyz)(xxy+xyz)2 x-1=2 x-(2-r) x=r x=x^{2} y z-x=x(y+y z+x y z)-(x-x y+x y z) Repeating the same thing for yy and zz yields that (1x001yz01)(124)=(1x001yz01)(x+xy+xyzy+yz+xyzz+xz+xyz)\left(\begin{array}{ccc} -1 & x & 0 \\ 0 & -1 & y \\ z & 0 & -1 \end{array}\right)\left(\begin{array}{l} 1 \\ 2 \\ 4 \end{array}\right)=\left(\begin{array}{ccc} -1 & x & 0 \\ 0 & -1 & y \\ z & 0 & -1 \end{array}\right)\left(\begin{array}{l} x+x y+x y z \\ y+y z+x y z \\ z+x z+x y z \end{array}\right) However, since xyz10x y z-1 \neq 0, the determinant of the matrix is nonzero, so we may multiply by its inverse to find that (124)=(x+xy+xyzy+yz+xyzz+xz+xyz)\left(\begin{array}{l} 1 \\ 2 \\ 4 \end{array}\right)=\left(\begin{array}{l} x+x y+x y z \\ y+y z+x y z \\ z+x z+x y z \end{array}\right) Therefore this construction is valid.

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: Omni-MATH, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.