三角形の辺と角の関係というと、正弦定理や余弦定理が直ぐに思い起こされるが、
Ａ ≦ Ｂ ならば、 ａ ≦ ｂ
という関係も、基本的であり重要な性質と言えるだろう。 スローガン風に言えば、
最大辺には最大角が対応する
となる。いろいろな問題解決に役立つ知識である。
最近、次のような関係も成り立つことを知ることができた。
△ＡＢＣにおいて、
中央の項は、三角形の内角の加重平均（重み付き平均）である。
加重平均については次の定理が基本的である。
定理 実数 Ａ、Ｂ、Ｃ の加重平均を、ＷＭ（Ａ，Ｂ，Ｃ）と書くとすると、
Ｍｉｎ（Ａ，Ｂ，Ｃ）≦ＷＭ（Ａ，Ｂ，Ｃ）≦Ｍａｘ（Ａ，Ｂ，Ｃ）
が成り立つ。
（証明は、加重平均（重み付き平均）を参照）
上記の定理において、
Ｍｉｎ（Ａ，Ｂ，Ｃ）の最大値は、６０°
なので、不等式の左側は納得されるが、Ｍａｘ（Ａ，Ｂ，Ｃ）の取り得る範囲を考えると、不等
式の右側は直ぐには納得し得ない。三角形の内角という性質が大きく関与するためだろう。
（証明） 三角形の内角の和は、１８０°なので、上記の不等式を書き直せば、
２（ａＡ＋ｂＢ＋ｃＣ）＜（ａ＋ｂ＋ｃ）（Ａ＋Ｂ＋Ｃ）≦３（ａＡ＋ｂＢ＋ｃＣ）
となる。この不等式が成り立つことを証明する。
（ａ＋ｂ＋ｃ）（Ａ＋Ｂ＋Ｃ）−２（ａＡ＋ｂＢ＋ｃＣ）
＝ａＡ＋ａ（Ｂ＋Ｃ）＋ｂＢ＋ｂ（Ｃ＋Ａ）＋ｃＣ＋ｃ（Ａ＋Ｂ）−２（ａＡ＋ｂＢ＋ｃＣ）
＝ａ（Ｂ＋Ｃ）＋ｂ（Ｃ＋Ａ）＋ｃ（Ａ＋Ｂ）−（ａＡ＋ｂＢ＋ｃＣ）
＝（ｂ＋ｃ−ａ）Ａ＋（ｃ＋ａ−ｂ）Ｂ＋（ａ＋ｂ−ｃ）Ｃ
三角形において、
ｂ＋ｃ＞ａ 、ｃ＋ａ＞ｂ 、ａ＋ｂ＞ｃ
が成り立つので、
（ａ＋ｂ＋ｃ）（Ａ＋Ｂ＋Ｃ）−２（ａＡ＋ｂＢ＋ｃＣ）＞０
すなわち、 ２（ａＡ＋ｂＢ＋ｃＣ）＜（ａ＋ｂ＋ｃ）（Ａ＋Ｂ＋Ｃ） が成り立つ。
３（ａＡ＋ｂＢ＋ｃＣ）−（ａ＋ｂ＋ｃ）（Ａ＋Ｂ＋Ｃ）
＝３（ａＡ＋ｂＢ＋ｃＣ）−ａＡ−ａ（Ｂ＋Ｃ）−ｂＢ−ｂ（Ｃ＋Ａ）−ｃＣ−ｃ（Ａ＋Ｂ）
＝２（ａＡ＋ｂＢ＋ｃＣ）−ａ（Ｂ＋Ｃ）−ｂ（Ｃ＋Ａ）−ｃ（Ａ＋Ｂ）
＝２ａＡ−ａ（Ｂ＋Ｃ）＋２ｂＢ−ｂ（Ｃ＋Ａ）＋２ｃＣ−ｃ（Ａ＋Ｂ）
＝ａ（Ａ−Ｂ）＋ａ（Ａ−Ｃ）＋ｂ（Ｂ−Ｃ）＋ｂ（Ｂ−Ａ）＋ｃ（Ｃ−Ａ）＋ｃ（Ｃ−Ｂ）
＝（ａ−ｂ）（Ａ−Ｂ）＋（ｂ−ｃ）（Ｂ−Ｃ）＋（ｃ−ａ）（Ｃ−Ａ）
ここで、冒頭の関係を用いて、
（ａ−ｂ）（Ａ−Ｂ）≧０ 、（ｂ−ｃ）（Ｂ−Ｃ）≧０ 、（ｃ−ａ）（Ｃ−Ａ）≧０
が成り立つので、
３（ａＡ＋ｂＢ＋ｃＣ）−（ａ＋ｂ＋ｃ）（Ａ＋Ｂ＋Ｃ）≧０
すなわち、 （ａ＋ｂ＋ｃ）（Ａ＋Ｂ＋Ｃ）≦３（ａＡ＋ｂＢ＋ｃＣ） が成り立つ。
以上から、
が成り立つ。 （証終）
（コメント） 直観では信じられない結果が示されてちょっと感動的ですね！
（追記） 当ＨＰがいつもお世話になっているＫ．Ｓ．さんから、平成２５年４月２３日付けで「三
角形に関する不等式」と題してメールで頂いた。Ｋ．Ｓ．さんに感謝します。
角を Ａ、Ｂ、Ｃ とし、辺を ａ、ｂ、ｃ とする。
１．ａ＜ｂ＋ｃ 、ｂ＜ｃ＋ａ 、ｃ＜ａ＋ｂ
２．ａ/（ｂ＋ｃ−ａ）＋ｂ/（ｃ＋ａ−ｂ）＋ｃ/（ａ＋ｂ−ｃ）≧３
３．ａｂｃ≧（ａ＋ｂ−ｃ）（ｂ＋ｃ−ａ）（ｃ＋ａ−ｂ）
４． １/（ｓ−ａ）＋１/（ｓ−ｂ）＋１/（ｓ−ｃ）≧９/ｓ （２ｓ＝ａ＋ｂ＋ｃ）
５．ａ/（ｓ−ａ）＋ｂ/（ｓ−ｂ）＋ｃ/（ｓ−ｃ）≧６ （２ｓ＝ａ＋ｂ＋ｃ）
６．（ａ2＋ｂ2＋ｃ2）/
≧√｛（ａ＋ｂ＋ｃ）（ａ＋ｂ−ｃ）（ｂ＋ｃ−ａ）（ｃ＋ａ−ｂ）｝７． 三角形の内部の任意の点をＯから、各辺への垂線の足をＰ、Ｑ，Ｒとすると、
（１） ＯＡ＋ＯＢ＋ＯＣ≧２（ＯＰ＋ＯＱ＋ＯＲ） （Ｅｒｄｏｓ-Ｍｏｒｄｅｓ）
（２） ＯＡ・ＯＢ・ＯＣ≧（ＯＰ＋ＯＱ）（ＯＱ＋ＯＲ）（ＯＲ＋ＯＰ） （Ｏｐｐｅｎｈｅｉｍ）
（３） １＜ｃｏｓＡ＋ｃｏｓＢ＋ｃｏｓＣ≦３/２
（４） −１＜ｃｏｓＡ・ｃｏｓＢ・ｃｏｓＣ≦１/８
（５） ２≦ｓｉｎＡ＋ｓｉｎＢ＋ｓｉｎＣ≦３
/２（６） ０＜ｓｉｎＡ・ｓｉｎＢ・ｓｉｎＣ≦３
/８（７） ３
≦ｔａｎＡ＋ｔａｎＢ＋ｔａｎＣ＜∞（コメント） 多分、どこかしこで見たことのある不等式だと思います。数学好きなら、ちょっと証明でも．．．と食
指が動きそうな雰囲気かな？
以下、工事中！