Enigmes

Forum dédié aux énigmes et à toutes formes de jeux de logique.

Déconnexion

Tu n'es pas identifié sur Prise2tete : s'identifier.

accueil Accueil forum Forum
[+]

 #1 - 15-05-2011 18:28:42

Yanyan
Expert de Prise2Tete
Enigmes résolues : 29
Messages : 509
Lieu: Lille si j'y suis

Fermat pour le smatrices

Je me décide à vous proposer quelque chose.
Montrer ( par vous même et si possible de manière élémentaire) que la trace du matrice carrée de rang n à la puissance p pour p premier est congrue à la trace de cette même matrice:
[TeX]tr(A^p)=tr(A)[p][/TeX]
Je n'ai pas de démonstration à mon goût donc j'espère que vous m'en produirez.
(svp ne pas chercher sur le net ou dans un livre)



Annonces sponsorisées :

Un mathématicien complet est topologiquement fermé!
  • |
  • Répondre

#0 Pub

 #2 - 15-05-2011 18:37:25

L00ping007
Elite de Prise2Tete
Enigmes résolues : 49
Messages : 1986
Lieu: Paris

fermat pour les latrices

J'imagine qu'on parle d'une matrice à coefficients dans Z

Je note \lambda_1,...,\lambda_n les valeurs propres de A
[TeX]tr(A)=\sum_{k=1}^n\lambda_k[/TeX][TeX]tr(A^p)=\sum_{k=1}^n(\lambda_k)^p[/TeX]
car les valeurs propres de [latex]A^p[/latex] sont les [latex](\lambda_k)^p[/latex]
[TeX]tr(A)^p=\left(\sum_{k=1}^n\lambda_k\right)^p
=\sum_{k=1}^n(\lambda_k)^p [p][/TeX]
La dernière égalité se montre par récurrence et en utilisant le résultat suivant :
[TeX]\forall 0 < k < p, p|C_p^k[/TeX]
Outre les puissances p-ièmes des différents [latex]\lambda_k[/latex], il y a toujours un facteur p dans les autres termes.

On arrive donc à l'égalité :
[TeX]tr(A^p)=tr(A)^p [p][/TeX]
Et on utilise le petit théorème de Fermat sur l'entier tr(A) :
[TeX]tr(A)^p=tr(A)[p][/TeX]
On a donc bien l'égalité cherchée :
[TeX]tr(A^p)=tr(A)[p][/TeX]

 #3 - 18-05-2011 07:14:05

Yanyan
Expert de Prise2Tete
Enigmes résolues : 29
Messages : 509
Lieu: Lille si j'y suis

Fermat pour les matrcies

Vu la difficulté focalisons nous sur le cas p=2 je rappelle alors que les coefficient de [latex]A^2[/latex] sont [latex]\sum_{k=1}^{n}a_{i,k} a_{k,j}[/latex]

d'ou  [latex]tr(A^2)=\sum_{i=1}^{n}\sum_{k=1}^{n}a_{i,k} a_{k,i}[/latex]

et on a [latex]tr(A)=\sum_{i=1}^{n}a_{i,i}[/latex]

donc il faut montrer que
[TeX]\sum_{i=1}^{n}\sum_{k=1}^{n}a_{i,k} a_{k,i}=\sum_{i=1}^{n}a_{i,i} \ [2][/TeX]
c'est-à-dire que ces deux entiers ont la même parité.


Un mathématicien complet est topologiquement fermé!

 #4 - 18-05-2011 07:21:19

Yanyan
Expert de Prise2Tete
Enigmes résolues : 29
Messages : 509
Lieu: Lille si j'y suis

FFermat pour les matrices

Pour  L00ping007 (et autres) s'occuper du cas n=2 donc des matrice 2*2 en faisant les calculs explicitement.


Un mathématicien complet est topologiquement fermé!

 #5 - 18-05-2011 12:31:52

papiauche
Sa Sainteté
Enigmes résolues : 49
Messages : 2124

fermat pour mes matrices

Pas simple mais ça se prouve.

1. La trace est invariante par similitude
2. On peut triangulariser la matrice sous la forme de Jordan
3. On obtient n coefficients diagonaux dans la matrice triangulaire
4. Chacun vérifie la propriété de congruence (petit théorème de Fermat)
5. Donc leur somme aussi.


"Je ne lis jamais un livre dont je dois faire la critique. On se laisse tellement influencer." O. Wilde

 #6 - 18-05-2011 14:25:08

Yanyan
Expert de Prise2Tete
Enigmes résolues : 29
Messages : 509
Lieu: Lille si j'y suis

Ferma tpour les matrices

Sa sainteté arrive-t-il a trigonaliser dans [latex]Z[/latex]?


