C.m.m.d.c. și descompunerea în factori (M2, științe ale naturii)
Într-un laborator se urmăresc două mărimi care variază în timp — de pildă masa unui reactiv și masa unui produs de reacție — și fiecare e descrisă printr-un polinom. Întrebarea firească a experimentatorului nu e „cât face fiecare", ci „se anulează amândouă în același moment?". Aici, la clasa a XII-a, profilul științe ale naturii (M2), răspunsul se obține fără a rezolva vreuna dintre cele două ecuații: e de ajuns să scoți factorul pe care polinoamele îl au împreună. Uneltele se numesc cel mai mare divizor comun și algoritmul lui Euclid, iar tema se dă la bacalaureatul M2 din sesiunile 2027–2029, la Subiectul al II-lea.
Merită spus de la început pentru cine e scrisă lecția. Capitolul de polinoame peste un corp face parte din suplimentul pentru Bacalaureatul M2: el stă în programa de examen din 2014, pe care o dau promoțiile examinate în 2027, 2028 și 2029, dar a fost scos din programa de clasa a XII-a aprobată prin OMEC 6930/2025. Dacă ești în una dintre cele trei promoții, materia de aici îți apare în subiecte; dacă ești după ele, polinoamele le-ai întâlnit deja mai devreme în liceu. Pe partea de calcul te sprijini pe clasa a IX-a: Teorema împărțirii cu rest la polinoame și Divizibilitatea polinoamelor și teorema lui Bézout.
Ce vei învăța
- Vei ști să explici ce cerințe îndeplinește polinomul notat și de ce i se impune coeficientul dominant .
- Vei ști să duci până la capăt algoritmul lui Euclid pe grade mici, oprindu-te la primul rest nul și citind răspunsul din restul dinaintea lui.
- Vei ști să simplifici un rest printr-un factor numeric comun, ca pașii următori să rămână cu coeficienți întregi.
- Vei ști să descompui un polinom prin gruparea termenilor și să recunoști când un factor rămas nu se mai poate sparge cu numere reale.
- Vei ști să citești rădăcinile comune a două polinoame din cel mai mare divizor comun al lor.
- Vei ști să obții cel mai mic multiplu comun din produsul celor două polinoame și din cel mai mare divizor comun.
Hai să descoperim împreună
1. Ce înseamnă „cel mai mare divizor comun" la polinoame?
Pornește de la ce știi deja despre divizibilitate: polinomul divide polinomul dacă există un polinom astfel încât ; se scrie . Când un același polinom apare ca divizor în două locuri deodată, la și la , îi spunem divizor comun.
Cel mai mare divizor comun al polinoamelor nenule și este polinomul care îndeplinește, în același timp, trei cerințe: (i) coeficientul lui dominant este ; (ii) el apare ca divizor și la , și la ; (iii) orice alt polinom cu proprietatea (ii) îl divide, la rândul lui. A treia cerință e cea care spune „cel mai mare": nu prin grad, ci prin bogăția factorilor.
Observă că definiția nu spune „cel de grad maxim". La polinoame peste cele două formulări duc, din fericire, la același rezultat, dar cea corectă este cea prin divizibilitate: ea rămâne valabilă și acolo unde gradul nu ajunge să deosebească.
Compară o clipă cu numerele întregi, fiindcă seamănă mai mult decât ai crede. Acolo, cel mai mare divizor comun al lui și este , iar el are două proprietăți: divide amândouă numerele și este divizibil cu orice alt divizor comun al lor (, , , , ). Singura deosebire e că la numere ambiguitatea se rezolvă prin semn — alegem varianta pozitivă —, iar la polinoame prin coeficientul dominant. Restul, inclusiv metoda de calcul, se transferă cuvânt cu cuvânt.
2. De ce se cere coeficientul dominant ?
Fiindcă altfel răspunsul n-ar fi unic. Dacă divide și pe , și pe , atunci orice multiplu al lui cu un număr nenul divide la fel de bine amândouă polinoamele: din scoți . Aceeași informație ar avea, atunci, o infinitate de scrieri: , , descriu toate același divizor.
Convenția alege dintre ele reprezentantul cu coeficientul dominant — spunem că polinomul e monic. Aici, . Gestul practic e simplu: după ce ai găsit un divizor comun, împarte-l la coeficientul lui dominant. Un răspuns nemonic la o cerință de c.m.m.d.c. este considerat incomplet.
3. De ce se pot înlocui și cu și restul?
Aici stă toată ideea algoritmului. Presupune că împarți pe la și obții câtul și restul , adică . Atunci:
- dacă un polinom divide pe și pe , el divide și pe , adică pe ;
- invers, dacă divide pe și pe , el divide și pe , adică pe .
Perechea și perechea au, prin urmare, exact aceiași divizori comuni, deci și același c.m.m.d.c. Cum gradul restului e strict mai mic decât gradul lui , la fiecare pas problema se micșorează, iar șirul gradelor nu poate scădea la nesfârșit: după cel mult împărțiri ajungi la restul nul.
Mai reține o consecință care ușurează calculul enorm: dacă înmulțești restul cu un număr , mulțimea divizorilor lui nu se schimbă, fiindcă și sunt condiții echivalente. Deci un rest se poate simplifica prin factorul numeric comun al coeficienților lui înainte de pasul următor. Vei folosi regula la fiecare exercițiu: ea ține toate împărțirile în numere întregi.
4. Cum arată algoritmul lui Euclid pe un caz concret?
Ia și (obiectul acesta rămâne al secțiunii de față; în exemple și în exerciții vei lucra cu alte perechi).
Pasul 1. Împarți la :
Restul nu e nul, deci mergem mai departe. Îl simplificăm prin și rămâne — după §3, divizorii nu s-au schimbat.
Pasul 2. Împarți acum pe la :
Restul e nul, deci algoritmul se oprește. Răspunsul este ultimul rest nenul, făcut monic: .
Proba durează zece secunde: divide pe (tocmai am văzut câtul ) și divide pe , fiindcă . Verifică înmulțind: .
5. Cum se descompune un polinom prin gruparea termenilor?
Algoritmul lui Euclid găsește factorul comun a două polinoame. Descompunerea răspunde la altă întrebare: cum scriu un singur polinom ca produs? Cea mai ieftină metodă, când polinomul are patru termeni, e gruparea.
Ia (și acesta e obiectul secțiunii). Grupează primii doi termeni și ultimii doi:
Trucul e să dai factor comun în fiecare grupă astfel încât paranteza rămasă să fie aceeași; dacă nu iese, schimbă ordinea termenilor sau grupele. La final, fiecare factor se sparge mai departe cât se poate: , deci .
Nu orice factor de gradul al doilea se mai sparge. Dacă rămâi cu , calculul nu are soluție reală, deci peste numerele reale factorul rămâne așa cum e. Recunoașterea se face cu discriminantul: un trinom se mai sparge în factori de gradul întâi cu coeficienți reali exact când .
Gruparea nu merge la orice polinom cu patru termeni, iar asta se vede repede. Încearcă pe : prima grupă dă , a doua , din care nu poți scoate . Schimbi ordinea și grupezi altfel — — și obții : iarăși paranteze diferite. Concluzia corectă nu este „polinomul nu se descompune", ci „gruparea nu e metoda potrivită aici"; rămâne să cauți o rădăcină, cum vei face la Rădăcinile raționale ale unei ecuații algebrice.
De ce merge, totuși, gruparea atât de des? Fiindcă un polinom de forma are, prin construcție, rădăcina : grupat, el devine . Când vezi patru termeni în care raportul primilor doi coeficienți e același cu raportul ultimilor doi, ai aproape sigur un candidat pentru grupare.
6. Ce citești dintr-un c.m.m.d.c.?
Numerele care anulează deodată cele două polinoame sunt tocmai zerourile lui — nici unul în plus, nici unul în minus. Într-un sens e limpede: dacă le divide pe amândouă, orice zero al lui le anulează pe amândouă. În celălalt sens, fie un număr care le anulează pe amândouă; prin teorema lui Bézout, apare ca divizor la fiecare, deci divide și c.m.m.d.c.-ul, adică e zero al acestuia.
Ai, astfel, o metodă de lucru pe care merită s-o reții ca rețetă: ca să afli momentele în care două mărimi se anulează simultan, nu rezolvi două ecuații, ci calculezi un c.m.m.d.c. și rezolvi una singură — de obicei de grad mult mai mic. Aplic-o în exercițiul 12: scrie cele două polinoame, pornește algoritmul, oprește-te la primul rest nul și abia atunci caută rădăcinile.
Atenție la o capcană de formulare, fiindcă e ușor de călcat. Enunțul „rădăcinile comune sunt rădăcinile c.m.m.d.c.-ului" spune ceva despre rădăcini, nu despre grad. Un c.m.m.d.c. de gradul al doilea poate avea două rădăcini reale, una singură sau niciuna — depinde de semnul discriminantului. Când răspunzi la o cerință de tipul „câte rădăcini reale comune au polinoamele?", ultimul pas nu e citirea gradului, ci rezolvarea efectivă a ecuației .
7. Ce este cel mai mic multiplu comun și cum se obține?
Simetric față de divizorul comun, un multiplu comun al lui și e un polinom pe care îl divid amândouă. Cel mai mic multiplu comun, notat , e multiplul comun monic care divide orice alt multiplu comun. Legătura dintre cele două noțiuni e aceeași ca la numere:
Cu alte cuvinte: împarți produsul la c.m.m.d.c. și faci rezultatul monic. Revenim la perechea din §4, acum cu celălalt calcul: acolo și , iar , deci
Se vede și direct de ce: multiplul comun cel mai economic ia fiecare factor o singură dată, dar pe toți. Factorul , care apare în amândouă polinoamele, ar fi numărat de două ori în produsul ; împărțirea la c.m.m.d.c. îl readuce la o singură apariție.
Precizarea „până la un factor numeric" din egalitate nu e un detaliu de stil. Dacă și nu sunt monice, produsul poartă produsul coeficienților dominanți, în timp ce c.m.m.d.c.-ul și c.m.m.m.c.-ul sunt, prin convenție, monice. Practic, calculezi și, la final, împarți rezultatul la coeficientul lui dominant — același gest ca la orice răspuns de felul acesta.
8. Ce se cere efectiv la examenul M2 din materia aceasta?
Pentru bacalaureatul M2 din sesiunile 2027, 2028 și 2029, programa de examen — cea din 2014 — conține, la elementele de algebră, în capitolul „Inele de polinoame cu coeficienți într-un corp comutativ", rândul „c.m.m.d.c. și c.m.m.m.c. al unor polinoame, descompunerea unor polinoame în factori ireductibili". Lecția de față acoperă rândul acesta la nivelul cerut de profil: algoritmul lui Euclid pe polinoame de grad mic și descompunerea efectivă, prin grupare și prin rădăcini. Partea de studiu general — care polinoame nu se mai pot sparge peste un corp dat — rămâne temă de mate-info și nu se cere aici.
Merită spus și cum arată proba, din sursa cea mai apropiată: modelul oficial publicat pentru sesiunea 2026 la specializarea științe ale naturii. Acolo se scrie că toate subiectele sunt obligatorii, că se acordă zece puncte din oficiu și că timpul de lucru este de trei ore; cele trei subiecte valorează câte de puncte. Materia de algebră a clasei a XII-a stă la Subiectul al II-lea, a cărui a doua problemă are trei cerințe legate. Cerințele din lecție sunt construite pe rândul de programă, în formatul probei, dar nu sunt o prezicere a subiectului.
Exemple rezolvate
Exemplul 1 — Un c.m.m.d.c. de gradul întâi
Determină .
Rezolvare. Prima împărțire:
Restul se simplifică prin și devine . A doua împărțire:
Restul e nul, deci , deja monic. Probă: , iar .
Exemplul 2 — Gradul al patrulea împărțit la gradul al treilea
Determină .
Rezolvare. Gradele fiind și , câtul primei împărțiri are gradul întâi:
Restul se simplifică prin și devine . A doua împărțire:
Deci . Observă cât de mult a scurtat simplificarea: fără ea, a doua împărțire s-ar fi făcut cu fracții cu numitorul .
Exemplul 3 — O descompunere cu un factor care nu se mai sparge
Descompune în factori .
Rezolvare. Grupăm primii doi termeni și ultimii doi:
Factorul nu se mai descompune peste numerele reale: nu are soluție reală, iar discriminantul lui este . Descompunerea completă peste este, așadar, , iar singura rădăcină reală a polinomului este .
Exemplul 4 — Două mărimi care se anulează în același moment
Într-un vas, masa unui reactiv este grame, iar masa unui produs secundar este grame, unde este timpul în ore, . Arată că există un moment în care amândouă se anulează și determină-l, fără să rezolvi vreuna dintre ecuații întreg.
Rezolvare. Aplicăm algoritmul lui Euclid:
Restul se simplifică prin și devine . Apoi , deci .
Singura rădăcină a c.m.m.d.c.-ului este , iar ea este chiar capătul intervalului de valabilitate . Deci la ore amândouă masele sunt nule. Control: grame și grame. Înainte de acel moment amândouă masele rămân pozitive — la pornesc de la , respectiv de grame —, iar imediat după el formulele ar da mase negative: de aceea modelul se declară valabil numai până la . Rădăcina a lui nu are sens aici, fiindcă iese din interval.
Exemplul 5 — Găsește greșeala
Un elev scrie: „ împărțit la dă câtul și restul . Apoi împărțit la dă rest . Ultimul rest este , deci ." Găsește greșeala și dă răspunsul corect.
Rezolvare. Împărțirile sunt bune; greșită e citirea. Algoritmul se oprește când restul devine nul, iar răspunsul este restul dinaintea lui, nu restul nul. Aici ultimul rest nenul este .
Mai rămâne un pas, tot uitat: răspunsul trebuie făcut monic. Simplificăm prin și obținem , deci . Cele două greșeli — oprirea la restul nul și uitarea normalizării — merg adesea împreună.
Exemplul 6 — Exemplu tip Bacalaureat M2
Se consideră polinoamele și .
a) Determină restul împărțirii lui la . b) Determină . c) Determină rădăcinile comune ale polinoamelor și .
Rezolvare. a) Câtul are gradul :
deci restul este .
b) Simplificăm restul prin și obținem ; apoi . Restul fiind nul, .
c) Rădăcinile comune sunt rădăcinile c.m.m.d.c.-ului, adică , deci singura rădăcină comună este . Control: și .
Să exersăm
1. Determină și precizează câte împărțiri ai făcut.
2. Scrie forma monică a fiecăruia dintre polinoamele , și .
3. Determină .
4. (Adevărat/Fals cu motivare.) „Algoritmul lui Euclid pornit de la perechea , cu , dă alt rezultat decât cel pornit de la ."
5. (Exercițiu tip Bacalaureat M2.) Se consideră și . a) Determină restul împărțirii lui la . b) Determină . c) Precizează rădăcinile comune ale lui și .
6. Descompune în factori, prin gruparea termenilor, polinomul .
7. Descompune în factori polinomul și precizează rădăcinile lui reale.
8. Descompune în factori polinomul .
9. Explică, în două-trei fraze, de ce algoritmul lui Euclid aplicat unui polinom de gradul al treilea și unuia de gradul al doilea nu poate avea mai mult de trei împărțiri.
10. (Exercițiu tip Bacalaureat M2.) Se consideră și . a) Determină restul împărțirii lui la . b) Determină . c) Precizează câte rădăcini reale comune au cele două polinoame.
11. Arată că polinoamele și sunt prime între ele.
12. (Problemă aplicată.) Concentrația unui reactiv este miligrame pe litru, iar a unui al doilea reactiv este miligrame pe litru, pentru ore. Determină, folosind c.m.m.d.c., momentele din interval în care ambele concentrații sunt nule.
13. Determină , scriind întâi descompunerile.
14. (Exercițiu tip Bacalaureat M2.) Se consideră și . a) Determină restul împărțirii lui la . b) Determină . c) Descompune în factori de gradul întâi.
15. Descompune în factori polinomul .
16. Descompune în factori polinomul .
17. Descompune în factori polinomul și explică de ce nu se poate merge mai departe peste numerele reale.
18. (Provocare.) Se consideră și . a) Determină . b) Determină , scris ca produs de factori de gradul întâi.
Răspunsuri și explicații
1. : o singură împărțire. Restul fiind nul de la început, divide , iar (deja monic).
2. Se împarte fiecare polinom la coeficientul lui dominant: ; ; .
3. ; restul simplificat prin dă , iar . Deci .
4. Fals. Rezultatul e același, iar algoritmul pierde doar un pas. Împărțind pe la obții câtul și restul , fiindcă gradul lui este deja mai mic decât al lui ; perechea următoare devine , adică exact punctul din care ar fi pornit cealaltă variantă. Ordinea în care scrii cele două polinoame nu contează, nici pentru răspuns, nici pentru numărul de împărțiri cu adevărat făcute.
5. a) — se verifică înmulțind înapoi; restul este . b) Restul simplificat prin dă ; apoi , deci . c) Singura rădăcină comună este .
6. .
7. . Rădăcinile reale sunt , și .
8. .
9. Prima împărțire dă un rest de grad cel mult , fiindcă restul are întotdeauna gradul strict mai mic decât împărțitorul, care aici e de gradul . De la un pas la altul gradul restului scade cu cel puțin , deci după prima împărțire pot urma cel mult două: una cu rest de gradul și una care se termină cu rest nul. În total cel mult trei împărțiri, adică . Același raționament arată de ce algoritmul se termină întotdeauna: un șir strict descrescător de numere naturale nu poate fi infinit.
10. a) Gradele fiind egale, câtul este : , deci restul este . b) Restul simplificat prin dă , iar ; deci . c) Discriminantul lui este , deci c.m.m.d.c.-ul nu are rădăcini reale: cele două polinoame au zero rădăcini reale comune.
11. ; restul simplificat prin dă . Apoi , rest nenul constant; în fine, . Ultimul rest nenul este constanta , făcută monică : polinoamele sunt prime între ele.
12. ; restul simplificat prin dă , iar . Deci , cu singura rădăcină , adică chiar capătul intervalului : la ore ambele concentrații sunt nule. Control: miligrame pe litru și miligrame pe litru. Înainte de acel moment amândouă concentrațiile sunt pozitive — la pornesc de la , respectiv de miligrame pe litru —, cum se cuvine unor concentrații. Cealaltă rădăcină a lui , , este în afara intervalului de valabilitate.
13. și , deci și .
14. a) Gradele fiind egale, câtul este : , deci restul este . b) Restul simplificat prin dă , iar ; deci . c) .
15. Dăm întâi factor comun : , apoi grupăm în paranteză: . În total, .
16. .
17. . Factorul are discriminantul , deci nu se sparge în factori de gradul întâi cu coeficienți reali; singura rădăcină reală a polinomului este .
18. a) ; restul simplificat prin dă , iar . Deci . b) Din și obținem .
De reținut
- e monic, apare ca divizor la amândouă polinoamele și e divizibil cu fiecare dintre ceilalți candidați; condiția „monic" îl face unic.
- Egalitatea mută întrebarea de la perechea la perechea fără nicio pierdere — acesta e motorul întregului algoritm.
- Un rest poate fi înmulțit sau împărțit cu orice număr nenul înainte de pasul următor; folosește-o ca să scapi de fracții.
- Calculul se încheie când apare restul zero, iar ce raportezi e restul dinaintea lui, adus la coeficient dominant .
- Zerourile pe care cele două polinoame le au împreună se citesc din ; pentru , împarți la și faci rezultatul monic.
Greșeli frecvente
- Se dă ca răspuns restul nul. Algoritmul se oprește când restul devine zero, dar răspunsul este restul de la pasul dinainte. Verificarea de trei secunde: răspunsul trebuie să dividă amândouă polinoamele, iar nu divide nimic.
- Se uită normalizarea. Un rest ca sau nu e răspunsul final; se împarte la coeficientul dominant, respectiv la factorul numeric comun, și abia atunci se scrie.
- Se grupează fără să iasă aceeași paranteză. La , gruparea dă — merge. Gruparea dă tot în ambele. Dacă parantezele ies diferite, ai grupat prost, nu polinomul e „nedescompunabil".
- Se forțează descompunerea unui factor fără rădăcini reale. și rămân așa peste ; discriminantul negativ e argumentul, nu lipsa de idei.
- Se confundă „divizor comun de grad mare" cu „c.m.m.d.c.". Un polinom de grad mare poate să nu dividă amândouă polinoamele. Întotdeauna se face proba: c.m.m.d.c.-ul trebuie să dea rest zero la împărțirea cu fiecare dintre cele două.
Aplică acasă
- Alege două numere întregi de trei cifre și calculează-le cel mai mare divizor comun cu algoritmul lui Euclid, scriind fiecare împărțire. Apoi ia și și numără câte împărțiri cere fiecare dintre cele două calcule. Notează în două rânduri ce e la fel și ce e diferit.
- Scrie un polinom de gradul al treilea cu patru termeni care se descompune prin grupare și unul care nu se descompune prin grupare. Dă-le unui coleg și cere-i să decidă, în două minute, care e care.
- Într-un tabel cu două coloane, notează pe o săptămână câte un calcul de c.m.m.d.c. pe zi: în stânga cele două polinoame, în dreapta răspunsul și proba (înmulțirea înapoi). La final, numără de câte ori ai uitat să faci răspunsul monic.
Pentru părinți și profesori
Lecția verifică trei lucruri deodată: dacă elevul execută corect o împărțire de polinoame, dacă citește corect ieșirea unui algoritm (se oprește unde trebuie și ia ce trebuie) și dacă înțelege ce răspunde c.m.m.d.c.-ul, adică legătura lui cu rădăcinile comune.
Întrebări de control: „De ce i se cere lui coeficientul dominant ?", „Ce se schimbă dacă înmulțești un rest cu înainte de pasul următor?", „Cum găsești momentele în care două mărimi se anulează simultan, fără să rezolvi o ecuație de gradul al treilea?". Semne că a înțeles: face proba singur, prin înmulțire înapoi; nu se sperie de un rest cu coeficienți mari, fiindcă îl simplifică; spune, la un c.m.m.d.c. de gradul al doilea, câte rădăcini reale comune sunt, după semnul discriminantului.
Programa și examenul. Lecția aceasta intră în suplimentul de programă pentru Bacalaureat M2 2027–2029: cel mai mare divizor comun, cel mai mic multiplu comun și descompunerea polinoamelor în factori sunt cerute de programa de examen (OMEN 4430/2014), la rândul citat în secțiunea 8, pe când programa nouă a clasei a XII-a (OMEC 6930/2025, anexa 28) nu le mai cuprinde. Elevii aflați acum în clasele a X-a – a XII-a sunt pe programa veche și dau Bacalaureatul M2 (M_șt-nat) în sesiunile 2027–2029, unde tema apare la Subiectul al II-lea. Pentru generația care intră pe programa nouă, polinoamele se studiază mai devreme în liceu, cu coeficienți reali, iar divizorul comun și multiplul comun a două polinoame nu mai apar la clasa a XII-a. Nici la proba MAT_P2 din 2030 tema nu figurează în programa de examen: pentru acea generație lecția rămâne lectură suplimentară, nu materie de probă. Din 2030, la științe ale naturii, matematica este una dintre probele la alegere ale bacalaureatului (OME 4138/2026), nu o probă obligatorie. Numărul de ore pe care se sprijină planificarea — trei pe săptămână — vine din planurile-cadru aprobate prin OMEC 4350/2025.
Întrebări frecvente
Ce înseamnă notația ? Desemnează polinomul monic care apare ca divizor la și la și pe care îl divide fiecare dintre ceilalți divizori pe care cele două îi împart. Se obține prin împărțiri succesive: la , apoi la rest, apoi restul la restul următor, până când un rest iese zero; ce ai avut înainte, adus monic, e răspunsul.
Cu ce diferă tema aceasta la M2 față de mate-info (M1)? La științe ale naturii lucrăm numai cu coeficienți reali și pe grade mici, iar descompunerea se face efectiv, prin grupare sau prin rădăcini. La mate-info se studiază, în plus, peste ce corp un polinom nu se mai poate sparge, cu criterii generale. Versiunea pentru mate-info (M1) a acestei lecții: c.m.m.d.c. al polinoamelor și algoritmul lui Euclid.
La ce subiect apare tema la Bacalaureatul M2? Materia de algebră a clasei a XII-a stă la Subiectul al II-lea. În modelul oficial publicat pentru proba actuală de la științe ale naturii, acest subiect are două probleme, fiecare cu trei cerințe legate. Formatul cerințelor legate se potrivește bine cu tema de față: un punct pentru împărțire, unul pentru factorul pe care polinoamele îl împart, unul pentru zerourile lor comune — exact lanțul din Exemplul 6.
Pot să sar peste algoritm dacă văd descompunerile? Da, și e chiar recomandat când ele se văd. Dacă și , c.m.m.d.c.-ul se citește direct: factorii comuni, luați o singură dată. Algoritmul e uneltea pentru cazurile în care descompunerile nu se văd — și el nu greșește niciodată, fiindcă nu ghicește.
De ce am voie să simplific un rest prin sau prin ? Fiindcă un polinom divide restul exact atunci când divide , pentru orice număr . Mulțimea divizorilor comuni nu se schimbă, deci nici c.m.m.d.c.-ul. Practic, simplificarea ține toate împărțirile în numere întregi și scurtează calculul cu jumătate.
Ce fac dacă ultimul rest nenul este un număr? Îl faci monic, adică îl împarți la el însuși, și obții . Asta înseamnă că singurii divizori comuni ai celor două polinoame sunt constantele: polinoamele sunt prime între ele și nu au nicio rădăcină comună, oricare ar fi corpul în care le cauți.
Ce am făcut deja în clasa a IX-a și ce e nou aici? În clasa a IX-a ai împărțit polinoame cu rest și ai legat rădăcinile de divizibilitate prin teorema lui Bézout. Nou la clasa a XII-a este că împărțirea devine pas într-un algoritm care se repetă, cu un criteriu de oprire și cu un răspuns citit dintr-un rest anterior — plus noțiunile de divizor comun și multiplu comun, care în clasa a IX-a nu apar la polinoame.
Cum verific rapid că am dat răspunsul bun? Împarte fiecare dintre cele două polinoame la răspunsul tău: amândouă împărțirile trebuie să dea restul zero. Dacă una dă rest nenul, ai luat prea mult; dacă amândouă dau rest zero, dar câturile mai au un factor comun, ai luat prea puțin — atunci reia algoritmul de la ultimul pas.