把 2# 链接中的东东翻译过来先:
k(ab+bc+ca)>a^2+b^2+c^2 与三角形
by kuing, Nov 11, 2010, 4:16 pm
(1)若 `a`, `b`, `c` 为三角形三边,则有
\[2(ab + bc + ca) > a^2 + b^2 + c^2, \quad (1)\]其中系数 `2` 已是最小;
(2)若 `a`, `b`, `c>0` 且
\[\frac65(ab + bc + ca) > a^2 + b^2 + c^2, \quad (2)\]则 `a`, `b`, `c` 一定能构成三角形三边,其中系数 `6/5` 已是最大。
这说明:
所有构成三角形的 `(a,b,c)` 都满足式 (1),但满足式 (1) 的 `(a,b,c)` 并不止三角形三边的;
而满足式 (2) 的 `(a,b,c)` 就一定能构成三角形,但满足式 (2) 的三角形也并非包含所有三角形。
那么,满足式 (1) 但不满足式 (2) 的三角形是什么样的三角形呢?
This post has been edited 3 times. Last edited by kuing, Nov 11, 2010, 4:27 pm
先证(1):
式 (1) 等价于
\[\bigl(\sqrt a+\sqrt b+\sqrt c\bigr)\prod\bigl(\sqrt a+\sqrt b-\sqrt c\bigr)>0,\]由 `a`, `b`, `c` 为三角形三边有 `\sqrt a+\sqrt b>\sqrt{a+b}>\sqrt c` 等,所以不等式成立。
另一方面,当 `a=b=1` 且 `c\to0` 时 `(a^2 + b^2 + c^2)/(ab + bc + ca)\to2`,可见系数 `2` 不能再小,命题(1)得证;
再证(2):
由式 (2) 得
\[6(bc+ca)-5c^2>5(a^2+b^2)-6ab=4(a-b)^2+(a+b)^2\geqslant (a+b)^2,\]因式分解得 `(a+b-5c)(a+b-c)<0`,即 `c<a+b<5c`,同理有另外两式,所以 `a`, `b`, `c` 一定能构成三角形三边。
另一方面,当 `a=b=1` 且 `c=2` 时 `(a^2 + b^2 + c^2)/(ab + bc + ca)=6/5`,这表明如果 `t(ab + bc + ca) > a^2 + b^2 + c^2` 中的 `t>6/5`,则 `(a,b,c)=(1,1,2)` 必满足此不等式,即存在不能构成三角形的情形,所以系数 `6/5` 不能再大,命题(2)得证。
至于楼主的题,应用命题(2)可知 `k\leqslant6`,又显然 `k` 必须大于 `5`,所以只能是 `6`。 |