– Supposons la propriété vraie pour k−1≥1. Soient n= 2ket x∈Knque l’on écrit
x= (y1, ..., y2k−1, z1, ..., z2k−1).
On désigne par Qk−1la forme quadratique sur K2k−1donnée par Qk−1(X1, ..., X2k−1) =
P2k−1
i=1 X2
i.En posant y= (y1, ..., y2k−1)et z= (z1, ..., z2k−1)on a
Q(x) = Qk−1(y) + Qk−1(z).
Par hypothèse de récurrence, si y(resp. z) est non nul on dispose de Ty(resp. Tz)
correspondant à la forme Qk−1.
Si z6= 0 et y= 0, on pose Tx=0Tz
−Tz0.
Si z= 0 et y6= 0, on pose Tx=Ty0
0−Ty.
Si z6= 0 et y6= 0, on pose Tx=TyTz
−TztT−1
ztTyTz.
6. D’après la question 4, si Qkest isotropique, alors l’ensemble des sommes non nulles de 2k
carrés est K∗tout entier. Sinon, pour tous vecteurs non nuls x, y ∈K2k, on a Q(x)Q(y)6= 0
et Q(x)Q(y) = Q(x)tyy =ty(Q(x) Id)y=ty(tTxTx)y=t(Txy)Txy=Q(z)où zest
l’image de ypar la matrice Tx. Donc Q(x)Q(y)est une somme de 2kcarrés. De même
Q(x)Q(y)−1=Q(zQ(y)−1)est une somme de 2kcarrés.
7. Soit νle niveau fini du corps Ket 2kla plus grande puissance de 2telle que 2k≤ν. On a
une écriture
−1 = x1+... +x2
2k−1+x2
2k+... +x2
ν
avec a= 1 + x1+... +x2
2k−16= 0 sinon −1serait somme de 2k−1< ν carrés. On pose
b=x2
2k+... +x2
ν. C’est une somme de (au plus) 2kcarrés. Ainsi, a−1b=−1est une somme
de 2kcarrés d’après la question précédente d’où ν≤2k.
Exercice 2. Soit Eun K-espace vectoriel de dimension finie n≥2et Qune forme quadratique
non dégénérée sur Ede forme polaire B. Soient Hun hyperplan de Eet u∈O(Q)vérifiant
u|H= IdH. Puisque Qest non dégénérée, l’orthogonal de Hest une droite Kx.
1. Sous l’hypothèse Q|Hnon dégénérée, on a H∩H⊥={0}et E=H⊕Kx où xest un
vecteur non isotrope. Puisque u(H) = H, on a u(Kx) = Kx et xest un vecteur propre
pour upour la valeur propre λ. Or Q(u(x)) = Q(x) = λ2Q(x)avec Q(x)6= 0, donc λ=±1.
2. Sous l’hypothèse Q|Hdégénérée, on a H∩H⊥=Kx. Soit z∈E\H. On a u(z) = λz +y
avec y∈Het λ∈K. On veut montrer que u(z) = z. Or, puisque z6∈ H, on a B(x, z)6= 0.
D’autre part, B(x, z) = B(u(x), u(z)) = B(x, λz +y) = λB(x, z)donc λ= 1. Mais alors,
pour tout h∈H, on a B(z, h) = B(u(z), h) = B(z+y, h)donc B(y, h) = 0 et y∈H∩H⊥=
Kx : il existe µ∈Ktel que y=µx. On a donc Q(z) = Q(u(z)) = Q(z) + 2µB(z, x)donc
µ= 0.
Exercice 3. Soient Eun K-espace vectoriel de dimension finie n≥2,Qune forme quadratique
non dégénérée sur E.
1. Soient x∈E−{0}un vecteur isotrope et λ∈K∗. L’endomorphisme de multiplication par
λest une isométrie de Kx relative à Q|Kx . Par le théorème de Witt, elle s’étend en une
isométrie u∈O(Q).
2. La valeur propre λrelative à un vecteur propre pour uet non isotrope vérifie λ2= 1.
3. Il existe p∈ {1, ..., n}tel que uest un produit de préflexions orthogonales r1, ..., rpd’hy-
perplans respectifs H1, ..., Hp.