Soit $ (a_1, a_2, a_3) \in \mathbb{R}^3 $.
Les fonctions $ x \mapsto \sin(x + a_k) $ sont-elles linéairement indépendantes ?