Delbarhet

Jag försöker förstå hur följande omskrivning görs:

$3 | a g e r a t t a = 3 k$

Kommer det ifrån att man kan skriva $k = \frac{a}{3} v i l k e t ä r d e t s a m m a s o m a = 3 k ?$

Att 3 delar a är samma sak som att det finns ett heltal k sådant att 3k = a. Det är mer eller mindre definitionen på "delar". Man skriver 3|a för att det direkt motsvarar hur man pratar, men 3k=a för att det ger någonting man kan räkna med. Att k heter k är godtyckligt, bara man väljer en annan variabel för b här.

Svara