---
url: https://xuehaizhixing.com/root/B01-数论基础/M01-整除与质数/S04/B01-M01-S04-U03.md
---

# 一、模块层

* **知识点编号**：B01-M01-S04-U03
* **所属模块**：B01 → M01 → S04

## 纵向关联

* 上接：
  * 无
* 下启：
  * 无

## 知识关联

### 横向关联

* 前置基础：
  * `余角补角计算题根`
  * `高/中线/角平分线题根`
* 同位衔接：
  * `中项性质题根`
  * `贝叶斯公式题根`
  * `和的性质题根`
* 后续延伸：
  * [同余式组解的结构题根](/root/B01-数论基础/M03-不定方程/S04/B01-M03-S04-U05)
  * [非互质模化简题根](/root/B01-数论基础/M03-不定方程/S04/B01-M03-S04-U03)
  * `赫尔德不等式形式题根`
  * `舒尔不等式形式题根`
  * [佩尔方程基本形式判断题根](/root/B01-数论基础/M03-不定方程/S03/B01-M03-S03-U03)
  * [σ(n)计算题根](/root/B01-数论基础/M04-数论函数与进阶技巧/S01/B01-M04-S01-U02)
  * [因数分解法题根](/root/B01-数论基础/M03-不定方程/S05/B01-M03-S05-U03)
  * `对称式与韦达定理题根`

# 二、本源层

* **本源**：$\gcd(a,b)\times\operatorname{lcm}(a,b)=a\times b$——这一公式揭示了最大公因数与最小公倍数之间最深刻的对偶关系：两数之积恒等于它们的gcd与lcm之积。这意味着只要知道gcd和lcm中的任何一个，就能通过这个公式求出另一个；gcd和lcm本质上承载着相同的代数信息，只不过表达方式不同（一个取最小指数、一个取最大指数）。
* **原点**：
  质因数分解下的指数对偶性——设$a=\prod p^{\alpha_p}$，$b=\prod p^{\beta_p}$，则$\gcd(a,b)=\prod p^{\min(\alpha_p,\beta_p)}$，$\operatorname{lcm}(a,b)=\prod p^{\max(\alpha_p,\beta_p)}$。因为$\min(\alpha,\beta)+\max(\alpha,\beta)=\alpha+\beta$，将两式相乘得$\gcd\times\operatorname{lcm}=\prod p^{\alpha_p+\beta_p}=a\times b$。公式的成立实际上等价于一个简单的事实：每个质因数的指数在gcd中取最小、在lcm中取最大，最小值加最大值正好是两个指数的和。

从更形式化的角度审视，这里的数学结构可以进一步抽象。如果将满足该性质的对象构成的集合记为某一类，则该集合在相应的运算下具有封闭性——这是代数结构的雏形。

这一原点是连接直觉与形式的桥梁：一边是直觉层面朴素易懂的分类观念，另一边是严格的形式化系统。理解这个连接点，才能真正从“感觉懂了”过渡到“严格证明了”。

* **道法**：整体与部分推理，三锚合一，层层递进。
  * **首锚·整体与部分**：将两数之积视为整体，gcd提取公共部分（取最小指数），lcm取全部质因数（取最大指数），公因与公倍从整体与部分的视角看，一个取交集、一个取并集，二者乘积恰好复原整体之积。
  * **次锚·对称/轮换/齐次**：公式$\gcd\times\operatorname{lcm}=ab$对$a,b$完全对称，交换两数公式形式不变，体现了数学关系中轮换不变性，暗示公因与公倍在代数结构中的对等地位。
  * **三锚·方程思想**：将乘积公式作为等量关系工具，在已知部分量时通过方程求解未知量；参数法设$a=dm,b=dn$（$d=\gcd$，$\gcd(m,n)=1$），将四元关系转化为$m,n$的二元约束，是方程思想的经典应用。
* **关键心法**：
  公因公倍本一体，积为桥梁通对偶。

掌握这一心法意味着：面对一个具体问题，你的第一反应不是套公式，而是先问“这属于哪一类？”——这是从“术”到“道”的跨越。

* **终极一句话**：
  $\gcd(a,b)\times\operatorname{lcm}(a,b)=a\times b$——最大与最小在一对正整数的乘积中完美统一，公因数与公倍数的对偶关系由此尽显无遗。

