Bất đẳng thức Erdos-Mordell

Trong hình học phẳng, Bất đẳng thức Erdős–Mordell phát biểu rằng cho tam giác ABC bất kỳ và điểm P trong tam giác ABC, khi đó tổng khoảng cách từ điểm P đến ba đỉnh tam giác sẽ lớn hơn hai lần tổng khoảng cách từ điểm này đến ba cạnh tam giác. Bất đẳng thức này đặt tên theo Paul Erdős và Louis Mordell. Bản mẫu:Harvtxt đề xuất vấn đề; một chứng minh đưa ra bởi Mordell hai năm sau đó Bản mẫu:Harvs. Chứng minh đưa ra bởi Mordell là không sơ cấp. Sau đó rất nhiều chứng minh sơ cấp, đơn giản được đưa ra bởi Bản mẫu:Harvtxt, Bản mẫu:Harvtxt, và Bản mẫu:Harvtxt.

Bất đẳng thức Barrow là một phiên bản mạnh của bất đẳng thức Erdős–Mordell phát biểu rằng tổng khoảng cách từ điểm P đến ba đỉnh tam giác ABC lớn hơn hai lần tổng các đường phân giác trong của các góc ∠APB, ∠BPC, và ∠CPA.

Phát biểu

Bất đẳng thức Erdős–Mordell

Cho tam giác ABC, MLN là tam giác hình chiếu của P nên ba cạnh tam giác ABC khi đó:

$PA+PB+PC\ge 2(PL+PM+PN)$

Một phiên bản mạnh khác

Cho tam giác ABC nội tiếp đường tròn (O) và P là điểm nằm trong tam giác ABC. Gọi D, E, F là hình chiếu của P xuống ba cạnh BC, CA, AB. Và M, N, Q là hình chiếu của P lên các tiếp tuyến của (O) tại A, B, C, thì:

$PM+PN+PQ\ge 2(PD+PE+PF)$

Đẳng thức xảy ra khi và chỉ khi tam giác ABC đều (Bản mẫu:Harvnb; Bản mẫu:Harvnb)

Tổng quát

Cho đa giác lồi $A_1{A}_2...A_n$, và $P$ là điểm trong đa giác $A_1{A}_2...A_n$. Gọi $R_i$ là khoảng cách từ $P$ tới đỉnh $A_i$, $r_i$ là độ dài đoạn thẳng phân giác góc $\mathrm{\angle }{A}_{i}P{A}_{i+1}$ tính từ điểm P giao với cạnh $A_i{A}_{i+1}$ và $r_i$ là khoảng từ $P$ tới hình chiếu của P trên cạnh $A_i{A}_{i+1}$, thì Bản mẫu:Harv

$\sum _{i=1}^n{R}_i\ge (\sec \frac{\pi }{n})\sum _{i=1}^n{r}_i$

Xem thêm

• Danh sách bất đẳng thức tam giác

Tham khảo

• Bản mẫu:Citation.
• Bản mẫu:Citation.
• Bản mẫu:Citation.
• Bản mẫu:Citation.
• Bản mẫu:Citation.
• Bản mẫu:Citation.
• Bản mẫu:Citation.
• Bản mẫu:Citation.

Liên kết ngoài

• Bản mẫu:Mathworld
• Alexander Bogomolny, "Erdös-Mordell Inequality", from Cut-the-Knot.