ACcoders Problem 2048 题解

题意

有一个灯泡高度为 $H$，它与墙壁的距离为 $D$，$\text{Mildleopard}$ 站在灯泡与墙壁之间，身高为 $h$，他与灯光所构成的影长为 $L$，问你 $L$ 的最大长度为多少？

思路

我们设 $\text{Mildleopard}$ 与灯泡的位置为 $x$，将影长设为 $y$，求出 $x$ 和 $y$ 的函数解析式即可求出最值从而求出本题的解。我们考虑分类讨论来得出此问题的答案。

当影子不在墙壁上时

我们很容易就能看出 $△ABC\sim △PQC$，根据定理，可以得到 $\frac{AB}{PQ}=\frac{BC}{QC}$

再将式子中的线段替换成我们已知的变量，即
$$\frac{H}{h}=\frac{x+y}{y}$$

然后将其化简
$$Hy=h(x+y)$$$$Hy=hx+hy$$$$(H-h)y=hx$$

可得出函数解析式，即为
$$y=\frac{h}{H-h}x$$

但是还需要考虑函数的定义域，因为我们需要保证影子不在墙上，所以 $x+y$ 最多也就只能取到 $D$，即
$$x+y\le D$$

可将 $Y$ 带入，再化简，又得
$$x+\frac{h}{H-h}x\le D$$$$\frac{H}{H-h}x\le D$$$$x\le D\frac{H-h}{H}$$

则当前情况函数解析式为
$$y=\frac{h}{H-h}x(0\le x\le D\frac{H-h}{H})$$

当影子有一部分再墙上时

我们将 $y$ 分成了两段，分别是 $y_1$ 和 $y_2$，我们要求的 $y$ 即为它们的和。

显而易见，$y_2$ 等于 $D-x$，所以现在只需要算出 $y_1$ 也就是 $NM$ 的长度即可。

在此图中，我们仍可以构建出一个相似三角形，$△ABC\sim △PQC$，发现此组相似三角形与上一种情况完全相等，可以根据上一情况，得出 $CQ=\frac{h}{H-h}x$（下列式子中将用 $t$ 来代替 $\frac{h}{H-h}$）

我们还可以发现，可以再构建出一组相似三角形 $△PQC\sim △NMC$，又可得到 $\frac{PQ}{NM}=\frac{QC}{MC}$，再将所有我们已知的变量带入，进行替换，可以得到：
$$\frac{h}{y_1}=\frac{sx}{sx-y_2}$$

又因 $y_2$ 我们已经得出，可直接替换
$$\frac{h}{y_1}=\frac{sx}{sx-D+x}$$$$\frac{h}{y_1}=\frac{sx}{x(s+1)-D}$$$$h[x(s+1)-D]=sx\times y_1$$$$y_2=\frac{h[x(s+1)-D]}{sx}$$$$y_2=h\times [\frac{x(s+1)}{sx}-\frac{D}{sx}]$$$$y_2=h\times (\frac{s+1}{s}-\frac{D}{sx})$$

这时，我们可以再将 $\frac{h}{H-h}$ 替换回来，即
$$y_2=h\times (\frac{\frac{h}{H-h}+1}{\frac{h}{H-h}}-\frac{D}{\frac{h}{H-h}x})$$$$y_2=h\times (\frac{\frac{H}{H-h}}{\frac{h}{H-h}}-\frac{D}{\frac{h}{H-h}x})$$$$y_2=h\times (\frac{H}{h}-\frac{D(H-h)}{hx})$$$$y_2=H-\frac{D(H-h)}{x}$$

因为我们求的是 $y_1$ 和 $y_2$ 的和，所以需要再加上一个 $y_1$。并且不要忘记加定义域，人离灯泡最远的情况就是已经贴在墙上了，所以上限取到 $D$，下线就是比上一个函数定义域的上限多即可。所以第二种方案的函数解析式即为
$$y=D-x+H-\frac{D(H-h)}{x}(D\frac{H-h}{H}\le x\le D)$$

