|
kuing
Posted 2020-3-9 17:11
对已知等式的右边展开,再把左边除过去得
\[1=\left( \frac12\tan B+\frac{\sqrt3}2 \right)\tan C,\]也即
\[\tan B=2\cot C-\sqrt3,\]故当 `C` 递增时,`B` 递减,所以 `c=\sin C/\sin B` 递增,另一方面
\[a=\frac{\sin A}{\sin B}=\frac{\sin B\cos C+\cos B\sin C}{\sin B}=\cos C+\frac{\sin C}{\tan B}=\cos C+\frac{\sin C}{2\cot C-\sqrt3}=f(C),\]求导得
\[f'(C)=\frac{3\sqrt3\cos C-\sin C}{\bigl( 2\cot C-\sqrt3 \bigr)^2},\]由 `2\cot C-\sqrt3>0` 可知 `3\sqrt3\cos C-\sin C>0`,所以 `f'(C)>0`,即 `a` 关于 `C` 递增。
综上所述,周长关于 `C` 递增,所以接下来只需求出 `C` 的范围,待续…… |
|