Un mathématicien complet est topologiquement fermé!

 #7 - 18-05-2011 18:48:31

Yanyan
Expert de Prise2Tete
Enigmes résolues : 29
Messages : 509
Lieu: Lille si j'y suis

fermat pour led matrices

Double erreur de L00ping007 qui a considéré la trace de A le tout puissance p.
Je vais resoudre le cas n=2 mais il se peut qu'un invité mystérieux vienne nous donner la réponse complète mais elle ne sera sans doute pas élémentaire.
Mon cas n=2 ne l'étant pas vraiment...
Je répondrais demain si  L00ping007 n'y arrive pas (cas n=2) car sa méthode peut marcher dans ce cas précis.


Un mathématicien complet est topologiquement fermé!

 #8 - 18-05-2011 18:52:51

L00ping007
Elite de Prise2Tete
Enigmes résolues : 49
Messages : 1986
Lieu: Paris

Femat pour les matrices

Ma seule erreur est de ne pas avoir fait attention au fait que les \lambda sont au pire algébriques, mais certainement pas nécessairement entiers. Mon facteur p n'est donc pas utilisable pour un modulo.

Je ne vois pas ma seconde erreur ?

EDIT
D'ailleurs, je pense que je peux m'en sortir avec le développement de la trace puissance p, grâce aux relations coeff/racines, les différents produits de valeurs propres ne doivent pas être bien loin d'être entiers. Du coup le modulo serait valable. Mais ça reste à prouver, j'ai la flemme big_smile

 #9 - 18-05-2011 19:27:00

Yanyan
Expert de Prise2Tete
Enigmes résolues : 29
Messages : 509
Lieu: Lille si j'y suis

Feramt pour les matrices

Effectivement il n'y a qu'une erreur mais le passage par la trace le tout puissance p ne sert pas je crois.
Si tu es flemmard je vais faire le cas n=2...


Un mathématicien complet est topologiquement fermé!

 #10 - 18-05-2011 19:34:57

kosmogol
Banni
Enigmes résolues : 49
Messages : 11,928E+3

Frmat pour les matrices

"c'est pas faux"


http://enigmusique.blogspot.com/

 #11 - 18-05-2011 19:55:00

Yanyan
Expert de Prise2Tete
Enigmes résolues : 29
Messages : 509
Lieu: Lille si j'y suis

Fermat pour les matricse

