Sử dụng phương pháp hàm số để chứng minh bất đẳng thức_2

Header Page 1 of 128.

ĐẠI HỌC THÁI NGUYÊN
TRƯỜNG ĐẠI HỌC KHOA HỌC

NGUYỄN TRUNG SỸ

SỬ DỤNG PHƯƠNG PHÁP
HÀM SỐ ĐỂ CHỨNG MINH
BẤT ĐẲNG THỨC

LUẬN VĂN THẠC SỸ TOÁN HỌC

THÁI NGUYÊN - 2015

Footer Page 1 of 128.


Header Page 2 of 128.

ĐẠI HỌC THÁI NGUYÊN
TRƯỜNG ĐẠI HỌC KHOA HỌC

NGUYỄN TRUNG SỸ

SỬ DỤNG PHƯƠNG PHÁP
HÀM SỐ ĐỂ CHỨNG MINH
BẤT ĐẲNG THỨC

LUẬN VĂN THẠC SỸ TOÁN HỌC

Chuyên ngành:

PHƯƠNG PHÁP TOÁN SƠ CẤP

Mã số: 60 46 01 13

Người hướng dẫn khoa học
TS. NGUYỄN ĐÌNH BÌNH

THÁI NGUYÊN - 2015

Footer Page 2 of 128.


Header Page 3 of 128.
i

Mục lục
Lời cam đoan . . . . . . . . . . . . . . . . . . . . . . . . . . .
Lời cảm ơn . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Danh mục các kí hiệu, các chữ viết tắt . . . . . . . . . . . . .
Mở đầu
1 Cơ
1.1
1.2
1.3

sở lý luận và các kiến thức cần thiết cho đề tài
Tính chất của hàm số bậc nhất . . . . . . . . . . . .
Hàm số đồng biến, nghịch biến . . . . . . . . . . . .

Hàm lồi và bất đẳng thức Karamata . . . . . . . . .
1.3.1 Hàm lồi, hàm lõm khả vi bậc hai . . . . . . .
1.3.2 Biểu diễn hàm lồi, hàm lõm . . . . . . . . . .
1.3.3 Bất đẳng thức Karamata . . . . . . . . . . .
1.3.4 Các hệ quả của bất đẳng thức Karamata . .
1.4 Hàm số nửa lồi . . . . . . . . . . . . . . . . . . . .

1

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.

.
.
.
.
.

2 Trình bày một số phương pháp sử dụng hàm số để chứng
minh bất đẳng thức
2.1 Sử dụng tính chất của hàm số bậc nhất để chứng minh bất
đẳng thức . . . . . . . . . . . . . . . . . . . . . . . . . .
2.2 Sử dụng tính đơn điệu, cực trị của hàm số để chứng minh
bất đẳng thức . . . . . . . . . . . . . . . . . . . . . . . .
2.2.1 Sử dụng tính đơn điệu, cưc trị hàm số . . . . . . .
2.2.2 Sử dụng hàm số đặc trưng . . . . . . . . . . . . .
2.2.3 Khử dần các biến số bằng đạo hàm một biến . . .
2.3 Sử dụng các tính chất của hàm lồi, bất đẳng thức Karamata
chứng bất đẳng thức . . . . . . . . . . . . . . . . . . . .
2.3.1 Sử dụng tính chất của hàm lồi . . . . . . . . . . .

Footer Page 3 of 128.

iii
iii
iv

3
3
4
5
5

6
6
7
10

13
13
18
18
22
25
30
30


Header Page 4 of 128.
ii

2.3.2
2.3.3

Phương pháp tiếp tuyến . . . . . . . . . . . . . . .
Sử dụng bất đẳng thức Karamata và các hệ quả của
bất đẳng thức Karamata . . . . . . . . . . . . . .

37
42

Kết luận

56

Tài liệu tham khảo

57

Footer Page 4 of 128.


Header Page 5 of 128.
iii

Lời cam đoan
Tôi xin cam đoan luận văn này là công trình nghiên cứu của tôi (từ tháng
9 năm 2014 đến tháng 3 năm 2015), trên cơ sở nghiên cứu tham khảo các
tài liệu, phân tích, tổng hợp và kinh nghiệm qua các năm công tác.

Lời cảm ơn
Luận văn được hoàn thành dưới sự hướng dẫn khoa học của TS. Nguyễn
Đình Bình.
Nhân dịp này tác giả xin được bày tỏ lòng biết ơn chân thành và kính
trọng sâu sắc đối với TS - người thầy đã truyền đạt nhiều kiến thức quý
báu cùng với kinh nghiệm nghiên cứu khoa học trong suốt thời gian tác
giả theo học và nghiên cứu đề tài.
Đồng thời, tác giả cũng xin bày tỏ lòng biết ơn sâu sắc đến Ban giám
hiệu trường Đại học Khoa học - Đại học Thái Nguyên, Phòng Đào tạo,
Khoa Toán - Tin, các thầy cô giảng dạy lớp Cao học K7N, Ban giám hiệu
Trường THPT Lý Tự Trọng - Nam Định và gia đình đã tạo mọi điều kiện
thuận lợi, động viên tác giả trong suốt quá trình học tập, công tác và thực
hiện đề tài luận văn này.

Thái Nguyên, tháng 4 năm 2015
Tác giả

Nguyễn Trung Sỹ

Footer Page 5 of 128.


Header Page 6 of 128.
iv

Danh mục các ký hiệu, các chữ viết tắt
• BĐT - Bất đẳng thức.
• AM - Arithmetic Mean.
• GM - Geometric Mean.
• HCF - Half Convex Function Theorem.
• IMO - International Mathematical Olympiad.
• MO - National Mathematical Olympiad.
• TST - Selection Test for International Mathematical Olympiad.
• ĐH - Đề thi Đại học.
• HSG - Học sinh giỏi.
• I (a; b) hoặc I - Nhằm ngầm định một trong bốn tập hợp con của R
(a; b) , [a; b) , (a; b] , [a; b] .
→
−
→
−
→
−

• A
B - Véctơ A = [x1 , x2 , . . . , xn ] với giả thiết x1 ≥ x2 ≥ · · · ≥ xn
→
−
xa đều
 hơn B = [y1 , y2 , . . . , yn ] cũng với giả thiết y1 ≥ y2 ≥ · · · ≥ yn ,