这句话浓缩了该概念最本质的数学事实，每一个字都经得起推敲。理解这句话，就掌握了进入该领域的钥匙。

* **数学思想进化轴**：欧几里得《几何原本》（约公元前300年）中通过可公度量概念分别讨论了gcd和lcm的雏形→斐波那契《计算之书》（1202）在实际计算中同时使用gcd和lcm，但尚未发现两者关系→高斯《算术研究》（1801）在标准分解式的指数语言下首次完整阐述$\gcd\times\operatorname{lcm}=ab$公式，将其作为质因数分解法的直接推论→狄利克雷（1837）和戴德金（1870年代）将这一关系推广到代数数域的理想理论中，gcd和lcm的对偶性成为交换代数中"交"与"并"运算的原型。

从认知发展的角度来看，该知识点的进化路径体现了数学思维从具体到抽象的跃迁——最初人们只是在日常计算中积累了零散经验，随后通过系统化整理形成了一般的判断方法，最终抽象为严格的数学理论。这一过程中每一次质的飞跃都源于对已有方法的反思和追问。

# 三、知识点层

* **知识点编号**：B01-M01-S04-U03
* **名称**：gcd与lcm关系题根
* **标准定义**：
* 定义一（乘积公式）：对任意正整数$a,b$，有$\gcd(a,b)\times\operatorname{lcm}(a,b)=a\times b$。这是gcd和lcm之间最基本的代数关系。推论：给定$\gcd(a,b)$和$\operatorname{lcm}(a,b)$中的一个以及$a$，可唯一确定另一个数$b=\gcd\times\operatorname{lcm}/a$。
  * 定义二（指数对偶定义）：设$a=\prod p^{\alpha_p}$，$b=\prod p^{\beta_p}$，则$\gcd(a,b)=\prod p^{\min(\alpha_p,\beta_p)}$，$\operatorname{lcm}(a,b)=\prod p^{\max(\alpha_p,\beta_p)}$。对偶性体现在：$\operatorname{lcm}$的指数是$\gcd$的指数的"镜像"——因为$\min+\max=\alpha+\beta$，两式相乘后每个质因数的指数恰好恢复为$\alpha_p+\beta_p$。

从等价关系角度看，这一定义实际上建立了一个划分：它将所有可能的情形分为互不相交的两类，且覆盖了全集。这是一个最简单的二元分类系统。

在实际解题中，这一定义提供了三种判定策略：(1)正面验证——直接检查条件是否成立；(2)反面排除——检查是否属于另一类来确定；(3)等价转化——利用该定义的某个等价刻画来判定。

该定义还有一个重要推论：若某对象满足定义条件，则它自动具有该类别的一切性质；反之，若某性质在某对象上不成立，则该对象必不属于此类别。

特别需要注意两件事：一是定义中条件的充分必要性——既不能多也不能少；二是定义的边界情形——当条件处于模糊地带时该如何判定。

从更广泛的数学体系来看，这一定义不是孤立的，它与后续若干定理之间存在密切的内在联系。这些联系将随着学习的深入逐次展现。

* **核心本质**：
  **$\gcd\times\operatorname{lcm}=a\times b$不是巧合，而是质因数分解下指数取最小与指数取最大的必然对偶结果。每一个质因数在gcd中取最小值、在lcm中取最大值，最小值与最大值的和恰好等于原指数之和——这使得gcd和lcm的乘积精确复原了$a$和$b$的乘积。这一公式的本质是"互补分解"：$a$的质因数被分成"公共的低次"（$\gcd$贡献）和"独特的高次"（$a/\gcd$贡献），$b$同理。对偶统一，乘积守恒，这正是数论中最大公因数与最小公倍数关系的核心定律。锁死·拓展应用层通用内容**

这一本质深刻揭示了一个事实：表面上的数值多样性掩盖了底层的结构统一性。一旦掌握了这个统一性，看似千变万化的问题都可以归结为同一种分析框架来处理。

