định lý Cô - si:
((a+b)/2)^2 >= ab với a,b>=0
=> (a^2 + 2ab + b^2)/4 >= ab
=> a^2 + 2ab + b^2 >= 4ab
=> a^2 - 2ab+b^2 >= 0
=> (a-b)^2 >= 0
điều này luôn đúng vậy...(kết luận ra)
Bất đẳng thức xảy ra khi a=b
ĐỊNH LÝ BUNHIACOPXKI:
(ax+by)^2 <= (a^2 +b^2)(x^2 +y^2)
=> a^2x^2 +2axby +b^2y^2 >= a^2x^2 +a^2y^2 +b^2x^2 + b^2y^2
chuyển vế đổi dấu
=>a^2y^2 - 2axby+ b^2y^2 >= 0
=> (ay - bx)^2 >= 0
điều này luôn đúng nên...(kết luận ghi lại bất đẳng thức)
bđt xảy ra khi ax = by