菜鸡HP的被虐日常（10）波罗尼斯圆是谁？为什么要阿他？

$ByHolyPush$

聪明的$txl:$不不，数列刚起步有什么难的题好说的？我们还是继续看三角吧。

在$△ABC$中，已知$a,b,c$为内角$A,B,C$的对边，若$c=2b,△ABC$的面积$S=1,$则$a$的最小值为多少$?$

愚蠢的$HP:$算了，就暴算吧。$S=\frac{1}{2}bcsinA=b^{2}sinA=1$，所以$b^2=\frac{1}{sinA}。$利用余弦定理可以得到$a^2=b^2+c^2-2bccosA=5b^2-4b^{2}cosA=\frac{5-4cosA}{sinA}$。这个函数最小值怎么求惹？
聪明的$txl：$这种函数一般可以选择利用万能公式全部换成正切，或者使用辅助角公式进行求解。

令$y=\frac{5-4cosA}{sinA}$，则$ysinA+4cosA=5$，即$\sqrt{y^2+16}sin(A+\varphi )=5,tan\varphi =\frac{4}{y}$。故$\sqrt{y^2+16}\ge 5，\therefore y\ge 3$或$y\le -3$。显然因为$A\in (0,\pi )$，所以$y$必定是正的，所以$y\ge 3$，即$a^2\ge 3,\therefore a\ge \sqrt{3}$。

显然这种方法太过暴力，那么有没有其他方法呢？
还是有的。$c=2b$，根据正弦定理可以得到$sinC=2sinB$,对其平方得$si{n}^{2}C=4si{n}^{2}B$，移一项过去得$si{n}^{2}C-si{n}^{2}B=3si{n}^{2}B$。

愚蠢的$HP:$你这方法也太迷惑了厚，好好的干嘛平方惹，还要移一项过去？平方差？这平方差之后还要和差化积不是自找麻烦子。

聪明的$txl:$那就是你见识短浅了。的确要用到平方差，但是用到的是只属于正弦的平方差：$si{n}^{2}A-si{n}^{2}B=sin(A-B)sin(A+B)$。证明很简单，自己去证吧。在三角形中，这个公式又有着奇特的用处。

利用正弦的平方差公式可以得到$sin(C+B)sin(C-B)=3si{n}^{2}B$，得$sinAsin(C-B)=3si{n}^{2}B$

然后由面积公式和正弦定理得$1=S=\frac{1}{2}bcsinA=\frac{1}{2}{a}^2\frac{sinBsinC}{sinA}=\frac{1}{2}{a}^2\frac{2si{n}^{2}B}{sinA}=a^2\frac{sin(C-B)}{3}$
即$a^2=\frac{3}{sin(C-B)}$，当$sin(C-B)=1$时，$a^2=3$最小，即$a$最小为$\sqrt{3}。$

聪明的$txl:$这些做法要么就是思维含量很高，要么就是算起来麻烦，那么有没有什么套路性的做法呢？

有！请出我们今天的主角：阿波罗尼斯圆。

平面上有两点$A,B,$若一点$C,$使得$\frac{AC}{BC}=k,k$为定值且$k\ne 1$，则$C$的轨迹为一个圆。简单来说，平面上到两点距离比值为定值且不为$1$的点在圆上运动。这个圆我们就叫做阿波罗尼斯圆，简称阿氏圆。

愚蠢的$HP:$为什么不能等于$1$厚？
聪明的$txl:$等于$1$不就是中垂线了吗？
愚蠢的$HP:oooo$。那怎么证明呢？

证明方法有两种。
第一种是坐标法。设$A(-c,0),B(c,0),C(x,y)$。则$\frac{\sqrt{(x+c{)}^2+y^2}}{\sqrt{(x-c{)}^2+y^2}}=k$，显然看得出来化简过后$x^2,y^2$最高次项都为$1$并且没有交叉项即$xy$。说明它应该是一个圆。

第二种方法是几何方法。

延长$AB$至点$D$使$\angle A=\angle BCD$（其实具体往哪延长要看$k$和$1$的大小关系，如果$AC>BC$就延长$AB$，如果$AC<BC$就延长$BA$）。则有$△BCD$~$△CAD$,根据相似的性质得$\frac{BC}{CA}=\frac{BD}{CD}=\frac{CD}{AD}$。其中$\frac{BC}{CA}$是定值，$AB$是定长，所以可以解二元一次方程求出$BD,CD$的值。$BD$固定就是圆心固定，$CD$固定表示半径固定，所以这个圆是确定的。

回过头来看这道题吧。$\frac{c}{b}=2$是定值。

设$CD=x,AD=r$，则$\frac{AB}{AC}=\frac{AD}{CD}=\frac{BD}{AD}$
即$2=\frac{r}{x}=\frac{a+x}{r}$，得$r=\frac{2a}{3}$。
若要使$S=1$的$A$点存在，那么$A$在运动过程中$S_{△ABC}$最大时就需要$\ge 1$，即$AD$和$BC$垂直的时候，$S=\frac{1}{2}\times \frac{2a}{3}\times a\ge 1$，即$a^2\ge 3$，$a\ge \sqrt{3}$。

聪明的$txl:$阿波罗尼斯圆是一个非常好的用来处理已知线段长度比值求取值范围的工具，掌握一下可以由奇效。
愚蠢的$HP:$那有没有到两点之和差积为定值的图形呢？
聪明的$txl:$和是椭圆，差是双曲线，积是一种奇怪的图形（卡西尼卵形线，暂时没必要研究），当然都要满足一定的条件。具体会在以后学到，现在你不需要太关注。

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