Γραμμική διοφαντική εξίσωση

Στην θεωρία αριθμών, μία γραμμική διοφαντική εξίσωση είναι μία διοφαντική εξίσωση της μορφής

όπου  είναι δοσμένοι ακέραιοι αριθμοί και   είναι οι άγνωστοι ακέραιοι αριθμοί τους οποίους καλούμαστε να βρούμε.

Λέγεται διοφαντική, καθώς οι λύσεις τις πρέπει να είναι ακέραιοι αριθμοί (αντί για πραγματικοί), και γραμμική γιατί το είναι γραμμική συνάρτηση των δύο αγνώστων της (π.χ. δεν υπάρχουν όροι της μορφής  ή ).   

Η εξίσωση μπορεί (i) να μην έχει καμία λύση ή (ii) να έχει αριθμήσιμο πλήθος από λύσεις.

 Επίλυση 

 Παραδείγματα 

 Παράδειγμα 1ο 
Θεωρούμε την γραμμική διοφαντική εξίσωση 
. 
Χρησιμοποιώντας τον επεκταμένο αλγόριθμο του Ευκλείδη βρίσκουμε ότι το ΜΚΔ των  και , είναι  καθώς

Με τον επεκταμένο αλγόριθμο, βρίσκουμε μία λύση 

Επομένως, μπορούμε να θέσουμε  και , και οι γενικές λύσεις θα είναι 
 και , για κάθε .

 Παράδειγμα 2ο 
Θεωρούμε την γραμμική διοφαντική εξίσωση του πρώτου παραδείγματος, αλλά με διαφορετικό συντελεστή . 
. 
Η λύση  και  που είδαμε προηγουμένως μας δίνει 
. 
Πολλαπλασιάζοντας επί  έχουμε ότι  και  είναι λύση της εξίσωσης, καθώς 
.
Άρα οι γενικές λύσεις είναι 
 και , για κάθε .

 Παράδειγμα 3ο 
Η γραμμική διοφαντική εξίσωση 

δεν έχει λύσεις καθώς  δεν διαιρεί το .

 Παράδειγμα 4ο 

Θεωρούμε την γραμμική διοφαντική εξίσωση 
.
Ο μέγιστος κοινός διαιρέτης των  και  είναι 

Διαιρώντας και τα δύο μέλη με  λαμβάνουμε την ισοδύναμη διοφαντική εξίσωση
.
Επομένως, οι λύσεις δίνονται όπως στο 2ο παράδειγμα.

 Εφαρμογές 

 Θετικές λύσεις γραμμικής διοφαντικής εξίσωσης 

Σε κάποιες περιπτώσεις θέλουμε επιπλέον περιορισμούς στις λύσεις που θα πάρουμε, όπως για παράδειγμα να είναι θετικοί αριθμοί (όπως στο παράδειγμα με τα ρέστα). Για να βρεθούν οι ζητούμενες λύσεις, βάζουμε επιπλέον τους περιορισμούς 
 και ,
και λύνουμε ως προς την παράμετρο 
 και .
Οι ακέραιοι σε αυτό το εύρος μας δίνουν τις ζητούμενες λύσεις.

 Λύση της γραμμικής ισοτιμίας 

Έστω ότι θέλουμε να λύσουμε την γραμμική ισοτιμία για δοσμένα , 
. 
Δηλαδή ψάχνουμε τα  για τα οποία υπάρχει κάποιος ακέραιος  ώστε

ή ισοδύναμα
, 
που είναι μία γραμμική διοφαντική εξίσωση.

 Δείτε επίσης 
 Αλγόριθμος του Ευκλείδη
 Μέγιστος κοινός διαιρέτης

 Παραπομπές 

Κατηγορία:Θεωρία αριθμών