同一骨架 2015 年中科大少年班初试 第 11 题 · P010021
先把等幂或指数幂等式取对数,识别同一对数商的两个单调分支;再用两根的比值消去公共水平,化成同一个锐对数不等式,控制两根之间的非对称性。
指数幂一题还要处理全域参数界,换元后控制的是两对数根之和;等幂一题先控制原根的几何平均再回到和,两个结论不能只凭峰点位置猜出。
已知
(1)若 恒成立,求 的最大值;
(2)若 是 的两个零点,且 ,证明: 。
这是解答题,请在纸上写出完整过程。写完后对照解答给自己评分。
先独立尝试,再展开工具说明与想法来源。
先回想这道题的想法,再试试当前题。
取对数只要求原比较两边正;ln t>2(t-1)/(t+1)对t>1可由导数(t-1)²/[t(t+1)²]>0证明。
想法从哪来:指数与任意实幂比较先取对数,恒非负问题就变成x与a ln x的比较;x在一两侧对数符号不同,不能统一直接相除。为找最大参数,可先在x>1上求x除ln x的下界,再验证候选在零到一区间也成立;临界点代入可排掉所有更大参数。双零点问另需先确认a为正且两个根都大于一,才可用它们的对数作变量。相同参数给出同一函数两支的等高关系,再以两对数之比消去一者,根和下界化成一个标准严格对数不等式。不同根保证比值大于一,使最终严格号保留。
零点与恒正条件在取对数后都由函数 控制。第二问再令 , 把同一参数对应的两个分支关系化成标准对数不等式。
(1)当 且 时,。当 时, 等价于
函数 在 时取得最小值 ,故 时原不等式对所有 成立, 而任何 都在 处失败。因此最大值为
(2)若 ,则等式 在 无解,而在 上至多一解; 故存在两个零点时必有 ,且 。令
则 ,由 取对数得
又 ,所以
令 ,则
对 ,
因为两边之差在 为 ,导数为 。故 ,进而
第一问在 处取得临界等号。第二问的对数均在正数上进行,且两个不同零点保证 ,所以严格不等式成立。
与 的比较通过取对数化为 与 ;同一参数的双根问题则转为 的两支,并由对数均值不等式比较两根之和。
第一问求x/lnx的全域下界,第二问另须以两对数根之比消参,证明严格对数界才能控制零点和。
同一骨架 2015 年中科大少年班初试 第 11 题 · P010021
先把等幂或指数幂等式取对数,识别同一对数商的两个单调分支;再用两根的比值消去公共水平,化成同一个锐对数不等式,控制两根之间的非对称性。
指数幂一题还要处理全域参数界,换元后控制的是两对数根之和;等幂一题先控制原根的几何平均再回到和,两个结论不能只凭峰点位置猜出。
已记下,谢谢!