* **核心性质**：
  * 性质一：由已知gcd和lcm求两数——若已知$\gcd(a,b)=d$且$\operatorname{lcm}(a,b)=m$，则$a\times b=d\times m$。设$a=dx$，$b=dy$（$\gcd(x,y)=1$），则$\operatorname{lcm}=dxy=m\Rightarrow xy=m/d$。因此从$xy=\frac{m}{d}$且$x,y$互质这一条件可以确定所有可能的$(x,y)$对。例如$d=6$，$m=180$，则$xy=30$，互质对$(1,30),(2,15),(3,10),(5,6)$→对应原数。
  * 性质二：公式对两数成立但对三数不成立——$\gcd(a,b,c)\times\operatorname{lcm}(a,b,c)\le a\times b\times c$一般成立，但等式仅在特定情况下（如两两互质）成立。例如$(2,3,4)$：$\gcd=1$，$\operatorname{lcm}=12$，乘积$1\times12=12\neq2\times3\times4=24$。这是因为三数情形的指数最小化和最大化的关系更为复杂：$\min(\alpha,\beta,\gamma)+\max(\alpha,\beta,\gamma)\neq\alpha+\beta+\gamma$一般成立。
  * 性质三：公式的逆用——若已知$a$和$b$以及$\gcd$，可立即得$\operatorname{lcm}=ab/\gcd$。这是求LCM的最常用方法：先求gcd（用辗转相除法，快速高效），然后用除法得到lcm。例如求$\operatorname{lcm}(123456789,987654321)$：先求$\gcd=9$，则$\operatorname{lcm}=123456789\times987654321\div9$，不需要对这两个大数做质因数分解或列倍数。
  * 性质四：公式的几何解释——在数轴上，$a$的倍数每隔$a$出现一次，$b$的倍数每隔$b$出现一次。所有这些倍数构成的集合中，最小的正交点就是$\operatorname{lcm}(a,b)$。数轴从$0$到$ab$这段区间内，$a$和$b$的倍数各出现$b$次和$a$次，唯一的交点是$0$和$ab$。因此$\operatorname{lcm}$的几何意义是：在$0$到$ab$之间（不包含$0$和$ab$）若有交点，就是$\operatorname{lcm}$，它必为$ab$的真因数；若没有交点（互质情况），则$\operatorname{lcm}=ab$。

# 四、教案版本

## 【专业版】

### 【基础层例题】

已知两数的最大公因数为6，最小公倍数为72，其中一个数为18，求另一个数。

* **解题思路**：①识别已知量——题目给出gcd=6、lcm=72和a=18，未知量为b。②套用公式——由$\gcd\times\operatorname{lcm}=a\times b$得$6\times72=18\times b$。③解方程求结果——$b=6\times72\div18=24$，再验证$\gcd(18,24)=6$且$\operatorname{lcm}(18,24)=72$确认正确。
* **标准解答**：设另一个数为$x$。由$\gcd(18,x)\times\operatorname{lcm}(18,x)=18x$得$6\times72=18x$，所以$x=6\times72\div18=24$。验证：$\gcd(18,24)=6$，$\operatorname{lcm}(18,24)=72$，$18+24=42$满足题意。关键：本题无需枚举或短除，公式一步到位。
  上述解答过程中，每一步推导的依据是该知识点的核心性质——准确把握每一步的逻辑基础，是确保解题正确性的关键。
  这道题还可以从另一个角度切入：通过构造等价条件或转化视角，往往能得到更简洁的解法。
  验证是解题的重要环节——将答案代回原题检验是否满足所有条件，既能确认正确性，也能培养良好的解题习惯。
  这道题还可以从另一个角度切入：通过构造等价条件或转化视角，往往能得到更简洁的解法。### 【易错变式题】
  判断公式$\gcd(a,b)\times\operatorname{lcm}(a,b)=a\times b$是否对任意三个数也成立？用反例说明。