Cas n=2
Excusez-moi pour ceux qui ne connaissent pas les valeurs propres.
Les valeurs propres d'une matrice a,b,c,d sont
[TeX]\frac{(a+d)+((a+d)^2-4(ad+bc))^{\frac{1}{2}}}{2}[/latex] et [latex]\frac{(a+d)-((a+d))^2-4(ad+bc)^{\frac{1}{2}}}{2}[/TeX]
donc [latex]tr(A^p)=[\frac{(a+d)+((a+d)^2+4(ad+bc))^{\frac{1}{2}}}{2}]^p+ [\frac{(a+d)+((a+d)^2-4(ad+bc)^{\frac{1}{2}}}{2}]^p=\\ \\ 2^{-p}\sum_{k=0}^{p}\binom{p}{k}(1+(-1)^k)((a+d)^2+4(ad+bc))^{\frac{k}{2}}(a+d)^{p-k}=\\ 2^{-p}\sum_{k=0}^{\frac{p-1}{2}}\binom{p}{2k}2((a+d)^2+4(ad+bc))^{k}(a+d)^{p-2k}=\\2^{-p+1}(a+d)^p[p]=a^p+d^p[p]=a+d[p]=tr(A)[p][/latex] car p divise les coefficients binomiaux "stricts" et [latex]2^{p-1}[/latex] est inversible modulo p d'inverse 1.


Un mathématicien complet est topologiquement fermé!

 #12 - 18-05-2011 19:55:15

papiauche
Sa Sainteté
Enigmes résolues : 49
Messages : 2124

Fermat pour les matries

Yanyan a écrit:

Sa sainteté arrive-t-il a trigonaliser dans [latex]Z[/latex]?

Loin d'en être sûr.hmm


Tout au plus l'énoncé m'a-t-il laissé penser que les valeurs propres étaient dans [latex]Z[/latex] et le cas général amène à une matrice trigonalisée.

L'invariance de la trace par similitude demeure. Même si cette trace est réelle, la matrice inverse pour trace l'inverse de la trace.
Le produit des deux est donc égal à 1.

On enchaîne ensuite valeur propre par valeur propre. 

la question devient me semble-t-il: une matrice à coefficients dans [latex]Z[/latex] a-t-elle ses valeurs propres dans [latex]Z[/latex].
Je serai tenté de répondre oui, mas il faut que je vérifie. neutral


"Je ne lis jamais un livre dont je dois faire la critique. On se laisse tellement influencer." O. Wilde

 #13 - 18-05-2011 19:58:00

Yanyan
Expert de Prise2Tete
Enigmes résolues : 29
Messages : 509
Lieu: Lille si j'y suis

Fermat pur les matrices

Non prendre la martice 2*2 compagnon de [latex]X^2-2[/latex].


Un mathématicien complet est topologiquement fermé!

 #14 - 18-05-2011 20:00:33

papiauche
Sa Sainteté
Enigmes résolues : 49
Messages : 2124

Fermat opur les matrices

Et donc, on veut prouver quoi?

On travaille sur [latex]Z[/latex], [latex]Q[/latex] ou [latex]R[/latex]?


"Je ne lis jamais un livre dont je dois faire la critique. On se laisse tellement influencer." O. Wilde

 #15 - 18-05-2011 20:04:24

Yanyan
Expert de Prise2Tete
Enigmes résolues : 29
Messages : 509
Lieu: Lille si j'y suis

eFrmat pour les matrices

On travaille sur [latex]Z[/latex] ... La trace est d'abord un entier!


Un mathématicien complet est topologiquement fermé!

 #16 - 18-05-2011 20:34:38

papiauche
Sa Sainteté
Enigmes résolues : 49
Messages : 2124

Fermat pour les matices

Donc, sauf erreur, les valeurs propres sont entières et tout a été dit...

Je maintiens mon premier post, jolie énigme, pas simple wink


"Je ne lis jamais un livre dont je dois faire la critique. On se laisse tellement influencer." O. Wilde

 #17 - 18-05-2011 20:42:31

Yanyan
Expert de Prise2Tete
Enigmes résolues : 29
Messages : 509
Lieu: Lille si j'y suis

Fermat pour les matrice

Non les valeurs propres d'une matrice à coefficients dans Z ne sont pas toujours dans Z. Considères
0  2
1  0


Un mathématicien complet est topologiquement fermé!

 #18 - 18-05-2011 21:01:29

peintre
Amateur de Prise2Tete
Enigmes résolues : 6
Messages : 2

Feermat pour les matrices

Il me semble que tout ceci n'est pas très compliqué!

On commence par réduire modulo p notre petite matrice...

Ensuite, le truc est de travailler dans la cloture algébrique de [latex]\mathbb{F}_p[/latex] dans laquelle la matrice réduite est trigonalisable (comme toute matrice à coefficients dans un corps clos).

Par l'invariance de la trace par changement de base, on se ramène à une matrice triangulaire. Comme vous l'avez dit, si on pose [latex] \lambda_i[/latex] les valeurs propres de la matrices, on a:
[TeX]Tr(A^p)=\sum \lambda_i^p= (\sum \lambda_i)^p=Tr(A)^p \sim Tr(A)[/TeX]
la derniere congruence provenant de  ce qu'on est alors dans le corps premier.

Et le tour est joué.

 #19 - 18-05-2011 21:19:33

Yanyan
Expert de Prise2Tete
Enigmes résolues : 29
Messages : 509
Lieu: Lille si j'y suis

Fermmat pour les matrices

Je pensais à cette preuve quand je disais pas à mon goût...
A-t-on besoin de passer par une clôture? J'ai déjà vu une preuve plus élémentaire avec la fonction de Moebius.
Ma preuve n 'est pas élégante dans le cas n =2  mais c'est le prolongement de l'idée de Looping donc je l'ai mise.


Un mathématicien complet est topologiquement fermé!

 #20 - 19-05-2011 07:00:12

Yanyan
Expert de Prise2Tete
Enigmes résolues : 29
Messages : 509
Lieu: Lille si j'y suis

Fermatt pour les matrices

Bravo à tout le monde. C' était trop dur et infaisable dans l'esprit du site, désolé.
Vous vous étonnerez peut-être de la puissance du peintre mais c'est un être polycéphale!


Un mathématicien complet est topologiquement fermé!
 

Réponse rapide

Rédige ton message
| | | | Upload | Aide
:) :| :( :D :o ;) :/ :P :lol: :mad: :rolleyes: :cool:
Sécurité

Répondez (numériquement) à la petite énigme suivante : 

Si il y a 88 pommes et que vous en prenez 44, combien vous en avez ?

Sujets similaires

