(HUN4)IMO2 If a1,a2,...,an are real constants, and if y=cos(a1+x)+2cos(a2+x)+⋯+ncos(an+x) has two zeros x1 and x2 whose difference is not a multiple of π, prove that y=0. algebratrigonometryTrigonometric EquationsequationIMO ShortlistIMO Longlist