初等數論簡明教程

初等數論簡明教程

本文給出初等數論中的一些重要的定理與例題,證明風格采用 整除線法 與 命題節點法。

整除線法 指推理的第 nnn 步左邊的字符可由前面左邊的字符得到,右邊的字符可由前面右邊的字符得到,整除線變成了推理線,既少寫了很多字,又對下一步推理有一定提示作用。


公共約定

  • A={a1,a2,...,an}=ajA = \{a_1, a_2, ..., a_n\} = a_jA={a1?,a2?,...,an?}=aj?
  • L=[a1,a2,...,an]=[aj]L = [a_1, a_2, ..., a_n] = [a_j]L=[a1?,a2?,...,an?]=[aj?] (最小公倍數)
  • D=(a1,a2,...,an)=(aj)D = (a_1, a_2, ..., a_n) = (a_j)D=(a1?,a2?,...,an?)=(aj?) (最大公約數)
  • rrr:余數
  • f(aj)f(a_j)f(aj?):集合 AAA 所有元素均符合 f(aj)f(a_j)f(aj?)
  • L′L'L:公倍數
  • ddd:公約數
  • {Pn}\{P_n\}{Pn?}:素數列 2,3,5,7,11,13,...2,3,5,7,11,13,...2,3,5,7,11,13,...
  • n=p1α1p2α2...ptαtn = p_1^{\alpha_1} p_2^{\alpha_2} ... p_t^{\alpha_t}n=p1α1??p2α2??...ptαt??

這些約定是本文的默認約定,優先級弱于具體題目中的約定。


約定

  • a∣s1a \mid s_1as1?
    ∣s2\quad \mid s_2s2?aaa 同時整除 s1s_1s1?s2s_2s2?
  • a∣a \mida
    b∣sb \mid sbsaaabbb 都整除 sss
  • a,b?ca, b \Rightarrow ca,b?caaabbb 推出 ccc

定理1:公倍數是最小公倍數的倍數

aj∣L′?L∣L′a_j \mid L' \iff L \mid L'aj?L?LL

證明

?\Leftarrow?
  1. L∣L′?L′=kLL \mid L' \Rightarrow L' = kLLL?L=kL
  2. L=qjajL = q_j a_jL=qj?aj?
  3. L′=kqjaj?aj∣L′L' = k q_j a_j \Rightarrow a_j \mid L'L=kqj?aj??aj?L
?\Rightarrow?
  1. L′=qL+rL' = qL + rL=qL+r
  2. aj∣L′a_j \mid L'aj?L
    ∣L\quad \mid LL
    ∣r<L\quad \mid r < Lr<L
    ∣r=0\quad \mid r = 0r=0
  3. L∣L′L \mid L'LL

定理2:公約數是最大公約數的約數

d∣aj?d∣Dd \mid a_j \iff d \mid Ddaj??dD

證明

?\Leftarrow?
  1. d∣D?D=kdd \mid D \Rightarrow D = k ddD?D=kd
  2. aj=qjDa_j = q_j Daj?=qj?D
  3. aj=qjkd?d∣aja_j = q_j k d \Rightarrow d \mid a_jaj?=qj?kd?daj?
?\Rightarrow?
方法1
  1. D=a1x1+a2x2+...+akxk(裴蜀定理)D= a_1x_1+a_2x_2+...+a_kx_k (裴蜀定理)D=a1?x1?+a2?x2?+...+ak?xk?(裴蜀定理)
  2. d∣Dd|DdD
方法2
  1. : L=[d,D]→L≥DL=[d,D] → L ≥ DL=[d,D]LD
  2. 對L=D和L>D分類討論對 L = D 和 L > D 分類討論 L=DL>D分類討論
    2.1 L=D→d∣D(可以)L=D → d\mid D (可以) L=DdD(可以)
    2.2 L>D(排除這種情況)L>D (排除這種情況) L>D(排除這種情況)
    d∣aj∧D∣aj→L∣aj→L≤D(矛盾)d |a_j \land D |a_j → L |a_j → L ≤ D (矛盾) daj?Daj?Laj?LD(矛盾)