Sujet Date Forum
27-11-2015 Enigmes Mathématiques
P2T
Moyen Fermat par Vasimolo
05-04-2014 Enigmes Mathématiques
P2T
08-06-2012 Enigmes Mathématiques
14-10-2008 Enigmes Mathématiques
P2T
Pere=(fils x 3) par gaara2a
25-05-2009 Enigmes Mathématiques
P2T
Gâteau 11 par Vasimolo
04-07-2010 Enigmes Mathématiques
P2T
Ca plane pour vous ? par SaintPierre
10-01-2011 Enigmes Mathématiques
25-03-2009 Enigmes Mathématiques
P2T
2 boules dans un cube par mitsuidewi
15-02-2011 Enigmes Mathématiques

Mots clés des moteurs de recherche

Mot clé (occurences)
Quadrigolo solution (23) — Quadrigolo (18) — Solution quadrigolo (17) — Enigme de fermat (7) — Reponse quadrigolo (7) — Solution du quadrigolo (7) — Le quadrigolo (6) — Enigme matrice (6) — Quadrigolo reponse (4) — Theoreme fermat matrice (3) — Theoreme de fermat matriciel (2) — Trace matrice modulo p premier (2) — Quadrigolo la reponse (2) — Solution du probleme quadrigolo (2) — Devinette matrice (2) — Le quadrigolo solution (2) — L enigme de fermat (2) — Matrice a coefficients dans z (2) — Theoreme de fermat matrice (2) — Enigme le quadrigolo solutions (1) — Enigmes matrice (1) — Fermat s room enigme (1) — Trace puissance matrice congrue (1) — Enigme quadrigolo (1) — Trace des puissances d une matrice (1) — Somme de coefficients binomiaux au carre (1) — Theoreme fermat matrices (1) — Matrice reduite modulo p (1) — Matrice de fermat tr(a^p) (1) — Fermat for matricies (1) — Soluce enigme quadrigolo (1) — Reduction matricielle modulo p (1) — Somme des inverses des puissances des entiers (1) — Enigme avec matrice (1) — Matrice enigme x produit de 3 matrices (1) — Fermat sur matrices (1) — Matrices modulo p premier (1) — Petit theoreme de fermat matrice (1) — Peit theoreme fermat matrices (1) — Avoir la solution du quadrigolo (1) — Puissance matrice coeff binomiaux (1) — Tr (a^p) congru a tr(a) modulo p (1) — Probleme math le quadrigolo (1) — Math le quadrigolo (1) — Trace de a puissance p est congrus a trace de a modulo p premier (1) — Exercice de math le quadrigolo solution (1) — Trace matrice p premier (1) — Fermat for matrices (1) — Fermat s room enigmes (1) — Matrice a coefficient entier (1) — Matrice a coefficient dans z (1) — Les enigmes de fermat (1) — Enigme fermat room (1) — Petit theoreme de fermat (1) — La trace d une matrice puissance (1) — Matrice (1) — Trace de a^p congru a (1) — Puissance de matrice et trace demain (1) — Trace a matrice p premier (1) — Matrices entieres fermat (1) — Trace des puissances d une matrice p premier (1) — Enigme fermat (1) — Regle quadrigolo (1) — Matrice coefficient binomial puissance (1) — Reponse enigme le quadrigolo (1) — Trace p premier congru (1) — Enigme 2 matrice (1) — Matrices a coefficients entiers (1) — Petit theoreme fermat matrices (1) — Matrices modulo p (1) — F ermat (1) — Fermat (1) — Exercice math quadrigolo (1) — Enigme matrice mathematiques (1) — Le petit theoreme de fermat avec la trace matrice (1) — Petit theoreme de fermat pour les matrices (1) — Enigme de fermat boite (1) — Enigmes mathematiques+matrices (1) — Matrice enigme 1+2+3 (1) — Trace a puissance p modulo p (1) — Puissance d une matrice (1) — Matrice a coefficients entiers ferme (1) — Trace (a^p) congrue a trace a modulo p (1) — Petit. theorem fermat matrices (1) — Fermat matrices (1) — Reduction de matrice z (1) — Somme trace puissance matrice (1) — Le quadrigolo reponse (1) — Matrice et ses puissances ont la meme trace (1) — Somme des carres des coefficients binomiaux (1) — Resoudre le probleme le quadrigolo (1) — Quadrigolo 2005 solution (1) — Enigme de fermat matrices (1) — Trace(a^p) congru a trace(a) (1) —

Pied de page des forums

P2T basé sur PunBB
Screenshots par Robothumb

© Copyright 2002–2005 Rickard Andersson

Prise2Tete Forum Statistiques Liste des membres Hall of Fame Contact
© Prise2tete - Site d'énigmes et de réflexion.
Un jeu où seules la réflexion, la logique et la déduction permettent de trouver la solution.

Flux RSS de Prise2Tete Forum Jeux & Prise2Tete Test & Prise2Tete Partenariat et Publicité sur Prise2Tete