Maths Olympiad Prep

Library / /830 of 860

Algebra Difficulty 5.7 AIME, harder Find the answer

Suppose (a1,a2,a3,a4)(a_{1}, a_{2}, a_{3}, a_{4}) is a 4-term sequence of real numbers satisfying the following two conditions: - a3=a2+a1a_{3}=a_{2}+a_{1} and a4=a3+a2a_{4}=a_{3}+a_{2} - there exist real numbers a,b,ca, b, c such that an2+bn+c=cos(an)a n^{2}+b n+c=\cos \left(a_{n}\right) for all n{1,2,3,4}n \in\{1,2,3,4\}. Compute the maximum possible value of cos(a1)cos(a4)\cos \left(a_{1}\right)-\cos \left(a_{4}\right) over all such sequences (a1,a2,a3,a4)(a_{1}, a_{2}, a_{3}, a_{4}).

A number or a short expression. Fractions can be typed as 3/2, and spacing doesn't matter.

Solution

Let f(n)=cosanf(n)=\cos a_{n} and m=1m=1. The second ("quadratic interpolation") condition on f(m),f(m+1),f(m+2),f(m+3)f(m), f(m+1), f(m+2), f(m+3) is equivalent to having a vanishing third finite difference f(m+3)3f(m+2)+3f(m+1)f(m)=0f(m+3)-3 f(m+2)+3 f(m+1)-f(m)=0. This is equivalent to f(m+3)f(m)=3[f(m+2)f(m+1)]=6sin(am+2+am+12)sin(am+2am+12)=6sin(am+32)sin(am2)f(m+3)-f(m) =3[f(m+2)-f(m+1)] =-6 \sin \left(\frac{a_{m+2}+a_{m+1}}{2}\right) \sin \left(\frac{a_{m+2}-a_{m+1}}{2}\right) =-6 \sin \left(\frac{a_{m+3}}{2}\right) \sin \left(\frac{a_{m}}{2}\right). Set x=sin(am+32)x=\sin \left(\frac{a_{m+3}}{2}\right) and y=sin(am2)y=\sin \left(\frac{a_{m}}{2}\right). Then the above rearranges to x2y2=3xyx^{2}-y^{2}=3 x y. Solving gives y=x3±132y=x \frac{-3 \pm \sqrt{13}}{2}. The expression we are trying to maximize is 2(x2y2)=6xy2\left(x^{2}-y^{2}\right)=6 x y, so we want x,yx, y to have the same sign; thus y=x3+132y=x \frac{-3+\sqrt{13}}{2}. Then yx|y| \leq|x|, so since x,y1|x|,|y| \leq 1, to maximize 6xy6 x y we can simply set x=1x=1, for a maximal value of 63+132=9+3136 \cdot \frac{-3+\sqrt{13}}{2}=-9+3 \sqrt{13}.

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.