* **常见错误**：①误推广至三数——认为$\gcd(a,b,c)\times\operatorname{lcm}(a,b,c)=abc$恒成立，忽略了$\min+\max$与三指数之和一般不等的数学事实。②全盘否定误区——认为”不成立就是完全不成立”，实际有些特例（如两两互质）碰巧成立。③公式僵化理解——不理解不成立的根本原因在于三数情形下$\min+\max$无法覆盖中间值的指数贡献。
* **标准解答**：不恒成立。反例$(2,3,4)$：$\gcd(2,3,4)=1$（没有任何公共的>1的因数），$\operatorname{lcm}(2,3,4)=12$。$\gcd\times\operatorname{lcm}=1\times12=12$，而$2\times3\times4=24$，$12\neq24$，所以三数版本不成立。但偶尔碰巧成立，如$(1,2,3)$：$\gcd=1$，$\operatorname{lcm}=6$，乘积$1\times6=6=1\times2\times3$。这是因为$\min$+$\max$在每个指数位上给出的是三个指数中最大的那个和最小的那个，二者的和不一定等于三个指数的总和——三数情形失去了两数情形中的完美互补性。；上述解答过程中，每一步推导的依据是该知识点的核心性质——准确把握每一步的逻辑基础，是确保解题正确性的关键。；这道题还可以从另一个角度切入：通过构造等价条件或转化视角，往往能得到更简洁的解法。；验证是解题的重要环节——将答案代回原题检验是否满足所有条件，既能确认正确性，也能培养良好的解题习惯。；这道题的核心考点是考查学生对基本概念的准确理解——只有概念清晰，才能从题目条件中识别出可用的结论。
  从思维训练的角度看，这道题考察的核心能力是在复杂条件中识别出可应用该知识点的结构特征——这种识别能力是数学素养的重要组成部分。
  从思维训练的角度看，这道题考察的核心能力是在复杂条件中识别出可应用该知识点的结构特征——这种识别能力是数学素养的重要组成部分。### 【高阶例题】
  求所有正整数对$(a,b)$满足$\gcd(a,b)+\operatorname{lcm}(a,b)=a+b$（其中$a\le b$）。
* **方法策略**：①设参数化简——设$\gcd(a,b)=d$，$a=dm$，$b=dn$（$\gcd(m,n)=1$），则$\operatorname{lcm}=dmn$，将原始条件全部用$d,m,n$表达。②代入条件列方程——将$a+b$、$\gcd+\operatorname{lcm}$等条件用参数表示，化简得到$m,n$的约束方程。③解参数回代——求解$m,n$后回代得到$a,b$，注意$\gcd(m,n)=1$的互质检查是解的正确性保障。
* **标准解答**：设$\gcd(a,b)=d$，$a=dm$，$b=dn$，$\gcd(m,n)=1$，则$\operatorname{lcm}(a,b)=dmn$。原方程化为$d+dmn=dm+dn$。两边除以$d$：$1+mn=m+n\Rightarrow mn-m-n+1=0\Rightarrow(m-1)(n-1)=0$。所以$m=1$或$n=1$。$m=1$时$a=d$，$b=dn$，即$a\mid b$；$n=1$时$b=d$，$a=dm$，即$b\mid a$。因此解集为${(a,b)\mid a\mid b\ \text{或}\ b\mid a}$，即所有”一个整除另一个”的正整数对。

## 【药典版】

### 定位：公因与公倍的”黄金桥梁”——一剂对偶统一的连接方，$\gcd\times\operatorname{lcm}=ab$是用一条等式统一最大与最小、公有与全有的数论最美公式

#### 🌱 药材本体

* **第一味药——乘积恒等式**：$\gcd(a,b)\times\operatorname{lcm}(a,b)=a\times b$——四个数相乘成一桥，连接了最大与最小。知道其中任意三个就能求出第四个。
* **第二味药——参数表示法**：设$a=dm$，$b=dn$（$\gcd(m,n)=1$），则$\operatorname{lcm}=dmn$。这组参数表示直接将$a,b,\gcd,\operatorname{lcm}$全部用$d,m,n$表达，使问题从”四个未知数”简化为”三个参数”。
* **第三味药——互质约化**：参数表示中$\gcd(m,n)=1$这一条件保证了分解的”彻底性”——这正是乘积公式中”互补分解”的精确数学表达。
* **第四味药——三数反例**：$\gcd(a,b,c)\times\operatorname{lcm}(a,b,c)\le a\times b\times c$（一般地），等号仅当数之间两两互质或某些特殊条件成立时达到。这反例本身也是宝贵的学习素材。
* **药材核心药性**：以对偶为体，以乘积为桥——“一积连两性，对偶显真章”。
  这一数学概念的核心特性在于其基础性和工具性——它不仅是解决问题的基础工具，更是连接不同知识模块的桥梁。

#### 🛠️ 功能主治

* **主治**：把gcd和lcm当作两个孤立概念分别学习的割裂认知——公式揭示它们其实是”一枚硬币的两面”
* **解决**：已知gcd和lcm中的一些量求另一些量的问题——公式是最直接的解题工具
* **根治**：对指数取最小/取最大这种代数操作缺乏几何直觉——公式说明了”互补分解”的直观意义：最小值+最大值=原值
* **打通**：从两数公式到三数反例到格论（lattice theory）中的交（meet）与并（join）运算——gcd/lcm是格论在整数环中的自然模型

