Let $a{}$ and $b{}$ be positive integers. Prove that for any real number $x{}$ \[\sum_{j=0}^a\binom{a}{j}\big(2\cos((2j-a)x)\big)^b=\sum_{j=0}^b\binom{b}{j}\big(2\cos((2j-b)x)\big)^a.\]
Source: Russian TST 2022, Day 7 P1
Tags: algebra, trigonometry
Let $a{}$ and $b{}$ be positive integers. Prove that for any real number $x{}$ \[\sum_{j=0}^a\binom{a}{j}\big(2\cos((2j-a)x)\big)^b=\sum_{j=0}^b\binom{b}{j}\big(2\cos((2j-b)x)\big)^a.\]