Contoh soal induksi matematika pada keterbagian

Jika a|b maka a|bc untuk c bilangan bulat sebarang

Contoh:
a|b →a|b x c,∀c∈{…,-3,-2,-1,0,1,2,3,…}ika a|b dan b|c maka a|c
⚫ Bukti:
a|b →∃k∈B∋b = ak
b|c →∃l∈B∋c = bl
c = b.l
c = ak .l ∃ kl∈B
a|c (Terbukti)
Contoh:
2|4 dan 4|8→2|8
a|b → ∃k∈B∋b = ak  dikali x jadi bx = akx ………… (1)
a|c → ∃l∈B∋c = al dikali y jadi cy = aly  …………….(2)

dari (1) dan (2) didapat :

bx+cy = akx + aly
           = a(kx+ly)
Jika (kx+ly) = z maka (bx+cy) = az (z bilangan bulat) sehingga a|(bx+cy)