再将两者结合，构成一个分段函数
$$y=\{\begin{array}{l}\frac{h}{H-h}x(0\le x\le D\frac{H-h}{H})\\ D-x+H-\frac{D(H-h)}{x}(D\frac{H-h}{H}\le x\le D)\end{array}$$

---

然后就是取最大值。

取最大值的思路十分明确，取两段分段函数的值，然后再取最大即可。

先看第一个，它是一个正比例函数且单调递增，那么取最大值时，$x$ 就应该取 $D\frac{H-h}{H}$，那最大值即为
$$y_{max}=\frac{h}{H-h}\times D\frac{H-h}{H}=\frac{Dh}{H}$$

第二个函数的话我们可以先将其移一下项，可得
$$y=D+H-[x+\frac{D(H-h)}{x}]$$

可以发现，中括号内的式子为一个对勾函数。如果我们要让 $y$ 更大，就要让这个对勾函数取最小值。

那要怎么来取呢？这里用均值不等式来简单证一下。

将其套入基本不等式，可得
$$x+\frac{D(H-h)}{x}\ge 2\sqrt{x\frac{D(H-h)}{x}}$$$$x+\frac{D(H-h)}{x}\ge 2\sqrt{D(H-h)}$$

当且仅当 $x=\frac{D(H-h)}{x}$ 时，等号成立。所以最大值即为 $D+H-2\sqrt{D(H-h)}$，再取两式最大即可。

可这样的话您会 $\text{WA}$ 的很惨

因为是当且仅当 $x=\frac{D(H-h)}{x}$ 时，等号成立，可以取到最大值，但要是如果 $\frac{D(H-h)}{x}$ 不在 $x$ 的取值范围内该怎么办呢？凉拌

我们先将此等式化简一下
$$x^2=D(H-h)$$$$x=\sqrt{D(H-h)}$$

然后，我们再进行分类讨论。

• 如果 $\sqrt{D(H-h)}\in [D\frac{H-h}{H},D]$，那么皆大欢喜，$\sqrt{D(H-h)}$ 在 $x$ 能取到的范围之内，直接取 $D+H-2\sqrt{D(H-h)}$
• 如果 $\sqrt{D(H-h)}\in [D,{\infty }^{+})$，说明 $x$ 的取值范围在最值 $\sqrt{D(H-h)}$ 的左边，因为目前对勾函数左边单调递增，所以 $x$ 如果要取最大，一定要取到它的取值范围的右端点，即 $y_{max}=D+H-[D+\frac{D(H-h)}{D}]=h$
• 如果 $\sqrt{D(H-h)}\in [{\infty }^{-},D\frac{H-h}{H})$，说明 $x$ 的取值范围在最值 $\sqrt{D(H-h)}$ 的右边，因为目前对勾函数右边单调递减，所以 $x$ 如果要取最大，一定要取到它的取值范围的做端点，即 $y_{max}=D+H-[D\frac{H-h}{H}+\frac{D(H-h)}{D\frac{H-h}{H}}]=\frac{Dh}{H}$

将其合并成一个分段函数即为
$$y_{max}=\{\begin{array}{l}\frac{Dh}{H}(\sqrt{D(H-h)}\le D\frac{H-h}{H})\\ D+H-2\sqrt{D(H-h)}(D\frac{H-h}{H}\le \sqrt{D(H-h)}\le D)\\ h(D\le \sqrt{D(H-h)})\end{array}$$

哪个符合条件就选哪个，最后取两段函数最大值的最大值即可

代码不是很难，按照题目推出来的公式直接照搬即可

#include<bits/stdc++.h>
using namespace std;
double max(double a,double b){return a>b?a:b;}
int main()
{
    int T;
    scanf("%d",&T);
    while(T--)
    {
        double H,h,D;
        scanf("%lf %lf %lf",&H,&h,&D);
        double ans1,ans2;
        ans1=D*h/H;
        if(sqrt(D*(H-h))<=D*((H-h)/H))
            ans2=D*h/H;
        if(D*((H-h)/H)<=sqrt(D*(H-h))&&sqrt(D*(H-h))<=D)    
            ans2=D+H-2*sqrt(D*(H-h));
        if(D<=sqrt(D*(H-h))) ans2=h;
        printf("%.3lf\n",max(ans1,ans2));
    }
    return 0;
}