Subcontests
(4)Interesting thing related to a kind of Fourier sum
Let be a natural number n, two n-tuplets of real numbers a:=(a1,a2,…,an),b:=(b1,b2,…,bn), and the function f:R⟶R,f(x)=∑i=1naicos(bix). Prove that if the numbers of b are all positive and pairwise distinct, a) then, f≥0 implies that the numbers of a are all equal.
b) if the numbers of a are all nonzero and f is periodic, then the ratio of any two numbers of b is rational.
Marin Tolosi