Basisfuncties: Rationale functies
Grootste gemene deler en kleinste gemene veelvoud van veeltermen
Bij deling met rest voor veeltermen en staartdeling van veeltermen hebben we al gewezen op de analogie met deze bewerkingen voor gehele getallen. Dat roept de vraag op of er ook zoiets als grootste gemene deler van veeltermen bestaan naar analogie met ggd van gehele getallen. Het antwoord is ja en zelfs het algoritme van Euclides om de ggd te berekenen heeft zijn equivalente algoritme voor veeltermen!
Een veelterm is een deler van de veelterm als er een veelterm bestaat zodanig dat .
Anders gezegd: als een deler van de veelterm is, dan is een veelvoud van .
Grootste gemene deler
Voor veeltermen en noemen we een veelterm die zowel deler is van als van een gemeenschappelijke deler van en .
Als en allebei ongelijk aan de nulveelterm zijn, dan heet een gemeenschappelijke deler van grootst mogelijke graad een grootste gemene deler.
De grootste gemene deler is uniek op een scalair veelvoud ongelijk aan na. Als je de kopcoëfficiënt door scalaire vermenigvuldiging gelijk aan maakt, dat wil zeggen een monische veelterm ervan maakt, is de grootste gemene deler van veeltermen uniek en wordt deze aangeduid met ggd.
Twee veeltermen heten onderling ondeelbaar als ze enkel
en alleen als gemeenschappelijke deler hebben, d.w.z. als hun ggd gelijk is aan .
Voorbeeld
Uit volgt dat en
De veeltermen en zijn onderling ondeelbaar want hun gefactoriseerde vormen hebben geen enkele factor gemeen.
Kleinste gemene veelvoud Voor veeltermen en noemen we de monische veelterm met de kleinste graad die een veelvoud is van beide veeltermen het kleinste gemene veelvoud dat we noteren als .
Rekenregels voor ggd en kgv Laat en veeltermen in één variable zijn, waarbij ten minste één van de twee ongelijk is aan . Dan zijn onderstaande beweringen voor de ggd en het kgv juist.
- .
- waarbij de kopcoëfficiënt van is
- Als een gemeenschappelijke deler is van en dan .
- Als , d.w.z. als deling van door de rest oplevert, dan .
- Als een gemeenschappelijke deler is van en met kopcoëfficiënt gelijk aan is, dan geldt .
- .
Het Euclidisch algoritme Laat en twee veeltermen in één variable zijn met (als niet aan de ordeningsrelatie voldaan is verwissel je gewoon de twee veeltermen). De ggd van en kan nu als volgt worden berekend:
- Bereken de rest van bij deling door .
- Vervang door en door .
- Herhaal de voorafgaande stappen totdat gelijk is aan .
- De laatste waarde van is gelijk aan .
Nota bene: Je kunt in het antwoordveld ook tussenresultaten van de vorm invoeren en stapsgewijs naar het eindantwoord toewerken.
Het Euclidisch algoritme verloopt als volgt:
