發刊日期 |
2013年9月
|
---|---|
標題 | 涉及三個三角形的兩個不等式 |
作者 | |
關鍵字 | |
檔案下載 | |
全文 |
摘要: 本文利用算術--幾何平均不等式與凸函數的工具建立了兩個涉及三個三角形 的幾何不等式。作為其中一個不等式的應用, 解決了冷崗松教授的一個猜想的二維情形。 同時還得到了幾個有趣的推論, 最後提出了幾個進一步的問題。 關鍵詞: 三角形、幾何不等式、Oppenheim 不等式、算術--幾何平均不等式、凸函數。 1. 引言和主要結果在本文中約定: $\triangle A_iB_iC_i$ $(i=1,2)$ 的邊長, 面積, 內切圓半徑, 外接圓半徑分別為 $a_i$、 $b_i$、 $c_i$, $\triangle_i$, $r_i$, $R_i$; $\triangle ABC$ 的邊長分別為 $a=\sqrt{a_1^2+a_2^2}$、 $b=\sqrt{b_1^2+b_2^2}$、 $c=\sqrt{c_1^2+c_2^2}$, 面積為 $\triangle$, 外接圓半徑為 $R$; 以 $a_1+a_2$, $b_1+b_2$, $c_1+c_2$ 為三邊的三角形為 $\triangle A'B'C'$ $(a'=a_1+a_2$, $b'=b_1+b_2$, $c'=c_1+c_2$), 其三內角分別為 $A'$, $B'$, $C'$, 內切圓半徑為 $r'$, 外接圓半徑為 $R'$, 面積為 $\triangle'$。
涉及三個三角形的不等式最早或許要追溯到二十世紀六七十年代。
A. Oppenheim 在
文
近期 Pablo A. Parrilo 和 Ronen Peretz 在處理一個 Circle Packing
問題時用配平方和的最新成果證明瞭如下涉及三個三角形的一個有趣的幾何不等式
筆者受不等式 \eqref{1}$-$\eqref{3} 的啟發, 循文 下面第 2 節至第 3 節分別給出不等式 \eqref{4} 和 \eqref{5} 的證明, 第 4 節給出冷崗松教授的一個猜想的二維情形的證明及其推廣, 第 5 節提出幾個進一步的問題。 2. 不等式 (4) 的證明\begin{equation} \hbox{令}\left\{\begin{array}{l} x_i=\dfrac 12(b_i+c_i-a_i)\gt 0,\\[8pt] y_i=\dfrac 12(c_i+a_i-b_i)\gt 0,\quad (i=1,2),\\[8pt] z_i=\dfrac 12(a_i+b_i-c_i)\gt 0, \end{array}\right.\label{6} \end{equation} 則 $a_i=y_i+z_i$, $b_i=z_i+x_i$, $c_i=x_i+y_i$ $(i=1,2)$。 從而由三角形面積的秦九韶--海倫公式可知不等式 \eqref{4} 等價於 \begin{eqnarray} &&\hskip -25pt {\root 4\of {x_1y_1z_1(x_1+y_1+z_1)}}+ {\root 4\of {x_2y_2z_2(x_2+y_2+z_2)}}\nonumber\\ &\le& {\root 4\of {(x_1+x_2)(y_1+y_2)(z_1+z_2)(x_1+x_2+y_1+y_2+z_1+z_2)}}.\label{7}\\ &\Leftrightarrow& {\root 4\of {\frac{x_1y_1z_1(x_1+y_1+z_1)}{(x_1+x_2)(y_1+y_2)(z_1+z_2)(x_1+x_2+y_1+y_2+z_1+z_2)}}}\nonumber\\ &&+{\root 4\of {\frac{x_2y_2z_2(x_2+y_2+z_2)}{(x_1+x_2)(y_1+y_2)(z_1+z_2)(x_1+x_2+y_1+y_2+z_1+z_2)}}}\le 1.\label{8} \end{eqnarray} 由算術--幾何平均不等式可得 \begin{eqnarray} &&\hskip -25pt {\root 4\of {\frac{x_1y_1z_1(x_1+y_1+z_1)}{(x_1+x_2)(y_1+y_2)(z_1+z_2)(x_1+x_2+y_1+y_2+z_1+z_2)}}}\nonumber\\ &\le&\frac 14\Big(\frac{x_1}{x_1+x_2}+\frac{y_1}{y_1+y_2}+\frac{z_1}{z_1+z_2}+\frac{x_1+y_1+z_1}{x_1+x_2+y_1+y_2+z_1+z_2}\Big)\label{9}\\ {\hbox{及}} &&\hskip -25pt {\root 4\of {\frac{x_2y_2z_2(x_2+y_2+z_2)}{(x_1+x_2)(y_1+y_2)(z_1+z_2)(x_1+x_2+y_1+y_2+z_1+z_2)}}}\nonumber\\ &\le&\frac 14\Big(\frac{x_2}{x_1+x_2}+\frac{y_2}{y_1+y_2}+\frac{z_2}{z_1+z_2}+\frac{x_2+y_2+z_2}{x_1+x_2+y_1+y_2+z_1+z_2}\Big).\label{10} \end{eqnarray} 由不等式 \eqref{9} 和 \eqref{10} 即得不等式 \eqref{8}, 故不等式 \eqref{7} 成立,進而不等式 \eqref{4} 得證。 由不等式 \eqref{4} 易得如下的推論: 推論1: 設 $\triangle A_jB_jC_j$ $(j=1,2,\ldots,n)$ 的面積分別為 $\triangle_j$ $(j= 1,2,\ldots,n)$, 又設以 $a''=\sum\limits_{j=1}^n a_j$, $b''=\sum\limits_{j=1}^n b_j$, $c^n=\sum\limits_{j=1}^n c_j$ 為三邊的 $\triangle A''B''C''$ 的面積為 $\triangle''$, 則 $$\sum_{j=1}^n\sqrt{\triangle_j}\le \sqrt{\triangle''}.$$
注1:
本文成文後,作者發現不等式 \eqref{4} 為已知結果
(參見 3. 不等式(5)的證明為了證明不等式 \eqref{5}, 我們需要如下的引理。
引理1:
(見
作代換 \eqref{6}, 則由三角形內切圓半徑公式可知不等式 \eqref{5} 等價於
\begin{equation}
\sqrt{\frac{x_1y_1z_1}{x_1+y_1+z_1}}+\sqrt{\frac{x_2y_2z_2}{x_2+y_2+z_2}}\le \sqrt{\frac{(x_1+x_2)(y_1+y_2)(z_1+z_2)}{x_1+x_2+y_1+y_2+z_1+z_2}}.
\label{11}
\end{equation}
構造函數 $f(x,y,z)\!=\!-\sqrt{\dfrac{xyz}{x+y+z}}$,~$(x,y,z)\!\in\! R^3_+$, 其中 $R_+\!=\!(0,+\infty)$。
則其海賽矩陣為
$$H_f\!=\!\!\left[\!\begin{array}{ccc}
\dfrac{(4x\!+\!y\!+\!z)(y\!+\!z)y^2z^2}{4\big(\frac{xyz}{x+y+z}\big)^{\frac 32}(x+y+z)^4}&\dfrac{-(3xy\!+\!yz\!+\!zx\!+\!z^2)xyz^2}{4\big(\frac{xyz}{x+y+z}\big)^{\frac 32}(x+y+z)^4}&\dfrac{-(xy\!+\!yz\!+\!3zx\!+\!y^2)xy^2z}{4\big(\frac{xyz}{x+y+z}\big)^{\frac 32}(x+y+z)^4}\\[18pt]
\dfrac{-(3xy\!+\!yz\!+\!zx\!+\!z^2)xyz^2}{4\big(\frac{xyz}{x+y+z}\big)^{\frac 32}(x+y+z)^4}&\dfrac{(x\!+\!4y\!+\!z)(z\!+\!x)z^2x^2}{4\big(\frac{xyz}{x+y+z}\big)^{\frac 32}(x+y+z)^4}&\dfrac{-(xy\!+\!3yz\!+\!zx\!+\!x^2)x^2yz}{4\big(\frac{xyz}{x+y+z}\big)^{\frac 32}(x+y+z)^4}\\[18pt]
\dfrac{-(xy\!+\!yz\!+\!3zx\!+\!y^2)xy^2z}{4\big(\frac{xyz}{x+y+z}\big)^{\frac 32}(x+y+z)^4}&\dfrac{-(xy\!+\!3yz\!+\!zx\!+\!x^2)x^2yz}{4\big(\frac{xyz}{x+y+z}\big)^{\frac 32}(x+y+z)^4}&\dfrac{(x\!+\!y\!+\!4z)(y\!+\!z)x^2y^2}{4\big(\frac{xyz}{x+y+z}\big)^{\frac 32}(x+y+z)^4}
\end{array}
\!\right].$$
易見 $H_f$ 的所有一階主子式均大於 0; 二階主子式分別為
\begin{eqnarray*}
\dfrac{(xy+yz+zx)z}{4(x+y+z)^3xy}\gt 0;\quad
\dfrac{(xy+yz+zx)y}{4(x+y+z)^3zx}\gt 0;\quad
\dfrac{(xy+yz+zx)x}{4(x+y+z)^3yz}\gt 0.
\end{eqnarray*}
而其三階主子式為 0, 故由文 4. 不等式(5)的應用
在 $\triangle A'B'C'$ 中, 由著名的 Walker 不等式
不等式 \eqref{15} 即為冷崗松教授在文 由不等式 \eqref{5} 可得如下顯然的推論: 推論2: 設 $\triangle A_jB_jC_j$ $(j=1,2,\ldots,n)$ 的內切圓半徑分別 $r_j$ $(j=1,2,\ldots,n)$, 又設以 $a''=\sum\limits_{j=1}^n a_j$, $b''=\sum\limits_{j=1}^n b_j$, $c''=\sum\limits_{j=1}^n c_j$, 為三邊的 $\triangle A''B''C''$ 的內切圓半徑為 $r''$, 則 $$\sum_{j=1}^n r_j\le r''$$
結合 Walker 不等式 推論3: 設 $\triangle A_jB_jC_j$ $(j=1,2,\ldots,n)$ 的三邊長分別 $a_j$、 $b_j$、 $c_j$ $(j=1,2,\ldots,n)$, 內切圓半徑分別 $r_j(j=1,2,\ldots,n)$, 則 $$\dfrac 1{\Big(\displaystyle\sum_{j=1}^n a_j\Big)^2}+\dfrac 1{\Big(\displaystyle\sum_{j=1}^n b_j\Big)^2}+\dfrac 1{\Big(\displaystyle\sum_{j=1}^n c_j\Big)^2} \le \dfrac 1{4\Big(\displaystyle\sum_{j=1}^n r_j\Big)^2}.$$ 5. 進一步的問題
注意到不等式 \eqref{2}, 筆者試圖建立涉及 $R_1$, $R_2$ 與 $R'$ 的不等式, 但無結果。
因此是否存在涉及 $R_1$, $R_2$ 與 $R'$ 的有趣的不等式是個值得探索的問題。
考慮到 A. Oppenheim 的工作,
一個自然的問題是:能否將不等式 \eqref{4} 推廣到圓內接凸 $n$ 邊形?
再注意到楊路和張景中在文 致謝: 衷心感謝審稿人提出的寶貴意見和建議! 參考文獻---本文作者任教中國浙江省新昌縣浙江省新昌中學--- |