Répondre :
Bonjour,
Q1)
Tu n'as en fait qu'un problème de rédaction (et moi aussi via cet interface..)
M(ai,j) matrice magique d'ordre n ⇔
Σ pour i de 1 à n (ai,j)
= Σ pour i de 1 à n (aj,i) (ceci exprime somme ligne = somme colonne)
= Σ pour i de 1 à n (ai,i) (= Tr(A) trace)
= Σ pour i de 1 à n (ai, n+1 - i) (ceci exprime sommes diagonales égales)
Soit tM la transposée de M (désolé pour la notation approximative)
tM(bi,j) / ∀(i,j) ∈ {1,2,...,n}², bi,j = aj,i
⇒ Σ pour j de 1 à n (bi,j) = Σ pour i de 1 à n (aj,i)
et donc d'après la définition précédente :
1) = Σ pour i de 1 à n (ai,j)
= Σ pour j de 1 à n (bj,i) (par définition de la transposée)
2) = Σ pour i de 1 à n (ai,i)
= Σ pour j de 1 à n (bj,j) (par définition de la transposée)
et 3) = Σ pour i de 1 à n (ai,n+1 - i)
= Σ pour j de 1 à n (bj, n+1 - j) (par définition de la transposée)
Et donc, 1) 2) et 3) ⇒ tM magique
Q2)
M = A + S décomposition unique (1)
⇒ tM = tA + tS
⇔ tM = - A + S (2)
(1) et (2) ⇒ S = (M + tM)/2 et A = (M - tM)/2
Or d'après Q1, M et tM sont magiques ⇒ Leur somme et leur différence sont magiques ainsi que leur produit par le réel 1/2.
⇒ A et S magiques
Tr(A) = (Tr(M) - Tr(tM))/2 = 0 car Tr(tM) = Tr(M)
Tr(S) = (Tr(M) + Tr(tM))/2 = 2Tr(M)/2 = Tr(M)
Q3)
D'après Q2) : Tr(A) = 0 et A est magique
⇒ [tex] \left[\begin{array}{ccc}a&b&c\\d&e&f\\g&h&i\end{array}\right] [/tex]
avec a+b+c = d+e+f = g+h+i = a+e+i = c+e+g = a+d+g = b+e+h = c+f+i = 0
et a = d = i = 0 car la diagonale d'une matrice antisymétrique est nulle (ai,i = -ai,i = 0)
on en déduit : b+c = d+f = g+h = c+g = d+g = b+h = c+f = 0
⇒ b = -c = g = - h = f = - d
⇒ [tex] \left[\begin{array}{ccc}0&b&-b\\-b&0&b\\b&-b&0\end{array}\right] [/tex]
Même technique pour S
On trouve : [tex] \left[\begin{array}{ccc}a&-a&0\\-a&0&a\\0&a&-a\end{array}\right] [/tex]
Je te laisse terminer...en espérant que le tex soit lisible
Q1)
Tu n'as en fait qu'un problème de rédaction (et moi aussi via cet interface..)
M(ai,j) matrice magique d'ordre n ⇔
Σ pour i de 1 à n (ai,j)
= Σ pour i de 1 à n (aj,i) (ceci exprime somme ligne = somme colonne)
= Σ pour i de 1 à n (ai,i) (= Tr(A) trace)
= Σ pour i de 1 à n (ai, n+1 - i) (ceci exprime sommes diagonales égales)
Soit tM la transposée de M (désolé pour la notation approximative)
tM(bi,j) / ∀(i,j) ∈ {1,2,...,n}², bi,j = aj,i
⇒ Σ pour j de 1 à n (bi,j) = Σ pour i de 1 à n (aj,i)
et donc d'après la définition précédente :
1) = Σ pour i de 1 à n (ai,j)
= Σ pour j de 1 à n (bj,i) (par définition de la transposée)
2) = Σ pour i de 1 à n (ai,i)
= Σ pour j de 1 à n (bj,j) (par définition de la transposée)
et 3) = Σ pour i de 1 à n (ai,n+1 - i)
= Σ pour j de 1 à n (bj, n+1 - j) (par définition de la transposée)
Et donc, 1) 2) et 3) ⇒ tM magique
Q2)
M = A + S décomposition unique (1)
⇒ tM = tA + tS
⇔ tM = - A + S (2)
(1) et (2) ⇒ S = (M + tM)/2 et A = (M - tM)/2
Or d'après Q1, M et tM sont magiques ⇒ Leur somme et leur différence sont magiques ainsi que leur produit par le réel 1/2.
⇒ A et S magiques
Tr(A) = (Tr(M) - Tr(tM))/2 = 0 car Tr(tM) = Tr(M)
Tr(S) = (Tr(M) + Tr(tM))/2 = 2Tr(M)/2 = Tr(M)
Q3)
D'après Q2) : Tr(A) = 0 et A est magique
⇒ [tex] \left[\begin{array}{ccc}a&b&c\\d&e&f\\g&h&i\end{array}\right] [/tex]
avec a+b+c = d+e+f = g+h+i = a+e+i = c+e+g = a+d+g = b+e+h = c+f+i = 0
et a = d = i = 0 car la diagonale d'une matrice antisymétrique est nulle (ai,i = -ai,i = 0)
on en déduit : b+c = d+f = g+h = c+g = d+g = b+h = c+f = 0
⇒ b = -c = g = - h = f = - d
⇒ [tex] \left[\begin{array}{ccc}0&b&-b\\-b&0&b\\b&-b&0\end{array}\right] [/tex]
Même technique pour S
On trouve : [tex] \left[\begin{array}{ccc}a&-a&0\\-a&0&a\\0&a&-a\end{array}\right] [/tex]
Je te laisse terminer...en espérant que le tex soit lisible
Merci d'avoir visité notre site Web, qui traite d'environ Mathématiques. Nous espérons que les informations partagées vous ont été utiles. N'hésitez pas à nous contacter pour toute question ou demande d'assistance. À bientôt, et pensez à ajouter ce site à vos favoris !