Maths Olympiad Prep

Library / HMMT February /1088 of 1302

HMMT February

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)=cos⁡anf(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+2−am+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 x2−y2=3xyx^{2}-y^{2}=3 x y. Solving gives y=x−3±132y=x \frac{-3 \pm \sqrt{13}}{2}. The expression we are trying to maximize is 2(x2−y2)=6xy2\left(x^{2}-y^{2}\right)=6 x y, so we want x,yx, y to have the same sign; thus y=x−3+132y=x \frac{-3+\sqrt{13}}{2}. Then ∣y∣≤∣x∣|y| \leq|x|, so since ∣x∣,∣y∣≤1|x|,|y| \leq 1, to maximize 6xy6 x y we can simply set x=1x=1, for a maximal value of 6⋅−3+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,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: Omni-MATH, licensed Apache-2.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.