#### 🧪 核心药方

1、**公式套用方**——已知$\gcd$和$\operatorname{lcm}$中任意三个，直接代入$\gcd\times\operatorname{lcm}=ab$求第四个。适用于已知任意三个量的简单计算。适配基础表达阶
2、**参数探求方**——设$a=dm,b=dn$，$\gcd(m,n)=1$，$\operatorname{lcm}=dmn$。利用$ab=\gcd\times\operatorname{lcm}$导出$m,n$的约束条件。适用于已知gcd和lcm求具体$a,b$的问题。适配进阶表达阶
3、**方程联用方**——在参数表示中加入$a$与$b$的和/差等条件，构成方程组求解。例如已知$a+b=S$和$\gcd(a,b)=d$，先得$m+n=S/d$，再利用$mn=\operatorname{lcm}/d$或$ab=d^2mn$联立。适配高阶表达阶

#### 🌌 药理

**乘积公式是数论中最优美的对偶关系——它用最简洁的等式告诉我们：”最大”和”最小”本质上是互补的。**

为什么$\gcd\times\operatorname{lcm}=ab$如此重要？因为它揭示了gcd和lcm不是两个独立的概念，而是同一事物的两个侧面。就像一枚硬币有正反两面，一个数的质因数分解同时决定了它的gcd（取最小）和lcm（取最大）。公式$\gcd\times\operatorname{lcm}=ab$就是它们”正反相加等于原数”的精确表达。

从历史看，虽然欧几里得和斐波那契分别使用过gcd和lcm的概念，但直到高斯的《算术研究》（1801）将质因数分解纳入严格的理论框架后，乘积公式才获得了完整的数学证明。高斯本人在算术基本定理的证明中顺便推导了这一结论。

在教学中，乘积公式是一个极好的”结构性理解”素材。学生最开始分别学习gcd和lcm时，可能觉得它们是两个无关的概念。乘积公式让学生突然意识到：原来它们是”对偶”的！这个”aha moment”（顿悟时刻）是数学教学中极为珍贵的认知突破。

#### 👨‍🏫 老师修炼阶梯

* **基础表达**：先让学生套公式做简单计算——已知gcd、lcm和一个数求另一个数。通过大量练习让学生熟练掌握公式的正用和反用。
* **进阶表达**：用质因数分解法证明乘积公式——设$a=2^a3^b5^c$，$b=2^d3^e5^f$，计算$\gcd$和$\operatorname{lcm}$的指数，让学生直观看到$\min+\max=\text{原指数}$的规律。
* **高阶表达**：将乘积公式转化为参数法解题——引入$a=dm,b=dn$的参数表示，利用$\operatorname{lcm}=dmn$将复杂条件转化为$m,n$的简单约束。
* **顶阶表达**：讨论三数及以上情形为什么不成立，并引入格论中的交（meet=$\gcd$）和并（join=$\operatorname{lcm}$）的概念，展示整数在整除关系下构成一个分配格——gcd/lcm是这个格中的交/并运算。

#### 🗣️ 一句话封神

$\gcd(a,b)\times\operatorname{lcm}(a,b)=a\times b$——最大与最小的乘积恒等于两数之积，这是数论最优雅的对偶宣言。
数学学习的关键不在于刷了多少题，而在于是否建立了知识之间的联系——当不同模块的知识在心中形成网络，解题就不再是搜索记忆而是自然涌现。
真正的高手不是记得多少公式，而是能看到不同方法背后的统一思想——这就是数学的眼光。#### 🩺 一眼诊断

* **公式死记型**：会背公式$\gcd\times\operatorname{lcm}=ab$但不知道为什么成立。→用质因数分解的指数法推导一次，让学生看到$\min+\max=\text{原指数}$的必然性。
* **三数误推广型**：把两数公式直接套用到三个数。→用$(2,3,4)$验证让学生看到不成立，再引导思考”为什么”——$\min+\max$不能覆盖三个指数之和。
* **参数遗漏型**：设$a=dm$后忘记检查$\gcd(m,n)=1$条件。→强调”提取全部公因数后剩余必互质”，反例说明漏检$\gcd(m,n)=1$将导致错误解。
* **互质误判型**：在参数法中认为”只要$mn=\operatorname{lcm}/d$就是解”而忽略了$m,n$必须互质。→引导学生验证：当$d=6$时$\frac{m=2,n=3}$虽$mn=6$但$\gcd(2,3)=1$可用；若$m=2,n=3$可以，那$m=6,n=1$呢？$mn=6$也成立但$\gcd(6,1)=1$→两个都正确，但$\gcd(m,n)=1$检查是必须的。

