1. Caractérisation des matrices d'ordre 6 dans _2(\mathbb{Q})GL2(Q).}
Soit M∈M2(Q). Pour que M soit d'ordre 6, il faut et il suffit que son polynôme minimal μM soit le polynôme cyclotomique :
Φ6(X)=X2−X+1 En effet, les racines de Φ6 sont eiπ/3 et e−iπ/3, qui sont des racines primitives 6-ièmes de l'unité.
Si μM=Φ6, alors M6−I=(M3+I)(M2−M+I)=0, et on vérifie aisément que Mk=I pour 1≤k<6.
Puisque deg(Φ6)=2, cela équivaut à dire que le polynôme caractéristique χM est égal à Φ6.
En notant M=(acbd), les conditions χM(X)=X2−Tr(M)X+det(M) imposent :
{Tr(M)=a+d=1det(M)=ad−bc=1 2. Traduction de la contrainte sur la somme des coefficients.
On souhaite que la somme des coefficients S(M)=a+b+c+d soit égale à r.
En utilisant la relation a+d=1, cette condition devient :
1+b+c=r⟺b+c=r−1 Nous devons donc trouver a,b,c,d∈Q tels que :
- d=1−a
- b+c=r−1
- bc=ad−1=a(1−a)−1=−a2+a−1
3. Résolution du système sur Q.}
Les nombres b et c sont les racines du polynôme :
P(T)=T2−(r−1)T+(a2−a+1) Pour que b et c soient rationnels, il faut et il suffit que le discriminant Δ de ce polynôme soit le carré d'un rationnel q∈Q :
Δ=(r−1)2−4(a2−a+1)=(r−1)2−4a2+4a−4 On cherche donc a,q∈Q tels que :
q2=(r−1)2−4a2+4a−1−3⟺q2+(2a−1)2=(r−1)2−3
Attention, le signe ici dépend de la manipulation. Reprenons proprement :
Δ=(r−1)2−4a2+4a−4=q2
q2+4a2−4a+1=(r−1)2−4+1⟺q2+(2a−1)2=(r−1)2−3
Cette forme est complexe car le membre de droite peut être négatif. Utilisons plutôt une autre approche pour garantir l'existence.
Posons b=r−1 et c=0. Alors la condition bc=−a2+a−1 devient :
0=−a2+a−1
Ce qui n'a pas de solution réelle. Il faut donc que
b et
c soient non nuls.
Reprenons l'équation bc=−a2+a−1 avec c=r−1−b.
Fixons une valeur simple pour a, par exemple a=1. Alors d=0 et bc=−1.
On a alors le système :
{b+c=r−1bc=−1
Les solutions sont racines de
X2−(r−1)X−1=0. Le discriminant est :
Δ=(r−1)2+4
Ce
Δ est strictement positif, mais pas nécessairement un carré dans
Q.
Pour assurer que
Δ est un carré, nous devons choisir
a judicieusement.
Cherchons a tel que Δ=4a2−4a+4+(r−1)2 soit un carré q2.
q2−(2a−1)2=3+(r−1)2
Soit
K=3+(r−1)2. Comme
K>0 et
K∈Q, on peut écrire
K comme produit de deux rationnels :
q−(2a−1)=1etq+(2a−1)=K
En sommant et soustrayant, on obtient :
2q=K+1⟹q=2K+1∈Q
2(2a−1)=K−1⟹2a−1=2K−1∈Q
Puisque
a est rationnel,
Δ est le carré du rationnel
q. Ainsi
b et
c sont rationnels.
Conclusion.
Il existe bien une matrice M=(acb1−a)∈M2(Q) répondant à la question.