polynômes premiers entre eux
dans Arithmétique
Bonsoir,
dans un problème, j'arrive à construire deux suites récurrentes de polynômes dont on me demande de montrer qu'ils sont premiers entre eux; et je coince...un coup de main serait le bienvenu...
on considère donc (P_n) et (Q_n) définies par P_1=X et Q_1=1 et
P_n+1 = P_n + XQ_n et Q_n+1 = Q_n - XP_n
merci d'avance
dans un problème, j'arrive à construire deux suites récurrentes de polynômes dont on me demande de montrer qu'ils sont premiers entre eux; et je coince...un coup de main serait le bienvenu...
on considère donc (P_n) et (Q_n) définies par P_1=X et Q_1=1 et
P_n+1 = P_n + XQ_n et Q_n+1 = Q_n - XP_n
merci d'avance
Réponses
-
Bonsoir Edadile
N'as-tu pas remarqué que $Q_n-iP_n =(1-iX)^n$ (qui se montre par récurrence par exemple)
Soit $D=\mathrm{pgcd}(P_n,Q_n)$ divise $(1-iX)^n$
Or $1-iX$ est irréductible (dans $\C$)
Si donc $D$ est de degré >0 alors $(1-iX)$ divise $D$, et comme $P_n,Q_n$ sont des polynômes à coefficients dans $\Z$ (à prouver par récurrence par exemple) $D$ l'est aussi et donc $(1-iX)(1+iX)=1+X^2$ divise $D$, donc divise $P_n$ et $Q_n$ donc $(1+X^2)$ divise $(1-iX)^n$ ce qui n'est pas possible parceque $i$ n'est pas racine de $(1-iX)^n$.
Donc $D$ est de degré 0, c'est à dire inversible, donc $P_n,Q_n$ sont premiers entre eux.
Alain
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 9 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 62 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 312 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 773 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres