Hitta alla lösningar x till ekvationerna med modul
Så när det kommer till sånna här typ av uppgifter, så ska man börja med att se vad den största gemensamma Delaren är? om den är 1, så kan man alltid göra den med invseren? Vill någon visa hur?
Om vi har en kongruensekvation skulle vi ju gärna hitta en invers modulo sådan att och därefter enkelt lösa ekvationen genom:
Det stora problemet med detta är att det inte alltid går att finna inversen beroende på vilket -värde vi har. Det är nämligen så att det bara går att finna en invers modulo om .
Om den största gemensamma delaren inte är får vi skriva om kongruensekvationen på formen:
där . Eftersom GCD inte är 1 finns det någon gemensam delare större än ett i både och . Om vi delar båda led på denna största gemensamma delare får vi då:
Eftersom är delare till både och är det säkert att och blir heltal. Däremot är det inte säkert att är ett heltal. Om det inte är ett heltal har ekvationen inga lösningar (som med den andra ekvationen i ditt exempel).
Om å andra sidan är ett heltal kan vi omvandla ekvationen:
till kongruensekvationen:
eftersom vi nu dividerat bort den största gemensamma delaren vet vi att och därmed går det att finna en invers till och på så sätt ta fram lösningarna.
AlvinB skrev:Om vi har en kongruensekvation skulle vi ju gärna hitta en invers modulo sådan att och därefter enkelt lösa ekvationen genom:
Det stora problemet med detta är att det inte alltid går att finna inversen beroende på vilket -värde vi har. Det är nämligen så att det bara går att finna en invers modulo om .
Om den största gemensamma delaren inte är får vi skriva om kongruensekvationen på formen:
där . Eftersom GCD inte är 1 finns det någon gemensam delare större än ett i både och . Om vi delar båda led på denna största gemensamma delare får vi då:
Eftersom är delare till både och är det säkert att och blir heltal. Däremot är det inte säkert att är ett heltal. Om det inte är ett heltal har ekvationen inga lösningar (som med den andra ekvationen i ditt exempel).
Om å andra sidan är ett heltal kan vi omvandla ekvationen:
till kongruensekvationen:
eftersom vi nu dividerat bort den största gemensamma delaren vet vi att och därmed går det att finna en invers till och på så sätt ta fram lösningarna.
Jaa okej, så lite Euikliders algoritm? och det gäller samma regler vid modolo inverser som matris division?
Ja, det finns lite likheter med Euklides algoritm, men det här behöver vi faktiskt bara göra en gång ifall eftersom vi dividerar bort alla gemensamma faktorer på en gång när vi dividerar med största gemensamma delaren. I Euklides algoritm kan man ju behöver upprepa stegen många gånger.
Du har rätt i att det här med invers är lite likt vad man gör när man löser matrisekvationer. Om matrisen är inverterbar (d.v.s. determinanten är nollskild) multiplicerar vi med inversen i båda led, annars måste vi göra något annat (Gausselimination).
På liknande sätt är det här, om är inverterbart modulo (d.v.s. största gemensamma nämnaren är ett) multiplicerar vi med inversen i båda led, annars måste vi göra något lite krångligare (dividera med ). Dock skulle jag inte säga att reglerna är samma.
AlvinB skrev:Ja, det finns lite likheter med Euklides algoritm, men det här behöver vi faktiskt bara göra en gång ifall eftersom vi dividerar bort alla gemensamma faktorer på en gång när vi dividerar med största gemensamma delaren. I Euklides algoritm kan man ju behöver upprepa stegen många gånger.
Du har rätt i att det här med invers är lite likt vad man gör när man löser matrisekvationer. Om matrisen är inverterbar (d.v.s. determinanten är nollskild) multiplicerar vi med inversen i båda led, annars måste vi göra något annat (Gausselimination).
På liknande sätt är det här, om är inverterbart modulo (d.v.s. största gemensamma nämnaren är ett) multiplicerar vi med inversen i båda led, annars måste vi göra något lite krångligare (dividera med ). Dock skulle jag inte säga att reglerna är samma.
Tack så mkt