Hallo,
es geht um die Folgerungen aus der Annahme mit reellen \(s_k\)
$$\forall x \in \mathbb{R}: \quad \sum_{k=1}^n s_k \cos(kx)=0$$
Wenn man die cos-Funktion 4-mal differenziert, erhält man wieder den cos. Daher folgt aus obiger Gleichung für alle \(m \in \mathbb{N}\) durch 4m-maliges Differendzieren:
$$\forall x \in \mathbb{R}: \quad \sum_{k=1}^n s_k k^{4m} \cos(kx)=0 \Rightarrow \quad \sum_{k=1}^n s_k \left(\frac{k}{n}\right) ^{4m} \cos(kx)=0 \rightarrow s_n\cos(nx)=0$$
Letzteres durch Grenzübergang \(m \to \infty\). Da x beliebig ist, folgt \(s_n=0\).
Analog arbeite man jetzt alle Koeffizienten ab.
Gruß Mathhilf