#### 🧭 导航路径

* **步行（L1-L2）** → 对标
  1. 已知$\gcd(a,b)=4$，$\operatorname{lcm}(a,b)=48$，$a=16$，求$b$。
     * 解答提示：由公式$\gcd\times\operatorname{lcm}=a\times b$：$4\times48=16\times b\Rightarrow b=4\times48\div16=12$。验证：$\gcd(16,12)=4$，$\operatorname{lcm}(16,12)=48$，公式成立。

> 进一步引导：这个步骤的关键在于区分干扰信息和关键信息——题目中看似复杂的条件往往只有少数几个与分类判定直接相关，学会筛选信息本身就是重要的数学素养。

2. 对$a=12,b=18$，先分别求$\gcd$和$\operatorname{lcm}$，再验证乘积公式是否成立。
   * 解答提示：$\gcd(12,18)=6$（短除法：$12,18$除$2$得$6,9$，除$3$得$2,3$互质→$2\times3=6$）。$\operatorname{lcm}(12,18)=36$（短除法：$12,18$除$2$得$6,9$，除$3$得$2,3$→$\operatorname{lcm}=2\times3\times2\times3=36$）。验证：$\gcd\times\operatorname{lcm}=6\times36=216=12\times18=ab$✓。

> 深度解析：这里运用的实际上是反证法的思想雏形——通过分析奇偶性矛盾来证明某些情形不可能发生。不变量思想与反证法结合，是竞赛中最强大的组合工具之一。

3. 已知两数之积为$240$，最大公因数为$4$，求这两个数。
   * 解答提示：由$ab=240$且$\gcd=4$，得$\operatorname{lcm}=ab/\gcd=240/4=60$。设$a=4m,b=4n$，$\gcd(m,n)=1$，$a\times b=16mn=240\Rightarrow mn=15$。互质$(m,n)$对：$(1,15)$→$(4,60)$；$(3,5)$→$(12,20)$；$(5,3)$→$(20,12)$；$(15,1)$→$(60,4)$。所以两数分别为$(4,60)$或$(12,20)$（不计顺序）。

> 思维延伸：将这个问题稍作变换——如果把条件中的某条规则改一下，结论是否还成立？这种改变条件观察变化的思维训练，有助于真正理解规则的本质。

> 进一步引导：这个步骤的关键在于区分干扰信息和关键信息——题目中看似复杂的条件往往只有少数几个与分类判定直接相关，学会筛选信息本身就是重要的数学素养。养成先筛选再判断的习惯，能大幅提升解题速度和准确性。

* **刚性达标阈值**：掌握基础概念，正确率≥90%
* **骑车（L3-L4）** → 对标
  1. 用标准分解式证明乘积公式$\gcd(a,b)\times\operatorname{lcm}(a,b)=a\times b$。
     * 解答提示：设$a=2^a3^b5^c\ldots$，$b=2^d3^e5^f\ldots$。则$\gcd=2^{\min(a,d)}3^{\min(b,e)}5^{\min(c,f)}\ldots$，$\operatorname{lcm}=2^{\max(a,d)}3^{\max(b,e)}5^{\max(c,f)}\ldots$。注意$\min(a,d)+\max(a,d)=a+d$对每个质因数成立→$\gcd\times\operatorname{lcm}=2^{a+d}3^{b+e}5^{c+f}\ldots=ab$。
  2. 求满足$\gcd(a,b)=6$，$\operatorname{lcm}(a,b)=180$的所有正整数对$(a,b)$。
     * 解答提示：设$a=6m,b=6n$，$\gcd(m,n)=1$。由公式$ab=6\times180=1080$，$36mn=1080\Rightarrow mn=30$。互质$(m,n)$对：$(1,30),(2,15),(3,10),(5,6)$及对称情况。对应$(a,b)=(6,180),(12,90),(18,60),(30,36)$及对称。共$4$组（不计顺序）。
  3. 证明：$\gcd(a,b,c)\times\operatorname{lcm}(a,b,c)\le a\times b\times c$。提示：用指数法说明为何等式一般不成立。
     * 解答提示：设$a=2^{\alpha_1}3^{\alpha_2}\ldots$，$b=2^{\beta_1}3^{\beta_2}\ldots$，$c=2^{\gamma_1}3^{\gamma_2}\ldots$。则$\gcd$的指数为$\min(\alpha_p,\beta_p,\gamma_p)$，$\operatorname{lcm}$的指数为$\max(\alpha_p,\beta_p,\gamma_p)$。对于每个质因数，$p$的指数贡献是$\min+\max$，而$abc$的贡献是$\alpha+\beta+\gamma$。显然$\min+\max\le\alpha+\beta+\gamma$（因为$\min$是最小值，$\max$是最大值，两者的和不大于三个数的总和）。通常严格不等。等号成立当且仅当对每个质因数，三个指数中恰有一个是最小值且一个是最大值（即中间值等于最小值或最大值其中之一）。

