www.wikidata.de-de.nina.az
Eine lineare diophantische Gleichung benannt nach dem griechischen Mathematiker Diophantos von Alexandria vermutlich um 250 n Chr ist eine Gleichung der Form a 1 x 1 a 2 x 2 a n x n c 0 displaystyle a 1 x 1 a 2 x 2 dots a n x n c 0 mit ganzzahligen Koeffizienten a 1 a n displaystyle a 1 a n und c displaystyle c fur die nur ganzzahlige Losungen gesucht werden 1 Linear bedeutet dass die Variablen x 1 x n displaystyle x 1 x n nicht in Potenzen auftreten im Gegensatz zur allgemeinen diophantischen Gleichung Inhaltsverzeichnis 1 Auflosung von Gleichungen mit zwei Variablen 1 1 Losungen der homogenen Gleichung 1 2 Auffinden einer Partikularlosung 1 3 Gesamtheit der Losungen 1 4 Explizite Losung mittels Satz von Euler 2 Berechnungsbeispiel 2 1 Partikularlosung 2 2 Losungen der homogenen Gleichung 2 3 Gesamtheit der Losungen 2 4 Explizite Losung mittels Satz von Euler 3 Literatur 4 Weblinks 5 EinzelnachweiseAuflosung von Gleichungen mit zwei Variablen BearbeitenDie lineare diophantische Gleichung a x b y c displaystyle ax by c qquad nbsp mit vorgegebenen ganzen Zahlen a b c displaystyle a b c nbsp hat genau dann ganzzahlige Losungen in x displaystyle x nbsp und y displaystyle y nbsp wenn c displaystyle c nbsp durch den grossten gemeinsamen Teiler g displaystyle g nbsp von a displaystyle a nbsp und b displaystyle b nbsp teilbar ist D h die linke Seite ist durch g displaystyle g nbsp teilbar also muss auch c displaystyle c nbsp durch g displaystyle g nbsp teilbar sein Wir nehmen dies im Folgenden an Wie bei jeder linearen Gleichung ist die Differenz zweier Losungen eine Losung der zugehorigen homogenen Gleichung a x b y 0 displaystyle ax by 0 nbsp Sucht man also eine Losung der ursprunglichen inhomogenen Gleichung displaystyle nbsp man spricht dann von einer Partikularlosung so erhalt man durch Superposition mit den Losungen der homogenen Gleichung samtliche anderen Losungen der inhomogenen Gleichung displaystyle nbsp Geometrisch interpretiert sind P x y displaystyle P x y nbsp Gitterpunkte mit ganzzahligen Koordinaten in der Euklidischen Ebene die auf der durch displaystyle nbsp definierten Geraden liegen Losungen der homogenen Gleichung Bearbeiten Schreibt man a g a displaystyle a ga nbsp und b g b displaystyle b gb nbsp mit g ggT a b displaystyle g operatorname ggT a b nbsp so ist die homogene Gleichung aquivalent zu a x b y displaystyle a x b y nbsp und da a displaystyle a nbsp und b displaystyle b nbsp teilerfremd sind ist x displaystyle x nbsp durch b displaystyle b nbsp und y displaystyle y nbsp durch a displaystyle a nbsp teilbar Samtliche Losungen der homogenen Gleichung sind also durch x t b y t a displaystyle x tb quad y ta nbsp fur eine beliebige ganze Zahl t displaystyle t nbsp gegeben Auffinden einer Partikularlosung Bearbeiten Mithilfe des erweiterten euklidischen Algorithmus kann man Zahlen u v displaystyle u v nbsp bestimmen so dass a u b v g displaystyle au bv g nbsp mit g ggT a b displaystyle g operatorname ggT a b nbsp gilt Setzt man s c g displaystyle s c g nbsp so ist x 0 s u y 0 s v displaystyle x 0 su quad y 0 sv nbsp eine Losung der Gleichung displaystyle nbsp Gesamtheit der Losungen Bearbeiten Die Gesamtheit der Losungen von displaystyle nbsp ist gegeben durch x x 0 t b y y 0 t a displaystyle x x 0 tb quad y y 0 ta nbsp fur beliebige ganze Zahlen t displaystyle t nbsp Explizite Losung mittels Satz von Euler Bearbeiten Der Satz von Euler lautet Aus g g T a b 1 displaystyle mathrm ggT a b 1 nbsp folgt a f b 1 mod b displaystyle a varphi b equiv 1 pmod b nbsp Darin ist f b displaystyle varphi b nbsp die Eulersche Phi Funktion d h die Anzahl der zu b displaystyle b nbsp teilerfremden Restklassen Wir nehmen zur Vereinfachung an dass der g g T displaystyle mathrm ggT nbsp bereits herausdividiert ist und deshalb g g T a b 1 displaystyle mathrm ggT a b 1 nbsp gilt 2 Dann betrachtet man die Gleichung displaystyle nbsp modulo b displaystyle b nbsp was a x c mod b displaystyle ax equiv c pmod b nbsp ergibt Der Satz von Euler liefert dann eine explizite Losung x displaystyle x nbsp namlich x c a f b 1 mod b displaystyle x equiv ca varphi b 1 pmod b nbsp d h alle Zahlen der Form x c a f b 1 t b displaystyle x ca varphi b 1 tb nbsp Eingesetzt in die Ausgangsgleichung ergibt das y c 1 a f b b t a displaystyle y c frac 1 a varphi b b ta nbsp was nach dem Satz von Euler ebenfalls eine ganze Zahl ist Berechnungsbeispiel BearbeitenDie Gleichung 6 x 10 y 100 displaystyle 6x 10y 100 nbsp soll gelost werden Partikularlosung Bearbeiten Bei einfachen Zahlenbeispielen wie diesem lasst sich eine Partikularlosung leicht ablesen oder erraten hier zum Beispiel x y 0 10 displaystyle x y 0 10 nbsp Der erweiterte euklidische Algorithmus liefert fur die gegebene Gleichung 10 1 6 4 6 1 4 2 2 ist der ggT von 6 und 10 4 2 2 0 displaystyle begin matrix 10 amp amp 1 cdot 6 amp amp 4 6 amp amp 1 cdot 4 amp amp 2 amp qquad mbox 2 ist der ggT von 6 und 10 4 amp amp 2 cdot 2 amp amp 0 end matrix nbsp Es folgt 2 6 4 6 10 6 2 6 1 10 displaystyle 2 6 4 6 10 6 2 cdot 6 1 cdot 10 nbsp Durch Multiplikation mit 100 2 50 displaystyle 100 2 50 nbsp ergibt sich 100 100 6 50 10 displaystyle 100 100 cdot 6 50 cdot 10 nbsp also die Partikularlosung x y 100 50 displaystyle x y 100 50 nbsp Losungen der homogenen Gleichung Bearbeiten Es ist a 6 b 10 g 2 displaystyle a 6 b 10 g 2 nbsp also a 3 b 5 displaystyle a 3 b 5 nbsp Die homogene Gleichung 6 x 10 y 0 displaystyle 6x 10y 0 nbsp hat also die Losungen x y 5 t 3 t displaystyle x y 5t 3t nbsp fur ganze Zahlen t displaystyle t nbsp Gesamtheit der Losungen Bearbeiten Alle Losungen ergeben sich also als x y 100 5 t 50 3 t displaystyle x y 100 5t 50 3t nbsp beispielsweise sind die Losungen mit nichtnegativen x displaystyle x nbsp und y displaystyle y nbsp t 20 0 10 t 19 5 7 t 18 10 4 t 17 15 1 displaystyle begin matrix t 20 amp 0 10 t 19 amp 5 7 t 18 amp 10 4 t 17 amp 15 1 end matrix nbsp Explizite Losung mittels Satz von Euler Bearbeiten Nach dem Dividieren durch den g g T 2 displaystyle mathrm ggT 2 nbsp erhalt man a 3 b 5 c 50 displaystyle a 3 b 5 c 50 nbsp Mit f 5 4 displaystyle varphi 5 4 nbsp ergibt sich folglich x 50 3 3 5 t 1350 5 t displaystyle x 50 cdot 3 3 5t 1350 5t nbsp und y 50 1 3 4 5 3 t 800 3 t displaystyle y 50 frac 1 3 4 5 3t 800 3t nbsp Literatur BearbeitenAlexander Ossipowitsch Gelfond Die Auflosung von Gleichungen in ganzen Zahlen diophantische Gleichungen Kleine Erganzungsreihe zu den Hochschulbuchern fur Mathematik Band 5 Deutscher Verlag der Wissenschaften Berlin 1973 Weblinks BearbeitenOnline Tool zum Losen von linearen diophantischen Gleichungen Beispiel Ein Bauer Einzelnachweise Bearbeiten Ilja Nikolajewitsch Bronstein Konstantin Adolfowitsch Semendjajew Taschenbuch der Mathematik 5 Auflage Verlag Harri Deutsch 2000 ISBN 3 8171 2005 2 S 335 E Kratzel Zahlentheorie VEB Deutscher Verlag der Wissenschaften Berlin 1981 S 24 Abgerufen von https de wikipedia org w index php title Lineare diophantische Gleichung amp oldid 237126089