Ngô Quốc Anh, Dư Đức Thắng, Trần Tất Đạt và Đặng Anh Tuấn ĐHQGHà Nội, xem [3] đã phát triển bài toán trên như sau: Bổ đề 1.. Đến đây theo bổ đề 1 ta suy ra điều phải chứng minh... Tương
Trang 1Mở rộng và phát triển một bài toán
thi Olympic sinh viên Việt Nam
Võ Đức Toàn1, Vũ Tiến Việt2
Năm 2005 trong kỳ thi Olympic toán học sinh viên Việt Nam (được tổ chức tại Đại học Sư phạm – Đại học Huế) có bài toán sau3:
Cho hàm f (x) liên tục trên [0, 1] và thỏa mãn
Z 1
x
f (t)dt > 1 − x
2
Chứng minh rằng
Z 1 0
[f (x)]2dx >
Z 1 0
xf (x)dx > 1
3
Lời giải Ta có
0 6
Z 1
0
[f (x) − x]2dx =
Z 1 0
[f (x)]2dx − 2
Z 1 0
xf (x)dx +
Z 1 0
x2dx
nên
Z 1
0
[f (x)]2dx > 2
Z 1 0
xf (x)dx −1
3 .
Đặt I =
Z 1
0
³ Z 1
x
f (t)dt
´
dx và sử dụng tích phân từng phần ta được
I =
Z 1
0
³ Z 1
x
f (t)dt´dx = x
Z 1
x
tf (t)dt
¯
¯1
0+
Z 1 0
xf (x)dx =
Z 1 0
xf (x)dx
Mặt khác ta có
I =
Z 1 0
³ Z 1
x
f (t)dt´dx >
Z 1 0
1 − x2
2 dx =
1 3
Từ đây suy ra điều phải chứng minh ¤
Nhận xét Điều kiện (1) có thể viết thành
Z 1
x
f (t)dt >
Z 1
x tdt , ∀x ∈ [0, 1]
1 Học viên Cao học, Khoa Toán - Trường Đại học Quy Nhơn
email: ductoan1810@gmail.com
2 Khoa Toán - Tin, Học viện An ninh nhân dân
email: mydienbien@gmail.com
3 Bài này xuất hiện lần đầu trong kỳ thi ICM-1995 tổ chức tại Bulgaria
Trang 2Ngô Quốc Anh, Dư Đức Thắng, Trần Tất Đạt và Đặng Anh Tuấn (ĐHQG
Hà Nội, xem [3]) đã phát triển bài toán trên như sau:
Bổ đề 1 Giả thiết hàm f liên tục trên [0, 1] và thỏa mãn điều kiện (1) ; đồng
thời f (x) > 0 , ∀x ∈ [0, 1] (1 0) Khi đó ta có
Z 1 0
x n+1 f (x)dx > 1
n + 3 , (n = 0, 1, 2, ) Chứng minh Ta có
Z 1
0
x n³ Z 1
x
f (t)dt
´
dx = 1
n + 1
Z 1 0
³ Z 1
x
f (t)dt
´
d(x n+1)
= x
n+1
n + 1
Z 1
x
f (t)dt
¯
¯1
n + 1
Z 1 0
x n+1 f (x)dx
dẫn đến
Z 1
0
x n+1 f (x)dx = (n + 1)
Z 1 0
x n
³ Z 1
x
f (t)dt
´
dx
Mặt khác
Z 1
0
x n³ Z 1
x
f (t)dt´dx >
Z 1 0
x n 1 − x2
2 dx
Do đó
Z 1
0
x n+1 f (x)dx > (n + 1)
Z 1 0
x n 1 − x2
2 dx = ? =
1
n + 3.¤
Bài toán 1 Giả sử hàm f liên tục trên [0, 1] và thỏa mãn (1), (1 0) Khi đó
Z 1 0
[f (x)] n+1 dx >
Z 1 0
x n f (x)dx , ∀n ∈ N Lời giải Do bất đẳng thức Cauchy ta có [f (x)] n+1 + nx n+1 > (n + 1)x n f (x),
nên
Z 1
0
[f (x)] n+1 dx + n
Z 1 0
x n+1 dx > (n + 1)
Z 1 0
x n f (x)dx
Theo bổ đề 1 ta có
(n + 1)
Z 1
0
x n f (x)dx = n
Z 1 0
x n f (x)dx +
Z 1 0
x n f (x)dx > n
n + 2+
Z 1 0
x n f (x)dx
Suy ra điều phải chứng minh ¤
Bài toán 2 Giả sử hàm f liên tục trên [0, 1] và thỏa mãn (1), (1 0) Khi đó
Z 1 0
[f (x)] n+1 dx >
Z 1 0
x[f (x)] n dx , ∀n ∈ N Lời giải Ta thấy (f (x) − x)([f (x)] n − x n ) > 0 , ∀x ∈ [0, 1] ,
tức là [f (x)] n+1 + x n+1 > x n f (x) + x[f (x)] n , ∀x ∈ [0, 1]
Do đó
Z 1
0
[f (x)] n+1 dx + 1
n + 2 >
Z 1 0
x n f (x)dx +
Z 1 0
x[f (x)] n dx
Đến đây theo bổ đề 1 ta suy ra điều phải chứng minh ¤
Trang 3Bổ đề 2 Giả sử hàm f liên tục trên [0, 1] và thỏa mãn (1), (1 0)
Khi đó
Z 1
0
x α+1 f (x)dx > 1
α + 3 , (∀α > 0) Chứng minh Tương tự như chứng minh bổ đề 1.
Bài toán 3 Giả sử hàm f liên tục trên [0, 1] và thỏa mãn (1), (1 0) Khi đó
Z 1 0
[f (x)] α+1 dx >
Z 1 0
x α f (x)dx , ∀α > 0 Lời giải Dễ dàng có bất đẳng thức Cauchy tổng quát sau
αx + βy > x α y β , (α > 0, β > 0, α + β = 1, x > 0, y > 0)
Từ đó
1
α + 1 [f (x)]
α+1+ α
α + 1 x α+1 > x α f (x) , ∀x ∈ [0, 1]
1
α + 1
Z 1
0
[f (x)] α+1 dx + α
(α + 1)(α + 2) >
Z 1 0
x α f (x)dx
Theo bổ đề 2 ta có
Z 1
0
x α f (x)dx = 1
α + 1
Z 1 0
x α f (x)dx + α
α + 1
Z 1 0
x α f (x)dx
> 1
α + 1
Z 1 0
x α f (x)dx + α
(α + 1)(α + 2)
Suy ra điều phải chứng minh ¤
Bài toán 4 Giả sử hàm f liên tục trên [0, 1] và thỏa mãn (1), (1 0) Khi đó
Z 1 0
[f (x)] α+1 dx >
Z 1 0
x[f (x)] α dx , ∀α > 0 Lời giải Tương tự như chứng minh bài toán 3.
Bài toán mở số 1 Giả sử f (x) là hàm liên tục trên [0, 1] thỏa mãn
Z 1
x
f (t)dt >
Z 1
x tdt , ∀x ∈ [0, 1]
Với điều kiện nào cho α và β thì bất đẳng thức sau là đúng?
Z 1 0
[f (x)] α+β dx >
Z 1 0
t α [f (x)] β dx
Trang 4Chúng ta tiến hành giải quyết bài toán mở số 1 nêu trên.
Bổ đề 3 Giả sử hàm f liên tục trên [0, 1] và thỏa mãn (1) Khi đó
Z 1
x
t k f (t)dt > 1 − x k+2
k + 2 , ∀x ∈ [0, 1] , (k ∈ N) Chứng minh Từ giả thiết ta có
Z 1
x
y k−1³ Z 1
y
f (t)dt´dy >
Z 1
x
y k−1 1 − y2
2 dy
= ? = 1
k(k + 2) −
x k
2k +
x k+2
2(k + 2)
Mặt khác, dùng tích phân từng phần ta được
Z 1
x
y k−1³ Z 1
y
f (t)dt
´
dy = y k k
Z 1
y
f (t)dt
¯
¯1
x+1
k
Z 1
x
y k f (y)dy
= − x
k k
Z 1
x
f (t)dt + 1
k
Z 1
x
y k f (y)dy
Do đó
− x
k
k
Z 1
x
f (t)dt +1
k
Z 1
x
y k f (y)dy > 1
k(k + 2) −
x k
2k +
x k+2
2(k + 2)
⇒
Z 1
x
y k f (y)dy > x k
Z 1
x
f (t)dt + 1
k + 2 −
x k
2 +
kx k+2
2(k + 2)
> x k 1 − x2
1
k + 2 −
x k
2 +
kx k+2
2(k + 2) =
1 − x k+2
k + 2 .¤ Nhận xét Bằng cách tương tự, ta có thể chứng minh bổ đề 3 cũng đúng khi
k ∈ [1, ∞) Tức là
Z 1
x
t α f (t)dt > 1 − x
α+2
α + 2 , ∀x ∈ [0, 1] , (∀α > 1)
Bổ đề 4 Giả sử f là hàm không âm và liên tục trên [0, 1] sao cho (1) thỏa
mãn Khi đó với mỗi x ∈ [0, 1] và k ∈ N , ta có
Z 1
x
[f (t)] k dt > 1 − x k+1
k + 1 Chứng minh Ta thấy
0 6
Z 1
x
(f (t) − t)([f (t)] k − t k )dt
=
Z 1
x
[f (t)] k+1 −
Z 1
x
t k f (t)dt −
Z 1
x t[f (t)] k dt +
Z 1
x
t k+1 dt
Trang 5điều này kéo theo
Z 1
x
[f (t)] k+1>
Z 1
x
t k f (t)dt +
Z 1
x t[f (t)] k dt − 1 − x
k+2
k + 2
Sử dụng bổ đề 3 ta có
Z 1
x
[f (t)] k+1>
Z 1
x t[f (t)] k dt (∗)
Tiếp tục chứng minh bằng quy nạp Rõ ràng bổ đề đúng với k = 1.
Giả sử
Z 1
x
[f (t)] k dt > 1 − x
k+1
k + 1 , ta sẽ chứng tỏ rằng
Z 1
x
[f (t)] k+1 dt > 1 − x
k+2
k + 2 .
Thật vậy, ta có
Z 1
x
³ Z 1
y
[f (t)] k dt
´
dy >
Z 1
x
1 − y k+1
k + 1 dy = ? =
1
k + 2 −
x
k + 1+
x k+2
(k + 1)(k + 2)
Mặt khác dùng tích phân từng phần ta được
Z 1
x
³ Z 1
y
[f (t)] k dt´dy = y
Z 1
y
[f (t)] k dt
¯
¯1
x+
Z 1
x y[f (y)] k dy
= −x
Z 1
x
[f (t)] k dt +
Z 1
x y[f (y)] k dy
Như thế
−x
Z 1
x
[f (t)] k dt +
Z 1
x
y[f (y)] k dy > 1
k + 2 −
x
k + 1+
x k+2
(k + 1)(k + 2)
và do vậy
Z 1
x
y[f (y)] k dy > x
Z 1
x
[f (t)] k dt + 1
k + 2 −
x
k + 1+
x k+2
(k + 1)(k + 2)
> x 1 − x k+1
k + 1 +
1
k + 2 −
x
k + 1+
x k+2
(k + 1)(k + 2)
=1 − x
k+2
k + 2
Đến đây do (∗) ta được
Z 1
x
[f (t)] k+1>
Z 1
x
t[f (t)] k dt > 1 − x k+2
k + 2
điều này hoàn thành chứng minh ¤
Bài toán 5 Giả sử f là hàm không âm và liên tục trên [0, 1] Nếu (1) thỏa
mãn, thì với mỗi m, n ∈ N , ta có
Z 1 0
[f (x)] m+n dx >
Z 1 0
x m [f (x)] n dx
Trang 6Lời giải Sử dụng bất đẳng thức Cauchy tổng quát ta được
n
m + n [f (x)]
m+n+ m
m + n x m+n > x m [f (x)] n
điều này kéo theo
n
m + n
Z 1
0
[f (x)] m+n dx + m
m + n
Z 1 0
x m+n dx >
Z 1 0
x m [f (x)] n dx
Vì thế
Z 1
0
[f (x)] m+n dx > m
m + n
Z 1 0
[f (x)] m+n dx +
Z 1 0
x m [f (x)] n dx − m
(m + n)(m + n + 1)
=
Z 1 0
x m [f (x)] n dx + m
m + n
³ Z 1 0
[f (x)] m+n dx − 1
m + n + 1
´
Do bổ đề 4 ta có
Z 1 0
[f (x)] m+n dx > 1
m + n + 1 Từ đây ta được
Z 1 0
[f (x)] m+n dx >
Z 1 0
x m [f (x)] n dx ¤
Bài toán 6 Giả sử f là hàm liên tục trên [0, 1] sao cho f (x) > 1 , ∀x ∈ [0, 1].
Nếu (1) thỏa mãn, thì với mỗi α, β > 0 ta có
Z 1 0
[f (x)] α+β dx >
Z 1 0
x α [f (x)] β dx (∗∗) Lời giải Bằng cách chứng minh tương tự như với bài toán 5 ta thấy (∗∗)
đúng khi
Z 1
0
[f (x)] α+β dx > 1
α + β + 1.
Từ đó ta chỉ cần chứng tỏ rằng
Z 1 0
[f (x)] η dx > 1
η + 1 , (η > 0).
Vì f (x) > 1 , ∀x ∈ [0, 1] và [η] 6 η < [η]+1 ta có
Z 1 0
[f (x)] η dx >
Z 1 0
[f (x)] [η] dx.
Do bổ đề 4 ta được
Z 1
0
[f (x)] η dx >
Z 1 0
[f (x)] [η] dx > 1
[η] + 1 >
1
η + 1 .¤
Nhận xét Điều kiện f (x) > 1 , ∀x ∈ [0, 1] trong bài toán 6 là cần thiết để
Z 1
0
[f (x)] η dx > 1
η + 1 , (η > 0) Chẳng hạn xét η =
1
2và
f (x) =
(
2
2(2x − 1) nếu 1
2 < x 6 1 liên tục trên [0, 1]
thì
Z 1
x
f (t)dt > 1 − x
2
2 , nhưng
Z 1 0
[f (x)]1dx =
√
2
3 <
2
3 .
Trang 7Điều kiện f (x) > 1 , ∀x ∈ [0, 1] có thể bỏ qua nếu giả thiết α + β > 1
Bài toán 7 Giả sử f là hàm không âm và liên tục trên [0, 1] sao cho (1) thỏa
mãn Khi đó với mỗi α, β > 0 mà α + β > 1 , ta có
Z 1 0
[f (t)] α+β dt > 1
α + β + 1
và từ đó ta được bất đẳng thức (∗∗) như ở bài toán 6.
Lời giải Đặt k = [α + β] và γ = {α + β} = α + β − [α + β] = α + β − k
Ta thấy k ∈ N, 0 6 γ < 1 và k
α+β+α+β γ = 1 Sử dụng bất đẳng thức Cauchy tổng quát ta có
k
α + β [f (t)]
α+β+ γ
α + β t α+β > [f (t)] k t γ , ∀t ∈ [0, 1]
dẫn đến với mỗi x ∈ [0, 1] thì
k
α + β
Z 1
x
[f (t)] α+β dt + γ
α + β
Z 1
x
t α+β dt >
Z 1
x
[f (t)] k t γ dt
Mặt khác, dùng tích phân từng phần và chú ý bổ đề 4 ta có
Z 1
x
[f (t)] k t γ dt = −
Z 1
x
t γ d³ Z
1
t
[f (s)] k ds´
= −t γ
Z 1
t
[f (s)] k ds
¯
¯1
x+
Z 1
x
³ Z 1
t
[f (s)] k ds´d(t γ)
= x γ
Z 1
x
[f (s)] k ds +
Z 1
x
³ Z 1
t
[f (s)] k ds´d(t γ)
> x γ 1 − x k+1
k + 1 +
Z 1
x
1 − t k+1
k + 1 d(t
γ)
k + 1
h
(x γ − x α+β+1 ) + (1 − x γ ) − γ
α + β + 1 (1 − x
α+β+1)i
Z 1
0
[f (t)] k t γ dt > 1
k + 1 (1 −
γ
α + β + 1) =
1
α + β + 1
Lại có γ
α + β
Z 1 0
(α + β)(α + β + 1) .
Từ đây ta được
k
α + β
Z 1
0
[f (t)] α+β dt >
Z 1 0
[f (t)] k t γ dt − γ
α + β
Z 1 0
t α+β dt
> 1
α + β + 1 (1 −
γ
α + β) =
1
α + β + 1 ·
k
α + β
suy ra điều cần phải chứng minh ¤
Trang 8Chúng ta phát biểu thêm một số bài toán mở khác:
Bài toán mở số 2 Giả sử f, g : [a, b] → [0, ∞) là các hàm liên tục và g là hàm
không giảm thỏa mãn
Z b
a
f (t)dt =
Z b
a
Z b
x
f (t)dt >
Z b
x
Khi đó với mỗi hàm h là hàm lồi trên [0, ∞) ta có
Z b
a h(f (t))dt >
Z b
a h(g(t))dt.
Đặc biệt, lấy h(t) := t α , (α > 0) là hàm lồi trên [0, ∞) ta được
Z b
a
[f (t)] α dt >
Z b
a
[g(t)] α dt
Bài toán mở số 3 Giả sử f, g : [a, b] → [0, ∞) là các hàm liên tục và g là hàm
không giảm, khả vi thỏa mãn điều kiện (3) Khi đó ta có
Z b
x
[f (t)] β dt >
Z b
x
[g(t)] β dt , ∀x ∈ [a, b] , (β > 1)
Bài toán mở số 4 Giả sử f, g : [a, b] → [0, ∞) là các hàm liên tục và g là hàm
không giảm, khả vi thỏa mãn điều kiện (3) Khi đó nếu
Z b
x
[f (t)] α dt >
Z b
x
[g(t)] α dt , ∀x ∈ [a, b] , (α > 0) (4) thì ta có
Z b
x
[f (t)] β dt >
Z b
x
[g(t)] β dt , ∀x ∈ [a, b] , (β > α)
TÀI LIỆU THAM KHẢO
[1] G.H Hardy, J.E Littlewood, G Polya Bất đẳng thức (Tiếng Việt).
Bản dịch của Nguyễn Khắc Lân, Nguyễn Duy Tiến, Nguyễn Hữu Ngự
Nhà xuất bản Đại học Quốc gia Hà Nội, 2002
[2] D.S Mitrinoviic , J.E Pecaric and A.M Fink.
Classical and New Inequalities in Analysis.
Kluwer Academic Publishers, Dordrecht - Boston - London, 1993
[3] Q.A Ngo, D.D Thang, T.T Dat and D.A Tuan.
Notes on an integral inequality.
J Inequal Pure & Appl Math , 7(4) (2006)
[4] George A Anastassiou Advanced Inequalities.
Copyright c° 2011 by World Scientific Publishing Co Pte Ltd.
[5] Constantin P Niculescu, Lars-Erik Persson.
Convex Functions and Their Applications.
Springer September, 2004
[6] D.S Mitrinovic (Author), P.M Vasic (Contributor).
Analytic Inequalities Springer.
Softcover reprint of the original 1st ed 1970 edition (February, 2012)