Alle boeken

Professioneel

Apps Over Coach Inloggen Begin met lezen

Wiskunde · Begrippenlijst

Wat is Deelbaarheid?

Definitie 29.1 Wiskunde bovenbouw · Hoofdstuk 29 — Getaltheorie

Zij a,b∈Za, b \in \Z. We zeggen dat bb het getal aa deelt, genoteerd b∣ab \mid a, als er een k∈Zk \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,b∈Za, b \in \Z zeggen we dat bb het getal aa deelt (genoteerd b∣ab \mid a) wanneer a=bqa = bq voor een zekere q∈Zq \in \Z. Eenvoudige gevolgen: als b∣ab \mid a en b∣a′b \mid a', dan b∣(ua+va′)b \mid (ua + va') voor alle u,v∈Zu, v \in \Z; als b∣ab \mid a en a≠0a \neq 0, dan ∣b∣≤∣a∣\abs b \leq \abs a; en uit a∣ba \mid b samen met b∣ab \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=(5 6 2 3)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(y−1)3(x + 1) = -5(y - 1), dus 3∣5(y−1)3 \mid 5(y-1), en het lemma van Gauss (gcd⁡(3,5)=1\gcd(3,5) = 1) geeft 3∣y−13 \mid y - 1: y=1−3ky = 1 - 3k, waarna x=−1+5kx = -1 + 5k. Omgekeerd voldoet elk zo’n paar:

(x,y)=(−1+5k, 1−3k),k∈Z.(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 →