跳轉到內容

用高斯/同餘數學習數論

來自華夏公益教科書,開放的世界,開放的書籍

定義和基本定理

[編輯 | 編輯原始碼]

定義 1.1:

. 稱為 **模 同餘**,當且僅當 . 在這種情況下,我們寫

.

定理 1.2:

. 那麼模 同餘的數恰好是

.

證明:

首先,我們注意到對於每個 ,都有。然後設 ,即 對於某個 。然後

推論 1.3:

關係 是一個等價關係

證明 1:

我們根據定理 1.2 證明這個推論。

自反性:設 ,我們注意到

對稱性:設 ,即 。然後 ,其中

傳遞性:設 ,即 。然後

證明 2:

我們直接證明這個推論。

自反性:

對稱性:.

傳遞性: 意味著 對於某些 。因此,.

定義 1.4:

。則 關於上一定理中等價關係的等價類被稱為 **同餘類** 或 **模 的剩餘類**。

定理 1.5 (歐幾里得;帶餘除法):

。則存在 使得 並且

.

證明:

考慮集合

.

由於這個集合根據定義包含在 中,因此它有一個最小元素。我們將此元素稱為 。根據定義,我們得到 的存在性,使得

.

我們定義 。假設 。那麼 ,這與 的最小性相矛盾。

我們在此注意,對於那些滿足上述定理的環 (使用 代替 ,以及一些其他的修改,參見維基百科文章),被稱為**歐幾里得環**。

定理 1.6:

存在恰好 個不同的模 同餘類,其中

證明 1:

我們用帶餘除法證明該定理。

我們聲稱 定義了成對不同的同餘類。事實上,假設這兩個元素定義了相同的同餘類,分別稱為 。那麼 ,因此特別地 。後者是一個矛盾,因為我們可以讓 儘可能大,並將 儘可能小。

現在讓 。根據帶餘除法,我們得到 。然後 ,其中 在範圍內

總之,我們得到每個元素 代表了一個不同的同餘類,而且每個其他數字都包含在由這些元素表示的同餘類中。由於它們有 個,因此定理成立。

證明 2:

我們根據推論 1.7 證明該定理(這並非無稽之談,因為我們給出了兩個證明該推論的方法,它們沒有基於此引理)。

首先,我們注意到 定義了成對不同的同餘類,因為如果 ,根據推論 1.7,在 中恰好存在一個數字與 同餘( 本身)。

然後我們注意到,每個同餘類至少由一個 表示,而根據推論 1.7,它又與其中一個元素 同餘。因此,每個同餘類都由 中的一個元素表示。由於這些正好是 個不同的元素,因此定理得證。

推論 1.7:

,並令 個連續整數 為已知。如果 是另一個整數,那麼,在這 個整數中,只有一個與 同餘。

證明 1:

我們利用定理 1.2 來證明這個推論。

Indeed, by theorem 1.2 the integers congruent to modulo are given exactly by . Assume none of those integers were contained within . Define to be the largest integer such that and to be the smallest integer such that . By assumption , since otherwise would be larger than the largest integer such that and smaller than the smallest integer such that and hence contrary to our assumption. But the difference between and is exactly , and in particular there are numbers enclosed between the two. This contradicts the assumption that the numbers are enclosed within the two; those are different numbers.

假設集合 中有兩個整數對模 同餘於。將它們分別記為。那麼根據定理 1.2,,其中。因此,。特別地, 之差要麼為零,要麼大於或等於,這與集合 中任意兩個數字之差小於或等於(因為我們可以透過將較小的元素移動到,並將較大的元素移動到 來最大化這個差) 相矛盾。

證明 2:

我們使用定理 1.2 和分數來證明推論。

如果 是一個整數,那麼 。 否則, 是一個分數。 令 是下一個更大的整數。 那麼

因此 包含在 中。 此外,對於所有

,

只有其中的一個分數 可以是整數,這等價於

證明 3:

我們從同餘類的概念和引理 1.6 證明這個推論。

事實上,與引理 1.6 完全類似,我們證明了表示成對不同的同餘類。由於它們恰好有個,元素實際上代表了所有同餘類。由於任何等價關係的等價類構成一個劃分,我們得出結論,每個都與中的一個同餘。

定義 1.7:

被稱為剩餘當且僅當

從定理 1.2 可以直接得出,的剩餘恰好是以下這些數

.

引理 1.8

。 那麼內恰好有一個剩餘,在內也恰好有一個剩餘。當且僅當時,它們重合。

證明:

這從推論 1.6 以及 推出,分別。

定義 1.9:

引理 1.8 中的兩個餘數分別稱為負最小余數正最小余數

定理 1.10:

是負最小余數,而 是正最小余數。那麼會出現以下四種情況之一:

證明:

我們有 ,因此 ,即 。我們將四種情況分開:

  1. 。由於 ,零同時是正最小余數和負最小余數。

定理與定義 1.11:

。在範圍 內恰好存在一個餘數

剩餘類環

[編輯 | 編輯原始碼]

整除性判定法

[編輯 | 編輯原始碼]

定理 1.?:

由十進位制展開式 給出,即

.

能被 3 或 9 整除當且僅當 能被整除。

證明:

由於 (因此 ),我們有

  • 習題 1.?.1:
華夏公益教科書