Maths Olympiad Prep

Library / /40 of 71

Algebra Difficulty 5.2 AIME, harder Prove it United States

Problem:

Let xx and yy be positive real numbers such that x2+y2=1x^{2} + y^{2} = 1 and (3x4x3)(3y4y3)=12(3x - 4x^{3})(3y - 4y^{3}) = -\frac{1}{2}. Compute x+yx + y.

Solution

Solution:

Let x=cos(θ)x = \cos(\theta) and y=sin(θ)y = \sin(\theta). Then, by the triple angle formulae, we have that 3x4x3=cos(3θ)3x - 4x^{3} = -\cos(3\theta) and 3y4y3=sin(3θ)3y - 4y^{3} = \sin(3\theta), so sin(3θ)cos(3θ)=12-\sin(3\theta) \cos(3\theta) = -\frac{1}{2}. We can write this as 2sin(3θ)cos(3θ)=sin(6θ)=12 \sin(3\theta) \cos(3\theta) = \sin(6\theta) = 1, so θ=16sin1(1)=π12\theta = \frac{1}{6} \sin^{-1}(1) = \frac{\pi}{12}. Thus,

x+y=cos(π12)+sin(π12)=6+24+624=62x + y = \cos\left(\frac{\pi}{12}\right) + \sin\left(\frac{\pi}{12}\right) = \frac{\sqrt{6} + \sqrt{2}}{4} + \frac{\sqrt{6} - \sqrt{2}}{4} = \frac{\sqrt{6}}{2}.

Solution 2:

Expanding gives 9xy+16x3y312xy312x3y=9(xy)+16(xy)312(xy)(x2+y2)=129xy + 16x^{3}y^{3} - 12x y^{3} - 12x^{3}y = 9(xy) + 16(xy)^{3} - 12(xy)(x^{2} + y^{2}) = -\frac{1}{2}, and since x2+y2=1x^{2} + y^{2} = 1, this is 3(xy)+16(xy)3=12-3(xy) + 16(xy)^{3} = -\frac{1}{2}, giving xy=12,14xy = -\frac{1}{2}, \frac{1}{4}. However, since xx and yy are positive reals, we must have xy=14xy = \frac{1}{4}. Then,

x+y=x2+y2+2xy=1+214=32=62x + y = \sqrt{x^{2} + y^{2} + 2xy} = \sqrt{1 + 2 \cdot \frac{1}{4}} = \sqrt{\frac{3}{2}} = \frac{\sqrt{6}}{2}.

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.