本题导读

本题考查导数的几何意义。核心在于新定义法、零点存在定理的灵活运用。

📌【题干】

Question

(2018年江苏卷)记 分别为函数 的导函数.若存在 ,满足 且 ,则称 为函数 与 的一个“S点”.

(1) 证明:函数 与 不存在“S点”;

(2) 若函数 与 存在“S点”,求实数 的值;

(3) 已知函数 ,.对任意 ,判断是否存在 ,使函数 与 在区间 内存在“S点”,并说明理由.

🔍【思路分析】

破题导航

  1. 破译新定义(核心):
  • “S点”的代数条件:。
  • 几何意义:两条曲线 和 在 处相切(有公共点,且在该点处的切线斜率相同)。
  1. 第一问:证明无解
  • 分别求导,列出 和 的方程组。
  • 由导数相等解出 ,代入函数值相等的方程,发现矛盾,即证无解。
  1. 第二问:解方程组求参数
  • 同样列出两个方程: 和 。
  • 这是一个典型的“消元”过程。由第二个方程得到 ,整体代换到第一个方程中,消去 ,解出 。
  • 再将 代回求出 的值。
  1. 第三问:存在性证明(零点定理)
  • 列出“S点”的方程组: (①) 和 (②)。
  • 目标:证明对于任意给定的 ,总能找到满足上述方程组的正数 和 。
  • 策略(以 b 桥接):从导数等式(②)中解出 关于 的表达式。因为要求 且 ,所以必须限制 ,即 。
  • 转化为根的存在性:将 的表达式代入(①),消去 整理得到一个关于 的等式。将其抽象为一个新函数 。
  • 利用零点存在性定理证明 在区间 内必有根,从而逻辑严谨性。

✅【答案】

点击查看答案

(1) 证明见解析

(2)

(3) 存在

✍【详细解析】

Abstract

(1)证明: 对于函数 ,, 求导得 ,。 假设存在“S点” ,则满足: 由第二个方程 得 。 将 代入第一个方程: 左边 右边 显然 ,方程组无解。 因此,函数 与 不存在“S点”。

(2)解: 对于函数 ,,定义域为 。 求导得 ,。 设 为 与 的“S点”,则满足: 由方程 (2) 可得 。 将其代入方程 (1)得: 解得 。 将 代回 中,得: 当 时, 满足题意。 所以,实数 的值为 。

(3)判断与证明: 存在 ,使函数 与 在区间 内存在“S点”。理由如下:

对任意 ,构造函数 。 计算其在区间端点的值: 因为多项式函数 在闭区间 上连续,且 , 根据零点存在性定理,存在 ,使得 。 即 。变形可得: 针对这个存在且固定的 ,我们令 。 因为 ,所以 ,,,因此构造出的 。

现验证此时 是否为“S点”: ,。 求导得 ,。

将构造的 连同 代入考察导数等式: 导数等式成立。

再考察函数值等式: 由前面零点定理推导出的关系式已知 (注意:这里推导时两边同除以了 ,即 ), 所以 。 函数值等式成立。

综上,对于任意 ,存在 (由上述公式给出),使得 为 与 的“S点”。

💡【考点归纳与避坑指南】

Danger

  1. 公切线与切点重合(相切)的区别:
  • 若两曲线有公切线,设切点分别为 ,则需要列式 。
  • 若两曲线相切(即本题的“S点”),说明切点是同一个点,直接列式 且 即可。
  1. 导数中的“隐零点”与构造函数:第三问中,如果直接正面去解含有对数、指数的复杂方程组几乎不可能。标准做法是从约束最强的地方(如本题要求 推导出 )寻找突破口,然后将未知参数()表达为 的函数,代入另一个方程完成降元。最终得到的 无法求出精确解,于是利用零点定理证明其存在,这就是高等数学中“存在性证明”的经典下放。

📖【试题探源与推广】

Tip

在 Obsidian 笔记中,可以积累这个大题抢分绝技: 当遇到要证明“方程 有解”或者“两曲线有交点”,且方程无法通过代数运算得出精确根(如 )时:

  • 步骤1:构造连续函数 。
  • 步骤2:寻找两个好算的端点 。通常尝试 等特殊值。
  • 步骤3:计算 和 的符号。只要一正一负()。
  • 步骤4:直接写出结论:“因为 在 上连续,且 ,由零点存在性定理,原方程在 内至少存在一个实数根。”

🔗【关联脉络】

Multi column