三角形內角的嵌入不等式是平面幾何中的一個不等式。在不至於引起歧義的情況下簡稱嵌入不等式。該不等式指出,若A、B、C是一個三角形的三個內角,則對任意實數 x、y、z,有:
[1]
首先發現此不等式的是英國數學家約瑟夫·沃爾斯滕霍姆。他在1867年出版的《數學問題集》一書中對嵌入不等式做出介紹[2]。
從以上證明中可以看到,證明成立的關鍵是
,所以可以將條件中的「A、B、C是三角形內角」推廣到「
」。而如果
,則
,展開恆成立的不等式
便可得到不等式
![{\displaystyle x^{2}+y^{2}+z^{2}+2xy\cos C+2yz\cos A+2zx\cos B\geqslant 0.}](//wikimedia.org/api/rest_v1/media/math/render/svg/e61be14f21071b57bffdda3a5bd5966c0a791d1e)
這個不等式和三角形內角的嵌入不等式可以合寫成一個不等式[1]:
- 如果
,那麼對任意實數x、y、z,都有![{\displaystyle x^{2}+y^{2}+z^{2}+2(-1)^{k}(xy\cos C+yz\cos A+zx\cos B)\geqslant 0.}](//wikimedia.org/api/rest_v1/media/math/render/svg/cea34f71b9fdd027133d5cafd1bee24d66c3c379)
由於三角形內角的嵌入不等式具有高度對稱性,在應用中也會寫成對稱下標不等式:
![{\displaystyle x_{1}^{2}+x_{2}^{2}+x_{3}^{2}\geqslant 2x_{1}x_{2}\cos \varphi _{3}+2x_{2}x_{3}\cos \varphi _{1}+2x_{3}x_{1}\cos \varphi _{2}.}](//wikimedia.org/api/rest_v1/media/math/render/svg/880c6f830a3fef0a4941bcd95d9455c01fff714c)
或輪換下標不等式:
![{\displaystyle x_{1}^{2}+x_{2}^{2}+x_{3}^{2}\geqslant 2x_{1}x_{2}\cos \varphi _{1}+2x_{2}x_{3}\cos \varphi _{2}+2x_{3}x_{1}\cos \varphi _{3}.}](//wikimedia.org/api/rest_v1/media/math/render/svg/f6a07091cf9b5025fddeea467d91158dfc0e8a32)
設
是三角形內角,對後一個不等式做變量代換
![{\displaystyle x_{1}\rightarrow x_{1}{\sqrt {\frac {\sin \alpha _{2}}{\sin \alpha _{3}\sin \alpha _{1}}}},\,x_{2}\rightarrow x_{2}{\sqrt {\frac {\sin \alpha _{3}}{\sin \alpha _{1}\sin \alpha _{2}}}},\,x_{3}\rightarrow x_{3}{\sqrt {\frac {\sin \alpha _{1}}{\sin \alpha _{2}\sin \alpha _{3}}}},}](//wikimedia.org/api/rest_v1/media/math/render/svg/2579f732b88753bc894ee5655b0f11d363462b5e)
可以得到不等式[3]:
![{\displaystyle (x_{1}^{2}+x_{2}^{2}){\frac {\cos \alpha _{1}}{\sin \alpha _{1}}}+(x_{2}^{2}+x_{3}^{2}){\frac {\cos \alpha _{2}}{\sin \alpha _{2}}}+(x_{3}^{2}+x_{1}^{2}){\frac {\cos \alpha _{3}}{\sin \alpha _{3}}}\geqslant 2x_{1}x_{2}{\frac {\cos \varphi _{1}}{\sin \alpha _{1}}}+2x_{2}x_{3}{\frac {\cos \varphi _{2}}{\sin \alpha _{2}}}+2x_{3}x_{1}{\frac {\cos \varphi _{3}}{\sin \alpha _{3}}}.}](//wikimedia.org/api/rest_v1/media/math/render/svg/9f88c0492ae9c76c4ef2bbce232314bb6e4b8a10)
由這個不等式可以推出嵌入不等式的另一種推廣:
- 設
滿足
,
滿足
,則有:
![{\displaystyle \sum _{i=1}^{n}{\frac {\cos \alpha _{i}}{\sin \alpha _{i}}}(x_{i}^{2}+x_{i+1}^{2})\geqslant 2\sum _{i=1}^{n}x_{i}x_{i+1}{\frac {\cos \varphi _{i}}{\sin \alpha _{i}}}.}](//wikimedia.org/api/rest_v1/media/math/render/svg/d5bed1e15fcedc6f3788f458e5dc052b7272a761)
其中
。而當
的時候,上面的不等式轉化為:
![{\displaystyle \cos {\frac {\pi }{n}}\sum _{i=1}^{n}(x_{i}^{2}+x_{i+1}^{2})\geqslant 2\sum _{i=1}^{n}x_{i}x_{i+1}\cos \varphi _{i}.}](//wikimedia.org/api/rest_v1/media/math/render/svg/845f1309e29ace43183bc66d1952b70253137083)
嵌入不等式是此不等式在
時的特例[3]。
三角形內角的嵌入不等式將代數不等式和幾何不等式結合起來[3]。運用嵌入不等式可以解決許多幾何不等式[1],例如以下是運用嵌入不等式證明埃爾德什-莫德爾不等式。
![Thumb](//upload.wikimedia.org/wikipedia/commons/5/57/Erdos_Mordell_Wolstenholme.png)
(紅)小於
(藍).
埃爾德什-莫德爾不等式是一個二十世紀初期發現的不等式,其聲稱:對於任何三角形和其內部的一點O,點O到三角形三條邊的距離之和總是小於或等於點O到三角形的三個頂點的距離之和的一半。下設這個三角形頂點為
,點O到這三個頂點的距離分別是
,到它們對邊的距離分別是
,則埃爾德什-莫德爾不等式寫作:
![{\displaystyle R_{1}+R_{2}+R_{3}\geqslant 2\left(r_{1}+r_{2}+r_{3}\right)}](//wikimedia.org/api/rest_v1/media/math/render/svg/323d46fb6bfc34299f9ddc29c2151517ececc878)
在嵌入不等式中令
,
則可得到:
![{\displaystyle R_{1}+R_{2}+R_{3}\geqslant 2\left[{\sqrt {R_{1}R_{2}}}\cos \left({\frac {\angle A_{1}OA_{2}}{2}}\right)+{\sqrt {R_{2}R_{3}}}\cos \left({\frac {\angle A_{2}OA_{3}}{2}}\right)+{\sqrt {R_{1}R_{3}}}\cos \left({\frac {\angle A_{1}OA_{3}}{2}}\right)\right]}](//wikimedia.org/api/rest_v1/media/math/render/svg/75de6a126c0c9f228cfd348558a88d0c8995f02b)
另一方面,計算三角形
在O點發出的角平分線長度
,可得
![{\displaystyle w_{3}={\frac {2R_{1}R_{2}}{R_{1}+R_{2}}}\cos \left({\frac {\angle A_{1}OA_{2}}{2}}\right)\leqslant {\sqrt {R_{1}R_{2}}}\cos \left({\frac {\angle A_{1}OA_{2}}{2}}\right).}](//wikimedia.org/api/rest_v1/media/math/render/svg/55b7c0a9243ecd97a69de14c71f893d4b3d58446)
同時作為角平分線,其長度必然大於O點到
的距離
,所以
![{\displaystyle r_{3}\leqslant w_{3}\leqslant {\sqrt {R_{1}R_{2}}}\cos \left({\frac {\angle A_{1}OA_{2}}{2}}\right)}](//wikimedia.org/api/rest_v1/media/math/render/svg/f76d303a1bb802d4acb3020e664fdd31fd63a482)
![{\displaystyle r_{1}+r_{2}+r_{3}\leqslant {\sqrt {R_{1}R_{2}}}\cos \left({\frac {\angle A_{1}OA_{2}}{2}}\right)+{\sqrt {R_{2}R_{3}}}\cos \left({\frac {\angle A_{2}OA_{3}}{2}}\right)+{\sqrt {R_{1}R_{3}}}\cos \left({\frac {\angle A_{1}OA_{3}}{2}}\right)}](//wikimedia.org/api/rest_v1/media/math/render/svg/5b56fda1dbf1c53e47038f78c310c7472117e464)
因此
[4]
![{\displaystyle LHS-RHS=(x+y\cos 2C+z\cos 2B)^{2}+(y\sin 2C-z\sin 2B)^{2}.}](//wikimedia.org/api/rest_v1/media/math/render/svg/4a6dfdadeaa92728543d10eaad226d1f1c8b29a0)
朱華偉. 嵌入不等式——数学竞赛命题的一个宝藏. 中等數學. 2010年, (第1期): 第14–17頁.
J. Wolstenholme, A Book of Mathematical Problems, Cambridge, London, 1867
存档副本. [2023-04-28]. (原始內容存檔於2023-04-28).
存档副本. [2023-04-28]. (原始內容存檔於2023-04-28).
存档副本. [2023-04-28]. (原始內容存檔於2023-04-28).