Sean $a{}$ y $b{}$ enteros positivos. Demuestre que para cualquier número real $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.\]