Đây là kiến thức rất hay được dùng. Đặc biệt là trong việc chứng minh những bất đẳng thức có tính chất đối xứng.
Bác admin nào cho top bài này hộ em nhé. Em sẽ post dài dài khi có thời gian
1. Định nghĩa hàm lồi (một biến): Một hàm số f được gọi là lồi trên tập K =(a,B)( hay [a,b], (a,b], [a,B), [a,b], trong đó a, b có thể là vô cùng) nếu với mọi $ x_1, x_2\in K, 0\leq \lambda \leq 1$ ta có
$ f(\lambda x_1+(1-\lambda)x_2)\leq \lambda f(x_1)+(1-\lambda)f(x_2)$
Hàm f được gọi là lồi nghiêm ngặt(?) nếu đẳng thức trên xảy ra khi và chỉ khi $\lambda = 0$.
2. Định nghĩa: Hàm f được gọi là lõm nếu -f lồi
Ví dụ về hàm lồi: $ x^2, |x|, e^x$. Các bạn tự kiểm chứng.
3. Chứng minh rằng nếu hàm f có đạo hàm cấp II không âm( dương) mọi nơi trên K thì f lồi( nghiêm ngặt) trên K.
Mình bỏ qua chứng minh, các bạn có thể tìm lại chứng minh qua xấp xỉ Taylor sau: