Hallo zusammen.
Ich hatte hier so eine Minuaufgabe im Vorlesungsbuch zur Algebra und ich habe die echt unterschätzt. Die Aufgabe war es alle ganzzahligen Paare (x,y) zu finden, welche die lineare Gleichung 7x+3y = 5 lösen. D.h. in anderen Worten: Wir wollen alle Elemente der Menge {(x,y) ∈ Z^2 : 7x+3y = 5} =: U bestimmen.
Meine Idee:
In den rationalen Zahlen ist die Gleichung äquivalent zu y = (5-7x)/3. Da wir ganzzahlige x,y finden sollen, müssen wir uns fragen für welche x das y ganzzahlig ist. Das ist genau dann der Fall wenn 3 den Ausdruck (5-7x) teilt. Also äquivalent 5 kongruent 7x (mod 3) und das ist weiter äquivalent zu der Kongruenzgleichung
7x kongruent 2 (mod 3)
Man kann ja zuerst auch 7x kongruent 1 (mod 3) lösen und dann mit 2 die Lösung multiplizieren.
Wie löst man aber die Kongruenzgleichung? (Habe mich noch nie so richtig mit dem Lösen von Kongruenzen beschäftigt, sondern eher mit der Theorie…)
Also das eine Lösung existiert, ist klar, denn ggT(7,3) = 1. Wie bestimmt man die aber?