Wiskunde · Begrippenlijst

Wat is Deelbaarheid?

Definitie 29.1 Wiskunde bovenbouw · Hoofdstuk 29 — Getaltheorie

Zij a,bZa, b \in \Z. We zeggen dat bb het getal aa deelt, genoteerd bab \mid a, als er een kZk \in \Z bestaat met a=kba = kb. We zeggen dan ook dat aa een veelvoud van bb is.

Lees in het hoofdstuk →
Definitie 6.1 Universitaire wiskunde — Bachelor jaar 1 · Hoofdstuk 6 — Getaltheorie in ℤ

Voor a,bZa, b \in \Z zeggen we dat bb het getal aa deelt (genoteerd bab \mid a) wanneer a=bqa = bq voor een zekere qZq \in \Z. Eenvoudige gevolgen: als bab \mid a en bab \mid a', dan b(ua+va)b \mid (ua + va') voor alle u,vZu, v \in \Z; als bab \mid a en a0a \neq 0, dan ba\abs b \leq \abs a; en uit aba \mid b samen met bab \mid a volgt b=±ab = \pm a.

Voorbeelden

Voorbeeld 6.3 (Positiestelsels door herhaald delen)

Schrijf 20262026 in grondtal 77. Deel herhaaldelijk door 77 en houd de resten bij:

2026=7×289+3,289=7×41+2,41=7×5+6,5=7×0+5.2026 = 7 \times 289 + 3, \quad 289 = 7 \times 41 + 2, \quad 41 = 7 \times 5 + 6, \quad 5 = 7 \times 0 + 5 .

Lees je de resten van laatst naar eerst, dan is 2026=(5623)72026 = (5\,6\,2\,3)_7. Controle: 5×343+6×49+2×7+3=1715+294+14+3=20265 \times 343 + 6 \times 49 + 2 \times 7 + 3 = 1715 + 294 + 14 + 3 = 2026. De uniciteit van de euclidische deling is precies wat elk cijfer afdwingt: bij elke stap is de rest het enige gehele getal in [ ⁣[0,6] ⁣]\intint06 dat congruent is met de huidige waarde modulo 77, zodat de schrijfwijze in grondtal 77 uniek is — het feit dat stilzwijgend gebruikt wordt telkens als de weekendopgave met “de cijfers van nn in grondtal pp” werkt.

Voorbeeld 6.9 (Een lineaire diofantische vergelijking oplossen)

Bepaal alle (x,y)Z2(x, y) \in \Z^2 met 6x+10y=46x + 10y = 4. Eerst de bestaanstoets: gcd(6,10)=2\gcd(6, 10) = 2 deelt 44, dus zijn er oplossingen (deelde de ggd het rechterlid niet, dan zou het linkerlid altijd een veelvoud ervan zijn en zou er geen enkele zijn). Deel door: 3x+5y=23x + 5y = 2. Een particuliere oplossing springt in het oog: (x0,y0)=(1,1)(x_0, y_0) = (-1, 1). Voor de algemene trek je af: 3(x+1)=5(y1)3(x + 1) = -5(y - 1), dus 35(y1)3 \mid 5(y-1), en het lemma van Gauss (gcd(3,5)=1\gcd(3,5) = 1) geeft 3y13 \mid y - 1: y=13ky = 1 - 3k, waarna x=1+5kx = -1 + 5k. Omgekeerd voldoet elk zo’n paar:

(x,y)=(1+5k, 13k),kZ.(x, y) = (-1 + 5k,\ 1 - 3k), \qquad k \in \Z .

Het patroon is algemeen: één particuliere oplossing plus de geheeltallige veelvouden van (bgcd,agcd)\bigl(\frac b{\gcd}, -\frac a{\gcd}\bigr) — dezelfde structuur “particulier plus homogeen” als in Hoofdstuk 5, met het lemma van Gauss in de rol van de uniciteit.

Lees in het hoofdstuk →