Les cos(kx) et sin(kx) sont libres
(Oral Mines-Ponts)
Montrer que les fonctions {x\mapsto \cos(x)}, {x\mapsto \sin(x)}, {x\mapsto \cos(2x)}, {x\mapsto \sin(2x)}, {\ldots}, {x\mapsto \cos (nx)}, {x\mapsto \sin(nx)} sont linéairement indépendantes.
Montrer que les fonctions {x\mapsto \cos(x)}, {x\mapsto \sin(x)}, {x\mapsto \cos(2x)}, {x\mapsto \sin(2x)}, {\ldots}, {x\mapsto \cos (nx)}, {x\mapsto \sin(nx)} sont linéairement indépendantes.