定理3:m(a1,...,ak)=(ma1,...,mak)=m(a_1, ..., a_k) = (ma_1, ..., ma_k)=m(a1?,...,ak?)=(ma1?,...,mak?)=


  • d=(a1,...,ak)d=(a_1, ..., a_k)d=(a1?,...,ak?)
  • D=(ma1,...,mak)D=(ma_1, ..., ma_k)D=(ma1?,...,mak?)

則:
D∣majD \mid ma_jDmaj?
Dm∣aj?Dm≤d\dfrac{D}{m} \mid a_j \Rightarrow \dfrac{D}{m} \leq dmD?aj??mD?d
d∣aj\quad d \mid a_jdaj?
md∣majmd \mid ma_jmdmaj?
∣D?md≤D\quad \quad \mid D \Rightarrow md \leq DD?mdD


定理4:m[a1,...,ak]=[ma1,...,mak]m[a_1, ..., a_k] = [ma_1, ..., ma_k]m[a1?,...,ak?]=[ma1?,...,mak?]


  • L′=[a1,...,ak]L'=[a_1, ..., a_k]L=[a1?,...,ak?]
  • L=[ma1,...,mak]L=[ma_1, ..., ma_k]L=[ma1?,...,mak?]

則:
maj∣Lma_j \mid Lmaj?L
aj∣Lm?L′≤Lm\quad a_j \mid \dfrac{L}{m} \Rightarrow L' \leq \dfrac{L}{m}aj?mL??LmL?
∣L′\quad \quad \mid L'L
maj∣mL′?L≤mL′ma_j \mid mL' \Rightarrow L \leq mL'maj?mL?LmL


定理5:裴蜀定理

S={s∣s>0∧s=a1x1+a2x2+?+akxk}S = \{ s \mid s > 0 \land s = a_1 x_1 + a_2 x_2 + \cdots + a_k x_k \}S={ss>0s=a1?x1?+a2?x2?+?+ak?xk?},則

D=(a1,...,ak)=min?SD = (a_1, ..., a_k) = \min S D=(a1?,...,ak?)=minS

  • s0=min?Ss_0 = \min Ss0?=minS
  • D∣aj?D∣s0D \mid a_j \Rightarrow D \mid s_0Daj??Ds0?
  • aj=qjs0+rj?rj∈S∧rj<s0?rj=0?s0∣aj?s0∣Da_j = q_j s_0 + r_j \Rightarrow r_j \in S \land r_j < s_0 \Rightarrow r_j = 0 \Rightarrow s_0 \mid a_j \Rightarrow s_0 \mid Daj?=qj?s0?+rj??rj?Srj?<s0??rj?=0?s0?aj??s0?D

定理6:一次同余方程

參見 電樞公式

一次同余方程 ax≡b(modn)ax \equiv b \pmod naxb(modn) 有解的充要條件是 a0∣ba_0 \mid ba0?b,此時恰有 a0a_0a0? 個關于模 nnn 不同余的解。

其中 a0=(n,a)a_0 = (n, a)a0?=(n,a)∣a∣=n/a0|a| = n / a_0a=n/a0?

證明

  • x0x_0x0? 是方程的一個特解,則 x=x0+t∣a∣x = x_0 + t|a|x=x0?+tat=0,1,...,a0?1t = 0, 1, ..., a_0-1t=0,1,...,a0??1)也是解。
  • t≥a0t \geq a_0ta0? 會導致模 nnn 同余的解重復。
  • 因為繞法 aaa,繞 ∣a∣|a|a 次會第一次回到起點,所以 a(x0+∣a∣t)≡b(modn)a(x_0 + |a| t) \equiv b \pmod na(x0?+at)b(modn)

