Posté par
Tigweg Tigweg 
Bonjour ,
l'inégalité triangulaire et l'homogénéité sont triviales.
Pour ce qui concerne la propriété N(x)=0 implique x=0,
considérons une conmbinaison linéaire
=a_1sin(x)+..+a_nsin(nx))
d'éléments de F
n telle que

, ce qui s'écrit:
soit:
![4$\forall k\in[1;n], a_1sin(k)+a_2sin(2k)+...+a_nsin(kn)=0](http://latex.ilemaths.net/ile_tex.cgi?4$\forall k\in[1;n], a_1sin(k)+a_2sin(2k)+...+a_nsin(kn)=0)
.
On obtient alors un système de n équations d'inconnue
)
.
Sous forme matricielle, il équivaut à l'équation en A:
où A est le vecteur colonne de k-ème composante a
k,
et M est la matrice de k-ème ligne
;sin(2k);...;sin(nk)))
.
On cherche à prouver que A est le vecteur nul, c'est-à-dire que l'application linéaire associée à M dans toute base de

est injective, ce qui équivaut à l'inversibilité de M, ou encore à ce que son déterminant soit non nul.
Il ne reste donc plus que ce point à prouver.
