Heltal och diofantiska ekvationer
Använd och Euklides algoritm för att finna och beskriva heltalslösningar.
Översikt
Division med rest bevarar gemensamma delare
Vid division med rest ligger resten mellan noll och divisorn minus ett. Ett tal delar både dividend och divisor precis när det delar både divisor och rest. Euklides algoritm upprepar detta tills resten är noll; den sista icke-nollresten är största gemensamma delaren. Baklängessubstitution skriver denna som en heltalskombination.
Exempel
Exempel: lös en linjär heltalsekvation
För koefficienterna 84 och 30 ger Euklides algoritm resterna 24 och 6. Största gemensamma delaren är sex. Baklänges får vi sex som tre gånger 30 minus 84. En särskild lösning är därför minus ett respektive tre. Alla lösningar fås genom att öka den första variabeln med fem och minska den andra med fjorton.
Fördjupning
Existens och alla lösningar är olika frågor
Att högerledet är delbart med största gemensamma delaren avgör om lösningar finns. Det anger inte alla lösningar. Efter att en särskild lösning hittats måste den homogena ekvationen lösas för att parameterisera samtliga. Kontrollera slutligen både att varje angivet par uppfyller ekvationen och att parameterformen fångar varje heltalslösning. Om högerledet inte är delbart med den gemensamma delaren är det omöjligt redan före baklängesräkningen.
Formler i området
Euklides algoritm
- Vad gör formeln?
- Upprepad division hittar största gemensamma delaren.
- När får den användas?
- Heltal med positiv divisor; resten är minst noll och mindre än divisorn.
Bézouts identitet
- Vad gör formeln?
- Skriver största gemensamma delaren som en heltalskombination.
- När får den användas?
- Heltalen är inte båda noll.
Linjär
- Vad gör formeln?
- En särskild lösning ger alla heltalslösningar.
- När får den användas?
- Koefficienterna är icke-nollheltal och en särskild lösning är känd; om delbarhetsvillkoret inte gäller saknas lösningar.
Hänger ihop med
Används ofta tillsammans med
Kan du använda heltal och diofantiska ekvationer?
Lös en riktig tentauppgift från SF1662 med ledtrådar och lösningsförslag. Inget konto behövs.