Trong đại số tuyến tính, bài này chính là việc chứng minh tập $\{ \sin x, \sin 2x, \dots \sin nx \}$ là độc lập tuyến tính trong $\mathcal{C}([0,\pi], \mathbb{R})$.
Với $1 \leq i \leq n$, đặt $$g_i(x) = \left(\sum\limits_{j=1}^{n} a_j \sin jx\right) \sin ix$$ thế thì $g_i(x) = 0$ với mọi $x \in [0, \pi]$, do vậy $\int\limits_{0}^{\pi} g_i(x) dx = 0$. Nhưng $\int\limits_{0}^{\pi} g_i(x) dx = a_i\frac{\pi}{2}$, do vậy $a_i = 0$.
dạ, em cảm ơn ạ. em có chút thắc mắc chỗ $g_i(x) = \left(\sum\limits_{j=1}^{n} a_j \sin jx\right) \sin ix$ ý ạ. Tại sao lại có cái $sin ix$ ở ngoài ngoặc vậy ạ. Mong anh giải đáp.