Bất đẳng thức Weitzenböck

Bất đẳng thức Weitzenböck là một bất đẳng thức hình học do Roland Weitzenböck (1885 - 1955), một nhà toán học người Áo tìm ra và chứng minh.

==Phát biểu==
Với một tam giác bất kỳ có số đo ba cạnh là formula_1, formula_2, formula_3, và diện tích formula_4, ta có:

Dấu đẳng thức xảy ra khi và chỉ khi tam giác đó là tam giác đều, tức là formula_6.

Bất đẳng thức Weitzenböck được tổng quát hóa bởi bất đẳng thức Pedoe cho hai tam giác bất kỳ, trong khi bất đẳng thức Hadwiger–Finsler là bất đẳng thức chặt chẽ hơn.

==Chứng minh==
===Phương pháp hình học===
Biến đổi cả hai vế của bất đẳng thức qua một số bước, ta có:

Nhận thấy rằng từng hạng tử của vế trái phép biến đổi là diện tích của từng tam giác có số đo formula_1, formula_2, formula_3. Ký hiệu từng hạng từ này lần lượt là formula_11 và formula_12, ta có:

Với tam giác formula_14 có số đo các góc nhỏ hơn formula_15, luôn tồn tại điểm Fermat formula_16 chia tam giác formula_14 thành 3 tam giác formula_18 và formula_19 (sau đây gọi là tam giác đỉnh formula_16). Trên các tam giác đều có diện tích formula_11 và formula_12, lần lượt đặt các tam giác bằng với các tam giác đỉnh formula_16 trên sao cho cạnh có độ dài bằng độ dài cạnh của tam giác formula_14 đặt trùng với cạnh của tam giác đều. Khi đó, ta nhận thấy mỗi tam giác đều có diện tích lớn hơn 3 lần diện tích tam giác đỉnh formula_16. Cộng các vế cùng dấu, ta có điều phải chứng minh.

Với tam giác formula_14 có số đo một góc lớn hơn hoặc bằng formula_15 (không mất tính tổng quát, giả sử góc đó là góc formula_28), về phía ngoài tam giác này dựng một tam giác đều có cạnh formula_29. Lần lượt đặt các tam giác bằng với tam giác formula_14 sao cho cạnh có độ dài formula_29 đặt trùng với cạnh của tam giác đều này. Khi đó diện tích của tam giác đều này lớn hơn 3 lần diện tích tam giác formula_14. Hiển nhiên ta có điều phải chứng minh.

=== Phương pháp đại số===
Đây từng là một câu hỏi trong đề thi Olympic Toán học Quốc tế năm 1961. Lời giải của nhiều cách trong số đó dùng đến công thức Heron trong tam giác:

==== Cách 1 ====
Hiệu hai vế của bất đẳng thức Weitzenböck (lấy vế trái trừ vế phải) là diện tích của tam giác Napoleon trong, luôn là một số không âm:

====Cách 2====
Ta luôn có

Lấy căn bậc hai số học của hai vế, ta có điều phải chứng minh.

==== Cách 3 ====
Áp dụng bất đẳng thức trung bình cộng và trung bình nhân, ta có:

====Cách 4====
Đặt formula_37. Khi đó tổng formula_38 và formula_39 nên formula_40. Lại có formula_41, do đó formula_42.

==Tham khảo==
- Claudi Alsina, Roger B. Nelsen: "When Less is More: Visualizing Basic Inequalities". MAA, 2009, , pp. 84-86
- Claudi Alsina, Roger B. Nelsen: "Geometric Proofs of the Weitzenböck and Hadwiger–Finsler Inequalities". Mathematics Magazine, Vol. 81, No. 3 (Jun., 2008), pp. 216–219 (JSTOR)
- D. M. Batinetu-Giurgiu, Nicusor Minculete, Nevulai Stanciu: "Some geometric inequalities of Ionescu-Weitzebböck type". International Journal of Geometry, Vol. 2 (2013), No. 1, April
- D. M. Batinetu-Giurgiu, Nevulai Stanciu: "The inequality Ionescu - Weitzenböck". MateInfo.ro, April 2013, (online copy)
- Daniel Pedoe: "On Some Geometrical Inequalities". The Mathematical Gazette, Vol. 26, No. 272 (Dec., 1942), pp. 202-208 (JSTOR)
- Roland Weitzenböck: "Über eine Ungleichung in der Dreiecksgeometrie". Mathematische Zeitschrift, Volume 5, 1919, pp. 137-146 (online copy at Göttinger Digitalisierungszentrum)
- Dragutin Svrtan, Darko Veljan: "Non-Euclidean Versions of Some Classical Triangle Inequalities". Forum Geometricorum, Volume 12, 2012, pp. 197–209 (online copy)
- Mihaly Bencze, Nicusor Minculete, Ovidiu T. Pop: "New inequalities for the triangle". Octogon Mathematical Magazine, Vol. 17, No.1, April 2009, pp. 70-89 (online copy )

== Liên kết ngoài ==
- "Weitzenböck's Inequality," một công cụ trực quan của Jay Warendorff - Wolfram Demonstrations Project.