序数是什么意思_一些有意思的题目的合辑（其一）

最近想把自己以前有过的一些好想法记下来，

用的还不是很顺手所以就决定发在知乎上了，以后大概会慢慢更新，毕竟不是什么时候脑子都好用（

这些题目有很多都是我和一个朋友一起讨论过或者是各自给出了证明，抑或是他得到的结果。现在他刚上高二在准备考

，我们之间的联系也很少了，到现在我还是很怀念原来和他一起讨论问题的时光。祝他顺利考入

！

---

1.设

遍历以自然数为底及指数（大于

）的，所有可能的乘幂，并且每个乘幂只通过一次。求证：

查了一下这个问题的提出者是

，不妨假设

那么集合

构成了

的所有可能取值，那么：

不难发现我们可以利用等比数列的展开方式有：

重新分组有：

再求一次和有：

最后一个等式用了

的定义

这个题目提供给了我校华协讨论

---

2.计算极限：

一开始我拿到题目的时候我是觉得我被钓鱼了的，，，，因为其实一开始我没什么思路而且也没见过极限里面套积分的题目（那个时候还是在高三寒假）。所以我发到

上去了，网友@Fagiro给了我往渐近上去想的提示，之后我完成了解答。后面朋友给出了另外一种解答方法我也觉得挺好的。

法一：考虑

函数：

，其中

是欧拉常数。

不难发现

，再考虑

函数的渐近函数

然后全部带进去求一下极限就可以得到答案

法二：

这里

依等比数列的展开方式有

考虑

函数

可得：

这个题目也提供给了我校华协讨论

---

3.证明三角恒等式

这个问题是别人问我朋友的，感觉挺有意思但是我也证不出来，朋友评论了一句：“不是排斥问难题，但是别太好高骛远。”

粗略的看了一下在A神 @Aries 的这篇文章

Aries：数学装逼神器——高端三角恒等变换​zhuanlan.zhihu.com

里好像没有所以就打算搬运一下。

考虑等式：

，利用三角函数欧拉公式：

也即：

对

记:

当

时：

当

时：

最后求一下和得到

确实有点好高骛远了。。。。。。

这个题还是提供给我校华协讨论了

---

4.若

，证明：

借助了某个神秘力量我完成了证明：

即证

不妨设

，可证：

亦即：

由

不等式即证

朋友的解法更难想一点：

---

5.

阶有向图最多能有几个

阶回路？

这个问题是一个开放性问题，最早是高考百天的时候同学问的，可以转化成这个模型。我想了一天没有想出来，然后去问了我班竞赛大佬，结果他和我说这就是个基础结论（惨遭降维打击

当时我的想法是考虑竞赛图，然后递推。发现这个递推要

阶

阶推，也就是对

分奇偶。但是后面变复杂了（并不是直接递推，还要改原来的图），就没搞下去。

之后我也没时间继续研究下去了，考试完以后我正好碰到知乎上有一个同学写了一篇关于图论的文章，我就去问了一下结果他也没写出来。

直到前几天数院副院长在宣组合数学群的时候我提了这个问题，有幸得到了解答，参考论文：

https://arxiv.org/pdf/0906.4027.pdf​arxiv.org

然后我查了一下百度百科发现人家就是专门研究组合和图论方向的，得到大佬指点也是一个不错的体验。

---

6.在三角形

的三边上分别有三点

，如图，且

，求证：

这个是别人问的，本来我是想把 @Clark 的这篇

Clark：网红题（2）——中点三角形​zhuanlan.zhihu.com

给他的，结果人家要纯几何做法，于是写了一下

但是我觉得这个做法还是有一点不太好（我也讲不太清楚）

当然这个对于几何比较好的同学来说不过是小菜一碟

---

7.还是一个几何题，好久以前写的。

一开始是某次联考考了一个题目考了费马点，然后那天晚上我就手推了一下怎么确定费马点。我就是记得原来看过一个同学写的如何用物理方法推费马点的尺规作图就记住了怎么画，但是很可惜那个时候他没有给出几何上的证明。

其中的引理即根心定理

之后我用类似的思想解决了一些函数上的问题，具体什么题目记不得了。

---

8.若

,证明：

这个题是我被钓了，但是我在知乎看到了予神写了一个思路，然后第二天就有人贴答案了。具体哪个问题找不到了（予神两千多条回答太难找了）

大概是转化右边：

然后左边再处理一下比如说：

然后就差不多可以了（

感谢 @向禹 老师指路

https://mp.weixin.qq.com/s/_4cGxbzDA3416h6PGO9C1g​mp.weixin.qq.com

之前看到的解答就是这个

---

9.最近看《代数学引论》的时候看到习题里面的一个恒等式：

这个恒等式我在以前就写过了，在知乎也回答过相关的问题（不过不是为了证明这个恒等式

下面证明一下：

由倍角公式

将

视作整体有

为方程

的根，由韦达定理即证。

由这个命题可以得到著名的结果

，交由读者自行探索（或者看我之前的回答）

---

10.还是《代数学引论》里面的一个习题，里面说“下述论断是非平凡的，若

，如果

是整除

的一个素数，则

”

当然这道题是让你用这个结论证明存在无穷多个形如

的素数。但是如果只写这个题的话就太没意思了，我们来证明这个“非平凡的结论”：

由于集合

关于乘法封闭，于是我们只需要证明：

，

使得

法一：引入

记号，在这之前我们还要知道

符号：

设素数

，定义整变量

的函数

我们将

称为模

的

符号。

如果不知道啥是二次剩余建议不要往下看了，因为他们的一些性质在这里只会指出但并不会证明。

其次，我们利用这个

符号来定义

符号：

设奇数

，

是素数，定义：

，注意这里

是

符号，而

正是

符号。

我们需要利用这个函数的两条性质：
其一、若

，有

其二、

回到原题，

存在整数

使得

，对有序对

，其中

，不难发现这里总共有

个有序数对，由抽屉原理，

于是

而

，可知

证毕

法二：事实上我们也可以站在更高的高度看这道题。

先看一个命题：
若素数

在高斯整数环

中有非平凡分解，则

，其中

是

中的素元.

这个命题并不是我们的主要阐述对象，我们将利用它证明我们的待证结论。

很明显我们只需要证明素数

在

中仍是素元的充要条件是

（请读者思考这是为什么）

注意到

，

，或

.

因此对于在

中不是素元的奇素数

，利用上述命题，有：

另一方面，

时，令

于是

假定

是

中的素元，由等式

可知

中有一个被

整除，但是

这明显是不可能的.

即证毕!

---

写到这里知乎编辑器已经开始抽风了（

可能会考虑再开一篇

还有挺多题目其实已经发到知乎上了我就不再赘述，以后碰到有意思的题目还会更新的。