|
kuing
Posted 2019-7-22 16:07
第 7 题:
引理(嵌入不等式的等价形式之一):
设 $D+E+F=k\pi$, $k\inZ$, $x$, $y$, $z\inR$,则有
\[(x+y+z)^2\geqslant4(yz\sin^2D+zx\sin^2E+xy\sin^2F),\]等号成立当且仅当 $x:y:z=\sin 2D:\sin 2E:\sin 2F$。
在引理中,令 `x=2\cot A`, `y=3\cot B`, `z=4\cot C` 得到
\[(2\cot A+3\cot B+4\cot C)^2\geqslant4(12\cot B\cot C\sin^2D+8\cot C\cot A\sin^2E+6\cot A\cot B\sin^2F),\] 于是令 `12\sin^2D=8\sin^2E=6\sin^2F`,结合 `\cos^2D+\cos^2E+\cos^2F+2\cos D\cos E\cos F=1`,得到一组解为 `\sin^2D=23/48`, `\sin^2E=23/32`, `\sin^2F=23/24`,代回去即得
\[(2\cot A+3\cot B+4\cot C)^2\geqslant23(\cot B\cot C+\cot C\cot A+\cot A\cot B)=23,\]易证 `2\cot A+3\cot B+4\cot C` 恒为正,所以 `2\cot A+3\cot B+4\cot C\geqslant\sqrt{23}`。
最后讨论取等条件,由引理,令 `2\cot A:3\cot B:4\cot C=1/48:1/32:1/24`,结合 `\cot B\cot C+\cot C\cot A+\cot A\cot B=1`,得 `\cot A=5/\sqrt{23}`, `\cot B=3/\sqrt{23}`, `\cot C=1/\sqrt{23}`。 |
|