逆袭数学

对于一个函数f(x)f(x)和一个点M(a,b)M(a,b),令s(x)=(xa)2+(f(x)b)2s(x)=(x-a)^2+(f(x)-b)^2,若P(x0,f(x0))P\left(x_0,f(x_0)\right)s(x)s(x)取到最小值的点,则称PPMMf(x)f(x)的“最近点”。

(1)对于f(x)=1x(x>0)f(x)=\dfrac{1}{x}(x>0),求证:对于点M(0,0)M(0,0),存在点PP,使得点PPMMf(x)f(x)的“最近点”;

(2)对于f(x)=exf(x)=\mathrm{e}^xM(1,0)M(1,0),请判断是否存在一个点PP,它是MMf(x)f(x)的“最近点”,且直线MPMPy=f(x)y=f(x)在点PP处的切线垂直;

(3)已知y=f(x)y=f(x)在定义域R\mathbf{\mathbf{R}}上存在导函数f(x)f'(x),且函数g(x)g(x)在定义域R\mathbf{\mathbf{R}}上恒正,设点M1(t1,f(t)g(t))M_1\left(t-1,f(t)-g(t)\right)M2(t+1,f(t)+g(t))M_2\left(t+1,f(t)+g(t)\right)。若对任意的tRt\in\mathbf{\mathbf{R}},存在点PP同时是M1,M2M_1,M_2f(x)f(x)的“最近点”,试判断f(x)f(x)的单调性。

第一问

第二问

第三问思路分析

第一问

思路分析

新定义理解:

详解

s(x)=(x0)2+(1x0)2=x2+1x2\large s(x) = (x-0)^2 + (\frac{1}{x}-0)^2 = x^2 + \frac{1}{x^2}

根据基本不等式,x=1时取得最小值x=1时取得最小值

(1,1)是最近点\large \colorbox{yellow}{\(点(1,1)是最近点\)}

第二问

内容提要:

  1. 计算 s(x)s(x)s(x) 和 s'(x),求出最近点
  2. 判断垂直

s(x)=(x1)2+e2xs(x)=(x-1)^2 + e^{2x};

s(x)=2(x1)+2e2xs'(x)=2(x-1)+2e^{2x};

可以观察出:s(0)=0s'(0)=0

并且 2(x1)2(x-1)2e2x2e^{2x} 都是严格增函数,所以 s(x)s'(x) 也是严格增函数;

x<0s(x)<0,x>0s(x)>0\therefore 当x\lt 0时s'(x) \lt 0, x\gt 0时s'(x) \gt 0

x=0时,s(x)取得最小值\therefore x=0时,s(x)取得最小值

P=(0,1)\large \colorbox{yellow}{\(P=(0,1)\)}

MP的斜率为:0110=1\dfrac{0-1}{1-0}=-1

f(x)=ex    f(0)=1    切线斜率为1f'(x)=e^x\implies f'(0)=1\implies切线斜率为1

直线MPy=f(x)在点P处的切线垂直\large \colorbox{yellow}{\(直线MP与y=f(x)在点P处的切线垂直\)}

第三问思路分析

破局的关键点:

Mt=(t,f(t))M_t = (t, f(t)),很显然这个点在函数图像上。

观察出 MtM_tM1M_1M2M_2的中点;

进而得出结论:最近点只能是:Mt\large \colorbox{yellow}{\(最近点只能是:M_t\)}

可以用反证法证明:

设最近点为 PP,有 PM1MtM1,PM2MtM2PM_1 \leq M_tM_1,PM_2\leq M_tM_2

两个相加得到:PM1+PM2M1M2PM_1 + PM_2 \leq M_1M_2

和三角形两边之和大于第三边矛盾

s1(x)=(xt+1)2+[f(x)f(t)+g(t)]2; s_1(x) = (x-t+1)^2 + [f(x)-f(t)+g(t)]^2;

s1(x)=2(xt+1)+2[f(x)f(t)+g(t)]f(x); s_1'(x) = 2(x-t+1) + 2[f(x)-f(t)+g(t)]\colorbox{yellow}{\(f'(x)\)};

(t,f(t))\because (t, f(t))是最近点,s1(t)=0\therefore s_1'(t)=0;

2+2g(t)f(t)=0    f(t)=1g(t)2+2g(t)f'(t)=0 \implies f'(t)=-\frac{1}{g(t)}

g(t)恒大于0\because g(t)恒大于0

f(t)<0    f(x)严格减\therefore \colorbox{yellow}{\(f'(t)\lt 0 \implies f(x)严格减\)}

沪ICP备15035202号-1