バローの不等式

右|サムネイル|300x300ピクセルバローの不等式（-ふとうしき、）は、幾何学において三角形の頂点との距離と、角の二等分線の長さに関する不等式である。に因んで名付けられた。

主張の内部の任意の点について、それぞれの二等分線との交点をとする。バローの不等式は次の式である.。

等号成立条件はが正三角形でがその中心であること。

一般化バローの不等式は任意の凸多角形に一般化できる。n角形の内部の点についての二等分線と辺の交点をそれぞれとする。このとき次の不等式が成り立つM. Dinca: "A Simple Proof of the Erdös-Mordell Inequality". In: Articole si Note Matematice, 2009Hans-Christof Lenhard: "Verallgemeinerung und Verschärfung der Erdös-Mordellschen Ungleichung für Polygone". In: Archiv für Mathematische Logik und Grundlagenforschung, Band 12, S. 311–314, doi:10.1007/BF01650566 (German).。

は正割関数である。のときとなって、バローの不等式を得る。

歴史サムネイル|バローの不等式とエルデシュ・モーデルの不等式バローの不等式はエルデシュ・モーデルの不等式より強力な不等式である。バローの不等式は1937年、がに投稿したエルデシュ・モーデルの不等式の証明を初出とする。1961年より以前に "Barrow's inequality"の名が使われ始めている。

より単純な証明はルイス・モーデルにより発見された.。

バローの不等式

Źródło i licencja