关于分析关系的几何暴算

原创

Uysieot
Uysieot

简单读写

2026年10月23日 04:38
四川

去阅读

娃最近在做数学题。遇到几何，最麻烦的事情是，怎么才可以不超纲。

然后现在经常遇到题，都是求最大最小值这些，实际上正常情况下，只要把式子列出来了，然后用各种方法都可以很快得到值，只要是填空题。

但是在遇到解答题要写过程的时候，就有点懵，必须要用纯几何方法还不能超纲那种。

然后我就想起了之前的一个几何解题工具。这个工具有一个功能，就是约束好了后，可以算一个点的轨迹。比如这个题，B是在X上轴的动点，AC固定，圆是内切圆，DE⊥AB且和圆相切的时候，D的可能的运动轨迹。

然后我就看到了之前分析 2024CMO 几何题的一些记录了。

这个有一个比较大的功能。就是可以分析所有的相似全等和所有的共圆相切几个点共线、等长这些。当时做自动证明的时候做的工具。其实几年前我都可以做所有的几何题了，在我的工具辅助下，虽然脑子笨点，但是将就可以做。本来是要去挑战吴宇培的，但是现在的AI这么强大，大家都用工具也没意思，所以就懒得去搞了。

今天优化了一下这个，大概解几年前的这道题，在2秒之内吧（前提是翻译为数学语言），总的来说比用AI还是快得多。

当然也有一个代数分析工具。所以当时我代数也想和吴宇培玩玩。但是AI来了，做题都没意思了。

数论的工具我其实也做完了。我整理了无数的数论的公式，可以在几个条件下，自动地找联系。反正仝老师的宝宝巴士，也算是完全能解了。简单题也算是达到了自动证明的地步。

然后就是离散数学了吧。

其实我不想玩竞赛的东西的，本身唯一的信念也就是为了打败吴宇培。现在大家都不做题了，就觉得真的没意思了哎。所以离散这块，可能就遥遥无期了。

现在谁发一道题出来，都是争先恐后去用AI搞答案。现在AI又这么强大，搞得大家都不想弄了。

突然想起那个陶哲轩，一直在质疑AI公司去做数学。其实我也还是觉得AI破坏了做数学的乐趣。但是怎么说呢，自己的娃，自己都不一定说得听，怎么可能期待去说服别人了？

既然存在，就一定合理了。这些东西可不是道德可以约束的。

对于数学这一块，我现在是拒绝AI的。特别是我看到一个娃做题抄AI答案，欺骗爸妈欺骗自己的时候。甚至考试也带手机去作弊的时候。我就觉得，这个事情的乐趣啊，真的没了。