注意:

  • ax≡b(modn)ax \equiv b \pmod naxb(modn) 等價于 ax?b=nyax - b = nyax?b=ny
  • 可用輾轉相除法找到 x′,n′x', n'x,n 滿足方程。

一次同余方程的規律

  1. 解的個數為最小繞數 a0a_0a0?
  2. 解就是與階同繞的可達點,向右偏移最小特解。
  3. 如果有解,則 [0,∣a∣)[0, |a|)[0,a) 中一定存在唯一一個最小特解,特別當 aaa 是全達繞法時,0~n?10 \sim n-10n?1 一定存在一個唯一特解。
  4. 方程有解,bbb 只能取 aaa 的可達點。
  5. 方程 ax+by=cax + by = cax+by=c 的一個特解為 cd(x0,y0)\frac{c}{d}(x_0, y_0)dc?(x0?,y0?),其中 d=(a,b)d = (a, b)d=(a,b)(x0,y0)(x_0, y_0)(x0?,y0?) 可通過如下方式得到:

(ab1001)→列變換(d0x0s0y0t0)\begin{pmatrix} a & b \\ \hline 1 & 0 \\ 0 & 1 \end{pmatrix} \xrightarrow{列變換} \begin{pmatrix} d & 0 \\ \hline x_0 & s_0 \\ y_0 & t_0 \end{pmatrix} ?a10?b01???列變換??dx0?y0??0s0?t0????

(x0,y0,s0,t0,d)(x_0, y_0, s_0, t_0, d)(x0?,y0?,s0?,t0?,d) 滿足:

  1. (a,b)=d(a, b) = d(a,b)=d
  2. ax0+by0=d?a(cdx0)+b(cdy0)=ca x_0 + b y_0 = d \implies a \left( \frac{c}{d} x_0 \right) + b \left( \frac{c}{d} y_0 \right) = cax0?+by0?=d?a(dc?x0?)+b(dc?y0?)=c
  3. as0+bt0=0a s_0 + b t_0 = 0as0?+bt0?=0
  4. (xy)=(x特y特)+k(s0t0)\begin{pmatrix} x \\ y \end{pmatrix} = \begin{pmatrix} x_{特} \\ y_{特} \end{pmatrix} + k \begin{pmatrix} s_0 \\ t_0 \end{pmatrix}(xy?)=(x?y??)+k(s0?t0??),其中 (x特,y特)=cd(x0,y0)(x_{特}, y_{特}) = \frac{c}{d}(x_0, y_0)(x?,y?)=dc?(x0?,y0?)

例1

求解 8x≡4(mod 12)

本該約去公因數4,但為說明解的個數,所以不這么做,|8|=3 從0~3 試根

x0=2為其特解,8的最小饒數為4,階是3,所以其非同余特解有4個,

為2+30,2+31,2+32,2+33

2,5,8,11

例2

解方程14x+105y=49

對矩陣解法稍做優化,下面兩個列變換可以寫到一起,節約紙張(2個連續列變換可寫在一起)

14 105

1 0

0 1

--------------c2-7c1---------------------

 7-71

--------------c1-2c2---------------------

0

15

-2


(141051001)~(0715?7?21)\begin{pmatrix} 14 & 105 \\\\ 1 & 0 \\\\ 0 & 1 \end{pmatrix} \sim \begin{pmatrix} 0 & 7 \\\\ 15 & -7 \\\\ -2 & 1 \end{pmatrix} ?1410?10501???015?2?7?71??

==> (x0,y0,s0,t0,d)=(?7,1,15,?2,7)(x_0, y_0, s_0, t_0, d) = (-7, 1, 15, -2, 7)(x0?,y0?,s0?,t0?,d)=(?7,1,15,?2,7)

(x特,y特)=cd(x0,y0)=497(?7,1)(x_{\text{特}}, y_{\text{特}}) = \frac{c}{d}(x_0, y_0) = \frac{49}{7}(-7, 1)(x?,y?)=dc?(x0?,y0?)=749?(?7,1)

