Express the following in closed form, as a function of x : sin2(x)+sin2(2x)cos2(x)+sin2(4x)cos2(2x)cos2(x)+⋯+sin2(22010x)cos2(22009x)⋯cos2(2x)cos2(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)=(1−cos2(x))+(1−cos2(2x))cos2(x)+⋯+(1−cos2(22010x))cos2(22009x)⋯cos2(x) which telescopes to 1−cos2(x)cos2(2x)cos2(4x)⋯cos2(22010x). To evaluate cos2(x)cos2(2x)⋯cos2(22010x), multiply and divide by sin2(x). We then get 1−sin2(x)sin2(x)cos2(x)cos2(2x)⋯cos2(22010x) Using the double-angle formula for sin, we get that sin2(y)cos2(y)=4sin2(2y). Applying this 2011 times makes the above expression 1−42011sin2(x)sin2(22011x) 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.