Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống
1
/ 26 trang
THÔNG TIN TÀI LIỆU
Thông tin cơ bản
Định dạng
Số trang
26
Dung lượng
383,85 KB
Nội dung
1 BỘ GIÁO DỤC VÀ ĐÀO TẠO ĐẠI HỌC ĐÀ NẴNG ĐẦU THANH PHONG PHƯƠNGTRÌNHHÀMVỚIMỘTBIẾNSỐ Chuyên ngành: PHƯƠNG PHÁP TOÁN SƠ CẤP Mã số: 60.46.40 TÓM TẮT LUẬN VĂN THẠC SĨ KHOA HỌC Đà Nẵng – Năm 2011 2 Công trình ñược hoàn thành tại ĐẠI HỌC ĐÀ NẴNG Người hướng dẫn khoa học: TS. Lê Hoàng Trí Phản biện 1: TS. Nguyễn Ngọc Châu Phản biện 2: PGS. TS. Nguyễn Gia Định Luận văn sẽ ñược bảo vệ trước Hội ñồng chấm Luận văn tốt nghiệp thạc sĩ khoa học họp tại Đại học Đà Nẵng vào ngày 28 tháng 05 năm 2011 Có thể tìm hiểu luận văn tại: - Trung tâm Thông tin – Học liệu, Đại học Đà Nẵng - Thư viện trường Đại học Sư phạm, Đại học Đà Nẵng 3 MỞ ĐẦU 1. LÝ DO CHỌN ĐỀ TÀI Phươngtrìnhhàm là một lĩnh vực quan trọng của giải tích. Bài toán giải phươngtrìnhhàm có lẽ là một trong những bài toán lâu ñời nhất của giải tích. Nhu cầu giải phươngtrìnhhàm xuất hiện ngay khi bắt ñầu có lý thuyết hàm số. Nhiều phươngtrìnhhàm xuất phát từ nhu cầu thực tế của Toán học hoặc của các ngành khoa học khác. Phươngtrìnhhàm cũng là một chuyên ñề quan trọng thuộc chương trình chuyên toán trong các trường THPT chuyên. Trong các kỳ thi olympic toán quốc gia và quốc tế, olympic toán khu vực, thường xuất hiện các dạng toán khác nhau có liên quan ñến phươngtrình hàm. Tuy nhiên, cho ñến nay, học sinh các lớp chuyên, lớp chọn còn biết rất ít các phương pháp chính thống ñể giải các phươngtrình hàm. Đặc biệt, hiện nay còn rất ít các cuốn sách về chuyên ñề phươngtrìnhhàm và ứng dụng của chúng [4]. Các dạng toán về phươngtrìnhhàm rất phong phú và ña dạng, bao gồm các loại phươngtrình tuyến tính và phi tuyến tính, phươngtrìnhmột ẩn hàm và phươngtrình nhiều ẩn hàm, phươngtrìnhhàmvớimộtbiếnsố và phươngtrìnhhàmvới hai hoặc nhiều biến số,… Các bài toán về phươngtrìnhhàm nói chung là các bài toán khó, phươngtrìnhhàmvớimộtbiến nói riêng lại càng khó hơn. Việc giải quyết các phươngtrìnhhàmvớimộtbiếnsố phức tạp hơn việc giải quyết các phươngtrìnhhàm có nhiều biếnsố gấp nhiều lần. Do ñó, ñể việc tiếp cận các phươngtrìnhhàmmộtbiến ñược ñơn giản hơn, tôi chọn ñề tài: “Phương trìnhhàmvớimộtbiến số” nhằm nêu ra mộtsố kĩ thuật và phương pháp cơ bản thường ñược sử dụng ñể giải quyết các bài toán phươngtrìnhhàmmộtbiến số. 2. MỤC ĐÍCH NGHIÊN CỨU Luận văn tập trung nghiên cứu mộtsốphươngtrìnhhàmmộtbiến ñơn giản và phương pháp ñể giải quyết chúng. 3. ĐỐI TƯỢNG VÀ PHẠM VI NGHIÊN CỨU Đối tượng nghiên cứu của luận văn là phươngtrìnhhàmmộtbiến số. Phạm vi nghiên cứu của luận văn là mộtsốphươngtrìnhhàmmộtbiến cơ bản cùng với các phương pháp giải thông thường. 4 4. PHƯƠNG PHÁP NGHIÊN CỨU Luận văn cơ bản sử dụng phương pháp nghiên cứu lý thuyết, nghiên cứu các tài liệu liên quan ñể sưu tầm, chọn lọc, phân loại và nêu phương pháp giải và sáng tác bài toán liên quan. 5. Ý NGHĨA KHOA HỌC VÀ THỰC TIỄN CỦA ĐỀ TÀI Luận văn cung cấp một tài liệu cơ bản về lý thuyết phươngtrìnhhàmmộtbiến và mộtsố bài tập cơ bản cũng như cách giải quyết, cho ta nhìn nhận nhất quán về các bài toán phươngtrìnhhàmmộtbiến số. 6. CẤU TRÚC CỦA LUẬN VĂN Luận văn gồm phần mở ñầu, 3 chương, phần kết luận và danh mục tài liệu tham khảo. Chương 1. Lịch sử phát triển phươngtrình hàm. Chương 2. Kiến thức cơ bản. Chương 3. Phươngtrìnhhàmvớimộtbiến số. 5 Chương 1 - LỊCH SỬ PHÁT TRIỂN PHƯƠNGTRÌNHHÀM 1.1. Giới thiệu Trong ñại số ở trường trung học, chúng ta tìm hiểu về phươngtrình ñại số liên quan ñến một hoặc nhiều ẩn là các số thực chưa biết. Phươngtrìnhhàm cũng giống như phươngtrình ñại số, tuy nhiên ẩn là một hoặc vài hàm số. Bài toán về phươngtrìnhhàm xuất hiện khá thường xuyên trong các cuộc thi toán. Vì vậy, luận văn này hi vọng sẽ là một tài liệu hữu ích cho những học sinh, sinh viên muốn giải quyết mộtsố vấn ñề liên quan ñến phươngtrìnhhàm ở bậc phổ thông và ñại học. Trong chương này, ta chủ yếu xem xét ñôi nét về lịch sử phát triển của phươngtrìnhhàm trong sự phát triển chung của Toán học. 1.2. Nicole Oresme Các nhà toán học ñã làm việc với các phươngtrìnhhàm từ rất sớm. Ngay từ thế kỉ XIV, nhà toán học Nicole Oresme (1323 - 1382) ñã xác ñịnh hàmsố bậc nhất như một nghiệm của phươngtrình hàm. Cụ thể, theo ngôn ngữ của toán học hiện ñại, ông ñã ñặt bài toán tìm hàmsố ( ) f x thỏa mãn với mọi , ,x y z ∈ , ñôi một phân biệt, phươngtrìnhhàm sau ( ) ( ) ( ) ( ) f y f x y x z y f z f y − − = − − (1.1) Oresme ñã tìm ñược nghiệm ( ) f x a x b = + (1.2) với , a b là hằng số thực [4]. 1.3. Gregory của Saint-Vincent Trong vài trăm năm tiếp theo, phươngtrìnhhàm ñã ñược biết ñến nhiều hơn nhưng không có lý thuyết chung cho những phươngtrình loại ñó. Đáng chú ý trong số ñó, nhà toán học Gregory of Saint- Vincent (1584-1667), người ñi tiên phong về lí thuyết Logarithm ñã xét bài toán tính diện tích phần mặt phẳng giới hạn bởi các ñường 1 ; 1; ; 0y x x t t x = = = > Ông ñ ã kí hi ệ u di ệ n tích ñ ó là ( ) f t và ch ứ ng t ỏ ( ) f t th ỏ a mãn ph ươ ng trìnhhàm ( ) ( ) ( ) , ,f x f y f xy x y + + = ∀ ∈ . 6 Ngày nay thì ta biết ñó là hàm ( ) log a f x x= v ớ i 0, 1 a a> ≠ . Tuy nhiên, vi ệ c gi ả i và nghiên c ứ u nghi ệ m c ủ a ph ươ ng trình ( ) ( ) ( ) , , f x f y f xy x y + + = ∀ ∈ thì ph ả i ch ờ ñế n g ầ n 200 n ă m sau, nh ờ công c ủ a Augusstin-luois Cauchy (1789-1985) [4]. 1.4. Augustin-Louis Cauchy M ặ c dù ñị nh ngh ĩ a c ủ a Nicole Oresme v ề tuy ế n tính có th ể ñượ c hi ể u nh ư là m ộ t ví d ụ ñầ u tiên v ề m ộ t ph ươ ng trình hàm, nó không ñạ i di ệ n cho m ộ t ñ i ể m kh ở i ñầ u cho lý thuy ế t v ề ph ươ ng trình hàm. Các ch ủ ñề c ủ a ph ươ ng trìnhhàm ñượ c ñ ánh d ấ u m ộ t cá ch chí nh xá c h ơ n t ừ công vi ệ c c ủ a Augustin-Louis Cauchy. M ộ t trong nh ữ ng ph ươ ng trìnhhàm n ổ i ti ế ng mà ta hay g ọ i là ph ươ ng trình Cauchy có d ạ ng ( ) ( ) ( ) , , f x y f x f y x y+ = + ∀ ∈ . (1.3) Nghi ệ m : f → c ủ a ph ươ ng trình (1.3) có d ạ ng ( ) f x a x= . Nghi ệ m : f → và th ỏ a mãn thêm m ộ t s ố ñ i ề u ki ệ n ph ụ n ữ a c ũ ng có d ạ ng ( ) f x a x= . Ph ươ ng trình (1.3) tr ướ c ñ ó c ũ ng ñ ã ñượ c Carl Friedrich Gauss (1777-1855) và Legandre nghiên c ứ u khi tìm ra ñị nh lí c ơ b ả n c ủ a hình h ọ c x ạ ả nh và khi nghiên c ứ u ñị nh lu ậ t Gauss v ề phân b ố xác xu ấ t. G. Darbour c ũ ng ñ ã nghiên c ứ u ph ươ ng trình (1.3) và ch ỉ ra r ằ ng ch ỉ c ầ n ( ) f x ho ặ c liên t ụ c t ạ i m ộ t ñ i ể m, ho ặ c b ị ch ặ n trên (ho ặ c d ướ i) trên m ộ t kho ả ng ñủ nh ỏ thì nghi ệ m c ủ a ph ươ ng trình (1.3) v ẫ n là ( ) f x k x= . Sau ñ ó các nhà toán h ọ c còn ñư a ra nhi ề u h ạ n ch ế n ữ a, nh ư ng vi ệ c ch ỉ ra hàm s ố không liên t ụ c và th ỏ a ñ i ề u ki ệ n (1.3) mãi ñế n n ă m 1905 m ớ i ñượ c th ự c hi ệ n b ở i nhà toán h ọ c ng ườ i Đứ c Georg Hamel (1877-1954) v ớ i vi ệ c ñư a ra h ệ c ở s ở Hamel c ủ a t ậ p s ố th ự c . Th ậ t b ấ t ng ờ là m ộ t trong nh ữ ng ph ươ ng trìnhhàm c ơ b ả n l ạ i có liên quan ch ặ t ch ẽ ñế n nh ị th ứ c Newton [4]. T ừ hàng th ế k ỷ tr ướ c Newton, các nhà toán h ọ c ñ ã bi ế t ñế n công th ứ c ( ) 1 2 2 1 1 1 1 . n n n n n n n x C x C x C x x − − + = + + + + + (1.4) ñ úng v ớ i m ọ i n∈ và v ớ i m ọ i x∈ , trong ñ ó các t ổ h ợ p k n C ñượ c xác ñị nh t ừ tam giác Pascal và ñượ c tính theo công th ứ c ( )( ) ( ) 1 2 . 1 ! i n n n n n i C i − − − + = . (1.5) 7 1.5. Việc tính toán Những người ñọc biết mộtsố tính toán có thể tự hỏi tại sao phươngtrìnhhàm Cauchy ( ) ( ) ( ) f x y f x f y+ = + không thể ñược giải quyết bằng cách sử dụng phép lấy vi phân? Thay y c= , một hằng số, và lấy vi phân ñối với x , ta ñược ( ) ( ) ' ' f x c f x + = với mọi số thực c . Suy ra ' f là mộthàm hằng và do ñó f là mộthàm tuyến tính có dạng ( ) f x a x b = + . Đây là một kết quả ñúng. Tuy nhiên, một vấn ñề lớn ñặt ra là ta phải giả ñịnh rằng hàm f có thể lấy vi phân. Mặc dù có rất nhiều người ñã sử dụng giả ñịnh này như một ñiều tất nhiên, và ta sẽ chứng minh kết quả này. Cũng có các hàmsố mà không có ñạo hàm tại một vài ñiểm, chẳng hạn hàmsố ( ) f x x = có ñạo hàm tại mọi ñiểm nhưng không tồn tại ñạo hàm tại 0 x = . Trong toán cao cấp, không có gì là bất bình thường nếu ta xét các hàmsố mà không có ñạo hàm tại bất kì giá trị x nào. Một ví dụ ñiển hình cho ñiều này là hàmsố ( ) 1, 0, \ khi x f x khi x ∈ = ∈ Hàmsố này không liên tục tại bất kỳ giá trị x nào. Vì vậy, nó cũng không tồn tại ñạo hàm tại bất kỳ giá trị nào của x. Ta thậm chí còn có thể xây dựng ñược các hàmsố liên tục nhưng không có ñạo hàm tại bất kỳ giá trị nào của x. Điểm có ích của vấn ñề này là chúng ta không cần loại bỏ các hàmsố mà ta có thể tự ñộng giả ñịnh rằng ta có thể lấy vi phân ñối vớihàmsố f(x). Chúng ta có lí do ñể cho rằng các ñạo hàm tồn tại trong phươngtrìnhhàm tiếp theo. Tuy nhiên, các giả ñịnh như vậy nên ñược thực hiện ít nhằm loại bỏ chúng nếu chúng không thực sự cần thiết cho việc chứng minh các kết quả. 1.6. Jean d'Alembert Trong lịch sử, Jean d'Alembert (1717-1783) có thể ñược là tiền bối của Augustin-Louis Cauchy. Tuy nhiên, trong vấn ñề về phươngtrình hàm, nó có vẻ tự nhiên hơn khi xem xét ñóng góp của ông sau Cauchy. 8 Năm 1769, khi nghiên cứu ñịnh luật tổng hợp lực theo quy tắc hình bình hành, ông ñã xét phươngtrình ( ) ( ) ( ) ( ) 2g x y g x y g x g y + + − = (1.6) với 0 2y x π ≤ ≤ ≤ . Phươngtrình (1.6) là bây giờ ñược gọi là phươngtrình d’Alembert. Yêu cầu ñược ñưa ra là tìm tất cả các hàmsố :g → thỏa mãn phươngtrình (1.6). Ở ñây, chúng ta gặp phải một khó khăn lớn hơn trong việc phân tích tìm lời giải sovớiphươngtrình Cauchy. Phươngtrình này làm ta liên tưởng ñến các tính chất của hàmsố lượng giác. Xét các hàmsố lượng giác ñơn giản ta thấy hàmsố ( ) ( ) osg x c x = thỏa mãn nhưng hàmsố ( ) ( ) sing x x = thì lại không thỏa. Câu hỏi ñặt ra là liệu có còn các nghiệm khác không? Và người ta ñã chỉ ra các nghiệm ñó có dạng ( ) cosaxg x b = với việc chọn các hằng số ,a b phù hợp. Tuy nhiên, thay 0x y = = vào phươngtrình (1.6) ta ñược ( ) ( ) 2 0 0g g = , suy ra ( ) 0 0g = hoặc ( ) 0 1g = lần lượt tương ứng với trường hợp 0b = và 1b = . Với a là một hằng số tùy ý, nếu ( ) g x là một nghiệm bất kì của phươngtrình (1.6) thì ( ) g ax cũng là một nghiệm. Như vậy, nghiệm ban ñầu có thể mở rộng thành ( ) ( ) osax ; 0g x c g x = = Người ta lại tự hỏi, ngoài các nghiệm trên thì có nghiệm nào khác không? Câu trả lời là có. Năm 1821, Cauchy ñã giải ñược phươngtrìnhhàm trên với ñiều kiện ( ) g x là hàm liên tục và ñược nghiệm là ( ) ( ) ( ) ax ax 0 ; osax ; 2 e e g x g x c g x − + = = = (1.7) 1.7. Charles Babbage M ộ t ñặ c tính mà c ả hai ph ươ ng trìnhhàm Cauchy và d'Alembert's có chung là trong ph ươ ng trình có m ặ t hai bi ế n, kí hi ệ u là x và y. L ớ p các ph ươ ng trìnhhàm ch ứ a m ộ t bi ế n s ố ñ ã ñượ c nhà toán h ọ c ng ườ i Anh Charles Babbage (1791-1871) nghiên c ứ u và ñạ t ñượ c nhi ề u k ế t qu ả to l ớ n. N ă m 1815, trong b ả n báo cáo trình bày tr ướ c H ộ i Hoàng Gia London (Royal Society of London) Charles Babbage ñ ã xây d ự ng 9 và nghiên c ứ u bài toán xác ñị nh hàm s ố ( ) f x th ỏ a mãn ñ i ề u ki ệ n ( ) ( ) ( ) ( ) ( ) ( ) ( ) 1 2 , , , , ., 0 n F x f x f x f x f x α α α = (1.8) trong ñ ó 1 , , ., n F α α là các hàm s ố cho tr ướ c. Charles Babbage ñ ã xét m ộ t s ố tr ườ ng h ợ p ñặ c bi ệ t c ủ a các hàm s ố ( ) , i F x α . Tr ườ ng h ợ p ñầ u tiên ñượ c xét ñế n là bài toán xác ñị nh t ấ t c ả các hàm s ố ( ) f x th ỏ a mãn ph ươ ng trình ( ) ( ) f x f x α = (1.9) v ớ i ( ) x α là hàm s ố ñ ã cho. Charles Babbage ñ ã ch ỉ ra r ằ ng ñố i v ớ i m ộ t s ố d ạ ng c ủ a hàm s ố ,f α ph ươ ng trìnhhàm (1.9) có th ể có vô s ố nghi ệ m. Ngoài ra, n ế u 0 f là m ộ t nghi ệ m riêng c ủ a ph ươ ng trình (1.9) thì t ấ t c ả các hàm s ố có d ạ ng ( ) ( ) 0 f x f x σ = (1.10) trong ñ ó σ là hàm s ố tùy ý, c ũ ng th ỏ a mãn ñ i ề u ki ệ n (1.9). Tuy nhiên, ñ ó ch ư a ph ả i là t ấ t c ả các nghi ệ m c ủ a ph ươ ng trình (1.9). Chú ý r ằ ng hàm s ố ( ) f x ñượ c g ọ i là hàm s ố ñố i h ợ p khi và ch ỉ khi 1 f f − ≡ hay ( ) ( ) f f x x = v ớ i m ọ i f x D ∈ . Ví d ụ ñơ n gi ả n nh ấ t v ề hàm s ố ñố i h ợ p là x x −a và 1 x x − a . H ọ nghi ệ m t ổ ng quát c ủ a ph ươ ng trình (1.9) trong tr ườ ng h ợ p ( ) x α là hàm ñố i h ợ p là ( ) ( ) ,f x x x τ α = (1.12) trong ñ ó ( ) ,u v τ là hàm s ố ñố i x ứ ng ñố i v ớ i , u v tùy ý. (Có ngh ĩ a là ( ) ( ) , , u v v u τ τ = v ớ i m ọ i ( ) , u v D τ ∈ ). M ở r ộ ng c ủ a bài toán này là tìm nghi ệ m c ủ a hai ho ặ c nhi ề u h ơ n hai ph ươ ng trìnhhàm cùng lúc, ch ẳ ng h ạ n ( ) ( ) ( ) ( ) , f x f x f x f x α β = = (1.13) trong ñ ó các hàm s ố ( ) ( ) , x x α β cho tr ướ c. Charles Babbage c ũ ng ñ ã nghiên c ứ u ph ươ ng trìnhhàm ñố i h ợ p b ậ c n , ñ ó là ph ươ ng trìnhhàm có d ạ ng ( ) ( ) ( ) 2 , , , ., 0 n F x f x f x f x = (1.14) trong ñ ó, F là hàm s ố cho tr ướ c, f là hàm s ố c ầ n tìm, và ( ) ( ) ( ) ( ) 2 3 2 , , .f x f f x f x f f x = = 10 Trong tr ườ ng h ợ p này, F ñ ã bi ế t, ta c ầ n tìm t ấ t c ả các hàm s ố f sao cho ph ươ ng trình (1.14) th ỏ a mãn v ớ i m ọ i s ố th ự c x. Ch ẳ ng h ạ n, m ộ t nghi ệ m ( ) f x c ủ a ph ươ ng trình ( ) n f x x= là m ộ t nghi ệ m l ặ p b ậ c n c ủ a hàm s ố ñồ ng nh ấ t x x a . Trong tr ườ ng h ợ p riêng, ta nh ậ n th ấ y r ằ ng m ộ t nghi ệ m l ặ p b ậ c hai c ủ a hàm s ố ñồ ng nh ấ t là m ộ t l ũ y th ừ a. Babbage chú ý r ằ ng, n ế u ( ) ,u v τ là m ộ t hàm s ố ph ả n ñố i x ứ ng b ấ t kì c ủ a ,u v thì b ấ t kì l ũ y th ừ a nào c ủ a ( ) f x ñề u th ỏ a mãn ph ươ ng trình ( ) , 0x f x τ = (1.15) S ử d ụ ng cách nh ư v ậ y, Babbage nh ậ n th ấ y m ộ t ph ươ ng pháp có th ể t ổ ng quát cho các tr ườ ng h ợ p khác. N ế u ( ) f x là m ộ t hàm ñố i h ợ p thì ( ) ( ) { } 1 g x f x φ φ − = (1.16) c ũ ng s ẽ là hàm ñố i h ợ p v ớ i b ấ t kì song ánh φ nào. Bài t ậ p 12 trong báo cáo c ủ a Babbage yêu c ầ u gi ả i ph ươ ng trình ( ) ( ) 2 f x x α = (1.17) v ớ i ( ) x α là hàm s ố b ấ t kì cho tr ướ c. Gi ả s ử ta tìm ñượ c nghi ệ m c ủ a ph ươ ng trình có d ạ ng ( ) ( ) { } 1 f x x φ β φ − = Trong ñ ó β là m ộ t hàm s ố b ấ t kì cho tr ướ c mà không ph ả i là hàm ñố i h ợ p tr ừ khi ( ) x x α = và ( ) x φ là m ộ t song ánh ñ ã ñượ c xác ñị nh. Khi ñ ó ( ) ( ) ( ) { } 2 1 2 x f x x α φ β φ − = = Đ i ề u này suy ra ( ) x φ là m ộ t nghi ệ m c ủ a ph ươ ng trìnhhàm ( ) ( ) 2 x x φ α β φ = (1.18) Lo ạ i ph ươ ng trình này ñượ c g ọ i là ph ươ ng trình liên h ợ p. 1.8. Các cuộc thi toán và giải trí toán học Ch ủ ñề v ề ph ươ ng trìnhhàm c ũ ng th ườ ng ñượ c tìm th ấ y trong các cu ộ c thi toán c ũ ng nh ư trong các câu ñố trong gi ả i trí Toán h ọ c. Ví d ụ 1.6. (Cu ộ c thi Putnam l ầ n th ứ 4, bài t ậ p B14(i)). Hãy ch ỉ ra các nghi ệ m ( ) f t c ủ a ph ươ ng trình ( ) ( ) ( ) ( ) 2 2 1f x y f x y f x f y+ − = + − . tuyến tính, phương trình một ẩn hàm và phương trình nhiều ẩn hàm, phương trình hàm với một biến số và phương trình hàm với hai hoặc nhiều biến số, … Các bài. của luận văn là phương trình hàm một biến số. Phạm vi nghiên cứu của luận văn là một số phương trình hàm một biến cơ bản cùng với các phương pháp giải