Untitled ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC KHOA HỌC ——————–o0o——————– LÝ HOÀNG ANH VỀ BẤT ĐẲNG THỨC HÖLDER VÀ ÁP DỤNG LUẬN VĂN THẠC SĨ TOÁN HỌC THÁI NGUYÊN, 11/2018 ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌ[.]
ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC KHOA HỌC ——————–o0o——————– Lí HONG ANH ă V BT NG THC HOLDER V ÁP DỤNG LUẬN VĂN THẠC SĨ TOÁN HỌC THÁI NGUYÊN, 11/2018 ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC KHOA HỌC o0o Lí HONG ANH ă V BT NG THC HOLDER VÀ ÁP DỤNG Chuyên ngành: Phương pháp Toán sơ cấp Mã số: 8460113 LUẬN VĂN THẠC SĨ TOÁN HỌC GIÁO VIÊN HƯỚNG DẪN TS TRẦN XUÂN QUÝ THÁI NGUYÊN, 11/2018 i Mục lục Bảng ký hiệu ii Mở đầu Chng Bt ng thc Hă older v mt s toán áp dụng 1.1 Một số bất đẳng thức 1.1.1 Bất đẳng thức AM–GM 1.1.2 Bất đẳng thức Jensen 1.1.3 Bt ng thc Hăolder 1.2 Sự tương đương bất đẳng thc Hăolder v bt ng thc AMGM suy rng 1.3 Một số vận dụng ca bt ng thc Hăolder gii toỏn ph thụng 3 4 10 Chương Về bất ng thc Hă older suy rng 27 2.1 Bt ng thc Hăolder suy rng 27 2.2 Phiên ngược bất ng thc Hăolder v ỏp dng 35 Kết luận 49 Tài liệu tham khảo 50 ii Bảng ký hiệu R n Y j=1 n X tập hợp số thực aj a1 a2 an aj a1 + a2 + · · · + a n j=1 C ([a, b]) Lp ([a, b]) max{x, y} (α, β) tập hợp hàm khả vi liên tục đoạn [a, b] tập hàm khả tích cấp p đoạn [a, b] phần tử lớn tập hợp {x, y} n X ak bk k=1 ε (αt , ε) (1, 1, , 1) n X atk k=1 ((α, β), e) n X k=1 ak bk ek Mở đầu Mơn Tốn có vị trí quan trọng trường phổ thơng, phối hợp với mơn khác hoạt động khác nhà trường, góp phần giáo dục tồn diện học sinh Do vai trị to lớn tốn học đời sống khoa học kỹ thuật đại nên kiến thức phương pháp toán học công cụ thiết yếu giúp cho học sinh học tập tốt môn học khác, giúp cho em học sinh phát triển lực tư phẩm chất trí tuệ, rèn luyện óc trừu tượng, suy luận hợp logíc Ngồi cịn giúp cho học sinh tính cần cù nhẫn nại, tự lực tự cường, tính cẩn thận, xác Bất đẳng thức vấn đề hay khó chương trình tốn phổ thơng có mặt hầu hết lĩnh vực tốn học địi hỏi phải có vốn kiến thức tương đối vững vàng tất lĩnh vực Mỗi người chúng ta, đặc biệt bạn yêu toán, dù dù nhiều đau đầu trước bất đẳng thức khó có cảm giác tự hào phấn khích mà chứng minh bất đẳng thức Nhằm “kích hoạt” niềm say mê bất đẳng thức cho học sinh, thực nghiên cứu đề tài bất đẳng thức Mặt khác, có nhiều nhà tốn học có đóng góp quan trọng cho lý thuyết Jensen, Hardy ú c bit l Hăolder Bt ng thức mang tên ông ứng dụng rộng rãi giải toán cao cấp sơ cấp, đặc biệt đề thi học sinh giỏi Chính thế, thân nhận thấy việc nghiên cứu bất đẳng thc Hăolder cú ý ngha c bit quan trng Nú giúp tơi có nhìn tốt việc định hướng ơn tập cho học sinh tham dự kì thi học sinh giỏi cấp, thi quốc gia Bởi lựa chọn đề tài “Về bất đẳng thức Hăolder v ng dng cho lun thc s ca Nội dung đề tài trình bày hai chương Chương trình bày số bất đẳng thức bất đẳng thức Jensen, bất đẳng thức AM–GM vấn đề tính tương đương bất đẳng thức AM–GM suy rộng, bất đẳng thc Hăolder v bt ng thc trung bỡnh ly tha suy rộng, số toán áp dụng Các kết Chương tổng hợp từ tài liệu [8], [9] số đề thi học sinh giỏi liên quan Chương trình bày bất ng thc Hăolder suy rng, mt s bin th ca bất đẳng thức dạng ngược đặc biệt số mở rộng dạng ngược ca bt ng thc Hăolder Ni dung ca Chng tổng hợp từ tài liệu [7],[11], [13] Luận văn hoàn thành trường Đại học Khoa học–Đại học Thái Nguyên Tác giả xin bày tỏ lòng biết ơn sâu sắc tới 02 thầy hướng dẫn khoa học TS Trần Xuân Quý, Trường Đại học Khoa học – Đại học Thái Nguyên TS Lê Văn Hiếu, Học viện Báo chí Tun truyền tận tình hướng dẫn, hết lịng giúp đỡ em suốt q trình học tập, nghiên cứu để hoàn thành luận văn Tác giả xin chân thành cảm ơn thầy cô giáo giảng dạy chuyên nghành Phương pháp toán sơ cấp, trường Đại học Khoa học–Đại học Thái Nguyên nhiệt tình giảng dạy giúp đỡ tác giả trình thực luận văn Tác giả xin bày tỏ lòng biết ơn tới Ban lãnh đạo thầy khoa Tốn–Tin, phịng Đào tạo, trường Đại học Khoa học–Đại học Thái Nguyên tạo điều kiện thuận lợi cho em trình học tập, thực hoàn thành luận văn Tác giả xin trân trọng cảm ơn bạn đồng nghiệp Ban giám hiệu trường PTDT BT TH&THCS Đồng Lâm Nhân dịp tác giả xin chân thành cảm ơn gia đình, bạn bè động viên, tạo điều kiện giúp đỡ tác giả trình học tập nghiên cứu Thái Nguyên, ngày 25 tháng 11 năm 2018 Học viên Lý Hong Anh Chng Bt ng thc Hă older số toán áp dụng Chương này, chúng tơi tập trung trình bày số bất đẳng thức bản, bất đẳng thức cốt lõi Toán sơ cấp, chẳng hạn bất đẳng thức AM–GM, bất đẳng thức Jensen, bất đẳng thức Cauchy–Schwarz Tuy nhiên trọng tâm khai thác bất đẳng thức Hăolder Ni dung ca chng c tng hp t cỏc tài liệu [8], [9] 1.1 1.1.1 Một số bất đẳng thức Bất đẳng thức AM–GM Định lý 1.1.1 (Bất đẳng thức AM–GM) Cho a1 , a2 , , an số không âm Khi ta có bất đẳng thức sau √ a1 + a2 + + an (1.1) ≥ n a1 a2 an n Dấu “=” xảy a1 = a2 = = an Dưới ta có phát biểu bất đẳng thức AM–GM “suy rộng” Định lý 1.1.2 (Bất đẳng thức AM–GM suy rộng) Cho a1 , a2 , , an số thực không âm, λ1 , λ2 , , λn số thực dương cho λ1 +λ2 + .+λn = Khi ta có bất đẳng thức sau λ1 a1 + λ2 a2 + + λn an > aλ1 aλ2 aλnn Hay n X k=1 λk ak > n Y k=1 aλk k (1.2) (1.3) Dấu “=” xảy a1 = a2 = = an 1.1.2 Bất đẳng thức Jensen Định lý 1.1.3 (Bất đẳng thức Jensen) Giả sử f hàm lồi [a, b] x1 , x2 , , xn ∈ [a, b] Khi đó, x + x + · · · + x f (x ) + f (x ) + · · · + f (x ) n n (1.4) ≤ f n n Nếu hàm f lõm ta có bất đẳng thức chiều ngược lại Bất đẳng thức phát biểu tổng quát sau Định lý 1.1.4 Cho f : [a, b] ⊆ R → R hàm lồi đoạn [a, b] Giả sử n P pi > Khi ta có xi ∈ [a, b], pi ≥ 0, i ∈ {1, 2, , n} Pn := i=1 n f 1.1.3 X pi x i Pn i=1 ! n X ≤ pi f (xi ) Pn i=1 (1.5) Bt ng thc Hă older Bt ng thc Hăolder tn ti nhiu phiờn bn, nhiờn chỳng tơi trình bày dạng đại số giải tích bản, mà chúng phù hợp với chương trình phổ thông Từ bất đẳng thức AM–GM suy rộng ta có xa y b a a+b b a+b x + y a+b a+b (1.6) với x, y > 0, a, b > Nếu đặt u = xa , v = y b , p = (a + b)/a q = (a + b)/b, rõ ràng p > ta có bất đẳng thức sau 1 1 + = =⇒ uv up + v q p q p q (1.7) Bất đẳng thức gọi bất đẳng thức Young Kết gọi bất đẳng thức Hăolder nh lý 1.1.5 (Bt ng thc Hăolder) Cho a = (a1 , a2 , , an ) b = 1 = Khi ta (b1 , b2 , , bn ) hai n số thực dương p > 1, + p q có bất đẳng thức sau n X i=1 n X b i ≤ api i=1 ! p1 n X bqi i=1 ! 1q (1.8) Dấu xảy api = kbqi với i ∈ {1, 2, , , n} Chứng minh Áp dụng bất đẳng thức AM–GM suy rộng với x, y ≥ ta có 1 x y (1.9) xp y q ≤ + p q 1 + = Dấu xảy (1.9) x = y p q Trong bất đẳng thức (1.9), ta đặt với p > n n X p X q api bqi x= , A= ; y = , B = bi A B i=1 i=1 Cộng lại theo i = 1, 2, , n ta n P b i i=1 1 Ap B q n n X bqi 1 X api + = + = ≤ p i=1 A q i=1 B p q api bqi Dấu xảy (1.8) = , tức api = kbqi với A B i ∈ {1, 2, , , n} Nếu mi > với i bt ng thc Hăolder (1.8) cú th vit dng dạng sau ! p1 ! 1q n n n X X X mi api mi bqi mi bi ≤ i=1 i=1 i=1 Nhận xét 1.1.6 ([5, p 40] Ta có bất đẳng thức sau 1 1 1 (x + y) p (z + w) q ≥ x p z q + y p w q với x, y, z, w ≥ p, q > với (1.10) 1 + = p q Chứng minh suy từ bất đẳng thc Hăolder (1.8) bng cỏch chn n = 2, a1 = x1/p , a2 = y 1/p b1 = z 1/q , b2 = w1/q Khi ta có p1 1q q q (z q ) + (w q ) x z + y w ≤ (x ) + (y ) p q p q p p p p 1 = (x + y) p (z + w) q Trong chương trình toỏn ph thụng, bt ng thc Hăolder c bit n dạng hệ sau Hệ 1.1.7 (xem [7]) Nếu p = q = bất đẳng thức Hă older tr thnh n X i=1 b i ≤ n X i=1 a2i ! 12 n X b2i i=1 ! 12 a1 a2 an Dấu xảy = = ··· = b1 b2 bn Bất đẳng thức có tên Cauchy–Schwartz Trong tốn học, bất đẳng thức Cauchy–Schwarz, cịn gọi bất đẳng thức Schwarz, bất đẳng thức Cauchy, tên dài bất đẳng thức Cauchy–Bunyakovski–Schwarz, đặt theo tên Augustin Louis Cauchy, Viktor Yakovlevich Bunyakovsky Hermann Amandus Schwarz, bất đẳng thức thường áp dụng nhiều lĩnh vực khác tốn học, chẳng hạn đại số tuyến tính dùng cho vector, giải tích dùng cho chuỗi vơ hạn tích phân tích, lý thuyết xác suất dùng cho phương sai hiệp phương sai Bất đẳng thức phát biểu x y phần tử không gian có tích thực hay phức |hx, yi|2 ≤ hx, xihy, yi Tuy nhiên khuôn khổ luận văn thạc sĩ Tốn học, chúng tơi quan tâm tới số kết Rn Kết tip theo l bt ng thc Hăolder dng gii tích, chúng tơi trình bày kết mà khơng chng minh nh lý 1.1.8 (Bt ng thc Hăolder dng giải tích) Giả sử (p, q) cặp số 1 mũ liên hợp, tức thỏa mãn điều kiện p, q > với + = 1, f g hai p q hàm số liên tục đoạn [a, b], 1q p1 Z b Z b Z b |g(x)|q dx (1.11) |f (x)|p dx |f (x)g(x)| dx ≤ a a a Dấu “=” xảy tồn hai số thực A B không đồng thời không cho A |f (x)|p = B |g(x)|q ∀x ∈ [a, b] 37 p (α, β) ≤ n1−µ (αp , ε) (β q , ε) (α, β) = n X q ( (ap , ε)(β q , e) − (ap , e)(β q , ε) 1− (ap , ε)(β q , ε) t ak bk , ε = (1, 1, 1, , 1), (α , ε) = n X 2 ) θ2 , (2.20) atk k=1 k=1 Bổ đề 2.2.4 Nếu x > −1, α > α < 0, ta có bất đẳng thức (1 + x)α ≥ + αx Định lý 2.2.5 Giả sử α = (α1 , α2 , , αn ), β = (β1 , β2 , , βn ), ak > 0, bk > (k = 1, 2, , n), e = (e1 , e2 , , en ), − ei + ej ≥0, (i, j = 1, 2, , n), xét 1 1 q < 0, + ≥ 0, p = max Khi ta có bất + , , λ = max −1, p q p q q đẳng thức ( 2 ) λ2 q q 1 (α, β)(β , e) − ((α, β), e)(β , ε) (α, β) ≥ n1−p (αp , ε) p (β q , ε) q − , (α, β)(β q , ε) (2.21) (α, β) = n X k=1 t ak bk , ε = (1, 1, , 1), (α , ε) = n X k=1 atk , ((α, β), e) = n X ak bk ek k=1 Chứng minh Trước tiên ta xét trường hợp (I) Nếu −1 ≤ q < Từ điều kiện 1 + ≥ 0, ta có < p ≤ p q q Đặt l = , l′ = − Suy l ≥ l′ > p p p p p p −p −p Đặt γ = (a1 b1 , a2 b2 , , apn bpn ), δ = (b−p , b2 , , bn ) 1 - Nếu < + ′ < 1, cách sử dụng Định lý 2.2.2 thay thể p → l l ′ l, q → l , α → γ, β → δ bất đẳng thức (2.20), ta có ( l 2 ) 2l1 l′ l l′ 1 1 (γ , ε)(δ , e) − (γ , e)(δ , ε) ′ (γ, δ) ≤ n1− l − l′ (γ l , ε) l (δ l , ε) l′ − , (γ l , ε)(δ l′ , ε) (2.22) 38 Do đó, (αp , ε) ≤ n 1− 1l − l1′ l (α, β) (β q , ε) l′ ( (α, β)(β q , e) − ((α, β), e)(β q , ε) 1− (α, β)(β q , ε) 2 ) 2l1 , (2.23) Lấy bậc p hai vế bất đẳng thức (2.23) ta ( 2 )− 12 q q 1 1 (α, β)(β , e) − ((α, β), e)(β , ε) (α, β) ≥ n1− p − q (αp , ε) p (β q , ε) q − , (α, β)(β q , ε) (2.24) 1 1 Từ điều kiện < + ′ < 1, ta có + > Vì l l p q ( 2 )− 12 q q 1 1 (α, β)(β , e) − ((α, β), e)(β , ε) (α, β) ≥ n1−max{ p + q ,1} (αp , ε) p (β q , ε) q − , (α, β)(β q , ε) (2.25) 1 1 - Nếu + ′ ≥ 1, + ≤ 1, cách tương tự ta thu l l p q ( 2 )− 12 q q 1 (α, β)(β , e) − ((α, β), e)(β , ε) (α, β) ≥ (αp , ε) p (β q , ε) q − (α, β)(β q , ε) = n1−max{ p + q ,1} (αp , ε) p (β q , ε) q × ( 2 )− 12 q q (α, β)(β , e) − ((α, β), e)(β , ε) × 1− (α, β)(β q , ε) 1 1 (2.26) Trường hợp (II) Nếu q < 1, cách tương tự trường hợp (I), ta có 1 1 (α, β) ≥ n1−max{ p + q ,1} (αp , ε) p (β q , ε) q × ( 2 ) 2q1 q q (α, β)(β , e) − ((α, β), e)(β , ε) , × 1− (α, β)(β q , ε) (2.27) Như ta có bất đẳng thức (2.21) Vậy định lý chứng minh Hệ 2.2.6 Với giả thiết Định lý 2.2.5, ta có bất đẳng thức sau " 2 # q q 1 λ (α, β)(β , e) − ((α, β), e)(β , ε) (α, β) ≥ n1−p (αp , ε) p (β q , ε) q − (α, β)(β q , ε) (2.28) 39 Chứng minh Từ điều kiện 2 (α, β)(β q , e) − ((α, β), e)(β q , ε) < (α, β)(β q , ε) (2.29) Bằng cách sử dụng Bổ đề 2.2.4 Định lý 2.2.5 ta thu bất đẳng thức (2.29) Từ bất đẳng thức (2.29) Hệ 2.2.6 chọn p, q cho 1/p + 1/q = ta thu bất đẳng thức Hệ 2.2.7 Giả sử ak , bk số thực dương với (k = 1, 2, , n), 1 − ei + ej ≥ 0, (i, j = 1, 2, , n), xét q < 0, thỏa mãn + = 1, đặt p q λ = max −1, q Khi ta có bất đẳng thức 2 n n X X q ! 1q ! p1 ak b k e k bk e k n n n X X X λ k=1 k=1 q p bk − n ak ak b k ≥ 1 − n X 2 X q k=1 k=1 k=1 bk ak b k k=1 k=1 Định lý 2.2.8 Giả sử f (x), g(x), e(x) hàm khả tích đoạn [a, b] f (x) > 0, g(x) > 0, − e(x) + e(y) ≥0 với x, y ∈ [a, b], xét q < 1 0, thỏa mãn + > 1, λ = max −1, Khi ta có bất đẳng thức p q q Z b a f (x)g(x)dx ≥ (b − a) 1− p1 − 1q Z b f p (x)dx a Z × 1 − b a p1 Z b g q (x)dx a 1q 2 λ2 f (x)g(x)e(x)dx g q (x)e(x)dx a − Z b Z b f p (x)dx g q (x)dx Z a b a (2.30) Chứng minh Với số nguyên dương n, ta phân hoạch đoạn [a, b] với đầu mút cách sau b−a b−a b−a a 0, g(x) > 0, − e(x) + e(y) ≥ với x, y ∈ [a, b], xét 42 1 + = Khi ta có bất đẳng thức p q 1q p1 Z b Z b Z b g q (x)dx f p (x)dx f (x)g(x)dx ≥ a a a 2 Z Z b b g q (x)e(x)dx f (x)g(x)e(x)dx λ a a − × − Z Z , b b f (x)g(x)dx g q (x)dx q < 0, cho a a (2.35) λ = max −1, q Bằng kỹ thuật tương tự Định lý 2.2.5 ta thu phiên ngược bất đẳng thức (2.19) sau Định lý 2.2.12 Giả Z sử E tập đo được, Z f (x), g(x) hàm dương khả tích E cho f p (x)dx < ∞, g q (x)dx < ∞, e(x) hàm đo E E Z 1 với e(x)dx < ∞, − e(x) + e(y) ≥ Nếu q < 0, + = ta có bất p q E đẳng thức 1q Z p1 Z Z g q (x)dx × f (x)g(x)dx ≥ f p (x)dx E E × 1 − E 2 λ2 f (x)g(x)e(x)dx g q (x)e(x)dx ZE − aZ , q f (x)g(x)(x)dx g (x)dx Z Z E b (2.36) E với λ = max −1, q Tiếp theo chúng tơi trình bày số áp dụng bất đẳng thức trình bày trên, trước tiên đánh giá chặt kết Beckenbach (1950) Năm 1950, Beckenbach chứng minh bất đẳng thức sau Định lý 2.2.13 Giả sử ≤ p ≤ 1,và , bi > i = 1, 2, , n, ta có 43 bất đẳng thức sau n X (ai + bi ) p i=1 n X (ai + bi )p−1 ≥ i=1 n X api i=1 n X + ap−1 i i=1 n X bpi k=1 n X bip−1 i=1 Kết Beckenback làm chặt cách sử dụng Hệ 2.2.7 sau Định lý 2.2.14 Giả sử ai , bi > 0(i =1, 2, , n), 1−ei +ej ≥ 0(i, j = 1, 2, , n), chọn < p < 1, λ = max −1, − Khi ta có bất đẳng thức sau p n n n X X p X (ai + bi )p bpi i=1 i=1 i=1 ≥ + n n n X X X p−1 p−1 p−1 (ai + bi ) bi i=1 i=1 n X i=1 n X bip−1 ) p−1 aip−1 ) p−1 + e2 ( e1 ( λ i=1 i=1 × 1− n n X p−1 X p−1 p−1 + ( ) a ( bi ) p−1 i ≥ n X i=1 n X api ap−1 i i=1 + i=1 n X i=1 n X i=1 bpi 2 p p1 p p1 e1 ( ) + e2 ( bi ) i=1 i=1 − n n X X p p1 p p1 ) + ( ( bi ) n X i=1 n X i=1 bip−1 i=1 (2.37) Chứng minh Bằng cách sử dụng bất đẳng thức Minkowski Hệ 2.2.7 với p p/(p − 1), ta thu đánh giá sau 44 n X i=1 (ai + bi )p ≥ n X api i=1 = n X p−1 a n X i=1 p n X i=1 n X ap−1 i i=1 i api ! p1 + n X i=1 ! p1 bpi ! p1 p n X p1 bpi i=1 + n X p−1 bi ! p−1 bpi n api X i=1 + + ≥ + nk=1 aip−1 n X X i=1 aip−1 bip−1 i=1 i=1 n X p−1 n X p−1 bip−1 ) aip−1 ) + e2 ( e1 ( λ i=1 i=1 × 1− n n X p−1 X p−1 p−1 + ( ) a ( bi ) p−1 i i=1 i=1 n n X p X p ! bi n a i X i=1 ≥ (ai + bi )p−1 + nk=1 n X X i=1 aip−1 bip−1 i=1 i=1 n X n X bip−1 ) p−1 aip−1 ) p−1 + e2 ( e1 ( λ i=1 i=1 × 1− n n X X 2 1 p−1 p−1 p−1 p−1 a ( ) b + ( ) i i i=1 nghĩa i=1 ! p1 p−1 bi n X p−1 ! p−1 bip−1 n X i=1 n X i=1 p i=1 n X n X e1 ( api ) + e2 ( bpi ) i=1 i=1 − n n X X p p1 p p1 ) + ( ( bi ) i=1 p p i=1 2 p p1 p p1 e1 ( ) + e2 ( bi ) i=1 i=1 − n n X X 1 p p p p ) + ( ( bi ) n X i=1 n X i=1 (2.38) 45 n X (ai + bi )p i=1 n X (ai + bi )p−1 i=1 n X n X p bi i=1 k=1 ≥ + n n X X p−1 p−1 bi i=1 n X p i=1 n X 2 p p1 p p1 bi ) ) + e2 ( e1 ( i=1 i=1 − n n X X 1 p p p p ) + ( ( bi ) p−1 + e ( bip−1 ) p−1 ap−1 e1 ( i ) λ i=1 i=1 × 1− n n X X 2 1 p−1 p−1 p−1 p−1 a ( ) b + ( ) i i i=1 n X n X i=1 i=1 i=1 (2.39) Định lý 2.2.15 Giả sử ak , bk > 0(k = 1, 2, , n), − ei + ej ≥ (i, j = Khi ta có bất đẳng thức 1, 2, , n), < p < 1, λ = max −1, − p sau # p1 n " n ! p1 ! p1 n X X p X p λ + (ak + bk )p ≥ ak bk × − ω (a, b, e) k=1 k=1 k=1 (2.40) ! p1 ! p1 n n X p X p bk + ak ≥ k=1 k=1 ω(a, b, e) = " × " n X n X (ak + bk )p k=1 (ak + bk )p ek k=1 #2 n X k=1 ak (ak + bk )p−1 − n X (ak + bk )p n X ak (ak + bk )p−1 ek k=1 k=1 Chứng minh Ta có n X k=1 p (ak + bk ) = n X k=1 ak (ak + bk ) p−1 + n X k=1 # bk (ak + bk )p−1 (2.41) 46 Từ áp dụng Hệ 2.2.7 ta thu đánh giá sau # p−1 ! p1 " n n n p X X X p p p (ak + bk ) ak (ak + bk ) ≥ k=1 n X k=1 k=1 2 (ak + bk )p ek ak (ak + bk )p−1 ek λ k=1 k=1 × 1 − n − n X 2 X (ak + bk )p ak (ak + bk )p−1 n X k=1 n X + bpk k=1 ! p1 " k=1 n X (ak + bk )p k=1 # p−1 p 2 bk (ak + bk )p−1 ek (ak + bk )p ek λ k=1 k=1 − n × 1 − n X 2 X (ak + bk )p bk (ak + bk )p−1 n X n X k=1 k=1 (2.42) Chia hai vế cho n X (ak + bk )p k=1 " n X (ak + bk )p k=1 − − λ λ # p1 ≥ n X n X k=1 ! p−1 p apk ! p1 , ta thu + n X bpk k=1 n X ! p1 2 ! p1 ak (ak + bk )p−1 ek (ak + bk )p ek k=1 k=1 apk − n n X X p p−1 k=1 (ak + bk ) ak (ak + bk ) n X k=1 n X k=1 n X k=1 k=1 2 ! p1 (ak + bk )p ek bk (ak + bk )p−1 ek k=1 k=1 − bpk n n X X p p−1 k=1 (ak + bk ) bk (ak + bk ) n X Ngồi ra, ta có (2.43) 47 n X n X p (ak + bk ) ek = ak (ak + bk ) p−1 ek + bk (ak + bk )p−1 ek (2.44) k=1 k=1 k=1 n X Do đó, từ bất đẳng thức (2.43) (2.44), ta có ! p1 " n # p1 n X X apk + (ak + bk )p ≥ k=1 k=1 n X bpk k=1 × " n X ! p1 (−λ) + " n X (ak + bk )p ek × " (ak + bk )p n X n X apk ! p1 + = ak (ak + bk )p−1 − k=1 ! p1 bk (ak + bk )p−1 bpk n X k=1 apk ! p1 + + (−λ) bpk ! p1 × n X ak (ak + bk )p−1 ek #2 ak (ak + bk )p−1 ek #2 k=1 n X (ak + bk )p n X k=1 k=1 apk k=1 (ak + bk )p k=1 n X ! p1 + n X bpk k=1 k=1 #4 n X n X " ak (ak + bk )p−1 − n X k=1 ! p1 n X # # ak (ak + bk )p−1 ek − n X (ak + bk )p ek n X bpk k=1 k=1 k=1 n X k=1 k=1 k=1 ak (ak + bk )p−1 k=1 (ak + bk )p n X " n X n X k=1 n X ≥ × n X k=1 n X apk ! p1 k=1 k=1 (−λ) (ak + bk )p k=1 k=1 + " n X n X (ak + bk )p (ak + bk )p λ n X k=1 ak (ak + bk )p−1 ek k=1 k=1 1− " ! p1 (ak + bk )p #4 × A , #2 48 với A= n X k=1 p (ak + bk ) ek n X k=1 ak (ak + bk ) Vậy ta có điều phải chứng minh p−1 − n X k=1 (ak + bk ) p n X k=1 ak (ak + bk )p−1 ek 49 Kết luận Đề tài luận văn trình bày chi tiết số kết v bt ng thc Hăolder v mt s bi toỏn áp dụng cho học sinh trung học phổ thông Cụ thể (1) Trình bày dạng sơ cấp bt ng thc Hăolder cho dóy s, cỏch xõy dng bất đẳng thức từ bất đẳng thức AM–GM suy rộng số toán áp dụng bất đẳng thức (2) Trình bày số mở rộng bt ng thc Hăolder, cỏc kt qu ny c cụng bố báo [7], [8], [13] (3) Trình by mt phiờn bn ngc ca bt ng thc Hăolder từ tài liệu [11] Chủ đề bất đẳng thức Hăolder cũn nhiu khai thỏc Tuy nhiờn khn khổ luận văn Thạc sĩ Tốn học chun ngành Phương pháp Tốn sơ cấp chúng tơi dừng lại tìm hiểu vấn đề 50 Tài liệu tham khảo Tiếng Việt [1] Nguyễn Văn Mậu (2005), Bất đẳng thức áp dụng, NXB Giáo dục Tiếng Anh [2] Abramovich S., Mond B., Peccaric J E (1995), Sharpening Hăolders inequality, J Math Anal Appl., 196, pp 11311134 [3] Aldaz J M (2008), A stability version of Hăolders inequality”, Journal of Mathematical Analysis and Applications, 343(2), pp 842–852 [4] Callebaut D.K (1965), “Generalization of the Cauchy–Schwartz inequality”, J Math Anal Appl., 12, pp 491–494 [5] Cerone P., Dragomir S S (2011), Mathematical Inequalities: A perspective, CRS Press, Taylor and Francis Group, LLC, USA [6] Cvetkovski Z (2012), Inequalities: Theorem, Techniques and Selected problems, Springer [7] Hua Q., Zhicheng H (2011), Generalizations of Hăolders and some related inequalities, Computers & Mathematics with Applications, 61(2), pp 392– 396 [8] Li Y., Xian-Ming Gu, Zhao J (2017), “The weighted arithmetic mean–geometric mean inequality is equivalent to the hăolder inequality, Symmetry, doi:10.3390/sym10090380 [9] Samin R (2008), Basics of Olympiad Inequalities, Lectures note [10] Steele M J (2004), An introduction to the art of Mathematical Inequalities: The Cauchy – Swcharz Master Class, Cambridge 51 [11] Tian J (2012), “Reversed version of a generalized sharp Hăolders inequality and its applications, Information Sciences, 201, pp 61–69 [12] Wu SH., Debnath L (2005), “Generalizations of Aczel’s inequality and Popoviciu’s inequality”, Indian J Pure Appl Math., 36(2), pp 49–62 [13] Wu SH (2007), “Generalization of a sharp Hăolders inequality and its application, J Math Anal Appl., 332, pp 741–750 [14] Wu SH (2008), “A new sharpened and generalized version of Hăolders inequality and its applications, Appl Math Comput., 197, pp 708–714 [15] Yang X (2000), “A generalization of Hăolder inequality, J Math Anal Appl., 247, pp 328330 [16] Yang X (2003) , A note on Hăolder inequality”, Appl Math Comput., 134, pp 319–322