En effet, on ne définit pas rigoureusement la notion de factorisation dans le secondaire. On peut se contenter de la pratique : on transforme un produit en somme, de sorte à pouvoir faire ce qu'on veut, en général savoir pour quelles valeurs de la ou des variables il s'annule, ou pour étudier son signe...
Je dirais que factoriser un polynôme, c'est le décomposer en produit de polynômes irréductibles (pas forcément du premier degré si on ne travaille pas sur un corps algébriquement clos, par exemple une factorisation du polynôme
dans
est
). Cette décomposition est unique à un facteur constant près, et ainsi la notion de factorisation est bien définie. Maintenant, il faudrait définir la notion d'irréductibilité dans le secondaire, ce qui n'est pas compliqué mais ne se fait pas en principe.
L'exemple de ce fil est assez compliqué, puisqu'il s'agit d'un polynôme à trois indéterminées. En passant, pour les algébristes en herbe du forum, l'anneau des polynômes à
indéterminées sur
(pour rester simple) est ce qu'on appelle un anneau... factoriel ! :we: Un anneau factoriel est un anneau commutatif intègre dans lequel on dispose d'un résultat d'existence et d'unicité de décomposition en produits d'irréductibles. Cette remarque pour faire le lien avec un anneau factoriel bien connu :
! Et on peut faire l'analogie entre factoriser un polynôme et décomposer un entier en facteurs premiers. Bref, pas étonnant que ce ne soit pas si facile ! :briques: