Marcy hat so gelöst: (vgl. Buch S. 160)
M1 = m2 * m3 = 8 * 9 = 72
M2 = m1 * m3 = 7 * 9 = 63
M3 = m1 * m2 = 7 * 8 = 56
Mittels euklischen Algorithmus werden die Darstellungen berechnet
1 = s1 * M1 + t1 * m1 = (-3) * 72 + 31 * 7
1 = s2 * M2 + t2 * m2 = (-1) * 63 + 8 * 8
1 = s3 * M3 + t3 * m3 = (-4) * 56 + 25 * 9
t1 = s1 * M1 = (-3) * 72 = - 216
t2 = s2 * M2 = (-1) * 63 = -63
t3 = s3 * M3 = (-4) * 56 = -224
a = a1 * b1 + a2 * b2 + a3 * b3
= 1 * (-216) + 5* (-63) + 4* (-224)
= -1427
M = m1 * m2 * m3 = 7 * 8 * 9 = 504
Die Menge aller Lösungen der simulanten Kongruenz ist somit
{ - 1427 + k * 504: k € Z}.
So, aber was ist jetzt die kleinste positive Lösung?
Der Rest von -1427 bei 504 ist -419. Aber das ist eine negative Zahl.