Axnyf
ouais on n'a même pas vu les dimensions, même si j'en ai une vague idée.
Sinon juste une petite question, je cherche à montrer que la famille (f0,f1,...fn) est libre, où pour tout k entre 0 et n fk(x)=cos kx.
Donc je pose pour tout x a0+a1cos(x)+a2cos(2x)+...+ancos(nx)=0
Si je note Tk les polynômes de Tchebychev de degré k, j'ai donc:
pour tout réel x, a0+a1T1(cosx)+a2T2(cosx)+...+anTn(cosx)=0
Là j'ai le droit de balancer "donc les ak valent 0", ou pas? 