Áp dụng tính đơn điệu của hàm số để giải phương trình và hệ phương trình

ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC KHOA HỌC NGUYỄN VĂN ĐÔNG ÁP DỤNG TÍNH ĐƠN ĐIỆU CỦA HÀM SỐ ĐỂ GIẢI PHƯƠNG TRÌNH VÀ HỆ PHƯƠNG TRÌNH LUẬN VĂN THẠC SỸ TOÁN HỌC THÁI NGUYÊN - NĂM 2015 ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC KHOA HỌC NGUYỄN VĂN ĐÔNG ÁP DỤNG TÍNH ĐƠN ĐIỆU CỦA HÀM SỐ ĐỂ GIẢI PHƯƠNG TRÌNH VÀ HỆ PHƯƠNG TRÌNH 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 - NĂM 2015 i Mục lục Mở đầu 1 Danh mục các kí hiệu, các chữ viết tắt . . . . . . . . . . . . . 4 1 Kiến thức chuẩn bị 5 1.1 Hàm đồng biến, nghịch biến . . . . . . . . . . . . . . . . 5 1.2 Định lý Rolle và một số mở rộng . . . . . . . . . . . . . . 7 1.2.1 Định lý Rolle . . . . . . . . . . . . . . . . . . . . 7 1.2.2 Định lý Rolle với nguyên hàm . . . . . . . . . . . 10 1.2.3 Định lý Rolle trên khoảng vô hạn . . . . . . . . . 11 1.3 Định lý Lagrange và định lý Cauchy . . . . . . . . . . . . 12 1.4 Hệ hoán vị vòng quanh . . . . . . . . . . . . . . . . . . . 15 2 Áp dụng tính đơn điệu của hàm số để giải phương trình 17 2.1 Ứng dụng định lý Rolle và các hệ quả để giải phương trình 17 2.2 Chứng minh sự tồn tại và biện luận số nghiệm của phương trình . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 2.3 Áp dụng định lí Lagrange và các hệ quả để xét sự tồn tại nghiệm của phương trình cho trước. . . . . . . . . . . . . 34 3 Áp dụng tính đơn điệu của hàm số để giải hệ phương trình 39 3.1 Áp dụng định lý Lagrange và các hệ quả để giải hệ phương trình. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39 3.2 Áp dụng định lí Cauchy để giải hệ hoán vị vòng quanh n biến, n ≥ 2, n ∈ N . . . . . . . . . . . . . . . . . . . . . . 46 Kết luận 52 Tài liệu tham khảo 53 1 Mở đầu 1. Lý do chọn đề tài Hàm số đơn điệu là một khái niệm quan trọng trong giải tích toán học và có nhiều ứng dụng trong các ngành khoa học khác như kinh tế, cơ học, vật lý và kĩ thuật. Trong các kỳ thi học sinh giỏi cấp Quốc gia, Quốc tế, trong các kỳ thi Olympic Toán sinh viên giữa các trường đại học trong nước thì các bài toán liên quan đến tính đơn điệu của hàm số thường xuyên xuất hiện và dạng phổ biến nhất là ứng dụng định lí Rolle và một số mở rộng của định lí Rolle (Định lý Lagrange, định lý Cauchy, định lý Rolle trên môt khoảng không bị chặn) là các định lý quan trọng trong giải tích cổ điển. Ứng dụng của các định lý này trong toán sơ cấp rất đa dạng và phong phú, đặc biệt là các dạng toán về giải phương trình, giải hệ phương trình, chứng minh phương trình có nghiệm, xét cực trị của hàm số Tuy nhiên, trong các tài liệu dành cho học sinh phổ thông và một số nghiên cứu trước đây thì ứng dụng tính đơn điệu của hàm số trong giải phương trình, hệ phương trình chưa được trình bày một cách hệ thống và đầy đủ. Với suy nghĩ và theo ý tưởng đó, mục tiêu luận văn là nghiên cứu tính đơn điệu của hàm số trong toán cao cấp và ứng dụng của nó để giải các bài toán sơ cấp. Đặc biệt luận văn cũng định hướng cách giải và cách vận dụng các định lý đã biết để tìm tòi những lời giải hay, độc đáo đặc thù cho từng dạng toán cụ thể, từ đó hình thành ý thức sáng tạo những bài toán mới. Ngoài ra, đây cũng là những kết quả mà bản thân tác giả sẽ tiếp tục hoàn thiện trong quá trình nghiên cứu và giảng dạy toán tiếp theo ở trường phổ thông. 2. Mục đích nghiên cứu đề tài • Khai thác các tính chất đơn điệu, cực trị của hàm số trong giải tích toán học. • Nâng cao năng lực giải các bài toán về giải phương trình và hệ phương trình bằng phương pháp hàm số. 2 • Xây dựng hệ thống bài tập phục vụ công tác giảng dạy và bồi dưỡng học sinh giỏi. 3. Đối tượng và phạm vi nghiên cứu • Đối tượng nghiên cứu là tính đơn điệu của hàm số. • Phạm vi nghiên cứu là tính đơn điệu của hàm số và ứng dụng trong giải phương trình, hệ phương trình. 4. Phương pháp nghiên cứu • Phân tích và tổng hợp. • Hệ thống và phân loại các bài tập. 5. Ý nghĩa khoa học và thực tiễn của đề tài • Thể hiện được tính ứng dụng của toán cao cấp để giải các bài toán sơ cấp. • Xây dựng, hệ thống phương pháp để giải các bài toán phương trình, hệ phương trình. • Luận văn đóng góp thiết thực cho việc học và dạy các chuyên đề toán sơ cấp, đem lại niềm đam mê sáng tạo trong việc dạy và học toán. 6. Cấu trúc luận văn Luận văn gồm ba chương, lời nói đầu, kết luận và tài liệu tham khảo. Chương 1. Kiến thức chuẩn bị Nội dung chương này trình bày một cách cơ bản các định lý liên quan đến tính đơn điệu của hàm số là: Định lý Fermat, định lý Rolle, định lý Lagrange cùng một số hệ quả quan trọng trong giải tích toán học. Đây là phần lý thuyết cơ sở để xây dựng phương pháp và vận dụng cho các bài toán ứng dụng ở những chương sau. Chương 2. Áp dụng tính đơn điệu của hàm số để giải phương trình. Chương này trình bày một số ứng dụng trực tiếp của định lý Rolle, định lý Lagrange, định lý Cauchy và các hệ quả để xét sự tồn tại nghiệm của phương trình cho trước. Chương 3. Áp dụng tính đơn điệu của hàm số để giải hệ phương trình. Chương này trình bày ứng dụng định lý Lagrange, định lý Cauchy và các hệ quả để giải hệ phương trình. Các bài tập minh họa được lựa chọn từ đề thi của các kì thi học sinh giỏi Quốc gia, các kì thi Olympic khu vực và Quốc tế, các kì thi Olympic toán sinh viên. Luận văn được hoàn thành dưới sự hướng dẫn khoa học đầy nhiệt tình và nghiêm túc của TS. Nguyễn Đình Bình, tác giả xin được bày tỏ lòng biết ơn 3 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. 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 Giao Thủy B - Nam Đị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. Để hoàn thành luận văn này, tác giả đã cố gắng học tập và nghiên cứu một cách nghiêm túc trong suốt khóa học. Tuy nhiên do còn hạn chế về năng lực, thời gian và hoàn cảnh nên trong quá trình thực hiện không tránh khỏi thiếu sót, tác giả rất mong nhận được sự chỉ bảo của quý thầy cô và những góp ý của bạn đọc để luận văn được hoàn thiện hơn. Thái Nguyên, tháng 4 năm 2015 Tác giả Nguyễn Văn Đông 4 Danh mục các ký hiệu, các chữ viết tắt • N - Tập các số tự nhiên. • N ∗ - Tập các số tự nhiên khác 0. • Z - Tập các số nguyên. • R - Tập các số thực. • ĐPCM - Điều phải chứng minh. • THPT - Trung học phổ thông. • ĐH - Đề thi Đại học. • HSG - Học sinh giỏi. • NXBGD - Nhà xuất bản Giáo dục. • I (a; b) ; I - Nhằm ngầm định một trong bốn tập hợp con của tập R (a; b) , [a; b) , (a; b] , [a; b] . 5 Chương 1 Kiến thức chuẩn bị Tính chất đồng biến, nghịch biến và tính lồi, lõm của hàm số là những vấn đề cơ bản trong chương trình toán sơ cấp. Định lý Lagrange đóng vai trò quan trọng trong việc chứng minh các định lý, tính chất cơ bản trong chương trình. Trong chương này chúng tôi giới thiệu một số định lý quan trọng liên quan đến tính đơn điệu của hàm số đó là: Định lý Fermat, định lý Rolle và một số mở rộng của định lý Rolle (Định lý Lagrange, định lý Cauchy, định lý Rolle trên một khoảng không bị chăn). Một số hệ quả quan trọng cũng được trình bày để thuận lợi cho việc vận dụng giải các bài toán được trình bày trong hai chương tiếp theo. 1.1 Hàm đồng biến, nghịch biến Từ đây về sau, ta sử dụng kí hiệu I(a; b) ⊂ R là nhằm ngầm định một trong bốn tập hợp (a; b), [a; b), (a; b] và [a; b] với a < b. Định nghĩa 1.1. 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 x 1 , x 2 ∈ I(a; b) và x 1 < x 2 , ta đều có f(x 1 ) ≤ f(x 2 ) thì ta nói rằng f(x) là một hàm đơn điệu tăng trên I(a; b). Đặc biệt, khi ứng với mọi cặp x 1 , x 2 ∈ I(a; b) và x 1 < x 2 , ta đều có f(x 1 ) < f(x 2 ) thì ta nói rằng f(x) là một hàm đơn điệu tăng thực sự trên I(a; b). • Ngược lại, nếu với mọi x 1 , x 2 ∈ I(a; b) và x 1 < x 2 , ta đều có f(x 1 ) ≥ f (x 2 ) thì ta nói rằng f(x) là một hàm đơn điệu giảm trên I(a; b). Đặc biệt, khi ứng với mọi cặp x 1 , x 2 ∈ I(a; b) và x 1 < x 2 , ta đều có f(x 1 ) > f(x 2 ) thì ta nói rằng f(x) là một hàm đơn điệu giảm thực sự trên I(a; b). Những hàm đơn điệu tăng thực sự trên I(a; b) được gọi là hàm đồng biến 6 trên I(a; b) và hàm đơn điệu giảm thực sự trên I(a; b) được gọi là hàm nghịch biến trên I(a; b). Định nghĩa 1.2. Giả sử f(x), g(x) là các hàm liên tục trên [a; b] và khả vi trên (a; b). Khi đó: i) f(x) và g(x) được gọi là có cùng tính đơn điệu nếu f  (x).g  (x) > 0. ii) f(x) và g(x) được gọi là khác tính đơn điệu nếu f  (x).g  (x) < 0. Trong chương trình giải tích, chúng ta đã biết đến các tiêu chuẩn để nhận biết được khi nào thì một hàm số khả vi cho trước trên khoảng (a; b) là một hàm đơn điệu trên khoảng đó. Sau đây chúng ta sẽ dùng định lý Lagrange để chứng minh định lý về điều kiện đủ của tính đơn điệu của hàm số. Đây là một định lý rất quan trọng trong chương trình giải tích lớp 12-THPT. Định lí 1.1. Cho hàm số y = f (x) có đạo hàm trên khoảng (a; b). a) 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 đó. b) 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 x 1 , x 2 (x 1 < x 2 ) 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 [x 1 ; x 2 ] và có đạo hàm trong khoảng (x 1 ; x 2 ). Áp dụng định lý Lagrange cho hàm số y = f (x) trên [x 1 ; x 2 ], khi đó tồn tại c ∈ (x 1 ; x 2 ) sao cho f(x 2 ) −f(x 1 ) = f  (c)(x 2 − x 1 ). a) Nếu f  (x) > 0 trên khoảng (a; b) thì f  (c) > 0, mặt khác x 2 − x 1 > 0 nên f(x 2 ) − f (x 1 ) > 0 hay f(x 2 ) > f(x 1 ), suy ra hàm f(x) đồng biến trên khoảng (a; b). b) Nếu f  (x) < 0 trên khoảng (a; b) thì f  (c) < 0, mặt khác x 2 − x 1 > 0 nên f(x 2 ) − f(x 1 ) < 0 hay f(x 2 ) < f(x 1 ), suy ra hàm f (x) nghịch biến trên khoảng (a; b). Định lí 1.2. (Mở rộng của định lý 1.1). Giả sử hàm số y = f(x) có đạo hàm trên khoảng (a;b). Nếu f  (x) ≥ 0 (hoặc f  (x) ≤ 0) và đẳng thức chỉ xảy ra tại 7 một số hữu hạn điểm trên khoảng (a; b) thì f(x) đồng biến (hoặc nghịch biến) trên khoảng đó. Chứng minh. Thật 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 x 1 ∈ (a; b) thì khi đó f (x) đồng biến trong từng khoảng (a; x 1 ) và (x 1 ; b) và liên tục trong (a; x 1 ] và [x 1 ; b) nên nó cũng đồng biến trong (a; x 1 ] và [x 1 ; b). Từ đó suy ra nó đồng biến trên cả khoảng (a; b). 1.2 Định lý Rolle và một số mở rộng Cơ sở của định lý Rolle dựa vào định lý cơ bản nhất của Weierstrass đối với hàm liên tục khẳng định rằng khi f liên tục trên đoạn [a; b] thì nó phải đạt giá trị lớn nhất và giá trị nhỏ nhất trên đoạn đó và định lý Fermat về điểm cực trị của hàm khả vi khẳng định rằng nếu hàm khả vi g(x) trong khoảng (a; b) đạt cực trị (cực đại hoặc cực tiểu) tại một điểm trong khoảng đó thì đạo hàm tại điểm đó bằng 0. 1.2.1 Định lý Rolle Định lí 1.3. (Định lý Fermat) Cho hàm số f (x) xác định liên tục trong khoảng đóng [a; b], khi đó nếu f(x) đạt cực trị tại c ∈ (a, b) và nếu f(x) khả vi tại c thì f  (c) = 0. Định lí 1.4. (Định lí Rolle). Giả sử f là hàm liên tục trên đoạn [a; b] và có đạo hàm tại mọi x ∈ (a, b). Nếu f(a) = f (b) thì tồn tại ít nhất một điểm c ∈ (a, b) sao cho f  (c) = 0. Chứng minh. Vì f liên tục trên đoạn [a; b] nên theo định lý Weierstrass hàm f phải đạt giá trị cực đại và giá trị cực tiểu trên đoạn [a; b], tức là tồn tại các điểm x 1 , x 2 ∈ (a, b) sao cho f(x 1 ) = min [a,b] f(x) = m, f (x 2 ) = max [a;b] f(x) = M. Có hai khả năng: i) m = M. Khi ấy f(x) = const trên đoạn [a; b], do đó f  (x) = 0 với mọi x ∈ (a, b) và c là điểm bất kì trên khoảng đó. ii) m < M. Khi đó vì điều kiện f(a) = f (b) nên ít nhất một trong hai điểm [...]... 17 Chương 2 Áp dụng tính đơn điệu của hàm số để giải phương trình Trong chương này chúng tôi trình bày các ứng dụng của định lý Rolle và một số mở rộng của định lý Rolle trong nghiên cứu các phương trình Đây là một định lý rất đẹp, một công cụ rất mạnh để giải các bài toán về phương trình 2.1 Ứng dụng định lý Rolle và các hệ quả để giải phương trình Đối với dạng bài tập này thì các hệ quả của định lý... mạnh để giải toán Kĩ thuật để giải một số bài toán trong phần này như sau: • Ta biến đổi phương trình cần giải về dạng f (x) = 0 • Xét hàm số y = f (x) Tìm số nghiệm của phương trình f (x) = 0 Giả sử phương trình f (x) = 0 có n − 1 nghiệm, khi đó theo hệ quả định lý Rolle thì phương trình f (x) = 0 có không quá n nghiệm • Chỉ ra các nghiệm của phương trình Phần tiếp theo, tác giả đã hệ thống một số bài... những hệ quả này mà định lý Rolle trở thành một công cụ rất mạnh để giải toán, đặc biệt là đối với dạng toán về giải phương trình và kiểm chứng số nghiệm của phương trình trong một khoảng nào đó Các ứng dụng này sẽ được trình bày chi tiết trong các chương sau 1.2.2 Định lý Rolle với nguyên hàm Để chứng minh sự tồn tại nghiệm của phương trình, ta có thể sử dụng các định lí sau là dạng phát biểu khác của. .. quát Giải phương trình √ ax3 + bx2 + cx + d = k 3 px + q, (2.3) trong đó a, b, c, d, k, p, q ∈ R, a = 0 Để giải phương trình trên, ý tưởng ta đưa phương trình (2.3) về dạng √ (mx + n)3 + k(mx + n) = (px + q) + k 3 px + q, (2.4) để sử dụng phương pháp hàm số Phương trình (2.3) đưa được về dạng (2.4) khi và chỉ khi tồn tại các số m, n sao cho (mx + n)3 + k(mx + n) = ax3 + bx2 + (c + p)x + d + q Sử dụng. .. 2 1 2 Vậy phương trình đã cho có 3 nghiệm là x = 4; x = −1; x = − Nhận xét 2.2 Áp dụng hệ phương trình từ phương trình tổng quát, ta có  m3 = 4   2 3m n = 6 3mn2 + m = 6   3 n + n = 2 Dễ thấy hệ phương trình trên vô nghiệm Tuy nhiên điều đó không có nghĩa là chúng ta không đưa phương trình (2.5) về dạng (2.4) Thực hiện phép nhân cả hai vế của phương trình (2.5) với 2 ta được phương trình √ 8x3... được hệ (ẩn là m và n)  m3 = a   2 3m n = b 3mn2 + km = c + p   3 n + kn = d + q Đến đây, ta có kết quả: • Nếu hệ phương trình trên có nghiệm thì (2.3) đưa được về dạng (2.4) • Nếu hệ phương trình trên vô nghiệm thì (2.3) không đưa được về dạng (2.4) 19 Chú ý 2.1 Các hệ số của (2.3) sẽ thay đổi nếu ta nhân hai vế của (2.3) với một số khác không và hệ phương trình trên cũng thay đổi, nghĩa là hệ. .. nên phương trình (2.7) chỉ có 3 nghiệm trên π 9 Vậy phương trình đã cho có nghiệm là x = cos ; x = cos 5π 7π ; x = cos 9 9 Nhận xét 2.3 Hệ phương trình của phương trình (2.7) là  m3 = 8   2 3m n = 0 3mn2 + m = 2   3 n + n = 0, có nghiệm m = 2 và n = 0 21 Bài toán 2.4 Giải phương trình sau trên tập số thực 9x2 + 3 + (4x + 2) 1 + 3x 2 + 1 + x + x2 = 0 (2.10) Lời giải 1 2 Ta thấy phương trình. .. được phương trình đã cho tương đương với  x=0  x = −1 √  x2 (x + 1) = 0 x = 1 + 5 ⇔ x2 = x + 1 = 0 2√  x= 1− 5 2 √ 1± 5 Vậy phương trình đã cho có các nghiệm là x = 0; x = −1; x = 2 2.2 Chứng minh sự tồn tại và biện luận số nghiệm của phương trình Để chứng minh sự tồn tại nghiệm của phương trình, ta có thể sử dụng các định lý là phát biểu khác của định lý Rolle (mục 1.3) Để áp dụng định lí... sử dụng định lý Rolle và các hệ quả của định lý Rolle Các bài toán được lựa chọn từ một số tài liệu trong các kỳ thi Quốc gia và Quốc tế, Olympic sinh viên để minh họa cho dạng bài tập này và tác giả tự thiết kế trên cơ sở một số bài tập đã có Bài toán 2.1 [Olympic 30/04 năm 2011] Giải phương trình sau trên tập số thực √ x3 − 15x2 + 78x − 141 = 5 3 2x − 9 (2.1) 18 Lời giải Điều kiện x ∈ R Phương trình. .. 0, ∀x ∈ D Theo hệ quả 1.4 của định lý Rolle, suy ra phương trình g(x) = 0 có không quá hai nghiệm Ta có g(0) = g(1) = 0, suy ra phương trình đã cho có 2 nghiệm x = 0 và x = 1 Nhận xét 2.4 Ta có thể sử dụng bất đẳng thức Bernoulli để giải bài toán trên như sau: x = 1, Phương trình (2.16) ⇔ 3x + (1 − 3)x = 1 ⇔ x = 2 Bài toán 2.8 Giải phương trình (1 + cos x)(2 + 4cos x ) = 3.4cos x Lời giải Điều kiện . 15 2 Áp dụng tính đơn điệu của hàm số để giải phương trình 17 2.1 Ứng dụng định lý Rolle và các hệ quả để giải phương trình 17 2.2 Chứng minh sự tồn tại và biện luận số nghiệm của phương trình. cứu là tính đơn điệu của hàm số. • Phạm vi nghiên cứu là tính đơn điệu của hàm số và ứng dụng trong giải phương trình, hệ phương trình. 4. Phương pháp nghiên cứu • Phân tích và tổng hợp. • Hệ thống. 25 2.3 Áp dụng định lí Lagrange và các hệ quả để xét sự tồn tại nghiệm của phương trình cho trước. . . . . . . . . . . . . 34 3 Áp dụng tính đơn điệu của hàm số để giải hệ phương trình 39 3.1 Áp dụng