上述解答过程中，每一步推导的依据是该知识点的核心性质——准确把握每一步的逻辑基础，是确保解题正确性的关键。- **刚性达标阈值**：能灵活运用解决变式问题，正确率≥85%

* **开车（L5-L6）** → 对标
  1. 求方程$\gcd(x,y)+\operatorname{lcm}(x,y)=x+y+2$的正整数解。
     * 解答提示：设$\gcd(x,y)=d$，$x=dm$，$y=dn$，$\gcd(m,n)=1$。则$\operatorname{lcm}=dmn$且$x+y=d(m+n)$。方程化为$d+dmn=d(m+n)+2$。整理得$dmn-d(m+n)+d=2\Rightarrow d(mn-m-n+1)=2\Rightarrow d(m-1)(n-1)=2$。$d,m,n$为正整数，$m>1,n>1$。分解$2=1\times2=2\times1$。若$d=1$则$(m-1)(n-1)=2$→$(m,n)=(2,3)$或$(3,2)$→$(x,y)=(2,3)$或$(3,2)$。若$d=2$则$(m-1)(n-1)=1$→$(m,n)=(2,2)$→$(x,y)=(4,4)$。所有解：$(2,3),(3,2),(4,4)$。
  2. 证明：对任意正整数$a,b$，有$\gcd(a,b)\times\operatorname{lcm}(a,b)=a\times b$。
     * 解答提示：有多种证明方法。指数法见前。短除法证明：设$\gcd(a,b)=d$，短除法最后一行商为$a/d$和$b/d$（互质）。$\operatorname{lcm}=d\times(a/d)\times(b/d)=ab/d$→$\gcd\times\operatorname{lcm}=ab$。裴蜀定理法：由$\gcd(a,b)=d$，存在$x,y$使$ax+by=d$。计算$\operatorname{lcm}=ab/d$需要更深入的分析。最简单优雅的仍是指数法。
  3. 设$a,b$为正整数且$a+b=100$，求$\operatorname{lcm}(a,b)+\gcd(a,b)$的最小值。
     * 解答提示：设$a=dm,b=dn$，$\gcd(m,n)=1$，$a+b=d(m+n)=100$。$\operatorname{lcm}(a,b)=dmn$。目标函数$f=\operatorname{lcm}+\gcd=d(mn+1)$。若$m=n=1$则$a=b=50$，$d=50$，$\gcd=50$，$\operatorname{lcm}=50$，$f=100$。若$(m,n)=(1,99)$且$\gcd(1,99)=1$，则$d=100/(1+99)=1$，$f=1\times(1\times99+1)=100$。若$(m,n)=(1,4)$且$\gcd=1$，则$d=100/(1+4)=20$，$f=20\times(1\times4+1)=20\times5=100$。探索发现$f$似乎恒为$100$？验证：$d(mn+1)=dmn+d=\operatorname{lcm}+\gcd$。由$a+b=100$，$\operatorname{lcm}+\gcd=a+b?$不，仅当$(m-1)(n-1)=0$时等号成立。一般来说$\operatorname{lcm}+\gcd\ge a+b$。最小值就是$100$（当$a\mid b$或$b\mid a$时取到）。本题答案是$100$。
  * **刚性达标阈值**：能综合解决复杂问题，正确率≥80%