可以觀察發現如果僅僅是為了解方程,第二個列變換是可以省略的,一個列變換就得到了 (d,x0,y0)(d, x_0, y_0)(d,x0?,y0?)

例題

例1:(am?1,an?1)=a(m,n)?1(a^m - 1, a^n - 1) = a^{(m,n)} - 1(am?1,an?1)=a(m,n)?1


(m,n)=d=km?sn(m,n)=d=km-sn(m,n)=d=km?sn
(am?1,an?1)=D(a^m - 1, a^n - 1) = D(am?1,an?1)=D

證明:

ad?1∣a(m,n)?1∣am?1∣an?1∣Da^d - 1 \mid a^{(m,n)} - 1 \\ \quad\quad\quad \mid a^m - 1 \\ \quad\quad\quad \mid a^n - 1 \\ \quad\quad\mid D ad?1a(m,n)?1am?1an?1D

D∣am?1∣an?1∣ans?1?(ns,D)=1∣akm?1∣akm?ans∣ans(akm?ns?1)∣ans(ad?1)∣ad?1D\quad\quad \mid a^m - 1 \\ \quad\quad\quad \mid a^n - 1 \\ \quad\ \quad\ \quad\ \quad\ \quad\quad \quad\quad\quad \mid a^{ns} - 1\Rightarrow(ns,D)=1 \\ \quad\quad\quad\quad \mid a^{km} - 1 \\ \quad\quad\quad\quad\quad \mid a^{km} - a^{ns} \\ \quad\quad\quad\quad\quad\quad\quad\quad \mid a^{ns}(a^{km-ns}-1) \\ \quad\quad\quad\quad\quad\quad \mid a^{ns}(a^d-1) \\ \quad\quad\quad\quad \mid a^d-1 Dam?1an?1????ans?1?(ns,D)=1akm?1akm?ansans(akm?ns?1)ans(ad?1)ad?1

例2:m>1?m?2m?1m > 1 \implies m \nmid 2^m - 1m>1?m?2m?1

證明思路:

  1. pppmmm 的最小素因子
  2. (m,p?1)=1(m, p-1) = 1(m,p?1)=1

m∣2m?1(假設)p∣2m?1(P1)∣2p?1?1(歐拉公式)∣2(m,p?1)?1(例1)∣1?p=1(P3假設錯誤)m \mid 2^m-1 \quad (假設) \\ p \mid 2^m-1 \quad (P1) \\ \quad\quad\quad\quad \mid 2^{p-1}-1 \quad (歐拉公式) \\ \quad\quad\quad \mid 2^{(m,p-1)}-1 \quad (例1) \\ \quad\quad\quad\quad\quad\quad\quad \mid 1 \implies p=1 \quad (P3假設錯誤) m2m?1(假設)p2m?1(P1)2p?1?1(歐拉公式)2(m,p?1)?1(1)1?p=1(P3假設錯誤)

本文來自互聯網用戶投稿,該文觀點僅代表作者本人,不代表本站立場。本站僅提供信息存儲空間服務,不擁有所有權,不承擔相關法律責任。
如若轉載,請注明出處:http://www.pswp.cn/diannao/91404.shtml
繁體地址,請注明出處:http://hk.pswp.cn/diannao/91404.shtml
英文地址,請注明出處:http://en.pswp.cn/diannao/91404.shtml

如若內容造成侵權/違法違規/事實不符,請聯系多彩編程網進行投訴反饋email:809451989@qq.com,一經查實,立即刪除!

相關文章

Spring之核心容器(IoC,DI,基本操作)詳解

Spring之核心容器IoC/DI/基本操作詳解一、核心概念&#xff1a;IoC與DI的本質1.1 IoC&#xff08;Inversion of Control&#xff0c;控制反轉&#xff09;傳統開發模式&#xff08;無IoC&#xff09;IoC模式&#xff08;Spring容器管理&#xff09;1.2 DI&#xff08;Dependenc…

【論文閱讀】基于注意力機制的冥想腦電分類識別研究(2025)

