Ta có : 4( b² + c² + d² + e²) ≥( b + c + d +e )² ( dễ lắm, bạn tự cm lấy nhé, )
=> ( b² + c² + d² + e²) ≥ ( b + c + d +e )²/4 (*)
G/s bdt đề bài đúng, ta có:
<=> a² + b²+ c² + d²+ e² - a(b + c + d +e) ≥ 0
Lại có ( *) => ta có : a² + b²+ c² + d² + e² - a(b + c + d +e) ≥ a² + ( b + c + d +e )²/4 - a(b + c + d +e)
<=> [ a - ( b + c+ d +e)/2]² => hiển nhiên đúng
Vậy ta có dpcm.
Với cách này ta cũng có thể chứng minh các bdt tương tự với 3 biến, 4 biến v.v....