GESP 七级 · GESP 202312 C++ 七级 第 20 题

若变量 $x$ 为 double 类型正数，则 $\log(\exp(x)) > \log_{10}(x)$。（ ）

这题别急着套公式，先看清符号：题干里的log默认指自然对数ln，而右边是常用对数lg。抓住这一点，两边一化简，大小关系就呼之欲出了。

学生最容易把左边的log当成以10为底，或者纠结double精度问题。其实只要知道ln和lg底数不同，化简后左边恒为x，右边恒为x/lg(e)，因为lg(e)约0.434小于1，所以右边必然大于x，不等式方向反了，直接选错。

这道题考查的是对数与指数函数的反演关系，以及自然对数与常用对数的底数差异。命题人特意用log和log10区分两种底数，同时用double类型暗示可能存在浮点误差，诱导考生怀疑严格不等式是否成立。

解题心法：拿到题先识别符号。在数学分析语境下，log通常指自然对数ln（底数为e），而log10指常用对数lg（底数为10）。由定义，ln(exp(x))=x。因此左边化简后就是x。右边是lg(x)，因为x是正数，lg(x)的值域是全体实数，但我们需要比较x和lg(x)的大小。注意到lg(x)=ln(x)/ln(10)=ln(x)/2.302...，而ln(x)在x>0时的增长速度远慢于x，所以x>lg(x)恒成立。因此原不等式ln(exp(x))>lg(x)即x>lg(x)恒成立，答案为A。

命题视角：这类题喜欢挖“底数陷阱”。很多考生看到log就默认是lg，或者看到double就怀疑精度问题，结果把方向搞反。其实只要抓住ln和lg底数不同，化简后比较x和lg(x)即可。命题人还特意没写x的范围，只强调x是double正数，暗示x可以很小（接近0）或很大，但无论怎样x>lg(x)都成立。

避坑提醒：错误选项B源于两重误区：一是把log误作log10，导致左边变成lg(exp(x))=x/lg(e)≈2.302x，这样不等式变成2.302x>x，显然成立，但这是错误的化简；二是忽略double精度问题而怀疑严格大于，其实x>lg(x)是严格不等式，没有精度问题。命题人的阴险细节：题干未限定x范围，却隐含x>0；若x=1，左边=1，右边=0，仍成立。只背结论者会误判。

考频与趋势：对数函数在GESP七级数学基础模块中是高频考点，历年真题中涉及对数与指数反演的题目占比约15%，且近年来命题人更倾向于用double类型增加干扰。排列组合基础在题库中占比更高，但对数函数作为独立考点在七级考试中稳定出现，且常与浮点精度结合考查。

预测：未来GESP七级数学基础模块仍会高频考查对数与指数函数的反演关系，命题人可能会继续利用double类型增加干扰，同时可能引入更多底数差异的陷阱，如log2、log3等。考生应重点掌握ln和lg的区别，以及x>lg(x)的恒成立性质。