LL1分析构造法_最小值定理、无穷递降法的简单运用（一）

---

ps：本篇是自招难度，各位奆佬可以退出了，不要戏耍本萌新（估计也没谁看）

本人的电脑技术也不好，本想着用拍照的形式发布，但由于字太难看的原因只得作罢。

---

Q：什么是最小值原理？

A：（个人理解）最小值原理指的是：一组有限的数中或者无限却有下界的整数（比如说：正整数组）中必然有一个（或多个）最小的数。

实际上，最小值原理很多时候会和无穷递降法结合在一起。

Q：如何运用？

A：（个人理解）假设XXX有解（a,b,c,...），我们设和最小（或a最小或...），根据XXX（比如说：韦达定理），我们得到另一组更小的解（a',b,c,...）,从而矛盾

（其实就是废话）

简单的阐述就到此为止，我先用一道很简单的组合题引入，以便大家理解：

---

I.引入

例一：设有

个整数

在其中任意取出一个数，其余

个数总可以分为两组，每组的和相等。求证：

必全为零。

分析：

在其中任意取出一个数，其余

个数总可以分成两组，每组中各数之和相等。

这意味着每

个数之和都是偶数。我们记

那么：

都是

的倍数。

所以，

也是

的倍数

注意到

，所以

是

的倍数，所以

是

的倍数

这个时候，我们去考虑数组

，很显然也符合题意

同上述操作知：

也都是

的倍数

以此类推，

（

是整数）是整数组且满足条件

从而显然得到：

（通过无穷递降＆最小值原理）

例二：求证：方程

没有非零整数解

分析：

注意到等式左边一定大于

，故等式右边也一定大于

不妨令

大于

（不然就有有且仅有两个数

小于

，此时用

代替即可）

假设有解，设为

并且不妨令

均大于

观察到右边是

的倍数，故左边是

的倍数。

故左边

中至少有一个是

的倍数，所以右边是

的倍数。

这个时候，我们

可知，

均为偶数。

从而可以得到：

也是整数。

想到这里，我们肯定会想，诶，是不是可以用无穷递降了？

但是带入之后，我们发现：诶，右边系数变为

了！！

方程变了...

好了，失败...（我就是这么做错的）

但是这给了我们一些启示，右边系数变成了

，能否再推出

也是偶数呢？

事实上是可以的。两边

，即可得出该结论 。

以此类推，

（

是整数）也满足题意且是偶数。

取

足够大即可推出矛盾。（这里可以用大小估值推出，也可以用最小值原理推出）

---

理解了无穷递降法和最小值原理的基本运用，我们就可以更上一层楼了。

---

II.进阶

例三：已知奇数

满足

求证：

是完全平方数。

分析：

奇数意味着我们可以设

,

＞

将其带入，不难得到

，设有解

1.

，则

，显然得证！

2.

＞

，设

，不妨假设

就是所有解中

和最小的一组解。

此时我们固定

，若

，带入得：

，显然矛盾！

若

我们要证明的结论显然成立，在此就不赘述了。

我们不妨假设

＜

，

＞

的情况。

构造二次函数

开口向上。设两个根为

由韦达定理，

，所以

是整数。

注意到

，

＜

所以

＜

由

和的最小性，得：

若

，则

，带入得：

考虑到

是整数，所以

是完全平方数

若

，则

，即

，显然矛盾！

3.

＜

，记

，再进行同样操作，也可得证！（这一部分交给读者）

综上，命题得证！

例四：求证：方程

有非零整数解当且仅当

或

这就是著名的马尔科夫方程（大概？）

分析：

时，取

即可。

时，取

即可。

我们

已经证明了无解，故只需考虑

＞

的情况。

对于某个给定的

，假设有解。我们设

是

和最小的一组解

不妨设

，构造函数

开口向上

方程显然有根（

就是），设另外一个根为

（可以和

相同）

由韦达定理，

＞

，

＞

故

＞

，由

和的最小性，知：

注意到

，

因为

＞

，所以易得

小于

，又

所以

位于

之间，由

，得：

＜

＜

这与

相矛盾！

从而

＞

时，原不定方程无解。

综上，当且仅当

或

，方程

有非零整数解。

---

III.总结

写这个东西，实在是太累啊！！！

所以剩下的题目我放到下次写。（咕咕咕）

PartI的引入还是比较好懂的。

对于PartII，我们发现：最后其实都用到了构造函数的方法。

套路：用这种上述方法，我们可以得到一个方程。

1.设有最小解

2.固定此时的

3.定序

4.构造函数

（值得注意的是，这个函数把

带入的时候就是原来的方程）

5.由韦达定理找出另一个解

6.考虑

与

大小

7.由最小值原理推出矛盾

---

IV.尾声

感谢你能读到这里

如果有错的话，请在评论里指出，谢谢！

End.（By：隠すの宸、独孤宸君

---

V.后续

EP2已发布，有兴趣可以去看看（3.29）

独孤宸君：最小值定理、无穷递降法的简单运用（二）​zhuanlan.zhihu.com