Problem #PRU-35457

Problems Calculus Real numbers Integer and fractional parts. Archimedean property Methods Pigeonhole principle Pigeonhole principle (angles and lengths)

Problem

Prove that the equation \[a_1 \sin x + b_1 \cos x + a_2 \sin 2x + b_2 \cos 2x + \dots + a_n \sin nx + b_n \cos nx = 0\] has at least one root for any values of \(a_1 , b_1, a_2, b_2, \dots, a_n, b_n\).