Ta có bất đẳng thức Co-si được chứng minh (Áp dụng với số dương) : `a+b>=2\sqrt{ab}` `->(a+b)^2>=(2\sqrt{ab})^2` `->a^2+2ab+b^2>=4ab` `->a^2-2ab+b^2>=0` `->(a-b)^2>=0` (Luôn đúng) Áp dụng bất đẳng thức Co-si với `a, b` dương, ta được : `a/b+b/a>=2\sqrt{a/(b).(b)/a}=2\sqrt{(ab)/(ab)}=2\sqrt{1}=2` `->a/b+b/a>=2` Xảy ra dấu "=" khi `a/b=b/a->a=b` (Vì `a,b` dương) Vậy : `a/b+b/a>=2` khi `a=b`
