Polynôme irréductible
Bonsoir,
On appelle polynôme irréductible de $\K[X]$ tout polynôme $P$ vérifiant :
1/ $\deg P \geq 1$
2/ Les seuls diviseurs de $P$ sont les éléments de $\K^{*}$ et les associés de $P$.
Je ne comprends pas la suite :
Ainsi, un polynôme irréductible est un polynôme non constant tel que pour tout $A,B \in \K[X]$ on ait :
$P=AB \implies \ (\deg A=0 \ \ \text{ou} \ \deg B=0)$
J'ai essayé par contraposée. Soit $\deg A \geq 1$ et $\deg B \geq 1$ alors $P=AB$ avec $\deg P \geq 2$
Mais après je bloque.
On appelle polynôme irréductible de $\K[X]$ tout polynôme $P$ vérifiant :
1/ $\deg P \geq 1$
2/ Les seuls diviseurs de $P$ sont les éléments de $\K^{*}$ et les associés de $P$.
Je ne comprends pas la suite :
Ainsi, un polynôme irréductible est un polynôme non constant tel que pour tout $A,B \in \K[X]$ on ait :
$P=AB \implies \ (\deg A=0 \ \ \text{ou} \ \deg B=0)$
J'ai essayé par contraposée. Soit $\deg A \geq 1$ et $\deg B \geq 1$ alors $P=AB$ avec $\deg P \geq 2$
Mais après je bloque.
Réponses
-
M'enfin ! Si $P=AB$, alors $A$ est un diviseur de $P$ donc $A$ est un polynôme constant ($\deg A=0$, par suite $\deg B=\deg P$) ou $A$ est associé à $P$ (en particulier $\deg A=\deg P$), par suite $\deg B=0$.
-
Tu n'utilises pas assez d'informations.
Si $P=AB$, alors $A$ est soit un polynôme constant, soit de la forme $\lambda P$, et $B$ aussi. Maintenant, suppose que ni $A$ ni $B$ ne sont constants, alors $AB = \lambda \lambda' P^2$. Il ya un petit problème de degré. -
@Math Coss
Ok merci.
Homo Topi ça marche mais je l'aurais écris différemment :
Si $\deg A \geq 1$ alors $A= \lambda P$ avec $\deg P \geq 1$ et $B= \lambda' Q$ avec $\deg Q \geq 1$
Donc $AB=\lambda \lambda' PQ$. Or $AB$ est divisible par $2$ polynômes de degré supérieur ou égal à 1, il ne peut donc pas être irréductible. -
Mais là tu n'utilises pas toutes les informations ! On te dit qu'un diviseur de $P$ de degré non nul est forcément un associé de $P$, donc de la forme $\lambda P$. Il n'y a pas besoin de faire intervenir un $Q$ ici.
-
Bonjour,
si $P$ est irréductible et $P=AB$, deux de choses l'une:
-soit $A$ est associé à $P$ et alors $deg(A)=deg(P) \Rightarrow deg(B)=0$,
-soit $A$ est constant et $deg(A)=0$.
Qu'ai je démontré ?
si $P$ vérifie le critère "AB", alors soit $A$ un diviseur de $P$ et $B$ le quotient de $P$ par $A$, de sorte que $P=AB$. Ici encore de deux choses l'une:
-soit $deg(A)=0$ et $A$ est un unité,
-soit $deg(B)=0$ et alors $deg(P)=deg(A)$, ce qui signifie que $A$ et $P$ sont associés.
Et ici, qu'ai je démontré ?
Tu devrais essayer de d'avantage structurer tes démonstrations, cela t'aidera à y voir plus clair et notamment à distinguer hypothèse, conclusion....
A+
F. -
Tu structures mal tes démonstrations, comme malavita l'a dit.
Regarde : Je suppose que $P$ est irréductible. Donc dans le raisonnement qui va suivre, j'ai comme hypothèses :
- le polynôme $P$ est de degré supérieur ou égal à $1$
- si $Q$ divise $P$, alors $Q= \lambda$ avec $\lambda \in \K^*$ ou $Q = \lambda P$ avec $\lambda \in \K^*$.
Sous ces hypothèses, je veux démontrer : si $P=AB$, alors $A$ ou $B$ est un polynôme constant.
Je fais effectivement un raisonnement par l'absurde : je suppose que $P=AB$ mais que ni $A$, ni $B$ n'est constant. Dans ce cas, à cause de mes autres hypothèses, je sais que $A = \lambda P$ avec $\lambda \neq 0$ et que $B = \lambda' P$ avec $\lambda' \neq 0$. Mais dans ce cas, $AB = \lambda \lambda' P^2$, donc $P = \lambda \lambda' P^2$.
Si $P$ est de degré $d \geqslant 1$, on voit immédiatement qu'il y a un problème de degré : $P^2$ est de degré $2d > d$, donc l'égalité $P = \lambda \lambda' P^2$ est absurde.
J'ai donc démontré... quoi ? Je voulais démontrer un truc de la forme $H \Longrightarrow C$. J'ai démontré que [$H$ et non($C$)] est faux, c'est-à-dire (il faut connaître un peu de logique) que j'ai démontré que [non($H$) ou $C$] est vrai. Et ça (encore une fois, il faut connaitre un peu de logique), c'est équivalent à $H \Longrightarrow C$.
Donc j'ai démontré ce qu'il fallait démontrer. -
Merci super clair !
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 8 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
- 772 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres