菜鸡HP的被虐日常（1）难搞的四边形面积①

$ByHolyPush$

在$Rt\Delta ABC$中，$B$为直角，$A=60°$，$AB=4\sqrt{3}$，点$D$在边$BC$上，且$BD=2$，点$G$在边$AB$上，点$E、F$在边$AC$上，线段$DE$与$GF$相交于点$O$，$DE=GF$，且$\angle EOF=60°$，则四边形$DGEF$面积的取值范围是$?$

条件好多啊啊啊！这一看就是一道很烦的题。$emm\dots \dots$先画个图吧？

还是毫无头绪……怎么办办惹？难道求助淋淋女士嘛？不，还是得靠自力更生！
题目要求四边形面积，然后这个四边形我们知道了对角线的夹角，而且两条对角线还是一样长的！那么根据四边形面积公式$S=\frac{1}{2}absin\alpha (a,b$为对角线长度$,\alpha$为对角线夹角)，我们只需要求出$ED$的长度的范围就好了！开熏！
要不设个未知数吧？但设边长貌似不是很好做，那就设角度吧。挑哪个角呢？$\angle EDC$看起来就像是我能认亲的角厚，就设$\angle EDC=\alpha$吧。
先初步定个范围吧！如果$\alpha <60°$，那么$\angle EOF$不可能等于$60°$了，而最大的时候，也只能到$\angle ADC$那么大。所以初步估计$\alpha \in [60°,\angle ADC]$

然后怎么搞呢？当我们做平面几何完全没有任何思路的时候，就只能使用暴力手段，将所有可以求得的量都写出来！以备不时之需。
还好我们的脑子没有被淋淋迷惑厚，我们觉得$ED$这条边很好。仔细观察一下，发现$\Delta CDE$已知两角一边，那么我们就可以把$ED$求出来了！珍素开心惹。
$\because BD=2,BC=\sqrt{3}AB=12,\therefore DC=10$
在$\Delta CDE$中，$\frac{CD}{si{n}_{\angle DEC}}=\frac{DE}{si{n}_C}$
解得$DE=\frac{5}{si{n}_{(\alpha +30°)}}$
太棒了！既然知道了$DE$，那么因为题目中说$GF=DE$,所以我们高高兴兴地资道了$GF=\frac{5}{si{n}_{(\alpha +30°)}}!$
但是有什么用呢$\dots \dots$既然发现不了什么，那么我们顺便把$EC$也求了吧。根据正弦定理可以算出$EC=\frac{10si{n}_{\alpha }}{si{n}_{(\alpha +30°)}}$

愚蠢的$HP$：这不是显然是$[5,+\infty )$嘛！答案已经有了厚！
聪明的$txl$：你说泥玛？傻子都看得出来$+\infty$是不可能的。
愚蠢的$HP$：呜呜……又被嘲讽了……那我们还要把$\alpha$的范围算出来咯？
聪明的$txl$：是的。

这$\angle EOF=60°$真的太难用进去了……拘泥于$GF=DE$这个条件我们仿佛走入了死胡同！
但是为什么一定要用$GF=DE$这个条件呢$\dots \dots 60°$这个条件真的派不上用场吗？

聪明的$txl$：显然能发现，如果$\angle EOF=60°$，那么如果你平行移动$GF$这条直线，那么$\angle EOF$依然是$60°$。
愚蠢的$HP$：没听懂$\dots \dots$画个图吧。

聪明的$txl:$唉$\dots \dots$烂泥胡不夯强惹！图里面$G^{\prime }{F}^{\prime }//GF$，$G^{\prime }{F}^{\prime }\cap ED=O^{\prime }(\cap$是交点的意思$)，$那么显然因为同位角相等，有$\angle E{O}^{\prime }{F}^{\prime }=60°$。无论你怎么平移，只要有这个交点$O^{\prime }$，它就是60°。

这有什么启示呢？

愚蠢的$HP$：难道我们要考虑极端情况嘛$？$
聪明的$txl$：你终于稍微微微微开窍了一点。$GF$它不断平移，如果要有交点，那么将它平移至$F^{\prime }$与$E$重合的时候最短，$G$与$B$重合的时候最长。而$GF$的实际长度夹于这两个极端值之间。两种情况我们分别画个图吧。

这个$60°$看起来能用进去了！高兴坏了厚。愚蠢的$HP$一把抱起体重$1300N$的聪明的$txl$。
根据平行直线内错角相等，我们可以得到$\angle G^{\prime }EO=60°$。进一步分析，由于$\angle A{G}^{\prime }E+\angle AE{G}^{\prime }=\angle AE{G}^{\prime }+\angle DEC=120°$，所以得到$\angle A{G}^{\prime }E=\angle DEC=150°-\alpha$
可以运用正弦定理了！
在$\Delta A{G}^{\prime }E$中，$\frac{G^{\prime }E}{si{n}_A}=\frac{AE}{si{n}_{\angle A{G}^{\prime }E}}=\frac{AC-EC}{si{n}_{\angle A{G}^{\prime }E}}=\frac{8\sqrt{3}-\frac{10si{n}_{\alpha }}{si{n}_{(\alpha +30°)}}}{si{n}_{(\alpha +30°)}}$
太复杂了！但我们还是要算下去。$G^{\prime }E=\frac{12-\frac{5\sqrt{3}si{n}_{\alpha }}{si{n}_{(\alpha +30°)}}}{si{n}_{(\alpha +30°)}}$

然后列不等式
$\because G^{\prime }E\le GF$
$\therefore \frac{12-\frac{5\sqrt{3}si{n}_{\alpha }}{si{n}_{(\alpha +30°)}}}{si{n}_{(\alpha +30°)}}\le \frac{5}{si{n}_{(\alpha +30°)}}$
稍稍化简得$7si{n}_{(\alpha +30°)}\le 5\sqrt{3}si{n}_{\alpha }$
然后愚蠢的$HP$就把$\alpha$的范围算出来了……

聪明的$txl$：你傻啊！我们要求的$GF$的分母是$\alpha +30°$，你求$\alpha$干啥？还不赶紧设$\beta =\alpha +30°$去做？
$7sin\beta \le 5\sqrt{3}si{n}_{(\beta -30°)}=5\sqrt{3}(\frac{\sqrt{3}}{2}sin\beta -\frac{1}{2}cos\beta )$
化简得$sin\beta >5\sqrt{3}cos\beta$
当我们还在考虑$cos\beta$的符号时，聪明的$txl$已经告诉愚蠢的$HP$，$\beta \ge 90°$。$HP$疑惑不解，但当聪明的$txl$翻到本博客顶端给他展示$\alpha$的范围之后，他便恍然大悟了。
可以发现，$\beta \in [90°,180°]$时，该式恒成立！多么令人愉悦。

由于聪明的$txl$已经被愚蠢的$HP$搞得心力交瘁，导致$HP$只能自己去算另一边。在算错了无数次之后，他终于算出来，另一边的不等式的结果为$tan\beta \le -\frac{5\sqrt{3}}{7}$或$\beta =90°$
然后我们就可以开开心心地算$sin\beta$的范围啦！不难看出，$\beta =90°$时，$sin\beta =1$最大。当$tan\beta =-\frac{5\sqrt{3}}{7}$时，$sin\beta =\frac{5\sqrt{3}}{2\sqrt{31}}$最小。

终于！$S=\frac{1}{2}D{E}^{2}sin60°=\frac{25\sqrt{3}}{4}\times \frac{1}{si{n}^2\beta }\in [\frac{25\sqrt{3}}{4},\frac{31\sqrt{3}}{3}]$

太累啦！正当愚蠢的$HP$打算瘫倒在地时，法力无边的$cj$走了进来，说：好像是有点繁！马上给出了四点共圆的解法，愚蠢的$HP$惊为天人，请求$cj$讲解……

欲知后事如何，请听下回因式分解。

$Update$

在大筒木辉夜成功带领鲁迅等人击败伏地魔和林黛玉完成东天取经后的$5249$天，几个人重新回看了这道题。

律政先锋$xh:$聪明的$txl$你竟然也会有失手的一天，你难道没有发现你这个方法是不严谨的吗$?$
聪明的$txl:$怎么可能$?$我那么巨怎么可能出错$?$
愚蠢的$HP:$有问题$?$我就说我那时候怎么会听不懂厚，原来是你骗我惹。
律政先锋$xh:$你这种讨论只适合于$GF$上倾的情况。然而$GF$下倾的时候就有问题了。首先是因为下倾的时候$\alpha$不一定要比$60°$大，第二是因为下倾的时候$G$点的移动范围也跟上面不一样了。
聪明的$txl:$你说的貌似很有道理的样子。我们还需要对$GF$的倾斜状况再进行分类讨论。。。。我要死了$!$
律政先锋$xh:$其实也没必要算了毕竟有更好的办法在后面（读者有兴趣可以尝试，希望不要被算吐）
聪明的$txl:$也对。写这种方法的目的不是为了做出这道题，而是知道有时候可以把等量转化为不等量进行分析，将定点转化为动点进行分析。（但聪明的$txl$仍因为自己出现纰漏而汤汤大哭）
愚蠢的$HP:$在理在理。