简介本资源是一份面向高中数学竞赛参赛学生与辅导教师的数论核心知识精要手册系统梳理整除、同余、质数与合数、质因数分解、公约数与公倍数五大模块的关键定义、定理及典型性质覆盖IMO初级至全国联赛常考内容。全文38页PDF结构清晰、公式严谨、推导完整含威尔逊定理、约数个数与和定理、辗转相除法原理及完全剩余系等进阶要点便于赛前速查、专题突破与思维训练。资源为单文件PDF格式大小348KB轻量易下载适合作为纸质讲义补充或移动设备随时研读。已有620人学习下载内容源自《中等数学》资料室与鹏博奥数网联合整理兼具权威性与实战性是夯实数论基础、提升解题规范性的高效工具型资料。1. 这不是复习提纲是竞赛解题的“底层寄存器”——38页《高中数学竞赛常用知识汇集》为什么能卡在关键题的命门上去年某省预赛压轴题求满足 $ x^2 y^2 2025 $ 的正整数解 $(x, y)$ 的组数。表面看是勾股数但直接枚举到45太慢用参数化发现2025 $3^4 \times 5^2$立刻想到「平方和分解定理」——这恰恰是该手册第12节「不定方程」里埋着的冷知识一个正整数 $n$ 可表为两整数平方和的充要条件是其标准分解中所有形如 $4k3$ 的质因子的指数均为偶数。而解数公式 $\frac{1}{2} \left( \prod (2e_i 1) - 1 \right)$其中 $e_i$ 是 $4k1$ 型质因子的指数直接给出答案$ \frac{1}{2} \left( (2 \times 2 1)(2 \times 0 1) - 1 \right) 2 $ 组。——这根本不是靠刷题堆出来的直觉而是对「质因数分解→模4分类→平方和结构」这条逻辑链的肌肉记忆。这份由《中等数学》资料室与鹏博奥数网联合整理的38页PDF本质是一份可执行的数论与几何操作手册。它不讲证明推导只列定义、性质、公式、判据、边界条件。比如「同余」部分没写欧拉定理的群论背景却明确标注当 $(c,m)d$ 时$ac \equiv bc \pmod{m} \Rightarrow a \equiv b \pmod{m/d}$并加粗提示「特别地$(c,m)1$ 时可直接约去 $c$」——这是你在考场上看到 $7x \equiv 14 \pmod{21}$ 能秒删系数的依据。它服务的对象非常具体正在啃《奥赛经典》但卡在「为什么这步能约」「这个余数范围怎么定」「这个面积公式缺半周长还是全周长」的实战者。新手按表查公式能保底老手翻到「佩尔方程通解构造」或「西姆松线判定条件」这种高密度信息点能瞬间补全知识图谱的断层。2. 数论模块从整除定义到孙子定理每一条性质都是可调用的函数接口2.1 整除性不是概念是带约束条件的运算符重载手册开篇即定义$b \mid a$ 当且仅当存在整数 $q$ 使 $a bq$。这看似简单但后续所有性质都由此派生。关键在于它强制你关注整数性与存在性——这直接决定了解题路径。例如判断 $123456789$ 是否被 $3$ 整除手册第9节给出判据「各位数字之和能被3整除」。但更深层的逻辑是$$ 123456789 \sum_{i0}^{8} d_i \cdot 10^i \equiv \sum_{i0}^{8} d_i \cdot 1^i \pmod{3} $$因为 $10 \equiv 1 \pmod{3}$所以 $10^i \equiv 1 \pmod{3}$。这个同余链的起点正是整除定义中 $a bq$ 所隐含的「余数为0」这一刚性约束。提示考试中遇到大数整除判断优先检查是否属于 $2,3,4,5,9,11$ 等有十进制特征的模数。手册第9节表格已穷尽这些规则无需现场推导。2.2 同余运算模运算下的代数系统必须严守「可逆性」红线同余的六条基本性质加减乘幂同余构成一个封闭代数系统但除法不天然成立。手册第2节第7条明确写出$$ ac \equiv bc \pmod{m},\ (c,m)d \quad \Rightarrow \quad a \equiv b \pmod{\frac{m}{d}} $$这个公式是解同余方程的核心工具。来看实例解 $15x \equiv 30 \pmod{45}$。先求 $(15,45)15$$d15$$m/d 3$代入得 $x \equiv 2 \pmod{3}$但注意原方程模45解集应为模45下的所有解$x \equiv 2,5,8,\dots,44 \pmod{45}$共15个解因为 $d15$# 验证用Python快速检验前5个解 for x in [2,5,8,11,14]: print(fx{x}: 15*{x} % 45 {15*x % 45}) # 输出 # x2: 15*2 % 45 30 # x5: 15*5 % 45 30 # x8: 15*8 % 45 30 # ...逻辑说明15*x % 45计算的是 $15x$ 除以45的余数。当 $x \equiv 2 \pmod{3}$ 时$x3k2$代入得 $15(3k2)45k30$显然余数恒为30。参数k的取值范围0到14决定了模45下解的个数这正是 $(c,m)d$ 给出的解数信息。2.3 质因数分解唯一性定理是解题的「公理」约数个数公式是高频输出函数手册第4节强调任意大于1的整数 $n$ 可唯一表示为 $n \prod_{i1}^{m} p_i^{\alpha_i}$。这个「唯一性」是后续所有计数问题的基石。例如求 $2024$ 的正约数个数分解 $2024 2^3 \times 11 \times 23$$2024 \div 2 1012$, $1012 \div 2 506$, $506 \div 2 253$, $253 11 \times 23$套用约数个数定理$d(n) \prod (1\alpha_i) (31)(11)(11) 4 \times 2 \times 2 16$更关键的是约数和定理$\sigma(n) \prod \frac{p_i^{\alpha_i1}-1}{p_i-1}$。求 $2024$ 的所有正约数之和$$ \sigma(2024) \frac{2^4-1}{2-1} \times \frac{11^2-1}{11-1} \times \frac{23^2-1}{23-1} 15 \times 12 \times 24 4320 $$模块核心公式典型应用场景易错点整除判据$10^i \equiv 1 \pmod{3,9}$; $10^2 \equiv 0 \pmod{4}$快速判断大数整除性混淆 $10^i \bmod m$ 的周期如模7是6同余约简$ac \equiv bc \pmod{m} \Rightarrow a \equiv b \pmod{m/(c,m)}$解线性同余方程 $ax \equiv b \pmod{m}$忘记除以 $(c,m)$ 后模数变小且解数为 $(c,m)$ 个约数个数$d(n) \prod (1\alpha_i)$统计约数个数、构造完全数误将指数 $\alpha_i$ 当作约数如 $122^2\times3^1$约数个数是 $(21)(11)6$非 $213$孙子定理$x \equiv \sum M_i M_i b_i \pmod{M}$解联立同余方程组$M_i M/m_i$$M_i$ 是 $M_i$ 模 $m_i$ 的逆元需用扩展欧几里得求2.4 孙子定理中国剩余定理多模约束下的解空间压缩算法手册第6节给出孙子定理的标准形式若 $m_1,\dots,m_k$ 两两互质则方程组$$ \begin{cases} x \equiv b_1 \pmod{m_1} \ \vdots \ x \equiv b_k \pmod{m_k} \end{cases} $$有唯一解模 $Mm_1\cdots m_k$且解为 $x \equiv \sum M_i M_i b_i \pmod{M}$其中 $M_i M/m_i$$M_i$ 满足 $M_i M_i \equiv 1 \pmod{m_i}$。实操步骤以 $x \equiv 2 \pmod{3},\ x \equiv 3 \pmod{5},\ x \equiv 2 \pmod{7}$ 为例计算 $M 3 \times 5 \times 7 105$$M_1 105/3 35$求 $35$ 模 $3$ 的逆元$35 \equiv 2 \pmod{3}$$2 \times 2 4 \equiv 1 \pmod{3}$故 $M_1 2$$M_2 105/5 21$$21 \equiv 1 \pmod{5}$逆元 $M_2 1$$M_3 105/7 15$$15 \equiv 1 \pmod{7}$逆元 $M_3 1$代入$x \equiv 2 \times 35 \times 2 3 \times 21 \times 1 2 \times 15 \times 1 140 63 30 233 \equiv 233 \bmod 105 23$验证$23 \bmod 3 2$$23 \bmod 5 3$$23 \bmod 7 2$全部满足。关键洞察孙子定理不是让你硬解而是提供一种「分治」思路——把一个复杂模数的问题拆成多个小模数的独立问题再用公式组装。手册中 $M_i$ 的求法虽未展开但实际就是解 $M_i y \equiv 1 \pmod{m_i}$这正是扩展欧几里得算法的输入。3. 几何模块从三角形公式到西姆松线所有结论都附带使用场景说明书3.1 三角形面积公式的「矩阵式选择」根据已知条件匹配最优公式手册第1.1.3节列出7种面积公式但绝非罗列。它按输入参数类型组织形成一张决策表已知条件对应公式手册页码定位典型陷阱三边 $a,b,c$海伦公式 $S \sqrt{p(p-a)(p-b)(p-c)}$P.??手册中明确标号半周长 $p$ 计算错误如 $p(abc)/2$ 写成 $abc$两边及夹角$S \frac{1}{2}ab \sin C$P.??角度单位混淆用度数代入 $\sin$ 函数需确认计算器模式外接圆半径 $R$ 与三边$S \frac{abc}{4R}$P.??误认为 $R$ 是内切圆半径 $r$内切圆半径 $r$ 与半周长 $p$$S pr$P.??混淆 $p$ 与周长 $2p$例如2023年某联赛题$\triangle ABC$ 中$AB13$$BC14$$CA15$求其内切圆半径 $r$。先用海伦公式$p (131415)/2 21$$S \sqrt{21 \times 8 \times 7 \times 6} \sqrt{7056} 84$再用 $S pr \Rightarrow r S/p 84/21 4$为什么不用 $r 4R \sin\frac{A}{2}\sin\frac{B}{2}\sin\frac{C}{2}$因为该公式需要角度而本题只给边长。手册的编排逻辑就是逼你建立「条件→公式」的映射反射。3.2 梅涅劳斯与塞瓦定理共线与共点的「向量坐标」判定法手册第1.3节将梅涅劳斯Menelaus与塞瓦Ceva定理并列揭示其本质是有向线段比的乘积判据。梅涅劳斯用于三点共线$$ \frac{AZ}{ZB} \cdot \frac{BX}{XC} \cdot \frac{CY}{YA} 1 \quad \text{注意$Z$ 在 $AB$ 上$X$ 在 $BC$ 上$Y$ 在 $CA$ 上} $$塞瓦用于三线共点$$ \frac{AF}{FB} \cdot \frac{BD}{DC} \cdot \frac{CE}{EA} 1 \quad \text{$F$ 在 $AB$$D$ 在 $BC$$E$ 在 $CA$} $$关键区别在于点的位置顺序。手册用「直线与三边或延长线交于点」强调延展性。实操时必须画图标出有向线段方向如 $AZ/ZB$若 $Z$ 在 $AB$ 延长线上则比值为负。例在 $\triangle ABC$ 中$D$ 在 $BC$ 上$E$ 在 $CA$ 上$AD$ 与 $BE$ 交于 $P$$CP$ 交 $AB$ 于 $F$。已知 $BD:DC 2:3$$CE:EA 1:4$求 $AF:FB$。由塞瓦定理$\frac{AF}{FB} \cdot \frac{BD}{DC} \cdot \frac{CE}{EA} 1$代入$\frac{AF}{FB} \cdot \frac{2}{3} \cdot \frac{1}{4} 1 \Rightarrow \frac{AF}{FB} 6$注意手册中所有比例均默认为有向线段比计算时需根据点在线段上或延长线上确定正负号。若题目未说明按常规取正值但需警惕钝角三角形中垂足落延长线的情况。3.3 西姆松线圆上点投影共线的「几何不变量」检测器手册第1.3节第8条设 $P$ 为 $\triangle ABC$ 外接圆上一点其在三边 $BC, CA, AB$ 上的投影为 $D,E,F$则 $D,E,F$ 共线西姆松线。其逆定理同样成立。这个结论的价值在于提供了一种判定四点共圆的替代方案。当题目给出三个投影点共线即可反推 $P$ 在外接圆上。例如已知 $\triangle ABC$点 $P$ 满足 $PD \perp BC$$PE \perp CA$$PF \perp AB$且 $D,E,F$ 共线求证 $P$ 在 $\odot ABC$ 上。直接引用西姆松定理逆定理结论得证。手册未给出证明但给出了使用前提$P$ 必须在平面内且投影必须落在对应直线上可为延长线。这意味着若计算得 $D,E,F$ 共线但 $P$ 不在圆上则必有一处投影未严格垂直——这是验算的关键。3.4 几何变换平移、旋转、反射的「复合操作」合成表手册第1.4节将合同变换平移、旋转、反射与相似变换位似分开并指出任意平移 两次反射反射轴平行于平移方向间距为平移距离一半任意旋转 两次反射反射轴交于旋转中心夹角为旋转角一半位似变换$H(O,k)$点 $P$ 映射到 $P$ 满足 $OP k \cdot OP$且 $P$ 在射线 $OP$ 上这些不是理论而是作图指令。例如构造一个以 $O$ 为中心、比例 $k2$ 的位似图形连接 $O$ 与原图各顶点 $A,B,C,\dots$在射线 $OA$ 上取 $A$ 使 $OA 2 \cdot OA$同理得 $B,C,\dots$连接 $ABC\dots$手册强调「位似中心 $O$ 可在图形内部、外部或边上」这解释了为何有些位似题中对应点连线不交于图内——$O$ 可能在无穷远处此时退化为平移。4. 实战校验用手册知识链解一道完整竞赛题4.1 题目还原2022年CMO预赛题简化版设正整数 $n$ 满足$n$ 的所有正约数之和 $\sigma(n)$ 是 $n$ 的倍数即 $\sigma(n) kn$$k$ 为整数。若 $n$ 的标准分解式为 $n 2^a \cdot 3^b \cdot 5^c$且 $a,b,c$ 均为正整数求所有满足条件的 $n$ 中最小的一个。4.2 手册知识调用链Step 1识别核心对象「约数和」→ 手册第4节「约数和定理」$\sigma(n) \frac{2^{a1}-1}{2-1} \cdot \frac{3^{b1}-1}{3-1} \cdot \frac{5^{c1}-1}{5-1} (2^{a1}-1) \cdot \frac{3^{b1}-1}{2} \cdot \frac{5^{c1}-1}{4}$Step 2建立整除条件$\sigma(n)$ 是 $n$ 的倍数 → $\sigma(n) / n$ 为整数$n 2^a \cdot 3^b \cdot 5^c$故$$ \frac{\sigma(n)}{n} \frac{2^{a1}-1}{2^a} \cdot \frac{3^{b1}-1}{2 \cdot 3^b} \cdot \frac{5^{c1}-1}{4 \cdot 5^c} \left(2 - \frac{1}{2^a}\right) \cdot \left(\frac{3 - \frac{1}{3^b}}{2}\right) \cdot \left(\frac{5 - \frac{1}{5^c}}{4}\right) $$Step 3分析分母约束整个表达式为整数分母含 $2^a, 2, 4$即总分母为 $2^{a3}$因 $42^2$分子为 $(2^{a1}-1)(3^{b1}-1)(5^{c1}-1)$其中 $(2^{a1}-1)$ 是奇数$(3^{b1}-1)$ 和 $(5^{c1}-1)$ 均为偶数因奇数幂减1为偶关键$(3^{b1}-1)$ 被 $2$ 整除$(5^{c1}-1)$ 被 $4$ 整除因 $5 \equiv 1 \pmod{4}$$5^k \equiv 1 \pmod{4}$故 $5^k-1 \equiv 0 \pmod{4}$所以分子至少含 $2^3$ 因子可消去分母 $2^{a3}$ 当且仅当 $a0$但题目要求 $a$ 为正整数矛盾Step 4回归手册原始公式避免代数变形失真直接计算 $\sigma(n)/n \frac{(2^{a1}-1)(3^{b1}-1)(5^{c1}-1)}{2^{a3} \cdot 3^b \cdot 5^c}$要使该式为整数分母的每个质因子幂次不能超过分子对质数 $2$分母 $2^{a3}$分子中 $2$ 的幂次来自 $(3^{b1}-1)$ 和 $(5^{c1}-1)$$3^{b1}-1$当 $b1$$3^2-182^3$$b2$$27-1262 \times 13$仅 $2^1$$5^{c1}-1$当 $c1$$25-1242^3 \times 3$$c2$$125-11244 \times 31$仅 $2^2$尝试最小组合$a1,b1,c1$ → $n2 \times 3 \times 5 30$$\sigma(30) \sigma(2)\sigma(3)\sigma(5) (12)(13)(15) 3 \times 4 \times 6 72$$72 / 30 2.4$非整数 ❌$a2,b1,c1$ → $n4 \times 3 \times 5 60$$\sigma(60) \sigma(2^2)\sigma(3)\sigma(5) (124)(13)(15) 7 \times 4 \times 6 168$$168 / 60 2.8$ ❌$a1,b2,c1$ → $n2 \times 9 \times 5 90$$\sigma(90) \sigma(2)\sigma(3^2)\sigma(5) 3 \times (139) \times 6 3 \times 13 \times 6 234$$234 / 90 2.6$ ❌$a3,b1,c1$ → $n8 \times 3 \times 5 120$$\sigma(120) \sigma(2^3)\sigma(3)\sigma(5) (1248) \times 4 \times 6 15 \times 24 360$$360 / 120 3$ ✅结论最小 $n 120$。手册在此题中的作用是提供 $\sigma(n)$ 的标准计算路径避免陷入无谓的代数化简直接进入「枚举验证」的高效模式。5. 高频陷阱排查与参数敏感度调试技巧5.1 「完全平方数」性质的边界验证个位、十位、模4/8的交叉检验手册第8节列出13条完全平方数性质但最易误用的是第2、3、5、6条个位只能是 $0,1,4,5,6,9$ →排除法利器奇数平方的十位是偶数 → 如 $13^2 169$十位6是偶数$17^2 289$十位8是偶数个位为5的平方十位必为2百位为偶数 → $15^2 225$十位2百位2是偶数$25^2 625$十位2百位6是偶数偶数平方被4整除奇数平方被4除余1 →模4快速判别陷阱案例判断 $123456789$ 是否为完全平方数。个位是9 → 可能因9在允许集合中模4$123456789 \bmod 4 1$因末两位89 ÷ 4 余1→ 奇数平方符合但看十位个位9倒数第二位是8 → 若为奇数平方十位应为偶数8是偶数暂通过致命一击模8。手册第8条第7款奇数平方被8除余1。计算 $123456789 \bmod 8$只需看末三位789 ÷ 8 98×8784余5 → $789 \bmod 8 5$不等于1 →不是完全平方数。调试技巧对疑似平方数按「个位→模4→模8→模3」顺序检验。模3判据平方数模3余0或1常被忽略$123456789$ 各位和 $12\dots945$$45 \bmod 3 0$符合。但模8已否决无需继续。5.2 「函数 $[x]$」的离散跳跃点处理不等式时的区间分割法手册第14节定义 $[x]$ 为不超过 $x$ 的最大整数并给出13条性质。最实用的是第3条$x-1 [x] \le x$以及第9条$\left\lfloor \frac{x}{n} \right\rfloor \left\lfloor \frac{\lfloor x \rfloor}{n} \right\rfloor$$n$ 为正整数。典型应用求方程 $\left\lfloor \frac{x}{2} \right\rfloor \left\lfloor \frac{x}{3} \right\rfloor 10$ 的正整数解个数。设 $x 6k r$$r 0,1,2,3,4,5$因lcm(2,3)6对每个 $r$计算 $\left\lfloor \frac{6kr}{2} \right\rfloor \left\lfloor \frac{6kr}{3} \right\rfloor (3k \lfloor r/2 \rfloor) (2k \lfloor r/3 \rfloor) 5k \lfloor r/2 \rfloor \lfloor r/3 \rfloor$令其等于10$5k \lfloor r/2 \rfloor \lfloor r/3 \rfloor 10$枚举 $r$$r0$: $5k 0 10 \Rightarrow k2 \Rightarrow x12$$r1$: $5k 0 10 \Rightarrow k2 \Rightarrow x13$$r2$: $5k 1 10 \Rightarrow k1.8$舍$r3$: $5k 1 1 10 \Rightarrow 5k8$舍$r4$: $5k 2 1 10 \Rightarrow 5k7$舍$r5$: $5k 2 1 10 \Rightarrow 5k7$舍仅得 $x12,13$但验证 $x14$: $\lfloor 7 \rfloor \lfloor 4.66 \rfloor 7411 10$$x11$: $\lfloor 5.5 \rfloor \lfloor 3.66 \rfloor 538 10$。漏解修正$r$ 应覆盖 $x$ 的连续区间。更可靠方法是找 $x$ 的范围$\left\lfloor \frac{x}{2} \right\rfloor \le \frac{x}{2}$$\left\lfloor \frac{x}{3} \right\rfloor \le \frac{x}{3}$故 $10 \le \frac{x}{2} \frac{x}{3} \frac{5x}{6} \Rightarrow x \ge 12$$\left\lfloor \frac{x}{2} \right\rfloor \frac{x}{2} - 1$$\left\lfloor \frac{x}{3} \right\rfloor \frac{x}{3} - 1$故 $10 \frac{5x}{6} - 2 \Rightarrow x 14.4$所以 $x 12,13,14$。逐一验证$x12$: $6410$ ✅$x13$: $6410$ ✅$x14$: $7411$ ❌解为 $x12,13$共2个。手册第14节第3条 $x-1 [x] \le x$正是这种「夹逼」思路的理论基础。5.3 「k进制转换」的双向验证避免手工换算的符号错位手册第11节给出k进制表示$A \sum d_i k^i$其中 $d_i \in {0,1,\dots,k-1}$。转换时常见错误是余数序列顺序颠倒。正确流程十进制→k进制用 $k$ 连续除 $A$记录余数直到商为0余数序列从下往上读即为k进制数例$123_{10} \to ?_7$$123 \div 7 17$ 余 $4$$17 \div 7 2$ 余 $3$$2 \div 7 0$ 余 $2$余数序列从下往上$2,3,4$ → $123_{10} 234_7$反向验证k进制→十进制$234_7 2 \times 7^2 3 \times 7^1 4 \times 7^0 2 \times 49 3 \times 7 4 98 21 4 123$ ✅调试口诀「除k取余下读上写幂次从右0开始」。手册第11节第1款强调 $d_n$ 是最高位$k^n$ 系数这决定了余数栈的读取方向。本文还有配套的精品资源点击获取
高中数学竞赛数论与几何核心公式速查手册
简介本资源是一份面向高中数学竞赛参赛学生与辅导教师的数论核心知识精要手册系统梳理整除、同余、质数与合数、质因数分解、公约数与公倍数五大模块的关键定义、定理及典型性质覆盖IMO初级至全国联赛常考内容。全文38页PDF结构清晰、公式严谨、推导完整含威尔逊定理、约数个数与和定理、辗转相除法原理及完全剩余系等进阶要点便于赛前速查、专题突破与思维训练。资源为单文件PDF格式大小348KB轻量易下载适合作为纸质讲义补充或移动设备随时研读。已有620人学习下载内容源自《中等数学》资料室与鹏博奥数网联合整理兼具权威性与实战性是夯实数论基础、提升解题规范性的高效工具型资料。1. 这不是复习提纲是竞赛解题的“底层寄存器”——38页《高中数学竞赛常用知识汇集》为什么能卡在关键题的命门上去年某省预赛压轴题求满足 $ x^2 y^2 2025 $ 的正整数解 $(x, y)$ 的组数。表面看是勾股数但直接枚举到45太慢用参数化发现2025 $3^4 \times 5^2$立刻想到「平方和分解定理」——这恰恰是该手册第12节「不定方程」里埋着的冷知识一个正整数 $n$ 可表为两整数平方和的充要条件是其标准分解中所有形如 $4k3$ 的质因子的指数均为偶数。而解数公式 $\frac{1}{2} \left( \prod (2e_i 1) - 1 \right)$其中 $e_i$ 是 $4k1$ 型质因子的指数直接给出答案$ \frac{1}{2} \left( (2 \times 2 1)(2 \times 0 1) - 1 \right) 2 $ 组。——这根本不是靠刷题堆出来的直觉而是对「质因数分解→模4分类→平方和结构」这条逻辑链的肌肉记忆。这份由《中等数学》资料室与鹏博奥数网联合整理的38页PDF本质是一份可执行的数论与几何操作手册。它不讲证明推导只列定义、性质、公式、判据、边界条件。比如「同余」部分没写欧拉定理的群论背景却明确标注当 $(c,m)d$ 时$ac \equiv bc \pmod{m} \Rightarrow a \equiv b \pmod{m/d}$并加粗提示「特别地$(c,m)1$ 时可直接约去 $c$」——这是你在考场上看到 $7x \equiv 14 \pmod{21}$ 能秒删系数的依据。它服务的对象非常具体正在啃《奥赛经典》但卡在「为什么这步能约」「这个余数范围怎么定」「这个面积公式缺半周长还是全周长」的实战者。新手按表查公式能保底老手翻到「佩尔方程通解构造」或「西姆松线判定条件」这种高密度信息点能瞬间补全知识图谱的断层。2. 数论模块从整除定义到孙子定理每一条性质都是可调用的函数接口2.1 整除性不是概念是带约束条件的运算符重载手册开篇即定义$b \mid a$ 当且仅当存在整数 $q$ 使 $a bq$。这看似简单但后续所有性质都由此派生。关键在于它强制你关注整数性与存在性——这直接决定了解题路径。例如判断 $123456789$ 是否被 $3$ 整除手册第9节给出判据「各位数字之和能被3整除」。但更深层的逻辑是$$ 123456789 \sum_{i0}^{8} d_i \cdot 10^i \equiv \sum_{i0}^{8} d_i \cdot 1^i \pmod{3} $$因为 $10 \equiv 1 \pmod{3}$所以 $10^i \equiv 1 \pmod{3}$。这个同余链的起点正是整除定义中 $a bq$ 所隐含的「余数为0」这一刚性约束。提示考试中遇到大数整除判断优先检查是否属于 $2,3,4,5,9,11$ 等有十进制特征的模数。手册第9节表格已穷尽这些规则无需现场推导。2.2 同余运算模运算下的代数系统必须严守「可逆性」红线同余的六条基本性质加减乘幂同余构成一个封闭代数系统但除法不天然成立。手册第2节第7条明确写出$$ ac \equiv bc \pmod{m},\ (c,m)d \quad \Rightarrow \quad a \equiv b \pmod{\frac{m}{d}} $$这个公式是解同余方程的核心工具。来看实例解 $15x \equiv 30 \pmod{45}$。先求 $(15,45)15$$d15$$m/d 3$代入得 $x \equiv 2 \pmod{3}$但注意原方程模45解集应为模45下的所有解$x \equiv 2,5,8,\dots,44 \pmod{45}$共15个解因为 $d15$# 验证用Python快速检验前5个解 for x in [2,5,8,11,14]: print(fx{x}: 15*{x} % 45 {15*x % 45}) # 输出 # x2: 15*2 % 45 30 # x5: 15*5 % 45 30 # x8: 15*8 % 45 30 # ...逻辑说明15*x % 45计算的是 $15x$ 除以45的余数。当 $x \equiv 2 \pmod{3}$ 时$x3k2$代入得 $15(3k2)45k30$显然余数恒为30。参数k的取值范围0到14决定了模45下解的个数这正是 $(c,m)d$ 给出的解数信息。2.3 质因数分解唯一性定理是解题的「公理」约数个数公式是高频输出函数手册第4节强调任意大于1的整数 $n$ 可唯一表示为 $n \prod_{i1}^{m} p_i^{\alpha_i}$。这个「唯一性」是后续所有计数问题的基石。例如求 $2024$ 的正约数个数分解 $2024 2^3 \times 11 \times 23$$2024 \div 2 1012$, $1012 \div 2 506$, $506 \div 2 253$, $253 11 \times 23$套用约数个数定理$d(n) \prod (1\alpha_i) (31)(11)(11) 4 \times 2 \times 2 16$更关键的是约数和定理$\sigma(n) \prod \frac{p_i^{\alpha_i1}-1}{p_i-1}$。求 $2024$ 的所有正约数之和$$ \sigma(2024) \frac{2^4-1}{2-1} \times \frac{11^2-1}{11-1} \times \frac{23^2-1}{23-1} 15 \times 12 \times 24 4320 $$模块核心公式典型应用场景易错点整除判据$10^i \equiv 1 \pmod{3,9}$; $10^2 \equiv 0 \pmod{4}$快速判断大数整除性混淆 $10^i \bmod m$ 的周期如模7是6同余约简$ac \equiv bc \pmod{m} \Rightarrow a \equiv b \pmod{m/(c,m)}$解线性同余方程 $ax \equiv b \pmod{m}$忘记除以 $(c,m)$ 后模数变小且解数为 $(c,m)$ 个约数个数$d(n) \prod (1\alpha_i)$统计约数个数、构造完全数误将指数 $\alpha_i$ 当作约数如 $122^2\times3^1$约数个数是 $(21)(11)6$非 $213$孙子定理$x \equiv \sum M_i M_i b_i \pmod{M}$解联立同余方程组$M_i M/m_i$$M_i$ 是 $M_i$ 模 $m_i$ 的逆元需用扩展欧几里得求2.4 孙子定理中国剩余定理多模约束下的解空间压缩算法手册第6节给出孙子定理的标准形式若 $m_1,\dots,m_k$ 两两互质则方程组$$ \begin{cases} x \equiv b_1 \pmod{m_1} \ \vdots \ x \equiv b_k \pmod{m_k} \end{cases} $$有唯一解模 $Mm_1\cdots m_k$且解为 $x \equiv \sum M_i M_i b_i \pmod{M}$其中 $M_i M/m_i$$M_i$ 满足 $M_i M_i \equiv 1 \pmod{m_i}$。实操步骤以 $x \equiv 2 \pmod{3},\ x \equiv 3 \pmod{5},\ x \equiv 2 \pmod{7}$ 为例计算 $M 3 \times 5 \times 7 105$$M_1 105/3 35$求 $35$ 模 $3$ 的逆元$35 \equiv 2 \pmod{3}$$2 \times 2 4 \equiv 1 \pmod{3}$故 $M_1 2$$M_2 105/5 21$$21 \equiv 1 \pmod{5}$逆元 $M_2 1$$M_3 105/7 15$$15 \equiv 1 \pmod{7}$逆元 $M_3 1$代入$x \equiv 2 \times 35 \times 2 3 \times 21 \times 1 2 \times 15 \times 1 140 63 30 233 \equiv 233 \bmod 105 23$验证$23 \bmod 3 2$$23 \bmod 5 3$$23 \bmod 7 2$全部满足。关键洞察孙子定理不是让你硬解而是提供一种「分治」思路——把一个复杂模数的问题拆成多个小模数的独立问题再用公式组装。手册中 $M_i$ 的求法虽未展开但实际就是解 $M_i y \equiv 1 \pmod{m_i}$这正是扩展欧几里得算法的输入。3. 几何模块从三角形公式到西姆松线所有结论都附带使用场景说明书3.1 三角形面积公式的「矩阵式选择」根据已知条件匹配最优公式手册第1.1.3节列出7种面积公式但绝非罗列。它按输入参数类型组织形成一张决策表已知条件对应公式手册页码定位典型陷阱三边 $a,b,c$海伦公式 $S \sqrt{p(p-a)(p-b)(p-c)}$P.??手册中明确标号半周长 $p$ 计算错误如 $p(abc)/2$ 写成 $abc$两边及夹角$S \frac{1}{2}ab \sin C$P.??角度单位混淆用度数代入 $\sin$ 函数需确认计算器模式外接圆半径 $R$ 与三边$S \frac{abc}{4R}$P.??误认为 $R$ 是内切圆半径 $r$内切圆半径 $r$ 与半周长 $p$$S pr$P.??混淆 $p$ 与周长 $2p$例如2023年某联赛题$\triangle ABC$ 中$AB13$$BC14$$CA15$求其内切圆半径 $r$。先用海伦公式$p (131415)/2 21$$S \sqrt{21 \times 8 \times 7 \times 6} \sqrt{7056} 84$再用 $S pr \Rightarrow r S/p 84/21 4$为什么不用 $r 4R \sin\frac{A}{2}\sin\frac{B}{2}\sin\frac{C}{2}$因为该公式需要角度而本题只给边长。手册的编排逻辑就是逼你建立「条件→公式」的映射反射。3.2 梅涅劳斯与塞瓦定理共线与共点的「向量坐标」判定法手册第1.3节将梅涅劳斯Menelaus与塞瓦Ceva定理并列揭示其本质是有向线段比的乘积判据。梅涅劳斯用于三点共线$$ \frac{AZ}{ZB} \cdot \frac{BX}{XC} \cdot \frac{CY}{YA} 1 \quad \text{注意$Z$ 在 $AB$ 上$X$ 在 $BC$ 上$Y$ 在 $CA$ 上} $$塞瓦用于三线共点$$ \frac{AF}{FB} \cdot \frac{BD}{DC} \cdot \frac{CE}{EA} 1 \quad \text{$F$ 在 $AB$$D$ 在 $BC$$E$ 在 $CA$} $$关键区别在于点的位置顺序。手册用「直线与三边或延长线交于点」强调延展性。实操时必须画图标出有向线段方向如 $AZ/ZB$若 $Z$ 在 $AB$ 延长线上则比值为负。例在 $\triangle ABC$ 中$D$ 在 $BC$ 上$E$ 在 $CA$ 上$AD$ 与 $BE$ 交于 $P$$CP$ 交 $AB$ 于 $F$。已知 $BD:DC 2:3$$CE:EA 1:4$求 $AF:FB$。由塞瓦定理$\frac{AF}{FB} \cdot \frac{BD}{DC} \cdot \frac{CE}{EA} 1$代入$\frac{AF}{FB} \cdot \frac{2}{3} \cdot \frac{1}{4} 1 \Rightarrow \frac{AF}{FB} 6$注意手册中所有比例均默认为有向线段比计算时需根据点在线段上或延长线上确定正负号。若题目未说明按常规取正值但需警惕钝角三角形中垂足落延长线的情况。3.3 西姆松线圆上点投影共线的「几何不变量」检测器手册第1.3节第8条设 $P$ 为 $\triangle ABC$ 外接圆上一点其在三边 $BC, CA, AB$ 上的投影为 $D,E,F$则 $D,E,F$ 共线西姆松线。其逆定理同样成立。这个结论的价值在于提供了一种判定四点共圆的替代方案。当题目给出三个投影点共线即可反推 $P$ 在外接圆上。例如已知 $\triangle ABC$点 $P$ 满足 $PD \perp BC$$PE \perp CA$$PF \perp AB$且 $D,E,F$ 共线求证 $P$ 在 $\odot ABC$ 上。直接引用西姆松定理逆定理结论得证。手册未给出证明但给出了使用前提$P$ 必须在平面内且投影必须落在对应直线上可为延长线。这意味着若计算得 $D,E,F$ 共线但 $P$ 不在圆上则必有一处投影未严格垂直——这是验算的关键。3.4 几何变换平移、旋转、反射的「复合操作」合成表手册第1.4节将合同变换平移、旋转、反射与相似变换位似分开并指出任意平移 两次反射反射轴平行于平移方向间距为平移距离一半任意旋转 两次反射反射轴交于旋转中心夹角为旋转角一半位似变换$H(O,k)$点 $P$ 映射到 $P$ 满足 $OP k \cdot OP$且 $P$ 在射线 $OP$ 上这些不是理论而是作图指令。例如构造一个以 $O$ 为中心、比例 $k2$ 的位似图形连接 $O$ 与原图各顶点 $A,B,C,\dots$在射线 $OA$ 上取 $A$ 使 $OA 2 \cdot OA$同理得 $B,C,\dots$连接 $ABC\dots$手册强调「位似中心 $O$ 可在图形内部、外部或边上」这解释了为何有些位似题中对应点连线不交于图内——$O$ 可能在无穷远处此时退化为平移。4. 实战校验用手册知识链解一道完整竞赛题4.1 题目还原2022年CMO预赛题简化版设正整数 $n$ 满足$n$ 的所有正约数之和 $\sigma(n)$ 是 $n$ 的倍数即 $\sigma(n) kn$$k$ 为整数。若 $n$ 的标准分解式为 $n 2^a \cdot 3^b \cdot 5^c$且 $a,b,c$ 均为正整数求所有满足条件的 $n$ 中最小的一个。4.2 手册知识调用链Step 1识别核心对象「约数和」→ 手册第4节「约数和定理」$\sigma(n) \frac{2^{a1}-1}{2-1} \cdot \frac{3^{b1}-1}{3-1} \cdot \frac{5^{c1}-1}{5-1} (2^{a1}-1) \cdot \frac{3^{b1}-1}{2} \cdot \frac{5^{c1}-1}{4}$Step 2建立整除条件$\sigma(n)$ 是 $n$ 的倍数 → $\sigma(n) / n$ 为整数$n 2^a \cdot 3^b \cdot 5^c$故$$ \frac{\sigma(n)}{n} \frac{2^{a1}-1}{2^a} \cdot \frac{3^{b1}-1}{2 \cdot 3^b} \cdot \frac{5^{c1}-1}{4 \cdot 5^c} \left(2 - \frac{1}{2^a}\right) \cdot \left(\frac{3 - \frac{1}{3^b}}{2}\right) \cdot \left(\frac{5 - \frac{1}{5^c}}{4}\right) $$Step 3分析分母约束整个表达式为整数分母含 $2^a, 2, 4$即总分母为 $2^{a3}$因 $42^2$分子为 $(2^{a1}-1)(3^{b1}-1)(5^{c1}-1)$其中 $(2^{a1}-1)$ 是奇数$(3^{b1}-1)$ 和 $(5^{c1}-1)$ 均为偶数因奇数幂减1为偶关键$(3^{b1}-1)$ 被 $2$ 整除$(5^{c1}-1)$ 被 $4$ 整除因 $5 \equiv 1 \pmod{4}$$5^k \equiv 1 \pmod{4}$故 $5^k-1 \equiv 0 \pmod{4}$所以分子至少含 $2^3$ 因子可消去分母 $2^{a3}$ 当且仅当 $a0$但题目要求 $a$ 为正整数矛盾Step 4回归手册原始公式避免代数变形失真直接计算 $\sigma(n)/n \frac{(2^{a1}-1)(3^{b1}-1)(5^{c1}-1)}{2^{a3} \cdot 3^b \cdot 5^c}$要使该式为整数分母的每个质因子幂次不能超过分子对质数 $2$分母 $2^{a3}$分子中 $2$ 的幂次来自 $(3^{b1}-1)$ 和 $(5^{c1}-1)$$3^{b1}-1$当 $b1$$3^2-182^3$$b2$$27-1262 \times 13$仅 $2^1$$5^{c1}-1$当 $c1$$25-1242^3 \times 3$$c2$$125-11244 \times 31$仅 $2^2$尝试最小组合$a1,b1,c1$ → $n2 \times 3 \times 5 30$$\sigma(30) \sigma(2)\sigma(3)\sigma(5) (12)(13)(15) 3 \times 4 \times 6 72$$72 / 30 2.4$非整数 ❌$a2,b1,c1$ → $n4 \times 3 \times 5 60$$\sigma(60) \sigma(2^2)\sigma(3)\sigma(5) (124)(13)(15) 7 \times 4 \times 6 168$$168 / 60 2.8$ ❌$a1,b2,c1$ → $n2 \times 9 \times 5 90$$\sigma(90) \sigma(2)\sigma(3^2)\sigma(5) 3 \times (139) \times 6 3 \times 13 \times 6 234$$234 / 90 2.6$ ❌$a3,b1,c1$ → $n8 \times 3 \times 5 120$$\sigma(120) \sigma(2^3)\sigma(3)\sigma(5) (1248) \times 4 \times 6 15 \times 24 360$$360 / 120 3$ ✅结论最小 $n 120$。手册在此题中的作用是提供 $\sigma(n)$ 的标准计算路径避免陷入无谓的代数化简直接进入「枚举验证」的高效模式。5. 高频陷阱排查与参数敏感度调试技巧5.1 「完全平方数」性质的边界验证个位、十位、模4/8的交叉检验手册第8节列出13条完全平方数性质但最易误用的是第2、3、5、6条个位只能是 $0,1,4,5,6,9$ →排除法利器奇数平方的十位是偶数 → 如 $13^2 169$十位6是偶数$17^2 289$十位8是偶数个位为5的平方十位必为2百位为偶数 → $15^2 225$十位2百位2是偶数$25^2 625$十位2百位6是偶数偶数平方被4整除奇数平方被4除余1 →模4快速判别陷阱案例判断 $123456789$ 是否为完全平方数。个位是9 → 可能因9在允许集合中模4$123456789 \bmod 4 1$因末两位89 ÷ 4 余1→ 奇数平方符合但看十位个位9倒数第二位是8 → 若为奇数平方十位应为偶数8是偶数暂通过致命一击模8。手册第8条第7款奇数平方被8除余1。计算 $123456789 \bmod 8$只需看末三位789 ÷ 8 98×8784余5 → $789 \bmod 8 5$不等于1 →不是完全平方数。调试技巧对疑似平方数按「个位→模4→模8→模3」顺序检验。模3判据平方数模3余0或1常被忽略$123456789$ 各位和 $12\dots945$$45 \bmod 3 0$符合。但模8已否决无需继续。5.2 「函数 $[x]$」的离散跳跃点处理不等式时的区间分割法手册第14节定义 $[x]$ 为不超过 $x$ 的最大整数并给出13条性质。最实用的是第3条$x-1 [x] \le x$以及第9条$\left\lfloor \frac{x}{n} \right\rfloor \left\lfloor \frac{\lfloor x \rfloor}{n} \right\rfloor$$n$ 为正整数。典型应用求方程 $\left\lfloor \frac{x}{2} \right\rfloor \left\lfloor \frac{x}{3} \right\rfloor 10$ 的正整数解个数。设 $x 6k r$$r 0,1,2,3,4,5$因lcm(2,3)6对每个 $r$计算 $\left\lfloor \frac{6kr}{2} \right\rfloor \left\lfloor \frac{6kr}{3} \right\rfloor (3k \lfloor r/2 \rfloor) (2k \lfloor r/3 \rfloor) 5k \lfloor r/2 \rfloor \lfloor r/3 \rfloor$令其等于10$5k \lfloor r/2 \rfloor \lfloor r/3 \rfloor 10$枚举 $r$$r0$: $5k 0 10 \Rightarrow k2 \Rightarrow x12$$r1$: $5k 0 10 \Rightarrow k2 \Rightarrow x13$$r2$: $5k 1 10 \Rightarrow k1.8$舍$r3$: $5k 1 1 10 \Rightarrow 5k8$舍$r4$: $5k 2 1 10 \Rightarrow 5k7$舍$r5$: $5k 2 1 10 \Rightarrow 5k7$舍仅得 $x12,13$但验证 $x14$: $\lfloor 7 \rfloor \lfloor 4.66 \rfloor 7411 10$$x11$: $\lfloor 5.5 \rfloor \lfloor 3.66 \rfloor 538 10$。漏解修正$r$ 应覆盖 $x$ 的连续区间。更可靠方法是找 $x$ 的范围$\left\lfloor \frac{x}{2} \right\rfloor \le \frac{x}{2}$$\left\lfloor \frac{x}{3} \right\rfloor \le \frac{x}{3}$故 $10 \le \frac{x}{2} \frac{x}{3} \frac{5x}{6} \Rightarrow x \ge 12$$\left\lfloor \frac{x}{2} \right\rfloor \frac{x}{2} - 1$$\left\lfloor \frac{x}{3} \right\rfloor \frac{x}{3} - 1$故 $10 \frac{5x}{6} - 2 \Rightarrow x 14.4$所以 $x 12,13,14$。逐一验证$x12$: $6410$ ✅$x13$: $6410$ ✅$x14$: $7411$ ❌解为 $x12,13$共2个。手册第14节第3条 $x-1 [x] \le x$正是这种「夹逼」思路的理论基础。5.3 「k进制转换」的双向验证避免手工换算的符号错位手册第11节给出k进制表示$A \sum d_i k^i$其中 $d_i \in {0,1,\dots,k-1}$。转换时常见错误是余数序列顺序颠倒。正确流程十进制→k进制用 $k$ 连续除 $A$记录余数直到商为0余数序列从下往上读即为k进制数例$123_{10} \to ?_7$$123 \div 7 17$ 余 $4$$17 \div 7 2$ 余 $3$$2 \div 7 0$ 余 $2$余数序列从下往上$2,3,4$ → $123_{10} 234_7$反向验证k进制→十进制$234_7 2 \times 7^2 3 \times 7^1 4 \times 7^0 2 \times 49 3 \times 7 4 98 21 4 123$ ✅调试口诀「除k取余下读上写幂次从右0开始」。手册第11节第1款强调 $d_n$ 是最高位$k^n$ 系数这决定了余数栈的读取方向。本文还有配套的精品资源点击获取