x 1 ≥ y1




x1 + x2 ≥ y1 + y2
nếu . . . . . . . . . . . . . . .


x1 + x2 + · · · + xn−1 ≥ y1 + y2 + · · · + yn−1



x1 + x2 + · · · + xn = y1 + y2 + · · · + yn .

Footer Page 6 of 128.


Header Page 7 of 128.
1

Mở đầu
Toán học là một môn học quan trọng trong chương trình phổ thông. Việc giảng
dạy và học tập môn toán trong trường phổ thông không những nhằm trang

bị cho học sinh những kiến thức cụ thể để áp dụng trong cuộc sống cũng như
trong các môn học khác mà điều quan trong hơn là cung cấp và rèn luyện cho
học sinh những kĩ năng, phương pháp môn học một cách tư duy của Toán học,
điều cần thiết cho học sinh trong cả cuộc đời.
Chuyên đề bất đẳng thức có vị trí rất đặc biệt trong toán học, không chỉ
là đối tượng nghiên cứu trọng tâm của đại số mà còn là công cụ đắc lực trong
nhiều lĩnh vực của giải tích, hình học, lượng giác và ứng dụng.
Trong các kỳ thi thi học sinh giỏi Toán quốc gia, tuyển sinh đại hoc, cao
đẳng và Olympic Toán sinh viên thì các bài toán liên quan đến bất đẳng thức
luôn được đề cập và được xem như là những dạng toán thuộc loại khó, thuộc
phân loại vận dụng ở mức độ cao.
Mặc dù trong quá trình giảng dạy học sinh và giáo viên đã được cọ sát rất
nhiều nhưng khi gặp bài toán chứng minh bất đẳng thức chúng ta thường thấy
lúng túng trong quá trình tìm ra cách giải, bởi vì có quá nhiều cách tiếp cận,
cũng như phương pháp giải rất đa dạng và phong phú như phương pháp sử
dụng các bất đẳng thức cổ điển, phương pháp hàm số, phương pháp dồn biến,
giảm biến, phương pháp phân tích thành tổng các bình phương (SOS), phương
pháp hình học hóa, lượng giác hóa, phương pháp ABC...
Có thể nói, nghiên cứu về phương pháp sử dụng hàm số trong chứng minh
bất đẳng thức là một đề tài đa dạng và thú vị, nhận được sự quan tâm của
nhiều nhà toán học trong nước cũng như trên thế giới, các đề tài không ngừng
nảy sinh và có nhiều kết quả đẹp. Một số nghiên cứu trước đây như: "Một số
bất đẳng thức trong lớp hàm đơn điệu" của tác giả Nguyễn Thị Thu Hà; "Một
số vấn đề về bất đẳng thức Jensen" của tác giả Võ Thị Nhật Vi; "Một số lớp
bất đẳng thức dạng Karamata và áp dụng" của tác giả Mạc Văn Thư; .... Qua

Footer Page 7 of 128.


Header Page 8 of 128.

2

nghiên cứu, bản thân tác giả thấy những đề tài trên đều chỉ nghiên cứu vào
một vấn để cụ thể.
Với suy nghĩ trên, mục tiêu chính của bản luận văn này trình bày một cách
tổng quan, có hệ thống các kiến thức cơ sở, cách thức tiếp cận và phương pháp
chứng minh bất đẳng thức trên quan điểm sử dụng hàm số.
Ngoài phần Mở đầu và Kết luận, luận văn được chia thành ba chương đề
cập đến các vấn đề sau đây:
Chương 1 trình bày cơ sở lý luận và các kiến thức cần thiết cho đề tài.
Chương 2 trình bày các phương pháp sử dụng hàm số để chứng minh bất
đẳng thức.
Các kiến thức trong luận văn này, được sự hướng dẫn của Giáo viên hướng
dẫn tôi đã nghiên cứu, phân tích và tổng hợp từ các kiến thức của Giải tích cao
cấp. Các bài tập minh họa được tổng hợp một cách hệ thống giúp cho giáo viên
cũng như học sinh dễ dàng vận dụng vào quá trình dạy và học.

Footer Page 8 of 128.


Header Page 9 of 128.
3

Chương 1
Cơ sở lý luận và các kiến thức cần
thiết cho đề tài
Phương pháp hàm số có rất nhiều ứng dụng đặc biệt trong các dạng toán chứng
minh bất đẳng thức, tìm giá trị lớn nhất, giá trị nhỏ nhất. Trong chương này
tác giả trình bày các định nghĩa, và chứng minh các tính chất, định lý, hệ quả
là những kiến thức cơ bản của Toán học cao cấp được sử dụng trong luận văn

này.

1.1

Tính chất của hàm số bậc nhất

Chúng ta bắt đầu từ một định lý đơn giản trong giải tích
Định lí 1.1. Hàm số bậc nhất f (x) = ax + b (a = 0) đồng biến trên R khi a > 0
và nghịch biến trên R khi a < 0.
Nhận xét 1.1. ([5]) Đồ thị hàm số y = ax + b trên đoạn [α; β] là một đoạn
thẳng có hai đầu mút là A (α; f (α)) và B (β; f (β)), do đó ta có các tính chất sau

Tính chất 1.1. f (x) ≥ 0 ∀x ∈ [α; β] ⇔

f (α) ≥ 0
f (β) ≥ 0.

Tính chất 1.2. f (x) ≤ 0 ∀x ∈ [α; β] ⇔

f (α) ≤ 0
f (β) ≤ 0.

Tính chất 1.3. min{f (α); f (β)} ≤ f (x) ≤ max{f (α); f (β)} ∀x ∈ [α; β]

Footer Page 9 of 128.


Header Page 10 of 128.
4

1.2

Hàm số đồng biến, nghịch biến

Định nghĩa 1.1. ([4]) Giả sử hàm số f (x) xác định trên tập I (a; b) ⊂ R và thỏa
mãn điều kiện
• Với mọi x1 , x2 ∈ I (a; b) và x1 < x2 ta đều có f (x1 ) < f (x2 ) thì ta nói rằng
f (x) là hàm số đồng biến (hàm đơn điệu tăng thực sự) trên I (a; b) .
• Với mọi x1 , x2 ∈ I (a; b) và x1 < x2 ta đều có f (x1 ) > f (x2 ) thì ta nói rằng
f (x) là hàm số nghịch biến (hàm đơn điệu giảm thực sự) trên I (a; b) .

