37307 涉及三個三角形的兩個不等式
涉及三個三角形的兩個不等式

摘要: 本文利用算術--幾何平均不等式與凸函數的工具建立了兩個涉及三個三角形 的幾何不等式。作為其中一個不等式的應用, 解決了冷崗松教授的一個猜想的二維情形。 同時還得到了幾個有趣的推論, 最後提出了幾個進一步的問題。

關鍵詞: 三角形、幾何不等式、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 在 文 曾建立了如下的結果: \begin{eqnarray} \triangle&\ge&\triangle_1+\triangle_2,\label{1}\\ R^2&\le&R_1^2+R_2^2.\label{2} \end{eqnarray} 不等式 \eqref{1} 和 \eqref{2} 就是所謂的 Oppenheim 不等式。 A. Oppenheim 在文 又將不等式 \eqref{1} 推廣到圓內接凸 $n$ 邊形。稍後,楊路和張景中 將不等式 \eqref{1} 和 \eqref{2} 推廣到 $n$ 維空間的單形。

近期 Pablo A. Parrilo 和 Ronen Peretz 在處理一個 Circle Packing 問題時用配平方和的最新成果證明瞭如下涉及三個三角形的一個有趣的幾何不等式 : \begin{equation} A_1\cdot(b_1+c_1-a_1)+A_2\cdot (b_2+c_2-a_2)\le A'\cdot (b'+c'-a').\label{3} \end{equation} 其中 $A_1$, $A_2$ 分別為 $\triangle A_1B_1C_1$, $\triangle A_2B_2C_2$ 之內角。

筆者受不等式 \eqref{1}$-$\eqref{3} 的啟發, 循文 的思路, 經過一番探究, 建立了 $\triangle A_iB_iC_i$ $(i=1,2)$ 與 $\triangle A'B'C'$ 之間的如下兩個新的幾何不等式: \begin{eqnarray} \sqrt{\triangle_1}+\sqrt{\triangle_2}&\le&\sqrt{\triangle'},\label{4}\\ r_1+r_2&\le&r'.\label{5} \end{eqnarray}

下面第 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} 為已知結果 (參見 , ), 但文 是用 Minkowski 不等式的另一種形式來證明的。

3. 不等式(5)的證明

為了證明不等式 \eqref{5}, 我們需要如下的引理。

引理1: (見 [p.27] 或 [pp.22-23]) 設 $f$ 為一在開凸集 $D\subseteq R^n$ 上有連續的二階偏導數的實值函數, 則 $f$ 是凸函數當且僅當對任意 $x\in D$, 其海賽 (Hessian) 矩陣 $$Q_x=(q_{ij}(x))_{n\times n},\qquad q_{ij}(x)=\dfrac{\partial^2 f(x_1,x_2,\ldots,x_n)}{\partial x_i\partial x_j}$$ 是正定或半正定的。

作代換 \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, 故由文 [p.257] 定理 8.5 知 $H_f$ 為一半正定矩陣,因而由引理1 知 $f (x, y, z)$ 為開凸集 $R_+^3$ 上的凸函數。所以 $$\dfrac 12[f(x_1,y_1,z_1)+f(x_2,y_2,z_2)]\ge f\Big(\dfrac{x_1+x_2}2,\dfrac{y_1+y_2}2,\dfrac{z_1+z_2}2\Big),$$ 即 \begin{equation} \dfrac 12\Big(\sqrt{\dfrac{x_1y_1z_1}{x_1+y_1+z_1}}+\sqrt{\dfrac{x_2y_2z_2}{x_2+y_2+z_2}}\Big)\le\sqrt{\dfrac{\dfrac{x_1+x_2}2\cdot \dfrac{y_1+y_2}2\cdot \dfrac{z_1+z_2}2}{\dfrac{x_1+x_2+y_1+y_2+z_1+z_2}2}}.\label{12} \end{equation} 不等式 \eqref{12} 即為不等式 \eqref{11}, 故不等式 \eqref{5} 成立。

4. 不等式(5)的應用

在 $\triangle A'B'C'$ 中, 由著名的 Walker 不等式 [p.173] 可得 \begin{equation} \dfrac 1{{a'}^2}+\dfrac 1{{b'}^2}+\dfrac 1{{c'}^2}\le \dfrac 1{{4r'}^2}\Leftrightarrow \dfrac 1{{(a_1+a_2)}^2}+\dfrac 1{{(b_1+b_2)}^2}+\dfrac 1{{(c_1+c_2)}^2}\le \dfrac 1{{4r'}^2}.\label{13} \end{equation} 由不等式 \eqref{5} 可得 \begin{equation} \dfrac 1{{r'}^2}\le \dfrac 1{{(r_1+r_2)}^2} .\label{14} \end{equation} 由不等式 \eqref{13} 與 \eqref{14} 即可得 \begin{equation} \dfrac 1{{(a_1+a_2)}^2}+\dfrac 1{{(b_1+b_2)}^2}+\dfrac 1{{(c_1+c_2)}^2}\le \dfrac 1{4(r_1+r_2)^2}.\label{15} \end{equation}

不等式 \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 不等式 [p.173]3 與推論 2, 我們可得如下比不等式 \eqref{15} 更一般的結果:

推論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$ 邊形? 再注意到楊路和張景中在文 的工作, 另一個自然的問題是: 能否將不等式 \eqref{4} 和 \eqref{5} 推廣到 $n$ 維空間的單形? 這個問題也許比較困難, 因為目前我們尚不清楚以兩個 $n(n\ge 3)$ 維單形的對應棱長之和為棱長能否構成另一個單形 (關於單形構造定理可參見文 [p.169])。

致謝: 衷心感謝審稿人提出的寶貴意見和建議!

參考文獻

G. S. Leng, Some inequalities involving two simplexes [J], Geom. Dedicata, 66(1997), 89-98. D. S. Mitrinovic and J. E. Pecaric, About the Neuberg-Pedoe and the Oppenheim inequalities [J],J. Math. Anal. Appl., 129(1988), 196-210. D. S. Mitrinovic, J. E. Pecaric and V. Volenec , Recent Advances in Geometric Inequalities [M], Kluwer Acad. Publ., Dordrecht, Boston, London, 1989. A. Oppenheim, Problem 5092 [J], Amer. Math. Monthly, 70(1963), 444 and 71(1964), 444. A. Oppenheim, Some inequalities for triangles [J], Univ. Beograd. Publ. Elektrotehn. Fak. Ser. Mat. Fiz., No.357-380(1971), 21-28. A. Oppenheim, Inequalities involving elements of triangles, quadrilaterals or tetrahedral [J], Univ. Beograd. Publ. Elektrotehn. Fak. Ser. Mat. Fiz., No.461-497(1974), 257-263. P. A. Parrilo and R. Peretz, An inequality for circle packings proved by semidefinite programming [J], Discrete Comput. Geom., 31(2004), 357-367. R. T. Rockafellar, Convex Analysis [M], Princeton University Press, New Jersey, 1996. 沈文選, 單形論導引 --- 三角形的高維推廣研究 [M], 長沙:湖南師範大學出版社, 2000。 王良成, 凸函數及其不等式 [M], 成都:四川大學出版社, 2001。 楊路、張景中, 關於 Alexander 的一個猜想 [J], 科學通報, 1981 年第 1 期, 1-3。 楊路、張景中, 高維度量幾何的兩個不等式 [J], 成都科技大學學報, 1981 年第 1 期, 63-70。 張賢科、許甫華, 高等代數學(第2 版)[M], 北京:清華大學出版社, 2008。

---本文作者任教中國浙江省新昌縣浙江省新昌中學---