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à , , , và diện tích , 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à .

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 , , . Ký hiệu từng hạng từ này lần lượt là  và , ta có:

 

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

Với tam giác  có số đo một góc lớn hơn hoặc bằng  (không mất tính tổng quát, giả sử góc đó là góc ), về phía ngoài tam giác này dựng một tam giác đều có cạnh . Lần lượt đặt các tam giác bằng với tam giác  sao cho cạnh có độ dài  đặ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 . 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 . Khi đó tổng  và  nên . Lại có , do đó .

Chú thích

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.

Tam giác
Bất đẳng thức
Hình học phẳng