Sử dụng định lý Lagrange đã biết trong chương trình Toán giải tích ta có
định lý sau:
Định lí 1.2. ([4])Cho hàm số y = f (x) có đạo hàm trên khoảng (a; b)
i) Nếu f (x) > 0 với mọi x ∈ (a; b) thì hàm số y = f (x) đồng biến trên khoảng
đó.
ii) Nếu f (x) < 0 với mọi x ∈ (a; b) thì hàm số y = f (x) nghịch biến trên
khoảng đó.
Chứng minh. Lấy hai điểm x1 , x2 (x1 < x2 ) trên khoảng (a; b). Vì f (x) có đạo
hàm trên khoảng (a; b) nên f (x) liên tục trên [x1 ; x2 ] và có đạo hàm trên khoảng
(x1 ; x2 ).

Áp dụng định lý Lagrange cho hàm số y = f (x) trên [x1 ; x2 ], khi đó ∃c ∈ (x1 ; x2 )
sao cho
f (x2 ) − f (x1 ) = f (c)(x2 − x1 ).

i) Nếu f (x) > 0 trên khoảng (a; b) thì f (c) > 0, mặt khác x2 − x1 > 0 nên
f (x2 ) − f (x1 ) > 0 hay f (x2 ) > f (x1 ), suy ra hàm f (x) đồng biến trên khoảng
(a; b).

ii) Nếu f (x) < 0 trên khoảng (a; b) thì f (c) < 0, mặt khác x2 − x1 > 0 nên
f (x2 ) − f (x1 ) < 0 hay f (x2 ) < f (x1 ), suy ra hàm f (x) nghịch biến trên khoảng
(a; b).

Định lí 1.3 (Mở rộng của định lý 1.2). ([4]) Giả sử hàm số y = f (x) có đạo
hàm trên khoảng (a; b). Nếu f (x) ≥ 0 (f (x) ≤ 0) ∀x ∈ (a; b) và đẳng thức chỉ
xảy ra tại hữu hạn điểm trên khoảng (a; b) thì hàm số f (x) đồng biến (nghịch
biến) trên khoảng đó .
Chứng minh. Thậy vậy, để đơn giản cách lập luận, giả sử rằng f (x) ≥ 0
trên (a; b) và f (x) = 0 tại x1 ∈ (a; b) thì khi đó f (x) đồng biến trên từng khoảng
Footer Page 10 of 128.


Header Page 11 of 128.
5
(a; x1 ) và (x1 ; b) và liên tục trong (a; x1 ] và[x1 ; b) nên nó cũng đồng biến trong
(a; x1 ] và [x1 ; b). Từ đó suy ra nó đồng biến trên cả khoảng (a; b).

1.3

Hàm lồi và bất đẳng thức Karamata

1.3.1

Hàm lồi, hàm lõm khả vi bậc hai

Trong mục này tác giả trình bày một số định nghĩa, tính chất và chứng minh
một số định lý quan trọng của hàm số lồi, lõm được sử dụng trong luận văn
này.
Định nghĩa 1.2. ([3],[4]) Hàm số f (x) được gọi là hàm lồi trên tập I(a, b) nếu

với mọi x1 , x2 ∈ I(a, b) và với mọi cặp số dương α, β có tổng α + β = 1, ta đều có
f (αx1 + βx2 ) ≤ αf (x1 ) + βf (x2 ).

(1.1)

Nếu dấu đẳng thức trong (1.1) xảy ra khi và chỉ khi x1 = x2 thì ta nói hàm
số f (x) là hàm lồi thực sự (chặt) trên I(a, b).
Định nghĩa 1.3. ([3],[4]) Hàm số f (x) được gọi là hàm lõm trên I(a, b) nếu vói
mọi x1 , x2 ∈ I(a, b) và với mọi cặp số dương α, β có tổng α + β = 1, ta đều có
f (αx1 + βx2 ) ≥ αf (x1 ) + βf (x2 ).

(1.2)

Nếu dấu đẳng thức trong (1.2) xảy ra khi và chỉ khi x1 = x2 thì ta nói hàm
số f (x) là hàm lõm thực sự (chặt) trên I(a, b).
Định lí 1.4. Nếu hàm số f (x) khả vi bậc hai trên I(a, b) thì f (x) lồi (lõm) trên
I(a, b) khi và chỉ khi f (x) ≥ 0 (f (x) ≤ 0) trên I(a, b).

Tính chất 1.4. Nếu f (x) lồi (lõm) trên I(a; b) thì hàm g(x) = cf (x) là hàm lõm
(lồi) trên I(a; b) khi c < 0.
Tính chất 1.5. Tổng hữu hạn các hàm lồi trên I(a; b) cũng là một hàm lồi trên
I(a; b).

Tính chất 1.6. Nếu f (x) là hàm số liên tục và lồi trên I(a; b) và g(x) là một
hàm lồi đồng biến trên tập giá trị của f (x) thì g(f (x)) là hàm lồi trên I(a; b)

Footer Page 11 of 128.


Header Page 12 of 128.

6

Chú ý 1.1. Mở rộng cho (1.1), (1.2), ta có các kết quả sau
Cho f (x) là hàm số liên tục và lồi ( hoặc lõm) trên I(a; b) nếu với mọi x1 , x2 , ..., xn ∈
I(a, b) và mọi số dương λ1 , λ2 ..., λn có tổng λ1 + λ2 + ... + λn = 1, ta đều có
f (λ1 x1 + λ2 x2 + ... + λn xn ) ≤ λ1 f (x1 ) + λ2 f (x2 ) + ... + λn f (xn ).

(1.3)

f (λ1 x1 + λ2 x2 + ... + λn xn ) ≥ λ1 f (x1 ) + λ2 f (x2 ) + ... + λn f (xn ).)

(1.4)

