Нерівність Ердеша — Морделла

Нерівність Ердеша-Морделла — наступна нерівність:

Якщо $\ P$ точка всередині трикутника $\ ABC$, а $\ X,Y,Z$ основи перпендикулярів опущених з точки $\ P$ на сторони $\ BC,AC,AB$ відповідно, то

$AP+BP+CP\geq 2(PX+PY+PZ)$

Про нерівність

Нерівність вперше була сформульована Палом Ердешем у журналі American Mathematical Monthly у 1935 році і у цьому ж році була доведена Морделлом. Найвідоміші доведення - це доведення Андже Авеза через теорему птолемея, Леона Банко через подібність трикутників і обрахунок кутів, Вілмоса Коморніка через площі, а також Луіса Морделла із використанням тригонометрії.

Доведення

Для початку доведемо нерівність $AP\geq {\dfrac {AB}{BC}}PY+{\dfrac {AC}{BC}}PZ$ (єдина різниця між доведеннями перечисленими вище є, як вони доводять цю нерівність). Наведемо класичне доведення цієї нерівності.

Застосувавши теорему синусів, до нерівності $AP\geq {\dfrac {AB}{BC}}PY+{\dfrac {AC}{BC}}PZ$ отримаємо,

$AP\sin {\alpha }\geq PY\sin {\gamma }+PZ\sin {\beta }$

остання нерівність негайно слідує, з того, що величина проєкції відрізку $\ YZ$ на пряму $\ BC$ не перевищуватиме величину самого відрізка.

Аналогічно можна довести, що $BP\geq {\dfrac {AB}{AC}}PX+{\dfrac {BC}{AC}}PZ$ та $CP\geq {\dfrac {AC}{AB}}PX+{\dfrac {BC}{AB}}PY$, додавши три нерівності і застосувавши між нерівність Коші, для двох елементів отримаємо

${\begin{aligned}AP+BP+CP&\geq 2\left(PX\left({\dfrac {AB}{AC}}+{\dfrac {AC}{AB}}\right)+PY\left({\dfrac {AB}{BC}}+{\dfrac {BC}{AB}}\right)+PZ\left({\dfrac {BC}{AC}}+{\dfrac {AC}{BC}}\right)\right)\\&\geq 2(AB+BC+AC).\\\end{aligned}}$

Схожі нерівності

Часто на математичних олімпіадах пропонують нерівності, які схожі на нерівність Ердеша Морделла тобто теж пов'язують величини $\ PX,PY,PZ,AP,BP,CP.$

Зокрема нерівність, що була доведена Луісом Морделлом у 1962:

$AP\cdot BP\cdot CP\geq (PX+PY)(PY+PZ)(PX+PY)$

Такі нерівності часто доводять використовуючи, що

$AP\geq {\dfrac {AB}{BC}}PY+{\dfrac {AC}{BC}}PZ$ і $AP\geq {\dfrac {BC}{AB}}PY+{\dfrac {BC}{AC}}PZ.$

Класичні нерівності в трикутнику

Перша нерівність була доведена нами раніше, доведемо другу.

Нехай $\ H_{A},H_{B},H_{C}$ основи перпендикулярів опущених, з вершин $\ A,B,C$ на сторони $\ BC,AC,AB$. $\ S$ — площа трикутника.

Зауважимо, що $AP+PX\geq AH_{A}$ і ${\dfrac {1}{2}}AH_{A}\cdot BC=S={\dfrac {1}{2}}PX\cdot BC+{\dfrac {1}{2}}PY\cdot AC+{\dfrac {1}{2}}PZ\cdot AB$ отримавши з останнього $\ AH_{A}$ і поклавши його в перше отримаємо

$AP\geq {\dfrac {BC}{AB}}PY+{\dfrac {BC}{AC}}PZ.$

Джерела

• Kiran S. Kedlaya (version of 17 Jan 2006). Geometry Unbound (PDF). Архів оригіналу (PDF) за 8 червня 2011. Процитовано 29 жовтня 2010.