Maths Olympiad Prep

Library / /719 of 860

Algebra Difficulty 5.4 AIME, harder Find the answer

Express the following in closed form, as a function of xx : sin2(x)+sin2(2x)cos2(x)+sin2(4x)cos2(2x)cos2(x)++sin2(22010x)cos2(22009x)cos2(2x)cos2(x)\sin ^{2}(x)+\sin ^{2}(2 x) \cos ^{2}(x)+\sin ^{2}(4 x) \cos ^{2}(2 x) \cos ^{2}(x)+\cdots+\sin ^{2}\left(2^{2010} x\right) \cos ^{2}\left(2^{2009} x\right) \cdots \cos ^{2}(2 x) \cos ^{2}(x).

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

Solution

Note that sin2(x)+sin2(2x)cos2(x)++sin2(22010x)cos2(22009x)cos2(x)=(1cos2(x))+(1cos2(2x))cos2(x)++(1cos2(22010x))cos2(22009x)cos2(x)\begin{aligned} & \sin ^{2}(x)+\sin ^{2}(2 x) \cos ^{2}(x)+\cdots+\sin ^{2}\left(2^{2010} x\right) \cos ^{2}\left(2^{2009} x\right) \cdots \cos ^{2}(x) \\ & \quad=\left(1-\cos ^{2}(x)\right)+\left(1-\cos ^{2}(2 x)\right) \cos ^{2}(x)+\cdots+\left(1-\cos ^{2}\left(2^{2010} x\right)\right) \cos ^{2}\left(2^{2009} x\right) \cdots \cos ^{2}(x) \end{aligned} which telescopes to 1cos2(x)cos2(2x)cos2(4x)cos2(22010x)1-\cos ^{2}(x) \cos ^{2}(2 x) \cos ^{2}(4 x) \cdots \cos ^{2}\left(2^{2010} x\right). To evaluate cos2(x)cos2(2x)cos2(22010x)\cos ^{2}(x) \cos ^{2}(2 x) \cdots \cos ^{2}\left(2^{2010} x\right), multiply and divide by sin2(x)\sin ^{2}(x). We then get 1sin2(x)cos2(x)cos2(2x)cos2(22010x)sin2(x)1-\frac{\sin ^{2}(x) \cos ^{2}(x) \cos ^{2}(2 x) \cdots \cos ^{2}\left(2^{2010} x\right)}{\sin ^{2}(x)} Using the double-angle formula for sin, we get that sin2(y)cos2(y)=sin2(2y)4\sin ^{2}(y) \cos ^{2}(y)=\frac{\sin ^{2}(2 y)}{4}. Applying this 2011 times makes the above expression 1sin2(22011x)42011sin2(x)1-\frac{\sin ^{2}\left(2^{2011} x\right)}{4^{2011} \sin ^{2}(x)} which is in closed form.

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.