Maths Olympiad Prep

Library / /1170 of 1394

Algebra Difficulty 5.7 AIME, harder Prove it United States

Problem:
Let aa, bb, and cc be real numbers satisfying the system of equations
a1+b2+b1+a2=34,a\sqrt{1 + b^{2}} + b\sqrt{1 + a^{2}} = \frac{3}{4},
b1+c2+c1+b2=512,b\sqrt{1 + c^{2}} + c\sqrt{1 + b^{2}} = \frac{5}{12},
and
c1+a2+a1+c2=2120.c\sqrt{1 + a^{2}} + a\sqrt{1 + c^{2}} = \frac{21}{20}.

Compute aa.

Solution

Solution:
Recall that the functions sinh(x)=exex2\sinh(x) = \frac{e^{x} - e^{-x}}{2} and cosh(x)=ex+ex2\cosh(x) = \frac{e^{x} + e^{-x}}{2} satisfy the relation
sinh(x+y)=sinh(x)cosh(y)+cosh(x)sinh(y)=sinh(x)1+sinh(y)2+sinh(y)1+sinh(x)2.\sinh(x + y) = \sinh(x)\cosh(y) + \cosh(x)\sinh(y) = \sinh(x)\sqrt{1 + \sinh(y)^{2}} + \sinh(y)\sqrt{1 + \sinh(x)^{2}}.
Since sinh\sinh is surjective, we can perform the substitution a=sinh(x)a = \sinh(x), b=sinh(y)b = \sinh(y), and c=sinh(z)c = \sinh(z), which turns the equations into
sinh(x+y)=2122,\sinh(x + y) = \frac{2 - \frac{1}{2}}{2},
sinh(y+z)=32232,\sinh(y + z) = \frac{\frac{3}{2} - \frac{2}{3}}{2},
sinh(z+x)=52252.\sinh(z + x) = \frac{\frac{5}{2} - \frac{2}{5}}{2}.
Thus, x+y=log(2)x + y = \log(2), y+z=log(3/2)y + z = \log(3 / 2), and z+x=log(5/2)z + x = \log(5 / 2). Solving these equations gives x=log(10/3)x = \log(\sqrt{10 / 3}), so
a=12(103310)=[7230]a = \frac{1}{2}\left(\sqrt{\frac{10}{3}} - \sqrt{\frac{3}{10}}\right) = \left[\frac{7}{2\sqrt{30}}\right]

Solution 2:
We can find positive real numbers xx, yy, and zz such that a=x212xa = \frac{x^{2} - 1}{2x}, b=y212yb = \frac{y^{2} - 1}{2y}, and c=z212zc = \frac{z^{2} - 1}{2z}. Then, the first equation becomes
x212xy2+12y+y212yx2+12x=34,\frac{x^{2} - 1}{2x} \cdot \frac{y^{2} + 1}{2y} + \frac{y^{2} - 1}{2y} \cdot \frac{x^{2} + 1}{2x} = \frac{3}{4},
which simplifies to
xy1xy=32,xy - \frac{1}{xy} = \frac{3}{2},
from which it follows that xy=2xy = 2. Similarly, yz1yz=56yz - \frac{1}{yz} = \frac{5}{6} and zx1zx=2110zx - \frac{1}{zx} = \frac{21}{10}, so yz=32yz = \frac{3}{2} and zx=52zx = \frac{5}{2}. Thus x=(252)/(32)=103x = \sqrt{(2 \cdot \frac{5}{2}) / (\frac{3}{2})} = \sqrt{\frac{10}{3}}, and
a=(10/3)1210/3=[7230]a = \frac{(10 / 3) - 1}{2\sqrt{10 / 3}} = \left[\frac{7}{2\sqrt{30}}\right]

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.