( hoặc

1.3.2

Biểu diễn hàm lồi, hàm lõm

Nếu f (x) là hàm lồi trên I(a, b) thì với mọi cặp x0 , x ∈ I(a, b), ta đều có
f (x) ≥ f (x0 ) + f (x0 )(x − x0 ), ∀x, x0 ∈ (a, b).

(1.5)

Ta nhận thấy rằng, dấu đẳng thức (1.5) xảy ra khi x = x0 . Vậy ta có thể viết
(1.5) dưới dạng
f (x) = min [f (u) + f (u)(x − u)].
u∈I(a,b)

Nếu f (x) là hàm lõm trên I(a, b) thì với mọi cặp x0 , x ∈ I(a, b), ta đều có

f (x) ≤ f (x0 ) + f (x0 )(x − x0 ), ∀x, x0 ∈ (a, b).

(1.6)

Ta nhận thấy rằng, dấu đẳng thức (1.6) xảy ra khi x = x0 . Vậy ta có thể
viết (1.6) dưới dạng
f (x) = max [f (u) + f (u)(x − u)].
u∈I(a,b)

1.3.3

Bất đẳng thức Karamata

Định lí 1.5.

1

[Bất đẳng thức Karamata]([3],[4])

Cho hai dãy số xk , yk ∈ I(a, b), k = 1, 2, . . . , n thỏa mãn các điều kiện x1 ≥ x2 ≥
· · · ≥ xn , y1 ≥ y2 ≥ · · · ≥ yn và


x1 ≥ y1




x1 + x2 ≥ y1 + y2
...............

.

(1.7)



x1 + x2 + · · · + xn−1 ≥ y1 + y2 + · · · + yn−1



x1 + x 2 + · · · + xn = y 1 + y 2 + · · · + y n

1

Định lí 1.5: BĐT Karamata được đặt theo tên nhà toán học Jovan Karamata (1902 - 1967), Ông
là một trong những nhà toán học vĩ đại của Serbian trong thế kỷ 20.

Footer Page 12 of 128.


Header Page 13 of 128.
7

Khi đó ứng với mọi hàm lồi thực sự f (x) (f (x) > 0) trên (a, b) ta đều có
f (x1 ) + f (x2 ) + · · · + f (xn ) ≥ f (y1 ) + f (y2 ) + · · · + f (yn ).

(1.8)

Ta cũng có phát biểu tương tự đối với hàm lõm bằng cách đổi chiều dấu bất

đẳng thức [3].
Chứng minh. Sử dụng biểu diễn đối với hàm lồi
n

n

f (x1 ) + f (x2 ) + · · · + f (xn ) =

max

t1 ,...t2 ∈I(a,b)

f (xi − ti )f (ti ) . (1.9)

f (ti ) +
i=1

i=1

Không làm mất tính tổng quát, ta giả thiết bộ số t1 , . . . , tn ∈ I(a, b) cũng là
t1 ≥ t2 ≥ · · · ≥ tn . Khi đó, để chứng minh (1.9) ta chỉ cần chứng minh rằng
x1 f (t1 ) + x2 f (t2 ) + · · · + xn f (tn ) ≥ y1 f (t1 ) + y2 f (t2 ) + · · · + yn f (tn ).

(1.10)

Sử dụng biến đổi Abel
x1 f (t1 ) + x2 f (t2 ) + · · · + xn f (tn ) =
= S1 [f (t1 )−f (t2 )]+S2 [f (t2 )−f (t3 )]+· · ·+Sn−1 [f (tn−1 )−f (tn )]+Sn f (tn ) (1.11)

ứng với Sk (x) := x1 + x2 + · · · + xk . Vì rằng f (x) > 0 nên f (xk ) ≤ f (xk−1 ). Mặt

khác, do Sk (x) ≥ Sk (y)(k = 1, 2, . . . , n − 1) và Sn (x) = Sn (y), ta thu được (1.10).
Từ định lý 1.5 chúng ta có một số BĐT được coi là hệ quả của nó

1.3.4

Các hệ quả của bất đẳng thức Karamata

Hệ quả 1.1 (Bất đẳng thức Jensen). ([3],[4]) Với mọi hàm lồi f (x) trên
I(a, b) và với mọi xi ∈ I(a, b),

(i = 1, 2, . . . , n) ta luôn có bất đẳng thức

f (x1 ) + f (x2 ) + · · · + f (xn )
x1 + x2 + · · · + xn
≥ f(
).
n
n

(1.12)

Chứng minh. Do tính chất đối xứng, không làm mất tính tổng quát, ta có
thể giả sử x1 ≥ x2 ≥ · · · ≥ xn . Khi đó, ta có

x1 ≥ x




x1 + x2 ≥ 2x

..........



x1 + x2 + · · · + xn−1 ≥ (n − 1)x



x1 + x2 + · · · + xn = nx

Footer Page 13 of 128.


Header Page 14 of 128.
8

trong đó x =

x1 + x2 + · · · + xn
. Theo bất đẳng thức Karamata, ta có
n
f (x1 ) + f (x2 ) + · · · + f (xn ) ≥ nf (

x1 + x2 + · · · + xn
).
n

Tương tự như chứng minh Hệ quả 1.1 ta chứng minh được hệ quả sau
Hệ quả 1.2 (Bất đẳng thức Jensen tổng quát). Với mọi hàm lồi f (x) trên
I(a, b) và với mọi xi ∈ I(a, b)(i = 1, 2, . . . , n) và 0 < t1 , t2 , ..., tn < 1 thỏa mãn

t1 + t2 + ... + tn = 1 ta luôn có bất đẳng thức
f (t1 x1 + t2 x2 + ... + tn xn ) ≤ t1 f (x1 ) + t2 f (x2 ) + ... + tn f (xn ).

(1.13)

Hệ quả 1.3 (Bất đẳng thức T. Popoviciu). ([3],[4]) Với mọi hàm lồi f trên
I(a, b) và với mọi x, y, z ∈ I(a, b), ta đều có
f (x) + f (y) + f (z) + 3f (

x+y+z
x+y
y+z
x+z
) ≥ 2f (
) + 2f (
) + 2f (
) (1.14)
3
2
2
2

Chứng minh. Ta coi x ≥ y ≥ z . Khi đó sẽ xảy ra một trong hai khả năng
x≥

x+y+z
≥ y ≥ z,
3

hoặc

x+y+z
≥ z.
3
x+y+z
Ta chỉ cần xét trường hợp x ≥
≥ y ≥ z là đủ.
3
x≥y≥

Khi đó, dễ dàng kiểm tra
x+y+z
x+y+z
x+y+z
≥
≥
≥ z,
3
3
3

(1.15)

x+y
x+y
x+z
x+z
z+y
z+y
≥
≥

≥
≥
≥
,
2
2
2
2
2
2

(1.16)

x≥y≥

và
x+y+z+3

x+y+z
x+y x+z z+y
= 2(
+
+
).
3
2
2
2

Ta có dãy (1.15) gần đều hơn dãy (1.16). Theo bất đẳng thức Karamata, ta

được điều phải chứng minh.
Hệ quả 1.4 (Bất đẳng thức Vasile Cirtoaje). ([3],[4]) Với mọi hàm lồi f (x)
trên I(a, b) và a1 , a2 , . . . , an ∈ I(a, b) ta luôn có bất đẳng thức sau
f (a1 )+f (a2 )+· · ·+f (an )+n(n−2)f (

Footer Page 14 of 128.

a1 + a2 + · · · + an
) ≥ (n−1)(f (b1 )+f (b2 )+· · ·+f (bn )),
n


Header Page 15 of 128.
9

trong đó bi =

1
aj với mọi j.
n − 1 i=j

Chứng minh.
Không mất tính tổng quát, ta coi n ≥ 3 và a1 ≤ a2 ≤ · · · ≤ an . Khi đó tồn tại số
tự nhiên m sao cho 1 ≤ m ≤ n − 1 và a1 ≤ · · · ≤ am ≤ a ≤ am+1 ≤ · · · ≤ an , trong
a1 + a2 + · · · + an
.
n
Ta cũng có b1 ≥ · · · ≥ bm ≥ a ≥ bm+1 ≥ · · · ≥ bn .

đó a =

Dễ thấy điều cần chứng minh được suy ra từ hai bất đẳng thứ sau
f (a1 )+f (a2 )+· · ·+f (am )+n(n−m−1)f (a) ≥ (n−1)(f (bm+1 )+f (bm+2 )+· · ·+f (bn )).

(1.17)
f (am+1 ) + f (am+2 ) + · · · + f (an ) + n(m − 1)f (a) ≥ (n − 1)(f (b1 ) + f (b2 ) + · · · + f (bm )).

(1.18)
Để chứng minh (1.17), ta sử dụng bất đẳng thức Jensen đối với hàm lồi
f (a1 ) + f (a2 ) + · · · + f (am ) + n(n − m − 1)f (a) ≥ (n − 1)f (b)

trong đó b =

a1 + a2 + · · · + am + (n − m − 1)a
.
n−1

Vậy ta chỉ cần phải chứng minh rằng
(n − m − 1)f (a) + f (b) ≥ f (bm+1 ) + f (bm+2 ) + · · · + f (bn ).

Vì a ≥ bm+1 ≥ bm+2 ≥ · · · ≥ bn và (n − m − 1)a + b = bm+1 + bm+2 + · · · + bn ta
→
−

→
−

thấy ngay A n−m = [a, . . . , a, b] xa đều hơn B n−m = [bm+1 , bm+2 , . . . , bn ]. Vậy bất
đẳng thức (1.17) được suy ra ngay từ bất đẳng thức Karamata.
Bất đẳng thức (1.18) được chứng minh tương tự bằng cách sử dụng bất đẳng

thức Jensen quen biết
f (am+1 ) + f (am+2 ) + · · · + f (an ) + (m − 1)f (a)
≥ f (c)
n−1

ứng dụng cho f (c) + (m − 1)f (a) ≥ f (b1 ) + f (b2 ) + · · · + f (bm ),
trong đó c =

am+1 + am+2 + · · · + an + (m − 1)a
.
n−1

Bất đẳng thức cuối cùng này suy ra được từ bất đẳng thức Karamata, vì rằng
→
−
b1 ≥ · · · ≥ bm ≥ a, c + (m − 1)a = b1 + b2 + · · · + bm và C m = [c, a, . . . , a] xa đều
→
−
hơn D m = [b1 , b2 , . . . , bm ].

Nhận xét 1.2. Kết quả của các hệ quả trên sẽ được tác giả sử dụng để chứng
minh một số bài toán trong chương 2.
Footer Page 15 of 128.


Header Page 16 of 128.
10

1.4

Hàm số nửa lồi

Định nghĩa 1.4. ([7]) Hàm số f : I (a; b) −→ R gọi là hàm số nửa lồi trên
khoảng I (a; b) nếu tồn tại một điểm s ∈ I (a; b) sao cho hàm số f là hàm số lồi
trên (a; s] hoặc [s; b).
Với việc sử dụng bất đẳng thức Jensen và bất đẳng thức Karamata chúng
ta chứng minh được định lý HCF (Định lý hàm nửa lồi). Sau đây là nội dung
của định lý
Định lí 1.6.

2

HCF (Half Convex Function Theorem)([7]) Cho f (u) là

hàm số xác định trên khoảng thực I và lồi trên Iu≤s hoặc Iu≥s với hằng số s ∈ I.
Bất đẳng thức
f (a1 ) + f (a2 ) + · · · + f (an ) ≥ nf

a1 + a2 + · · · + an
n

(1.19)

đúng với mọi số a1 , a2 , ..., an ∈ I và thỏa mãn a1 + a2 + · · · + an = ns khi và chỉ
khi
f (x) + (n − 1)f (y) ≥ nf (s)

(1.20)

với mọi x, y ∈ I thỏa mãn x + (n − 1)y = ns.

Chứng minh.
• Trường hợp 1: Nếu f (u) là hàm lồi trên Iu≥s .

Không mất tính tổng quát giả sử a1 ≤ a2 ≤ · · · ≤ an .
Nếu a1 ≥ s thì theo BĐT Jensen BĐT trên luôn đúng.
Nếu ∃k ∈ {1; 2; . . . ; n − 1} sao cho
a1 ≤ · · · ≤ ak < s ≤ ak+1 ≤ · · · ≤ an .

Do f là hàm số lồi trên Iu≥s , áp dụng BĐT Jensen ta được
f (ak+1 ) + · · · + f (an ) ≥ (n − k)f (z),

z=

ak+1 + · · · + an
.
n−k

Như vậy, ta cần chỉ ra
f (a1 ) + · · · + f (ak ) + (n − k)f (z) ≥ nf (s).
2

Định lí 1.6 do Vasile Cirtoaje nhà Toán học người Romania đề xuất và chứng minh năm 2004.

Footer Page 16 of 128.


Header Page 17 of 128.
11

Lấy b1 , . . . , bk ∈ I thỏa mãn

ai + (n − 1)bi = ns,

i = 1, . . . , k.

và
z ≥ b1 ≥ · · · ≥ gk > s.

Khi đó ta có
bk − s =

s − ak
> 0,
n−1

(n − 1)b1 = ns − a1 = (a2 + · · · + ak ) + ak+1 + · · · + an
⇒ (n − 1)b1 ≤ (k − 1)s + ak+1 + · · · + an = (k − 1)s + (n − k)z
⇒ (n − 1)b1 ≤ (n − 1)z.

Theo giả thiết, ta có
f (a1 ) + (n − 1)f (b1 ) ≥ nf (s),
...
f (ak ) + (n − 1)f (bk ) ≥ nf (s),

do đó
f (a1 ) + . . . f (ak ) + (n − 1)[f (b1 ) + . . . f (bk )] ≥ knf (s).

Như vậy ta chỉ cần chứng minh
knf (z) − (n − 1)[f (b1 ) + · · · + f (bk )] + (n − k)f (z) ≥ nf (s),
⇔ pf (z) + (k − p)f (s) ≥ f (b1 ) + · · · + f (bk ),

p=

n−k
.
n−1

Theo BĐT Jensen ta có
pf (z) + (1 − p)f (s) ≥ f (w),

w = pz + (1 − p)s.

Như vậy ta chỉ cần chỉ ra
f (w) + (k − 1)f (s) ≥ f (b1 ) + · · · + f (bk ).

Do (w, s, . . . , s)

(b1 , . . . , bk ), áp dụng BĐT Karamata đối với hàm số lồi ta

được điều phải chứng minh.
• Trường hợp 2: Nếu f (u) là hàm lồi trên Iu≤s được chứng minh tương tự như

trên.
Footer Page 17 of 128.


Header Page 18 of 128.
12

Chú ý 1.2. Đặt
g(u) =

f (u) − f (s)
g(x) − g(y)
, h(x, y) =
.
u−s
x−y

Khi đó điều kiện (1.20): f (x) + (n − 1)f (y) ≥ nf (s) trong định lý HCF tương
đương với
h(x, y) ≥ 0, ∀x, y ∈ I, sao cho x + (n − 1)y = ns.

Thật vậy, ta có
f (x) + (n − 1)f (y) − nf (s) = [f (x) − f (s)] + (n − 1)[f (y) − f (s)]
= (x − s)g(x) + (n − 1)(y − s)g(y)
n−1
=
(x − y)[g(x) − g(y)]
n
n−1
=
(x − y)2 h(x, y).
n

Chú ý 1.3. Bất đẳng thức trong định lý HCF trở thành đẳng thức khi
a1 = · · · = an = s.

Nếu tồn tại x, y ∈ I sao cho x = y, x + (n − 1)y = ns và f (x) + (n − 1)f (y) = nf (s),
(h(x, y) = 0) thì đẳng thức còn xảy ra khi a1 = x, a2 = · · · = an = y và các giao
hoán của nó.

Chú ý 1.4. Giả sử f có đạo hàm trên I, và đặt
H(x, y) =

f (x) − f (y)
.
x−y

Khi đó điều kiện f (x) + (n − 1)f (y) ≥ nf (s) trong định lý HCF có thể thay thế
bằng điều kiện hạn chế hơn
H(x, y) ≥ 0, ∀x, y ∈ I

Footer Page 18 of 128.

thỏa mãn x + (n − 1)y = ns.


Header Page 19 of 128.
13

Chương 2
Trình bày một số phương pháp sử
dụng hàm số để chứng minh bất
đẳng thức
Trong chương này tác giả trình bày một số phương pháp sử dụng hàm số để
chứng minh bất đẳng thức.

2.1

Sử dụng tính chất của hàm số bậc nhất để
chứng minh bất đẳng thức

Trong các bài toán chứng minh bất đẳng thức có rất nhiều bài có thể biến đổi
đưa được về chứng minh bất đẳng thức dạng f (t) ≥ 0; f (t) ≤ 0 trong đó f (t) là
hàm số bậc nhất.
Sử dụng các tính chất của hàm số bậc nhất ta có thể chứng minh được các
bài toán đó. Sau đây ta sẽ nghiên cứu một vài ví dụ điển hình trong việc sử
dụng các Tính chất 1.1, 1.2, 1.3 để chứng minh bất đẳng thức
Ví dụ 2.1. Cho các số thực x, y, z ∈ [0; 2]. Chứng minh rằng
2(x + y + z) − (xy + yz + zx) ≤ 4.

Lời giải.
Ta có 2(x + y + z) − (xy + yz + zx) ≤ 4 ⇔ (2 − y − z)x + 2(y + z) − yz − 4 ≤ 0.
Xét hàm số
f (x) = (2 − y − z)x + 2(y + z) − yz − 4,

x ∈ [0; 2]

• Nếu y + z = 2 thì bất đẳng thức trở thành −yz ≤ 0 luôn đúng vì y, z ≥ 0.
• Nếu y + z = 2 thì f (x) = (2 − y − z)x + 2(y + z) − yz − 4 là hàm số bậc nhất.

Footer Page 19 of 128.


Header Page 20 of 128.
14

Theo Tính chất 1.2 ta chỉ cần chứng minh
f (0) ≤ 0
f (2) ≤ 0

.

Mà ta có f (0) = −(2 − y)(2 − z) ≤ 0,
và f (2) = −yz ≤ 0 vì y, z ∈ [0; 2].
Từ đó suy ra điều phải chứng minh.
Ví dụ 2.2. [USA MO 1979]. Cho x, y, z là các số thực không âm và thỏa mãn
x + y + z = 1. Chứng minh rằng
1
x3 + y 3 + z 3 + 6xyz ≥ .
4

Lời giải. Ta có x3 + y 3 + z 3 + 6xyz ≥

1
4

⇔ x3 + (y + z)3 − 3yz(y + z) + 6xyz −

1
≥0
4

1
≥ 0 vì x + y + z = 1
4
1
⇔ (3x − 1)yz + x2 − x + ≥ 0.
4
(y + z)2
(1 − x)2

Mặt khác ta có yz ≤
=
.
4
4
1
(1 − x)2
Xét hàm số f (yz) = (3x − 1)yz + x2 − x + với yz ∈ 0;
.
4
4
1
1
• Nếu x = thì f (yz) =
≥ 0 (hiển nhiên đúng)
3
36
1
1
• Nếu x = thì f (yz) = (3x − 1)yz + x2 − x + là hàm số bậc nhất.
3
 4
f (0) ≥ 0
(1 − x)2
Theo Tính chất 1.1 ta chỉ cần chứng minh
.
≥0
f
4
2

1
1
Thật vậy, dễ thấy f (0) = x2 − x + = x −
≥ 0,
4
2
(1 − x)2
(1 − x)2
1
3x 2
1
và f
= (3x−1)
+x2 −x+ =
x −x+
≥ 0 vì 0 ≤ x ≤ 1
4
4
4
4
3
1
1 2
1
và x2 − x + = x −
+
> 0. Suy ra điều phải chứng minh.
3
2
12

⇔ x3 + (1 − x)3 − 3yz(1 − x) + 6xyz −

Ví dụ 2.3. [Vasile Critoaje]. Cho x, y, z là các số thực không âm thỏa mãn
điều kiện xy + yz + zx = 3. Chứng minh bất đẳng thức
x2

Footer Page 20 of 128.

1
1
1
+ 2
+ 2
≤ 1.
+2 y +2 z +2


Header Page 21 of 128.
15

Lời giải. Bất đẳng thức cần chứng minh tương đương với
(x2 + 2)(y 2 + 2)(z 2 + 2) ≥ (x2 + 2)(y 2 + 2) + (x2 + 2)(z 2 + 2) + (y 2 + 2)(z 2 + 2)
⇔ x2 y 2 + y 2 z 2 + x2 z 2 + x2 y 2 z 2 ≥ 4.

Đặt


a = xy


b = yz
c = zx

thì a + b + c = 3. Bất đẳng thức cần chứng minh trở thành
a2 + b2 + c2 + abc ≥ 4.

Ta có bất đẳng thức a2 + b2 + c2 + abc ≥ 4.
⇔ a2 + (b + c)2 − 2bc + abc − 4 ≥ 0
⇔ a2 + (3 − a)2 − 2bc + abc − 4 ≥ 0
⇔ (a − 2)bc + 2a2 − 6a + 5 ≥ 0
(3 − a)2
(3 − a)2
(b + c)2
=
và b; c ≥ 0 ⇒ bc ∈ 0;
4
4
4
2
(3 − a)
Xét hàm số f (bc) = (a − 2)bc + 2a2 − 6a + 5 với bc ∈ 0;
4
• Nếu a = 2 thì f (bc) = 1 ≥ 0 (hiển nhiên đúng)

Mặt khác ta có: bc ≤

• Nếu a = 2 thì f (bc) là hàm số bậc nhất.

Theo Tính chất 1.1 để chứng minh f (bc) ≥ 0 với bc ∈ 0;


f (0) ≥ 0
(3 − a)2
chứng minh
.
≥0
f

(3 − a)2
4

ta chỉ cần

4

Ta có: f (0) = 2a2 − 6a + 5 = 2 a −

3
2

2

+

1
>0
2

(3 − a)2
(3 − a)2
1

= (a − 2).
+ 2a2 − 6a + 5 = (a + 2)(a − 1)2 ≥ 0, với
4
4
4
a ∈ [0; 3]. Từ đó suy ra điều phải chứng minh.

và f

Ví dụ 2.4. Cho a, b, c là các số thực không âm thỏa mãn a2 + b2 + c2 = 4. Chứng
minh bất đẳng thức

√
1
a + b + c ≤ abc + 8.
2

Lời giải. Bất đẳng thức đã cho tương đương với
√
1
1 − bc a + b + c − 8 ≤ 0.
2

Footer Page 21 of 128.


Header Page 22 of 128.
16
√

1
2

Xét hàm số f (a) = 1 − bc a + b + c − 8 với a ∈ [0; 2].
Ta có:

√
√
√
2(b2 + c2 ) − 8 = 8 − 8 = 0,
√
√
√
√
f (2) = 2 − bc + b + c − 8 = 2 − 8 < 8 − 8 = 0

f (0) = b + c −

√

8≤

vì a = 2 ⇒ b = c = 0.
Vậy f (a) ≤ 0 ∀a ∈ [0; 2], suy ra điều phải chứng minh.
Ví dụ 2.5. Cho a, b, c là các số thực dương. Chứng minh bất đẳng thức
4a
+1
b+c

4c

+ 1 > 25.
a+b

4b
+1
c+a

Lời giải. Do bất đẳng thức đã cho là bất đẳng thức đồng bậc nên ta chuẩn
hóa a + b + c = 1. Khi đó bất đẳng thức đã cho trở thành
3a + 1
1−a

3b + 1
1−b

3c + 1
1−c

> 25

⇔ 27abc + 9(ab + bc + ca) + 4 > 25(ab + bc + ca) − 25abc
⇔ (13c − 4)ab − 4c(1 − c) + 1 > 0
1
3

Không mất tính tổng quát giả sử c = max{a; b; c}. Do a + b + c = 1 nên c ≥ .
Đặt t = ab, ta có
0
a+b

4

2

=

(1 − c)2
.
4

Đặt f (t) = (13c − 4)t − 4c(1 − c) + 1. Khi đó bất đẳng thức đã cho trở thành,
chứng minh rằng
(13c − 4)t − 4c(1 − c) + 1 > 0
⇔ f (t) > 0

với t ∈ 0;

(1 − c)2
.
4

1
1
nên 13c − 4 ≥ > 0. Vậy f (t) là hàm số bậc nhất, có hệ số của t
3
3
(1 − c)2
dương nên f (t) là hàm số đồng biến, mà f (t) liên tục trên đoạn t ∈ 0;
.
4

(1 − c)2
Do đó, với mọi t ∈ 0;
ta có
4

Mặt khác c ≥

f (t) > f (0) = −4c(1 − c) + 1 = (2c − 1)2 ≥ 0,

nên bất đẳng thức đã cho luôn đúng, suy ra điều phải chứng minh.
Footer Page 22 of 128.


Header Page 23 of 128.
17

Ví dụ 2.6. Cho a, b, c là các số thực dương thoả mãn a + b + c = 1. Chứng minh
bất đẳng thức
5(a2 + b2 + c2 ) ≤ 6(a3 + b3 + c3 ) + 1.

Lời giải.
Không mất tính tổng quát giả sử a = min{a; b; c} ⇒ a ≤

1
3.

Bất đẳng thức đã cho tương đương với
5 a2 + (b + c)2 − 2bc ≤ 6 a3 + (b + c)3 − 3bc(b + c) + 1
⇔ 5 a2 + (1 − a)2 − 2bc ≤ 6 a3 + (1 − a)3 − 3bc(1 − a) + 1
↔ (9a − 4).bc + (2a − 1)2 ≥ 0

Ta đặt t = bc với 0 ≤ t ≤

b+c
2

2

=

1−a
2

2

.

Vậy, ta chỉ cần chứng minh
1−a
f (t) = (9a − 4)t + (2a − 1) ≥ 0, ∀t ∈ 0;
2
2

Do f (t) là hàm số nghịch biến vì 9a − 4 < 0, ∀a ≤
f (t) ≥ f

1−a
2

2

.

1
nên
3

2

1
⇔ f (t) ≥ a(3a − 1)2 ≥ 0
4
1
3

Suy ra điều phải chứng minh, đẳng thức xảy ra khi a = b = c = .

Bài tập vận dụng
Bài tập 2.1. Cho x, y, z ∈ [0; 1]. Chứng minh rằng
x + y + z − (xy + yz + zx) ≤ 1.

Bài tập 2.2. Cho x, y, z ∈ [0; 1]. Chứng minh rằng
x + y + z − 2015(xy + yz + zx) ≤ 1.

Bài tập 2.3. Cho a, b, c là các số thực không âm thỏa mãn a + b + c = 3. Chứng
minh bất đẳng thức
a2 + b2 + c2 + abc ≥ 4.

Footer Page 23 of 128.

Header Page 24 of 128.
18

Bài tập 2.4. Cho các số không âm a, b, c thỏa mãn điều kiện a + b + c = 1.
Chứng minh rằng
ab + bc + ca − 2abc ≤

7
27.

Bài tập 2.5. [Vasile Critoaje]
Cho a, b, c là các số thực dương thỏa mãn ab + bc + ca = 3. Chứng minh bất đẳng
thức
a2

2.2

1
1
1
3
+ 2
+ 2
≥ .
+1 b +1 c +1
2

Sử dụng tính đơn điệu, cực trị của hàm số để
chứng minh bất đẳng thức

2.2.1

Sử dụng tính đơn điệu, cưc trị hàm số

Đối với các bài toán chứng minh bất đẳng thức một biến, hoặc đưa được về một
biến, việc đưa bất đẳng thức về dạng f (x) ≥ 0, (f (x) > 0; f (x) < 0; f (x) ≤ 0)
∀x ∈ I, sau đó xét tính đơn điệu, cực trị của hàm số f (x) với x ∈ I ta có thể dễ

dàng chứng minh được bài toán đã cho. Sau đây là một vài ví dụ minh họa:
Ví dụ 2.7. Chứng minh bất đẳng thức

sin x
x

3

> cos x,

∀x ∈ 0;

π
.
2

Lời giải.
Bất đẳng thức cần chứng minh tương đương với
1
sin x
> (cos x) 3

x
1

⇔ sin x.(cos x)− 3 − x > 0.
1

Xét hàm số f (x) = sin x.(cos x)− 3 − x với x ∈ 0;

π
2

Ta có:
4
1 2
sin x.(cos x)− 3 − 1,
3
1
7
2
4
π
f ”(x) = (cos x)− 3 .(1 − sin x) + sin3 x.(cos x)− 4 > 0 ∀x ∈ 0;
.
3
9
2
π
π
Suy ra hàm số f (x) đồng biến trên 0;
vì hàm số f (x) liên tục trên 0; ,

2
2
π
do x > 0 ⇒ f (x) > f (0) = 0 ⇒ hàm số f (x) cũng đồng biến trên 0;
vì hàm
2
π
.
số f (x) liên tục trên 0;
2
Do x > 0 ⇒ f (x) > f (0) = 0, suy ra điều phải chứng minh.
2

f (x) = (cos x) 3 −

Footer Page 24 of 128.


Header Page 25 of 128.
19

Bài toán tổng quát
Chứng minh rằng với mọi số thực α ≤ 3, ta luôn có
sin x
x

α

∀x ∈ 0;

> cos x,

π
.
2

Ví dụ 2.8. Chứng minh bất đẳng thức sau với mọi số tự nhiên n ≥ 2
√
n

n
1+
+
n

n

n

√
n
1−

n
< 2.
n

√
n
n

Lời giải. Đặt x =
ta có x ∈ (0; 1), ∀n ∈ N, n ≥ 2.
n

Bất đẳng thức đã cho trở thành
√
√
n
1 + x + n 1 − x < 2, ∀x ∈ (0; 1).

Xét hàm số f (x) =

√
n

1+x+

√
n

1 − x, với x ∈ (0; 1).

Ta có
f (x) =

1
n

1
n

(1 + x)n−1

−

1
n

(1 − x)n−1

∀x ∈ (0; 1),

<0

mà hàm số f (x) liên tục trên [0; 1) ,
suy ra hàm số f (x) nghịch biến trên [0; 1).
Do x > 0 ⇒ f (x) < f (0) = 2
Vậy f (x) < 2, ∀x ∈ (0; 1).
Ví dụ 2.9. Chứng minh rằng với mọi tam giác ABC ta đều có
(2R + a)(2R + b)(2R + c) < 8.R3 .e

3

√

3

2

.

Trong đó R là bán kính đường tròn ngoại tiếp tam giác ABC và a, b, c là độ dài
ba cạnh của tam giác ABC .
Lời giải. Bất đẳng thức đã cho tương đương với
1+

2
2R

1+

b
2R

1+

c
2R


√
3 3
2

⇔ (1 + sin A)(1 + sin B)(1 + sin C) < e

.

√

3 3
2

.

Lấy logarit Nêpe hai vế ta được, bất đẳng thức trên tương đương với
√
3 3
ln (1 + sin A) + ln (1 + sin B) + ln (1 + sin C) <
.
2

Footer Page 25 of 128.