基于注意力機制的冥想腦電分類識別研究&#x1f4a1; Meta DataTitle基于注意力機制的冥想腦電分類識別研究Authors周梓涵Pub. date2025&#x1f4dc; Research Background & Objective背景&#xff1a; 現代生活壓力導致心理問題日益突出&#xff0c;冥想作為一種有效的心…

GitHub 上 Star 數量前 8 的開源 Web 應用項目

原文鏈接&#xff1a;https://www.nocobase.com/cn/blog/github-open-source-web-applications。 近期&#xff0c;我們發布了多篇「Top GitHub Star 開源項目推薦」系列文章&#xff0c;受到了大量點贊與收藏&#xff0c;很多開發者留言表示希望能看到更多不同領域的開源工具推…

FATFS文件系統原理及其移植詳解

一、FATFS簡介 FATFS 是一個完全免費開源的 FAT/exFAT 文件系統模塊&#xff0c;專門為小型的嵌入式系統而設計。它完全用標準 C 語言&#xff08;ANSI C C89&#xff09;編寫&#xff0c;所以具有良好的硬件平臺獨立性&#xff0c;只需做簡單的修改就可以移植到 8051、PIC、A…

KubeRay 和 Ray

KubeRay 和 Ray 不是替代關系&#xff0c;而是互補的協作關系。兩者在分布式計算生態中扮演不同角色&#xff0c;共同構成完整的云原生 AI 解決方案。以下是具體分析&#xff1a;&#x1f527; 1. 核心定位差異Ray 是分布式計算引擎&#xff0c;提供底層 API&#xff08;如 ray…

破解輪胎倉儲高密度與柔性管理難題

輪胎作為特殊的大件異形工業品&#xff0c;其倉儲管理長期面臨多重挑戰&#xff1a;規格型號繁雜導致SKU數量龐大&#xff0c;重型載重對貨架承重提出極高要求&#xff0c;橡膠材質對防壓變形、避光防老化等存儲環境存在嚴苛標準。傳統平置堆垛或普通貨架方案不僅空間利用率不足…

EVA series系列(上)

目錄 一、EVA 1、概述 2、方法 二、EVA-02 1、概述 2、架構 三、EVA-CLIP 1、概述 2、方法 四、EMU 1、概述 2、架構 3、訓練細節 4、評估 一、EVA 1、概述 為探尋大規模表征學習任務的MIM預訓練任務在ViT基礎上擴展到1B參數量規模&#xff0c;結合10M級別&am…

ABP VNext + EF Core 二級緩存:提升查詢性能

ABP VNext EF Core 二級緩存&#xff1a;提升查詢性能 &#x1f680; &#x1f4da; 目錄ABP VNext EF Core 二級緩存&#xff1a;提升查詢性能 &#x1f680;引言 &#x1f680;一、環境與依賴 &#x1f6e0;?二、集成步驟 ??2.1 安裝 NuGet 包2.2 注冊緩存服務與攔截器2…

3.1k star!推薦一款開源基于AI實現的瀏覽器自動化插件工具 !

大家好&#xff01;今天&#xff0c;我要給大家介紹一款超實用的開源工具——Chrome MCP Server&#xff01;這款工具不僅能大幅提升我們的工作效率&#xff0c;還能讓AI助手&#xff08;如Claude&#xff09;直接操控瀏覽器&#xff0c;實現自動化操作、內容分析等強大功能。 …

關于 OpenAI 的反思

每周跟蹤AI熱點新聞動向和震撼發展 想要探索生成式人工智能的前沿進展嗎&#xff1f;訂閱我們的簡報&#xff0c;深入解析最新的技術突破、實際應用案例和未來的趨勢。與全球數同行一同&#xff0c;從行業內部的深度分析和實用指南中受益。不要錯過這個機會&#xff0c;成為AI領…

Python爬蟲庫性能與選型對比

