全部书籍

专业

应用 关于 Coach 登录 开始阅读

书籍暂未推出简体中文版——当前显示英文版。

Mathematics · 术语表

什么是 Divisibility?

Definition 29.1 High School Mathematics · 第 29 章 — Arithmetic

Let a,b∈Za, b \in \Z. We say bb divides aa, written b∣ab \mid a, if there exists k∈Zk \in \Z with a=kba = kb. We also say aa is a multiple of bb.

在原文中阅读 →
Definition 6.1 University Mathematics — Year 1 · 第 6 章 — Integer Arithmetic

For a,b∈Za, b \in \Z, bb divides aa (written b∣ab \mid a) when a=bqa = bq for some q∈Zq \in \Z. Basic consequences: if b∣ab \mid a and b∣a′b \mid a' then b∣(ua+va′)b \mid (ua + va') for all u,v∈Zu, v \in \Z; if b∣ab \mid a and a≠0a \neq 0 then ∣b∣≤∣a∣\abs b \leq \abs a; and a∣ba \mid b together with b∣ab \mid a force b=±ab = \pm a.

示例

Example 6.3 (Positional numeration by repeated division)

Write 20262026 in base 77. Divide repeatedly by 77, keeping the remainders:

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 .

Reading the remainders from last to first: 2026=(5 6 2 3)72026 = (5\,6\,2\,3)_7. Check: 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. The uniqueness of Euclidean division is exactly what makes each digit forced: at every step the remainder is the only integer in [ ⁣[0, 6] ⁣]\intint06 congruent to the current value mod 77, so base-77 writing is unique — the fact silently used whenever the weekend problem manipulates “the digits of nn in base pp”.

Example 6.9 (Solving a linear Diophantine equation)

Find all (x,y)∈Z2(x, y) \in \Z^2 with 6x+10y=46x + 10y = 4. First, the existence test: gcd⁡(6,10)=2\gcd(6, 10) = 2 divides 44, so solutions exist (if the gcd did not divide the right-hand side, the left side would always be a multiple of it and there would be none). Divide through: 3x+5y=23x + 5y = 2. A particular solution is visible: (x0,y0)=(−1,1)(x_0, y_0) = (-1, 1). For the general one, subtract: 3(x+1)=−5(y−1)3(x + 1) = -5(y - 1), so 3∣5(y−1)3 \mid 5(y-1), and Gauss’s lemma (gcd⁡(3,5)=1\gcd(3,5) = 1) gives 3∣y−13 \mid y - 1: y=1−3ky = 1 - 3k, then x=−1+5kx = -1 + 5k. Conversely every such pair works:

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

The pattern is general: one particular solution plus the integer multiples of (bgcd⁡,−agcd⁡)\bigl(\frac b{\gcd}, -\frac a{\gcd}\bigr) — the same “particular plus homogeneous” structure as in Chapter 5, with Gauss’s lemma playing the uniqueness role.

在原文中阅读 →