嘿，这个问题问得太到位了——我当年学微分中值定理的时候也天天挠头，总觉得构造辅助函数像碰运气，直到摸清楚背后的逆推逻辑就通透多了！先帮你梳理下这类问题的共性：都是给定在闭区间连续、开区间可导的函数$f$，要证明存在某个$c\in(a,b)$，使得$f'(c)$满足特定等式。你举的几个例子完全是这类问题的典型：

• $f: \mathbb{R} \rightarrow (0,\infty)$，$f$可导且$f(1)=1$，证明存在$c$使得$e^{2021\frac{f'(c)}{f(c)}} = f(2022)$
• $f$在$\mathbb{R}$可导，$a>0$且$f(a)=0$，证明存在$c$使得$f(c)+2cf'(c)=0$
• $f$在$[0,1]$连续、$(0,1)$可导，$f(0)=0$，证明存在$c\in(0,1)$使得$f(1)(f(1)-1) = f'(c)(2f(c)-1)$
• $f$在$[a,b]$连续、$(a,b)$可导，且$f(x)\neq0$对所有$x\in(a,b)$，证明存在$c$使得$\frac{f'(c)}{f(c)} = \frac{1}{a-c} + \frac{1}{b-c}$

这类问题根本不需要“瞎猜”辅助函数，核心思路是逆推构造——从目标等式出发，把它转化为某个函数的导数在$c$处为0的形式，再反推出这个辅助函数。下面给你一套通用步骤，再结合例子拆解：

通用构造方法 #

步骤1：把目标等式转化为“导数为0”的形式 #

把等式里的$c$换成$x$，然后把所有项移到等式一侧，整理成$H'(x)=0$的结构，其中$H(x)$是某个待求的辅助函数。

步骤2：逆推辅助函数$F(x)$ #

通过积分、或者回忆导数的运算法则（乘积法则、商法则、复合函数求导），反推出$H(x)$的原函数——也就是我们要的辅助函数$F(x)$。如果遇到类似$f'(x)+P(x)f(x)=Q(x)$的线性形式，还可以用积分因子法：两边乘$e^{\int P(x)dx}$，左边就变成了$\frac{d}{dx}[f(x)\cdot e^{\int P(x)dx}]$。

步骤3：验证定理条件 #

确认$F(x)$满足罗尔定理（或拉格朗日中值定理）的要求：闭区间连续、开区间可导，且端点处函数值相等（罗尔定理），或者符合中值定理的区间条件。

步骤4：应用定理推导结论 #

对$F(x)$应用罗尔/中值定理，得到存在$c\in(a,b)$使得$F'(c)=0$，再反推回原目标等式即可。

结合你的例子拆解 #

例子1：$e^{2021\frac{f'(c)}{f(c)}} = f(2022)$ #

1. 先取自然对数简化：$2021\frac{f'(x)}{f(x)} = \ln f(2022)$，移项得$2021\frac{f'(x)}{f(x)} - \ln f(2022) = 0$
2. 逆推原函数：左边的积分是$2021\ln f(x) - x\ln f(2022)$，所以辅助函数$F(x)=2021\ln f(x) - x\ln f(2022)$
3. 验证端点：$F(1)=2021\ln1 - 1\cdot\ln f(2022)=-\ln f(2022)$；$F(2022)=2021\ln f(2022)-2022\ln f(2022)=-\ln f(2022)$，显然$F(1)=F(2022)$
4. 应用罗尔定理：存在$c\in(1,2022)$使得$F'(c)=0$，反推就得到原等式。

例子2：$f(c)+2cf'(c)=0$ #

1. 整理成导数形式：$2xf'(x)+f(x)=0$，两边除以$2\sqrt{x}$（$x>0$）得$\frac{d}{dx}[\sqrt{x}f(x)]=0$
2. 辅助函数直接取$F(x)=\sqrt{x}f(x)$
3. 验证端点：$F(0)=0\cdot f(0)=0$（$f$可导故连续，$f(0)$有限）；$F(a)=\sqrt{a}\cdot0=0$，满足$F(0)=F(a)$
4. 罗尔定理给出存在$c\in(0,a)$使得$F'(c)=0$，化简后就是原等式。

例子3：$f(1)(f(1)-1) = f'(c)(2f(c)-1)$ #

1. 移项得$f'(x)(2f(x)-1)-f(1)(f(1)-1)=0$，左边的积分是$f(x)^2 - f(x) - x\cdot f(1)(f(1)-1)$
2. 辅助函数$F(x)=f(x)^2 - f(x) - x\cdot f(1)(f(1)-1)$
3. 验证端点：$F(0)=0-0-0=0$；$F(1)=f(1)^2-f(1)-1\cdot f(1)(f(1)-1)=0$，满足$F(0)=F(1)$
4. 罗尔定理推导即可得到结论。

例子4：$\frac{f'(c)}{f(c)} = \frac{1}{a-c} + \frac{1}{b-c}$ #

1. 移项得$\frac{f'(x)}{f(x)} - \frac{1}{a-x} - \frac{1}{b-x}=0$，左边积分是$\ln[f(x)(a-x)(b-x)]$
2. 辅助函数$F(x)=f(x)(a-x)(b-x)$
3. 验证端点：$F(a)=f(a)\cdot0\cdot(b-a)=0$；$F(b)=f(b)\cdot(a-b)\cdot0=0$，满足$F(a)=F(b)$
4. 应用罗尔定理，求导后化简就能得到原等式。

总结 #

本质上，这类问题就是“导数逆运算”的应用——把目标等式还原成某个函数的导数，这个函数就是我们的辅助函数。多练几个例子，你就能快速识别出等式对应的导数结构，再也不用靠碰运气啦！

备注：内容来源于stack exchange，提问作者evolved_antenna