Python常用爬蟲庫的優勢對比。這是一個非常實用的問題&#xff0c;很多Python開發者都會面臨選擇合適爬蟲工具的困惑。我根據網絡很多搜索結果&#xff0c;整理出這些信息&#xff0c;為用戶提供一個全面且清晰的對比分析。以下是Python中常用爬蟲庫的核心優勢對比及選型建議&a…

NAT作業

拓撲圖 實驗要求 1.按照圖示配置IP地址&#xff0c;公網地址100.1.1.1/24..較網“說過?,使“掩入到互聯網&#xff0c;私服究的不到公的&#xff0c;使陽接入無三。.私網A通過NAPT&#xff0c;使R1接入到互聯網&#xff0c;私網B通過EASY,IP&#xff0c;使R3接入到互聯網實驗思…

JAVA進階--JVM

一.JVM的概述java語言有跨平臺特點, 寫一次java程序,可以在不同的平臺上運行.(JVM虛擬機的作用)前提條件: 在不同的平臺上安裝不同的虛擬機(虛擬機就是一個翻譯).java--->.class--->不同的虛擬機--->機器碼1.jvm作用:負責將字節碼翻譯為機器碼, 管理運行時內存2.jvm的…

基于Alpine構建MySQL鏡像

文章目錄基于Alpine構建MySQL鏡像一、基礎鏡像選擇與初始化1. 基礎鏡像選型2. 系統初始化二、核心配置構建1. 目錄與權限配置2. 配置文件優化三、安全增強配置1. 密碼策略強化2. 非root運行四、數據持久化與啟動配置1. 數據卷聲明2. 入口腳本優化五、完整Dockerfile示例六、關鍵…

Alamofire 網絡請求全流解析,通俗易懂

Alamofire 網絡請求全流程解析&#xff1a;從發起請求到處理響應 一、請求發起階段&#xff1a;準備你的"快遞" 1. 你告訴Alamofire要發什么"快遞" // 就像告訴快遞員&#xff1a;"我要寄一個包裹給https://api.example.com" AF.request("h…

鏈路聚合技術

鏈路聚合技術 鏈路聚合概述及應用場景 概述 鏈路聚合是把多條物理鏈路聚合在一起&#xff0c;形成一條邏輯鏈路。應用在交換機、路由器、服務器間鏈路&#xff0c;注意了&#xff0c;主機上面不能用鏈路聚合技術分為三層鏈路聚合和二層鏈路聚合鏈路聚合的作用 增加鏈路帶寬提供…

SpringCloud之Zuul

SpringCloud之Zuul 推薦參考&#xff1a;https://www.springcloud.cc/spring-cloud-dalston.html#_router_and_filter_zuul 1. 什么是Zuul Spring Cloud Zuul 是 Netflix 提供的微服務網關核心組件&#xff0c;作為統一的 API 入口&#xff0c;承擔請求路由、過濾、安全控制等…

低精度定時器 (timer_list) 和 高精度定時器 (hrtimer)

Linux 內核提供了兩種主要類型的定時器&#xff0c;以滿足不同的時間精度需求&#xff1a;低精度定時器 (timer_list) 和 高精度定時器 (hrtimer)。它們各有特點和適用場景。下面&#xff0c;我將分別提供它們在內核代碼中的簡化使用示例。1. 低精度定時器 (timer_list) 示例ti…

虛擬機VMware的使用方法

虛擬機VMware的使用方法VMware是全球領先的虛擬化技術提供商&#xff0c;其產品&#xff08;如VMware Workstation Pro&#xff09;允許用戶在單一物理機上運行多個操作系統&#xff08;OS&#xff09;&#xff0c;實現資源高效利用、隔離測試和靈活部署。本文將詳細介紹VMware…

冰島人(map)

#include<bits/stdc.h> using namespace std; struct people { string fat; int sex; }; map<string,people>mp; int pan(string s,string m) { string s1; int i0; while(s!“”) { int y0; s1m; while(s1!“”) { if(s1s&&(i<4||y<4)) return 0; s…