【２】エルデシュの不等式

　三角不等式（Ｒ≧２ｒ）は，より一般的には「△ＡＢＣ内の任意の点Ｐから，各頂点までの距離をＲ1，Ｒ2，Ｒ3，各辺（またはその延長）までの距離をｒ1，ｒ2，ｒ3とすれば，

　　Ｒ1＋Ｒ2＋Ｒ3≧２（ｒ1＋ｒ2＋ｒ3）

等号は△ＡＢＣが正三角形で，Ｐがその重心であるとき」

で与えられます．

　これが「エルデシュの定理」で，この定理はＲ≧２ｒの一般化であると考えられます．エルデシュの定理は，簡単に

　　Ａ（Ｒ）≧２Ａ（ｒ）

と書けますが，Ａは算術平均の略で，Ｒの算術平均≧２（ｒの算術平均）という意味です．

　エルデシュの定理は，算術平均Ａを調和平均Ｈ，幾何平均Ｇに置き換えても成り立ちます．すなわち，

　　Ｒ1Ｒ2Ｒ3≧８ｒ1ｒ2ｒ3

　　１／ｒ1＋１／ｒ2＋１／ｒ3≧２（１／Ｒ1＋１／Ｒ2＋１／Ｒ3）

　また，２次の基本対称式に対しては

　　Ｒ1Ｒ2＋Ｒ2Ｒ3＋Ｒ3Ｒ1≧４（ｒ1ｒ2＋ｒ2ｒ3＋ｒ3ｒ1）

も知られています．この種の不等式は美しい．しかし，証明は難しい・・・．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