+) Giả sử c ≥ a
Có c ≥ a => c2 ≥ a2 (1)
Lại có c ≥ a => c + c ≥ a + c hay 2c ≥ a + c
mà a + c > b (theo bất đẳng thức tam giác)
=> 2c > b => 4c2 > b2 (2)
Cộng vế với vế của 2 bất đẳng thức cùng chiều (1) và (2):
c2 + 4c2 > a2 + b2
=> 5c2 > a2 + b2
Điều này trái với giả thiết.
+) Giả sử c ≥ b
Cmtt có điều trái với giả thiết.
Vậy c là cạnh ngắn nhất của tam giác đã cho.