(Luận văn) định lý giá trị trung bình lagrange một số mở rộng và ứng dụng

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC QUY NHƠN HỒ THÚY NGA lu an n va tn to p ie gh ĐỊNH LÝ GIÁ TRỊ TRUNG BÌNH LAGRANGE: MỘT SỐ MỞ RỘNG VÀ ỨNG DỤNG d oa nl w m ll fu an nv a lu LUẬN VĂN THẠC SĨ TOÁN HỌC oi z at nh z gm @ m co l an Lu Bình Định - 2020 n va ac th si BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC QUY NHƠN HỒ THÚY NGA lu an va n ĐỊNH LÝ GIÁ TRỊ TRUNG BÌNH LAGRANGE: to p ie gh tn MỘT SỐ MỞ RỘNG VÀ ỨNG DỤNG d oa nl w LUẬN VĂN THẠC SĨ TOÁN HỌC fu an nv a lu oi m ll Chuyên ngành: Phương pháp Toán sơ cấp Mã số: 8.46.01.13 z at nh z Người hướng dẫn: TS HUỲNH MINH HIỀN gm @ m co l an Lu Bình Định - 2020 n va ac th si LỜI CAM ĐOAN Tôi xin cam đoan cơng trình nghiên cứu riêng tơi Các số liệu, kết nêu luận văn trung thực chưa cơng bố cơng trình Bình Định, tháng năm 2020 Tác giả Hồ Thúy Nga lu an n va p ie gh tn to d oa nl w oi m ll fu an nv a lu z at nh z gm @ m co l an Lu n va ac th si LỜI CẢM ƠN Trước trình bày nội dung luận văn, tơi xin bày tỏ lịng biết ơn sâu sắc tới TS Huỳnh Minh Hiền người tận tình hướng dẫn, đánh giá, bảo, tận tình giúp đỡ tơi q trình nghiên cứu để tơi hồn thành luận văn Bên cạnh đó, tơi xin bày tỏ lịng biết ơn chân thành tới tồn thể thầy giáo khoa Tốn Thống kê, Phịng sau Đại học trường Đại học Quy Nhơn, đặc biệt quý thầy cô trực tiếp giảng dạy cho lớp Cao học Tốn khóa 21 lu Nhân dịp xin gửi lời cảm ơn tới gia đình, bạn bè anh chị lớp Cao học Toán K21 giúp đỡ tơi suốt q trình học tập thực luận văn an n va gh tn to Cuối cùng, kiến thức cịn hạn chế nên dù cố gắng chắn luận văn nhiều thiếu sót Kính mong q thầy đóng góp ý kiến để luận văn hồn chỉnh Tơi xin chân thành cảm ơn! p ie d oa nl w Bình Định, tháng năm 2020 Tác giả a lu oi m ll fu an nv Hồ Thúy Nga z at nh z gm @ m co l an Lu n va ac th si C.33.44.55.54.78.65.5.43.22.2.4 22.Tai lieu Luan 66.55.77.99 van Luan an.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.C.33.44.55.54.78.655.43.22.2.4.55.22 Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an Mục lục Mở đầu Một số định lý giá trị trung bình cổ điển v lu an n va 1.1 Định lý Rolle 1.2 Định lý giá trị trung bình Lagrange 1.3 Định lý giá trị trung bình Cauchy tn to gh Một số mở rộng Định lý giá trị trung bình Lagrange p ie 2.1 7 2.1.1 Định lý giá trị trung bình Flett oa nl w Định lý giá trị trung bình cho hàm số thực biến 2.1.2 Định lý giá trị trung bình Trahan 10 Định lý giá trị trung bình cho hàm số thực hai biến 12 2.3 Định lý giá trị trung bình cho hàm giá trị véctơ biến thực 16 2.4 Định lý giá trị trung bình cho hàm giá trị véctơ hai biến thực 18 2.5 Định lý giá trị trung bình cho hàm mặt phẳng phức 23 d 2.2 m ll fu an nv a lu oi Ứng dụng Định lý giá trị trung bình Lagrange giải tốn phổ thông 31 3.1.1 Cơ sở lý thuyết 31 3.1.2 Áp dụng 32 gm @ Chứng minh tồn nghiệm phương trình 34 m co l 3.2.1 Cơ sở lý thuyết 34 3.2.2 Áp dụng 35 Lu Giải phương trình 38 an 3.3 Chứng minh bất đẳng thức 31 z 3.2 z at nh 3.1 n va ac th iii Stt.010.Mssv.BKD002ac.email.ninhd 77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77t@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si C.33.44.55.54.78.65.5.43.22.2.4 22.Tai lieu Luan 66.55.77.99 van Luan an.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.C.33.44.55.54.78.655.43.22.2.4.55.22 Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an 3.4 3.5 3.6 3.3.1 Cơ sở lý thuyết 38 3.3.2 Áp dụng 39 Tính giới hạn dãy số 42 3.4.1 Cơ sở lý thuyết 42 3.4.2 Áp dụng 43 Tìm giá trị trung gian 44 3.5.1 Cơ sở lý thuyết 44 3.5.2 Áp dụng 45 Một số toán ứng dụng Định lý giá trị trung bình Lagrange kỳ thi học sinh giỏi 46 lu an Kết luận 53 n va p ie gh tn to d oa nl w oi m ll fu an nv a lu z at nh z gm @ m co l an Lu n va ac th iv Stt.010.Mssv.BKD002ac.email.ninhd 77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77t@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si C.33.44.55.54.78.65.5.43.22.2.4 22.Tai lieu Luan 66.55.77.99 van Luan an.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.C.33.44.55.54.78.655.43.22.2.4.55.22 Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an Mở đầu lu an n va p ie gh tn to Định lý giá trị trung bình định lý quan trọng có nhiều ứng dụng Giải tích tốn học Trong chương trình tốn học phổ thơng, định lý giá trị trung bình ứng dụng khai thác nhiều kì thi Olympic chọn học sinh giỏi, chẳng hạn chứng minh bất đẳng thức, chứng minh tồn nghiệm phương trình, giải phương trình, tính giới hạn dãy số, Tuy nhiên chương trình tốn phổ thơng chương trình đại học, giới thiệu định lý giá trị trung bình cho hàm số thực biến, cần tìm hiểu cho hàm tổng quát hàm số thực biến, hàm giá trị véctơ biến thực, hàm giá trị véctơ biến thực, hàm mặt phẳng phức nghiên cứu sâu ứng dụng dạng mở rộng định lý d oa nl w Với suy nghĩ đó, mục tiêu luận văn nhằm cung cấp thêm cho cho em học sinh, sinh viên, đặc biệt em học sinh khá, giỏi, có khiếu u thích mơn tốn, tài liệu, ngồi kiến thức cịn có thêm kiến thức số tập nâng cao, qua thấy rõ dạng toán ứng dụng phong phú Định lý Rolle, Định lý Lagrange số định lý mở rộng khác Hơn nữa, luận văn định hướng phương pháp giải cho dạng toán cụ thể m ll fu an nv a lu oi Ngoài phần Mở đầu, Kết luận Tài liệu tham khảo, nội dung luận văn chia làm ba chương Chương trình bày số định lý giá trị trung bình cổ điển Rolle, Lagrange, Cauchy Chương trình bày số mở rộng Định lý giá trị trung bình Lagrange cho hàm số thực biến, hàm số thực biến, hàm giá trị véctơ biến thực, hàm giá trị véctơ biến thực hàm mặt phẳng phức Chương cuối trình bày số ví dụ tốn thi học sinh giỏi ứng dụng Định lý giá trị trung bình Lagrange z at nh z gm @ m co l an Lu Bình Định, tháng năm 2020 Tác giả n va ac th v Stt.010.Mssv.BKD002ac.email.ninhd 77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77t@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si C.33.44.55.54.78.65.5.43.22.2.4 22.Tai lieu Luan 66.55.77.99 van Luan an.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.C.33.44.55.54.78.655.43.22.2.4.55.22 Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an Chương Một số định lý giá trị trung bình cổ điển lu an n va p ie gh tn to Một định lý quan trọng phép tính vi phân Định lý giá trị trung bình Lagrange Định lý lần khám phá Joseph Louis Lagrange (1736-1813) ý tưởng việc sử dụng Định lý Rolle vào hàm bổ trợ thích hợp đưa Ossian Bonnet (1819-1892) Tuy nhiên, phát biểu định lý đưa báo nhà vật lý tiếng André-Marie Ampére (1775-1836) Định lý Rolle Michel Rolle (1652-1719) đưa năm 1690, chứng minh năm 1691 Sau định lý giá trị trung bình cho hàm số thực biến oa nl w Định lý Rolle d 1.1 a lu fu an nv Chứng minh Định lý Rolle dựa vào hai kết sau oi m ll Bổ đề 1.1 ([5]) Nếu hàm f : [a, b] → R, khả vi đạt cực trị điểm c thuộc khoảng mở (a, b), f (c) = z at nh Chứng minh Giả sử hàm số f : [a, b] → R đạt giá trị cực đại điểm c ∈ (a, b), tức f (c) ≥ f (x), ∀x ∈ (a, b) z Vì c ∈ (a, b) nên ta chọn hai dãy số {pn }n≥1 ⊂ (a, b) {qn }n≥1 ⊂ (a, b) cho n → ∞ pn → c, qn → c pn ≤ c, qn ≥ c, ∀n ≥ gm @ an f (qn ) − f (c) ≤ qn − c Lu f (pn ) − f (c) ≥0 pn − c m co l Vì c điểm cực đại hàm số f (a, b) với n, f (pn )−f (c) ≤ f (qn ) − f (c) ≤ Do với n ≥ 1, ta có n va ac th Stt.010.Mssv.BKD002ac.email.ninhd 77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77t@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si C.33.44.55.54.78.65.5.43.22.2.4 22.Tai lieu Luan 66.55.77.99 van Luan an.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.C.33.44.55.54.78.655.43.22.2.4.55.22 Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an Theo giả thiết, f khả vi c, tức tồn giới hạn sau f (x) − f (c) = f (c) x→c x−c lim Do f (qn ) − f (c) f (pn ) − f (c) = f (c) = lim ≤ n→∞ n→∞ pn − c qn − c ≤ lim Vậy f (c) = Thực tương tự với trường hợp hàm số f đạt cực tiểu điểm c ∈ (a, b) ta thu f (c) = Bổ đề chứng minh lu an n va tn to Bổ đề 1.2 ([5]) Nếu hàm số f : [a, b] → R liên tục f đạt cực trị đoạn [a, b] p ie gh Chứng minh Đặt M = sup {f (x), x ∈ [a, b]} Vậy với n ≥ 1, n ∈ N, tồn điểm cn ∈ [a, b] cho |M − f (cn )| < 1/n Vì dãy {cn }n≥1 ⊂ [a, b] nên theo Định lý Bolzano-Weierstrass, tồn dãy {cnk }k≥1 hội tụ, đặt lim cnk = d Vì f hàm liên tục đoạn [a, b], f (cnk ) → f (d) k → ∞ oa nl w k→∞ Mặt khác, |M − f (cnk )| < 1/nk , ∀k ≥ 1, d fu an nv a lu M = lim f (cnk ) = f (d) k→∞ oi m ll Vậy hàm số f đạt giá trị cực đại đoạn [a, b] giá trị cực đại M Tương tự, đặt N = inf {f (x), x ∈ [a, b]}, f đạt cực tiểu [a, b] giá trị cực tiểu N z at nh Bổ đề chứng minh z Định lý 1.1 (Rolle,[5]) Nếu hàm số f liên tục [a, b], khả vi (a, b) f (a) = f (b) tồn điểm η ∈ (a, b) cho f (η) = gm @ m co l Chứng minh Vì f liên tục [a, b], theo Bổ đề 1.2 f đạt cực đại cực tiểu [a, b] an Lu Nếu hai giá trị đạt điểm a, b giá trị cực đại giá trị cực tiểu Do f hàm Suy f (η) = với η ∈ (a, b) Nếu f đạt cực trị điểm η ∈ (a, b) theo Bổ đề 1.1 f (η) = n va ac th Stt.010.Mssv.BKD002ac.email.ninhd 77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77t@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si C.33.44.55.54.78.65.5.43.22.2.4 22.Tai lieu Luan 66.55.77.99 van Luan an.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.C.33.44.55.54.78.655.43.22.2.4.55.22 Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an Ví dụ 1.1 Xét hàm số f (x) = x2 − 4x + liên tục đoạn [1, 3], khả vi khoảng (1, 3) có đạo hàm f (x) = 2x − 4, ∀x ∈ [1, 3] Ta có f (1) = f (3) = Rõ ràng, ∈ (1, 3) f (2) = lu Ý nghĩa hình học: Định lý Rolle giải thích mặt hình học sau: Nếu có đường thẳng nằm ngang cắt đồ thị hàm f hai điểm có tiếp tuyến nằm ngang đồ thị điểm nằm hai giao điểm đồ thị đường thẳng cho an n va p ie gh tn to d oa nl w m ll fu an nv a lu oi Hình 1.1: Biểu diễn hình học Định lý Rolle z at nh Định lý giá trị trung bình Lagrange z gm @ 1.2 an Lu f (a) − f (b) = f (η) a−b m co l Định lý 1.2 (Lagrange,[5]) Nếu f : [a, b] → R hàm số liên tục đoạn [a, b], khả vi khoảng (a, b), tồn điểm η ∈ (a, b) cho n va ac th Stt.010.Mssv.BKD002ac.email.ninhd 77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77t@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si |h (z)| + (k + 1)|z − a| z k b h (ξ)dξ ≤ (k + 2)|b − a|k+1 , bất đẳng thức thứ hai xảy |h0 (z)| ≤ |z − a| ≤ |b − a| Để đánh giá ψ cần chia nhỏ ∂Ds để xét lu Trường hợp 1: Nếu z nằm cung trịn z = 21 (a + b) + 12 (b − a)ei2θ , với |θ| ≤ πk , ei2θ = cos(2θ) + i sin(2θ) nên an va n |ψ(z)|2 = + (k + 1)((k + 1) cosk (θ) − cos(kθ)) cosk (θ) |b − a|2k tn to p ie gh Vì (k + 1) cosk (θ) − cos(kθ) ≥ với |θ| ≤ πk , ta oa nl w |ψ(z)|2 ≥ hay |ψ(z)| ≥ |b − a|k |b − a|2k d Trường hợp 2: Nếu z nằm phần cịn lại ∂Ds , z = a + t(b − a)e±iπ/k , với ≤ t ≤ cos( πk ), ta có a lu fu an nv |ψ(z)| = (1 + (k + 1)tk )|b − a|k ≥ |b − a|k Cuối cùng, b ∈ N1 z ∈ ∂Ds ta có m ll oi φ(z) k + |h(a) h(b)ψ(z) ≤ |h(b)| |b − a| < 2|h(b)| ≤ 1, z at nh z bất đẳng thức cuối chứng minh z ∈ N1 Áp dụng Bổ đề 2.5, ta có f (b) − f (a) h(b)ψ(z) φ(z) + h(b)ψ(z) = f (z) − @ gm b−a b−a f (b) − f (a) = f (ξ)(b − a)
cho m co l có số khơng điểm bên D, tức tồn ξ ∈ D |b−a| an Lu n va ac th 30 Stt.010.Mssv.BKD002ac.email.ninhd 77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77.77.99.44.45.67.22.55.77.C.37.99.44.45.67.22.55.77t@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si