各位专家老师、同学们，大家好，我是来自杭州第七中学的吴京。在AI席卷全球的今天，我们不禁思考高考数学究竟在考什么？今天让我们以天清卷压轴题20题为例来回答这个问题。我让最新版的deep seek来解这道题，大家猜猜结果如何？第一问求切线，完美解答。第二问零点分析50%概率出错，终极证明百分之百失败。最新研究显示，AI在常规计算上正确率超95%，但在需要深度数学思维的题目上表现断崖下跌。这揭示了一个关键命题，高考数学的本质是考察人类独有的深度思维。今天请大家和我一块从以上四方面揭秘人类深度思维的形成过程。请大家欣赏此题。本题函数是由基本初等函数X与lin x通过四则运算得到的复杂函数X前增加参数A并且对lin x采用了平方的处理，增加了求解的复杂度。第一问确定参数A求切线方程。第二问第一小问研究零点问题。第二小问为000点的多元不等式，证明本题难度逐步增加，符合低起点、多层次、高落差的命题原则。第一问求切线方程，A为定值，求该点的导数即为切线斜率。求切点，根据点斜式即完成求解。在求解过程中出现的X分之ln x为常见的函数，由此可知，X分之1X小于等于1分之1，X分之2 lin x小于等于1分之2，小于一。故F1撇X大于0，FX单调递增。所以当A等于一时，函数图像单调递增，发现函数有一个零点，那随着A的变化，零点个数会发生怎样的变化呢？我们可以看A变化时的动图，自然的第二问，第一小问就让我们研究零点个数问题。我们可以从数和形的角度来思考此类问题。从数的角度考虑就是求方程的解，从形的角度考虑就是求函数的焦点。本题为代参零点问题，直接求解方程不可行。那如何从形的角度考虑转化成函数交点问题呢？带参函数参变分离是个好办法，将其参变分离，即求HX等于X分之ln x平方与Y等于A在X大于零有三个交点。求导研究HX单调性可得X属于1到1方，HX单调递增，X属于01和E方到正无穷。HX单调递减可知，X趋向于零时，极限为无穷大除以无穷，再结合正负性得到趋向于正无穷，X趋向于正无穷时，极限为无穷大除以无穷大。判断极限就需要借助洛必达法则，满足洛比达法则条件，即可将其转化成导数的极限。在解题过程中，如果一次洛必达法则不够，那就采用两次，故而求得X趋向于正，无穷时极限趋向于0。结合图像一得。A大于0小于E方分之40，有三个焦点。此方法将函数参变分离，分离后可消除参数对函数影响，降低解题计算量。但除此之外还有其他的拆分形式吗？直线也是我们比较熟悉的模型，可以将其拆分成lin x平方与Y等于AX求这两个函数的交点。原题也就转化成HX与Y等于AX有三个交点，求一阶导数研究HX单调性，X属于一到正无穷，HX单调递增，X属于01，HX单调递减。单单知道单调性难以判断与直线的交点，还需要知道函数的凹凸性。若函数二阶导数大于0，则一阶导数单调递增，函数下突如图所示。若函数二阶导数小于0，则一阶导数单调递减，函数上凸图像如图所示。下面求解HX的二阶导数，X属于E到正无穷，HX上突，X属于0到EHX下凸，容易求得极限情况。下面我们根据这些信息绘制函数草图。在0到1函数单调递减下突，在E到一函数单调递增下凸，在E到正无穷函数单调递增上突进，而绘制函数图像。求过原点的切线方程为Y等于零与Y等于E方分之4X。结合图像，已知A大于0小于E方分之四时，图像有三个交点取值，结合也可以完成求解。但借助切线需要注意研究函数二阶导数，判断函数凹凸性。在考场上如果想不到如上的形式转化，可否直接研究FX与X的焦点呢？直接研究FX即研究代参函数求导，研究单调性、导数代参求解较为困难。不妨令Y等于X分之2乘以X研究该函数图像。该函数为我们熟知的函数图像容易求得，不在此赘述。当A小于等于零时，已知F1撇X等于0，有一节FX不可能有000点。当A大于等于1分之2时，已知F1撇X大于等于0，FX也不可能有000点。所以000点的情况只能是A大于0小于1分之2。此时F1撇X等于零有两解，设F1撇X等于0的解为T1T2则X属于0到T1T2到正无穷，FX单调递增，X属于T1到T2，FX单调递减。如图观察图像，此时只有一个零点，那怎么样会出现000点呢？只需要保证FT1大于0，FT2小于零即可，因为F1等于A大于0，根据单调性可知，FT1大于F1大于0，因为A等于T2分之2 lin TR，所以FTR等于ATR减lin TR的平方，用TR代替A变成单变量，式子小于0，求得P2大于E在确定A的范围。综上A大于0小于E方分之4。本题从函数交点的角度来求解零点个数，可以参变分离，取值结合，将其转化成两个函数的焦点。也可以直接研究FX与X轴的交点，研究了零点个数，那这些零点之间是否存在某些关系呢？第二问的第二小问为000点的三元不等式证明问题。作为压轴题的第三问，该题难度较大，若考场上感觉无从下手该怎么办呢？罗夫斯曾说，分析问题是解决问题的第一步。我们可以罗列题目中的条件，X1、X2、X3是A等于X分之ln x平方的三个解，而树形结合往往可以给我们更加直观的体会。我们结合图像来看一下这个条件，在A变化的过程中，我们发现X2、X3位于X等于E方的左右，这非常像极值点偏移的题目。另外考虑临界值也会给我们新的思路，当A等于E方分之四这一临界情况时，发现XX2等于X3等于E方，此时发现LEX2乘以lin x3等于4，结合原不等式，我们是否可以证明lin x2乘以lin x3小于四呢？若该不等式成立，后续只需要证明负lin x1乘以lin x3小于一减一分之。此刻，这也为该题的证明明确路径，将其拆分成两个不等式进行证明。下面来看具体的解答过程。根据分析，将证明拆分成两个不等式证明。第一个证明为极值点偏移的题型，证明lin x2乘以lin x3小于4，而极值点偏移中通常研究的是自变量相乘，或自变量相加固定TI等于ln XI则T2T3为方程A乘以E的T次方等于T方的两个解不等式，证明转化成T2乘T3小于4。极值点偏移问题，构造对称差函数是常用的方法，两边取对数后将乘除运算转化成加减运算较为简单，故两边取对数设GT等于2，lin t减T图像容易绘制，取特殊位置发现T2等于T3等于2，也就是T3等于T2分之4。当lin a移动时，T2小于2则T2分之4大于2，那T2分之4是位于T3的左边还右边呢？如果位于右侧，则有T2分之4大于T3，不等式就得到证明。借助GT在T大于二单调递减，也就有GT2分之4小于GT3又因为GT3等于GT2，也就是证明GT2分之4小于GT2。就此将双变量问题变成单变量问题。解决单变量问题可以构造函数，设ml t等于GT减去T分之4，化简得到为二老影四分之T方减T加T分之4。对米UT求导可得米OT单调递减，因为缪二等于0，当T大于0小于二时缪T大于0，即GT大于GT分之4。因为T2大于0小于2，所以TGT2大于GT2分之4，该不等式成立，所以原不等式也成立。我们再将这个过程用数学语言表达出来即可。构造对称函数的本质就是将双变量变成单变量。那除了构造函数还有其他的方式吗？我们也可以采用比值代换，写出A与T2T3的等量关系后将两式相除得到T2的平方分之T3的平方等于E的T3减T2次方。设T2分之T3等于P因为T3大于P2，所以P大于一则P方等于E的T3减T2次方，两边取对数得到2 ln p等于T3减T2。由以上两个新式即可得到T2和T3的表达式，可将P2P3化解为值与P相关的单变量式子P减1分之2 ln p的平方乘以P但该式结构复杂，直接求导研究较为困难。其实我们需要证明的是，T2乘以T3小于4，也就是证明P减1分之2 ln p的平方乘以P小于4，也就是证lin p的平方乘以P减P减一的平方小于0。将乘除运算转换成加减运算，降低运算量，可设GP等于lin p的平方乘以P减P减一的平方，只需证明P大于一时，GP小于零即可。对GP求导可得，P大于一时，三阶导数小于0。因为在X等于一处二阶导数等于0，所以二阶导数小于0。在X等于一处一阶导数等于0，所以一阶导数小于0。X等于一处函数值等于0，所以GP小于0，原不等式得正。彼时代换方法与构造对称差函数一样，都试图将双变量不等式转化为单变量不等式。那除了校园解决多元不等式问题，还有没有其他方法呢？还可以采用一些重要的不等式，例如在本题中采用对数均值不等式。对数均值不等式需要出现对数，所以对该式两边取对数，则T2、T3满足如上式子，将两式相减得到二等于ln t2减lin t3分之T2减T3，由对数均值不等式可以得到二大于根号T2乘以T3，求得T2乘以T3小于4。使用对数均值不等式大大降低了题目的运算量。Lin x2乘以lin x3小于4，证明完毕，再证负lin x1乘以lin x3小于一减1分之4。这个不等式和前一个不等式看起来非常相近，那是否能采用一样的证明方法呢？由图像可知，X1与X3不是极值点偏移的问题，不可以用前一个不等式的证明方法。如果无从下手，那同样从条件中寻找解题思路，X1X3范围已知，可否借助X1X3已知的范围进行放缩呢？那需要将lin x一与lin x3转化成X1X3，因为lin x一小于0，lin x3大于0，所以lin x一等于负根号AX1，ln x3等于根号AX3。矩阵A乘以根号X1X3小于一减1分之4，因为X一小于1A等于X3分之lin x3的平方，所以A根号X1X3可用X1小于一进行放缩，然后将A用X3进行代换，通过放缩与代换将其变成单变量。下面只需证明根号X分之ln x的平方小于一减1分之4即可。可以构造函数，设GX等于根号X分之ln x的平方。对函数求导可得X属于1到1的四次，GX单调递增，X属于01和E的四次到正无穷据X单调递减，最大值为一方分之16。因为一方减4亿加四大于0，所以可得E方分之16小于一减1分之4，不等式成立。本题借助X1小于一进行放缩，放缩后将其变成单变量式子予以求最值。但数学家高斯曾强调，不应该重复发明轮子。在前一问中，我们已经研究了X分之ln x平方的函数，得知X分之ln x平方小于等于一方分之四。那本题中的根号X分之ln x平方可否变成这种函数形式呢？可将其变成根号X分之四倍的ln根号X平方小于等于E方分之16，再判断E方分之16与1减1分之4的关系即可。我们完成了该式的证明。借助X1小于一进行放缩，利用A与X3的关系进行变量代换，将其变成单变量式子后，可以构造函数求解最值，也可将其变成已知的函数求解最值，完成了不等式证明。面对多元不等式证明总结了四个攻略，我们需要做到临阵不慌，可以将题目中的条件罗列出来，数形结合分析、条件识别、极值点偏移经典题型若没有思路，也不妨想一想，多元不等式证明的本质为消元。波利亚曾说过，数学是一种游戏，它通过辨识来探知和发现真相。下面我们将对题目进行变形，可以从零点的个数进行变形，讨论只有一个零点的情况，也可以从函数形式上来变形，将X变为X平方，lin x变为一次，将参数放在lin x前面。当然，也可以把形式变得简单。没有平方。还可以将其中一个变为更加复杂的函数X乘以lin X。还可以从证明结论变形，证明结论需要进行转换才能变成极值点偏移的题型。完成了题目的变形，让我们来思考本题的命题源头。对比教材发现本题涉及切线、零点不等式证明均在教材练习题中有所涉及，并且难度与教材中难度一致。本题考察的函数形式为幂函数与对数函数通过四则运算组合的复合函数。这样通过指对数与幂函数构造而得的函数在教材中随处可见。比如教材中出现的Y等于X分之ln x在解题过程中多次涉及。从解题技巧来看，第二问、第二小问为集资点偏移的题型，该类题型在往年天津高考卷中有所涉及，是高考中的热点问题。近年来，在其他省份的高考卷中，也同样出现了极致点偏移的问题。下面列举部分高考真题。天津卷第二题启示我们，高考数学的命题始终扎根教材，这要求高三复习应该以课本为范本，夯实基础，避免知识裸奔。同样，高考试题往往能在历年的高考真题中找到同类题型，因此，我们训练必须以真题为载体，精准把握方向，防止复习跑偏。但高考的深层意义不止于此，在练习掌握题型的基础上，我们更要提炼模型，总结规律，做到解易题，通一类，但复习事半功倍，而非盲目难干。同学们通过这一压轴题的解析过程，我们可以清晰看到，高考数学的本质是一场思维的奥林匹克，它不单纯考察记忆与计算，而是检验人们面对复杂问题时抽丝剥茧的分析力、天马行空的想象力、严谨缜密的推理力。这些人类独有的高阶品质正是AI目前难以突破的智慧高峰。在AI高速发展的时代，我们更应该珍视并且锤炼自己的深度思考能力，因为这才是推动个人成长、社会进步的核心动力。愿我们都能在数学的思维殿堂里找到属于自己的光芒。以上就是我今天的分享，感谢大家的观看，欢迎大家批评指正。