2 svar
110 visningar
coffeshot behöver inte mer hjälp
coffeshot 429
Postad: 23 sep 20:17 Redigerad: 23 sep 20:21

Kinesiska restsatsen - varför söker vi inverserna till Mi?

Hej!

 

På en föreläsning idag (min första kontakt med Kinesiska restsatsen, så jag är minst sagt en nybörjare), så gicks följande exempeluppgift igenom.

Lös ekvationssystemet

x1(mod4)x \equiv 1 \pmod{4}

x2(mod3)x \equiv 2 \pmod{3}

x4(mod5)x \equiv 4 \pmod{5}

Lösningen som presenterades:

Eftersom 4,3,5 relativt prima så kan kinesiska restsatsen användas.

Tag fram M1,2,3M_{1,2,3} enligt definitionen.

M1=3·5=15M_{1}= 3 \cdot 5 = 15, M2=4·5=20M_{2} = 4 \cdot 5 = 20,M3=4·3=12M_{3} = 4 \cdot 3 = 12

 

Nu vill vi lösa

y1=b11541y_{1}=b_{1}15 \equiv_{4} 1

y2=b22031y_{2}=b_{2} 20 \equiv_{3} 1

y3=b31251y_{3}=b_{3} 12 \equiv_{5} 1

Jag förstår här att vi vill hitta inversen till MiM_i (det är det som det andra ekvationssteget gör).

Men jag förstår inte varför det funkar, eller varför man gör det? Det verkar ju vara en allmän metod att jobba så här med ekvationssystem av kongruenser.

AlexMu 940
Postad: 23 sep 21:59 Redigerad: 23 sep 22:01

Det kommer från det man säger är lösningen till det generella systemet i restsatsen

xa1(modm1)x \equiv a_1 \pmod{m_1}
xa2(modm2)x \equiv a_2 \pmod{m_2}
\vdots
xak(modmk)x \equiv a_k \pmod{m_k}

Vi undersöker talet 

X=a1M1y1+a2M2y2+akMkykX = a_1 M_1 y_1 + a_2 M_2 y_2 + \dots a_k M_k y_k

där MiM_i är produkten av varje mjm_j förutom mim_i (0ik0 \leq i \leq k), alltså
Mi=m1·m2mi-1·mi+1mkM_i = m_1 \cdot m_2 \cdots m_{i-1} \cdot m_{i+1} \cdots m_k

Nu undersöker vi vad som händer om Miyi=1M_i y_i = 1:

När vi undersöker vad XX är kongruent med modulo mim_i får vi att varje MjM_j där jij \neq i har talet mim_i som faktor och därmed är varje term förutom aiMiyia_i M_i y_i kongruent med 00 mod mim_i. Då har vi att för detta XX och varje ii

XaiMiyi(modmi)X \equiv a_i M_i y_i \pmod{m_i}

Sedan om yiy_i var inversen till MiM_i skulle vårt XX vara kongruent med aia_i och därmed lösa det urpsrungliga systemet.

Att komma fram till detta tal som lösning till systemet är en annan fråga, men hänger du med på hur, givet detta lösningsförslag, så är det önskvärt att ha yiy_i och MiM_i som inverser?

coffeshot 429
Postad: 25 sep 19:24

Ah, jag hänger med nu! Tack så mycket!

Svara
Close