🔙 Quay lại trang tải sách pdf ebook Hằng Đẳng Thức Cà Phương Trình Hàm Ebooks Nhóm Zalo LÊ VIỆT HẢI - ĐÀO THÁI HIỆP Phổ thông năng khiếu – ĐHQG TP.HCM S E M I N A R HẰNG ĐẲNG THỨC và PHƯƠNG TRÌNH HÀM Copyright © 2010 – 2011 by PTNK Như ta đã biết, hàm số là một phần quan trọng của toán học. Việc giải phương trình hàm vì thế mà cũng được quan tâm. Trong các kì thi học sinh giỏi, Olympic, ... đôi khi vẫn có những bài toán phương trình hàm làm khó dễ thí sinh, nhưng tựu chung lại, đó vẫn là những bài toán có những nét rất thú vị. Trong seminar, tác giả muốn trình bày đến cho các bạn một cách sáng tạo phương trình hàm đơn giản, nhưng lại có rất nhiều điều đặc biệt và đôi lúc thực sự “hóc búa”. Đó là việc đề xuất ra các bài phương trình hàm dựa trên các đẳng thức, hằng đẳng thức. Rất khó có thể nói được ứng dụng của những bài phương trình hàm này, nhưng qua việc giải chúng, các bạn sẽ có thêm được kĩ năng giải toán, và thực sự, đây là một điều rất có ích. Những bài phương trình hàm được trình bày trong seminar này đã được tác giả tìm kiếm và chọn lọc, có những bài dễ và cũng có bài khó, nhưng mỗi bài đều có cái hay riêng của mình, việc phát hiện chúng và giải được chúng là một công việc thú vị mà tác giả muốn chia sẻ với bạn đọc. Do thời gian chuẩn bị không nhiều và kiến thức có hạn của tác giả, nên sơ suất và những điều còn chưa được giải quyết là điều không thể tránh khỏi, nên rất mong nhận được sự quan tâm và giúp đỡ của mọi người để vấn đề này trở nên đặc sắc và thú vị hơn. Xin cảm ơn, Thân. Trong Seminar này, tác giả xin trình bày 6 phần Phần I: Giới thiệu. Phần II: Bổ đề áp dụng – Phần này nhằm chứng minh những bổ đề cần thiết, và trong các cách chứng minh đó, có những ý tưởng được dùng để giải những bài toán khác. Phần III: Phương trình hàm và các đẳng thức hiển nhiên – Phần này nhằm giới thiệu các phương trình hàm xuất phát từ những điều hiển nhiên như x = x, x + y = x + y,... Phần IV: Phương trình hàm và các hằng đẳng thức – Phần này nhằm giới thiệu các phương trình hàm xuất phát từ các hằng đẳng thức. Phần V: Tổng kết. Phần VI: Tài liệu tham khảo. Tác giả sẽ trình bày những bài toán và kèm theo lời giải nếu có, đồng thời kèm theo những lời dẫn dắt. Ở phần cuối một vài bài toán, tác giả có thêm phần Chú ý nhằm kết lại những ý tưởng được dùng, đồng thời trình bày một số hướng tổng quát. Những phương trình hàm chúng ta sắp đề cập tới đây đều có một điểm chung là xuất phát từ các đẳng thức, nên quá trình giải chúng cũng sẽ có một vài điểm giống nhau. Sau khi xem xét kĩ, tác giả xin trình bày bổ đề sau, là một công cụ hữu hiệu để giải khá nhiều các phương trình hàm. Bổ đề. Tìm tất cả các hàm f :  → thoả mãn: f x y f x f y ( ) ( ) ( ) + = + ∀ ∈ x y R , Trong các trường hợp sau: a) f x( ) là hàm liên tục. b) f x( ) là hàm đơn điệu. c) f x M ( ) < ∀ ∈x a b [ , ]. 2 2 f x f x ( ) = ∀ ∈x R d) ( ) 3 3 f x f x ( ) = ∀ ∈x R e) ( ) Lời giải. Cho x y = = 0 , ta được: f f f (0) 2 (0) (0) 0 = ⇒ = . Thay y x = − , ta được: f f x f x (0) ( ) ( ) = + − ⇒ − = − f x f x ( ) ( ) ∀ ∈x R . Đặt f c const (1) = = . Ta có: 1 1 1 1 1 (1) ... c ⎛ ⎞ ⎛ ⎞ ⎛ ⎞ = + + + = ⇒ = ⎜ ⎟ ⎜ ⎟ ⎜ ⎟ ⎝ ⎠ ⎝ ⎠ ⎝ ⎠* ∀ ∈n N . f f nf f n n n n n n Với mọi số hữu tỷ dương m * m n N m n , ,( , ) 1 ∈ = . Ta có: = ( ) xn m m f x f f mf c cx ( )1 1 1 1 ⎛ ⎞ ⎛ ⎞ ⎛ ⎞ = = + + + = = = ⎜ ⎟ ⎜ ⎟ ⎜ ⎟ ⎝ ⎠ ⎝ ⎠ ⎝ ⎠ . ... . n n n n n n Vậy f x cx ( ) = với mọi số hữu tỷ dương x. Do f là hàm lẻ và f (0) 0 = , ta suy ra được, với mọi số hữu tỷ x thì f x cx ( ) = . a) f là hàm liên tục: Với mọi số vô tỷ x luôn tồn tại một dãy số hữu tỷ {xn} hội tụ về x. Như vậy, dựa vào tính liên tục của f, ta có: ( ) lim lim ( ) f x f x cx cx = = = . n n x x x x → → n n Vậy f x cx ( ) = ∀ ∈x R là hàm thỏa. ☺ b) f là hàm đơn điệu: (Xin giải ở trường hợp f x( ) đồng biến, nghịch biến chứng minh tương tự) Vì f x( ) đồng biến nên c f f = ≥ = (1) (0) 0. x là số vô tỷ sao cho 0 0 f x cx ( ) > (trường hợp 0 0 f x cx ( ) < chứng minh Giả sử tồn tại 0 tương tự). x là số vô tỷ dễ dàng suy ra được 0 0 f x cx ( ), đều là số vô tỷ. Khi đó tồn tại số hữu tỷ Do 0 y sao cho 0 0 f x cy cx ( ) > > . Tuy nhiên, f x f y cy cx x y x ( )0 0 0 0 > = > ⇒ > > ( ) (vô lý). Vậy 0 0 f x cx ( ) = . Suy ra f x cx ( ) = ∀ ∈x R là hàm thỏa. ☺ c) f x M ( ) < ∀ ∈x a b [ , ]: Chúng ta chứng minh rằng f x( ) cũng bị chặn trên đoạn [0,b a − ]. Với x b a ∈ − [0, ], thì x a a b + ∈[ , ]. Ta có: f x a f x f a f x f x a f a ( ) ( ) ( ) ( ) ( ) ( ) + = + ⇒ = + − ⇒ − < < ⇒ < 2 ( ) 2 ( ) 2 M f x M f x M . Đặt b a d − = > 0, vậy f x( ) bị chặn trên [0; ] d . Đặt f d( ) = và g x f x cx ( ) = − ( ) . cd Suy ra: g x y f x y c x y f x cx f y cy g x g y ( ) ( ) ( ) ( ) ( ) ( ) ( ) + = + − + = − + − = + ∀ ∈ x y R , . Hơn nữa: ( ) ( ) ( ) . 0 f d g d f d d = − = . Vậy g x d g x ( ) ( ) + = ∀ ∈x R ,do đó g là hàm tuần d hoàn. Hơn nữa, g x f x cx ( ) = − ( ) nên g cũng bị chặn trên [0; ] d , cộng thêm tính tuần hoàn chu kì d của g, ta suy ra g bị chặn trên R. x sao cho 0 g x( ) 0 ≠ . Khi đó, ta có với mọi số tự nhiên n thì Giả sử tồn tại 0 0 0 g nx ng x ( ) ( ) = 0 0 ⇒ = g nx ng x ( ) ( ) . Do 0 g x( ) 0 ≠ , nên nếu chọn n đủ lớn ta có thể cho 0 ng x( ) lớn hơn bao nhiêu cũng được, suy ra 0 g nx ( ) lớn bao nhiêu cũng được, trái với điều kiện bị chặn của g. Vậy g x( ) 0 = ∀ ∈x R. Do đó, f x cx ( ) = ∀ ∈x R. ☺ 2 2 f x f x ( ) = ∀ ∈x R: (1) d) ( ) Từ (1) ta suy ra f x( ) ≥ 0 với mọi số thực không âm x. Khi đó, với mọi x y > ≥ 0 thì: f x f y f x y f x f y ( ) ( ) ( ) 0 ( ) ( ) − = − ≥ ⇒ ≥ . Vậy f là hàm không giảm, áp dụng câu b), f x cx ( ) = ∀ ∈x R . Thay vào (1) ta thu được c c = ∨ = 0 1. Vậy có 2 hàm thỏa đó là f x x ( ) = ∀ ∈x R , f x( ) 0 = ∀ ∈x R . 3 3 f x f x ( ) = ∀ ∈x R: (2) e) ( ) Ta có: 3 3 3 3 3 f x y f x f y f x y f x y xy x y ( ) ( ) ( ) ( ) 3 ( ) + = + = + = + + + ∀ ∈ x y R , ( ) ( ) ( ) 3 3 3 3 ⇒ + + + = + + + f x f y f x f y f x y f x f y f xy x y ( ) ( ) 3 ( ) ( ) ( ) ( ) ( ) 3 ( ) ∀ ∈ x y R , ( ) ⇒ + = + f x f y f x y f xy x y ( ) ( ) ( ) ( ) ( ) ∀ ∈ x y R , Từ (2) suy ra 3 f f f f f (1) (1) (1) 0 (1) 1 (1) 1 = ⇒ = ∨ = ∨ = − . +Nếu f (1) 0 = : Ta có: 2 f x x f x f f x ( ) ( ) (1) ( 1) 0 + = + = ∀ ∈x R. − , suy ra f x( ) 0 =14 x x + nhận mọi giá trị lớn hơn hoặc bằng 14 Do 2 Do f x( ) là hàm lẻ nên f x( ) 0 = ∀ ∈x R (đây là một hàm thỏa) +Nếu f f (1) 1 (1) 1 = ∨ = − . Đặt f c (1) = . Ta có: ∀ ≥ − x . 2 2 2 2 2 f x x f x f f x f x f x cf x f x c cf x c f x cf x f x ( ) ( ) (1) ( 1) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) + = + ⇔ + = + = + = + ( ) Suy ra 2 2 f x cf x ( ) ( ) = . Tùy vào c =1 hay c = −1, và làm tương tự câu d) ta suy ra 2 hàm tương ứng thỏa là f x x ( ) = ∀ ∈x R và f x x ( ) = − ∀ ∈x R . ☺ Chú ý: 1) Hàm mà thỏa điều kiện trên gọi là hàm cộng tính, và được Augustin Louis Cauchy phát hiện ra, nên đây còn gọi là phương trình hàm Cauchy. Ngoài hàm f x cx ( ) = thỏa ra, nhà toán học G.Hamel còn tìm ra thêm một hàm “đặc biệt” khác cũng thỏa. Các bạn có thể tham khảo qua 2 link sau: http://www.jstor.org/pss/2689122 http://www.ams.org/journals/bull/1942-48-02/S0002-9904-1942-07615-4/S0002-9904- 1942-07615-4.pdf 2) Trên thực tế, có một định lý có thể bao hàm hết tất cả những gì mà tác giả đã trình bày ở trên, định lý đó như sau: Nếu f R R : → là hàm cộng tính nhưng không tuyến tính, thì đồ thị G f ( ) = ( , ( )) x f x trù mật trong 2 R . Khái niệm trù mật trong không gian 2 chiều: Tập A được gọi là trù mật trong tập B nếu lấy một điểm X B ∈ làm tâm và vẽ một đường tròn bán kính ε > 0 bé tùy ý, thì luôn tồn tại điểm Y A ∈ sao cho điểm Y nằm trong đường tròn đã vẽ. Chứng minh của định lý trên, các bạn có thể đọc trong tài liệu IMO Training Camp 2010 (http://forum.mathscope.org/showpost.php?p=58909&postcount=2) hoặc trong cuốn Functional Equations A Problem Solving Approach – Venkatchala (cuốn này không có Ebook, các bạn phải đặt mua từ nước ngoài) 3) Điều kiện d) và e) của bổ đề có thể thay đổi thành ( ) ( ) n n f x f x = ∀ ∈x R với n > 1. Các bạn hãy thử giải trường hợp này. 4) Ngoài ra, điều kiện d) và e) còn có một hướng tổng quát như sau: Cho đa thức P x( ) có bậc lớn hơn 1, thỏa P f x f P x ( ( )) ( ( )) = ∀ ∈x R. Hãy tìm tất cả hàm f thỏa. Trong phần này, xin giới thiệu cho các bạn một vài bài phương trình hàm dựa trên các đẳng thức hiển nhiên “nhất” ví dụ như x = x, x + y = x + y,… Đây coi như là một “bước đệm”, trước khi đi vào phần chính của seminar, mỗi bài dưới đây đều có mang một ý tưởng riêng, đa số lời giải là dựa trên phương trình hàm Cauchy. Đầu tiên, xin giới thiệu 1 bài trong đề thi chọn đội tuyển tham dự Olympic Toán Sinh viên của trường Đại học KHTN Hà Nội: Bài toán 3.1.(IMC 2010) Tìm tất cả các hàm liên tục f :  → thoả mãn: f xy x y f xy f x f y ( ) ( ) ( ) ( ) + + = + + ∀ ∈ x y R , Lời giải. Cách 1: Xét P x y ( , )là phép thế ( x y, ) vào phương trình ban đầu. Ta giải quyết bài toán lần lượt theo các bước chứng minh sau: ∙ f x( ) là hàm lẻ. ( ) ( ) ( ) ( ) ( ) 2 2 P x x f x f x f x f x − − = − + + − , : ∀ ∈x . Như vậy f x f x ( ) ( ) − = − ∀ ∈x . ∙ f x f x (3 3 ) = ( ) ∀ ∈x . P x f x f x f ( ,1 : 2 1 2 1 ) ( + = + ) ( ) ( ) ∀ ∈x . Như vậy f f (3) 3 (1) = và f x (2 1) − = − + 2 ( 1) 1 f x . ( ) ( ) ( ( )) ( ) ( ) 2 2 2 3, –1 : 4 –1 3 –1 3 –1 2 P x f x f x f f x = + + ( ( )) ( ) ( ) 2 2 = + + f x f f x 3 – 1 3 1 – 1 ∀ ∈x  . (1) 2 2 P x f x 1,2 – 1 : 4 – 1 ( ) ( ) ( ) ( ) 2 = + f x f 2 2 – 1 1 ( ( ) ( )) ( ) 2 = + + f f x f f 2 2 – 1 1 1 ( ) ( ) 2 = + f x f 4 – 1 3 1 ∀ ∈x  . (2) Từ (1) và (2) ta suy ra ( ( )) ( ) 2 2 f x f x 3 – 1 3 – 1 = . Mặt khác, với mọi x ≥ 0, luôn tồn tại α ∈ sao cho – 1 2 x =α . Như vậy f x f x (3 3 ) = ( ) ∀ ≥ x 0. Hơn nữa với x < 0, f x f x f x f x f x (3 3 3 3 3 ) = − − = − − = − − = ( ( )) ( ( )) ( ) ( ). Vậy f x f x (3 3 ) = ( ) ∀ ∈x . ∙ f x f x f ( 1 1 + = + ) ( ) ( ) ∀ ≥ x 0. ( ) ( ) ( ( )) ( ) ( ) 2 2 2 2 P x f x f x f f x 3, – 1 : 4 – 1 3 1 3 – 1 − − = − + + + − ( ) ( ) 2 = − − + 4 – 1 3 1 f x f ∀ ∈x  . (3) ( ) ( ) ( ) ( ) 2 2 2 P x f x f x f 1, 2 – 1 : 4 – 1 2 2 – 1 1 − − = − + ( ( ) ( )) ( ) 2 = − + + 2 2 1 1 f f x f f ( ) ( ) 2 = − 4 – 1 f x f ∀ ∈x . (4) Từ (3) và (4) ta suy ra ( ) ( ) ( ) 2 2 f x f x f + = + 1 1 ∀ ∈x . Mặt khác, với mọi x 0 ≥ , luôn tồn tại α ∈ sao cho 2 x =α . Như vậy, f x f x f ( 1 1 + = + ) ( ) ( ) ∀ ≥ x 0 . ∙ f x Cx ( ) = ∀ ∈x . Xét f C const (1 ) = = . Bằng quy nạp ta chứng minh được f nx f x ( ) = ( ) + – 1 (n Cx ) ∀ ∈x . ⎜ ⎟ ⎜ ⎟ = + ⎝ ⎠ ⎝ ⎠ . Suy ra 1 1 f C = và n∈ , ta có 1 1 1 Với 1 xn Với m xn ⎛ ⎞ ⎛ ⎞ − . n f n f C n n n ⎛ ⎞ ⎜ ⎟ = ⎝ ⎠ ∀ ∈x  . n n = và m,n là các số nguyên nguyên tố cùng nhau, ta có: m m m m f f m f C C C C ⎛ ⎞ ⎛ ⎞ ⎛ ⎞ − − ⎜ ⎟ ⎜ ⎟ ⎜ ⎟ = = + = + = ⎝ ⎠ ⎝ ⎠ ⎝ ⎠ . 1 1 1 1 1 . n n n n n n n Như vậy f x Cx ( ) = ∀ ∈x . ∙ f x Cx ( ) = ∀ ∈x . Do f liên tục, nên sử dụng bổ đề, ta có ngay f x Cx ( ) = ∀ ∈x R là hàm thỏa. ☺ Chú ý: 1) Cách giải trên được trình bày theo đúng hướng suy nghĩ của tác giả, tuy rằng có hơi rắc rối, nhưng tác giả muốn trình bày lời giải này đến các bạn 2) Thực ra, bài toán trên xuất phát từ bài toán: Cho hàm f : R R → , chứng minh rằng: f xy x y f xy f x f y ( ) ( ) ( ) ( ) + + = + + ∀ ∈ x y R , khi và chỉ khi f x y f x f y ( ) ( ) ( ) + = + ∀ ∈ x y R , Lời giải xin để dành cho các bạn. Trong một “cố gắng tạo nên sự khác biệt”, tác giả đã thử sáng tạo và ra được bài toán sau: Bài toán 3.2. Tìm tất cả các hàm f : R R → thoả mãn: 2 3 2 3 f x y z f x f y f z + + = + + ( ) ( ) ( ) ∀ ∈ x y z R , , ( ) Lời giải. Điều “khác biệt” chính là việc bậc của các biến khác nhau. Xét P x y z ( , , )là phép thế ( x y z , , ) vào phương trình ban đầu. Ta có: 2 3 P f f f f (0,0,0) : (0) (0) 0 (0) 0 (0) 1 + = ⇒ = ∨ = − . Như vậy, ta xét 2 trường hợp: Trường hợp 1: f (0) 0 = 3 3 P z f z f z (0,0, ) : ( ) ( ) = ∀ ∈z R (1) 3 3 3 P x z f x z f x f z f x f z ( ,0, ) : ( ) ( ) ( ) ( ) ( ) + = + = + ∀ ∈ x z R , (2) 2 2 P y f y f y (0, ,0) : ( ) ( ) = ∀ ∈y R (1‟) Với mọiα ∈R , luôn tồn tại z R ∈ sao cho 3 z =α . Do vậy từ (2) ta suy ra: f x z f x f z ( ) ( ) ( ) + = + ∀ ∈ x z R , . Kết hợp với (1‟) và áp dụng bổ đề, ta suy ra ngay 2 hàm thỏa là f x( ) 0 = ∀ ∈x R, và f x x ( ) = ∀ ∈x R . Trường hợp 2: f (0) 1 = − 2 2 P y f y f y (0, ,0) : ( ) ( ) 2 = − ∀ ∈y R 2 2 2 2 2 f x f x f x f x f x ( ) ( ) 2 ( ) 2 = − = − − ⇒ = − ∀ ∈x R (3) Từ đây suy ra: ( ) ( ) 3 3 3 P x z f x z f x f z f x f z ( ,0, ) : ( ) ( ) ( ) 1 ( ) ( ) 1 + = + + = + + ∀ ∈ x z R , Thay 3 z x = − , ta được: f f x f x f x f x (0) ( ) ( ) 1 ( ) ( ) 2 = + − + ⇒ + − = − ∀ ∈x R (4) Từ (3) và (4), coi f x( ), f x ( ) − là 2 ẩn, dễ dàng giải ra được: f x f x ( ) ( ) 1 = − = − . Như vậy: f x( ) 1 = − ∀ ∈x R. Tóm lại có ba hàm thoả mãn phương trình hàm ban đầu: f x( ) 0 = ∀ ∈x R , f x x ( ) = ∀ ∈x R, f x( ) 1 = − ∀ ∈x R. ☺ Chú ý:1) Thực tế, với cách giải như trên, các bạn có thể giải được bài toán tổng quát sau: Bài toán 3.4. Tìm tất cả các hàm f : R R → thoả mãn: 2 2 n n f x x x f x f x f x + + + = + + + 1,...,n ∀ ∈ x x R(* n n N > ∈ 1, ) 1 2 1 2 ( ) ( ) ( ) ... ( ) ... n n Cũng là một sự “khác biệt” khác, tác giả có bài toán sau: Bài toán 3.5. Tìm tất cả các hàm f Z Z : → thoả mãn f x( ) ≠ 0 ∀ ≠x 0 và ( ) 1 1 f x y += + ∀ ∈ x y Z , f xy f x f y ( ) ( ) ( ) Lời giải. Xét P x y ( , )là phép thế ( x y, ) vào phương trình ban đầu. (2) 2 (1,1) : (2) 2. f P f = => = f f (1) (1) Ta giải quyết bài toán lần lượt theo các trường hợp sau: Trường hợp 1: f (0) 0 ≠ 2 P f (0,0) :1 (0) 2 = => = . f (0) (1) 1 1 (1,0) : ( (1) 1)( (1) 2) 0 f P f f = + => + − = 2 (1) 2 f ∙ Xét f (1) 1 = − : f x P xf x f x ( 1) 1 ( ,1) : 1 += − ⇒ + + = f x f x ( ) ( 1) 1∀ ∈x Z . ( ) ( ) Ta tính được f f f f (0) (2) 2, (3) (1) 1 = = = = − . Bằng quy nạp, ta suy ra = ⎨⎩− ⇔. Dễ thấy đây là hàm thỏa. ⎧ ⇔ 2 2 x f xx ( )1 2 ∙ Xét f (1) 2 = : += +( ) ( 1) 12 f x P xf x f x ( 1) 1 1 ( ,1) :( ) ( ) 2 f x ⇒ + = + f x ∀ ∈x Z . Ta suy ra được, nếu f x( ) 2 = thì f x f x ( 1), ( 1) − + cũng bằng 2. Do đó, f x( ) 2 = ∀ ∈x Z , dễ thấy đây là hàm thỏa. Trường hợp 2: f (0) 0 = 1 1 ( , ) : 0 ( ) ( ) −∀ ≠x 0. P x x f x f x − = + ⇒ − = − f x f x ( ) ( ) (1) 1 1 (2, 1) :2 2 (1) f −⇒ − + = ( f f (1) 1 (1) 2 0 )( ) . − = − Pf ∙ Xét f (1) 1 = : f x P xf x f x ( 1) 1 ( ,1) : 1 += + ⇒ + = + f x f x ( 1) ( ) 1 ∀ ≠x 0. ( ) ( ) Từ đây dễ dàng suy ra được: f x x ( ) = ∀ ∈x Z , dễ thấy đây là hàm thỏa. ∙ Xét f (1) 2 = − : (3) 1 1 (2,1) : 0 f P =−= ⇒ = f (3) 0 (trái với giả thiết) 2 2 2 Tóm lại, có ba hàm thoả mãn phương trình ban đầu: f x x ( ) = ∀ ∈x Z , f x( ) 2 = ∀ ∈x Z , = ⎨⎩− ⇔∀ ∈x Z . ⎧ ⇔ 2 2 x f xx ( )1 2 Chú ý: 1) Thực ra lúc đầu, tác giả cho f : R R → , nhưng cảm thấy khá khó, nên đành thay đổi, cuối cùng ra được bài toán mà lời giải cũng khá thú vị 2) Các bạn hãy thử giải nếu f : R R → , nếu cảm thấy khó khăn, hãy cho thêm các điều kiện để giải. Bài toán sau là một bài trong đề dự bị của kì thi chọn đội tuyển trường Phổ thông năng khiếu, cảm thấy khá thú vị, tác giả xin đề cập đến ở đây. Bài toán 3.6. Tìm tất cả các hàm liên tục f R R : → thỏa mãn: 2009 f x x ( ) = ∀ ∈x R (Kí hiệu: ( ) ( (...( ( ))...)) f x f f f x = , n lần f ). n Lời giải. Trước tiên, ta chứng minh f là đơn ánh, thật vậy, nếu 1 2 ∃x x, sao cho: 1 2 f x f x ( ) ( ) = , ta có: 1 2 2009 1 2009 2 1 2 f x f x f x f x x x ( ) ( ) ( ) ( ) = ⇒ = ⇔ = . Vậy f là đơn ánh. Ta chứng minh bổ đề sau: Nếu f R R : → vừa là hàm đơn ánh, vừa là hàm liên tục, thì f đơn điệu. Chứng minh. Vì f là đơn ánh, ta chứng minh nếu tồn tại x y < sao cho f x f y ( ) ( ) < thì f đồng biến (nếu với mọi x y < mà f x f y ( ) ( ) > thì hiển nhiên f nghịch biến). Giả sử f không đồng biến, tức là sẽ có 3 trường hợp sau xảy ra: Tồn tại z sao cho: 1) z x y < < và f z f x ( ) ( ) > , f x f y ( ) ( ) < 2) x y z < < và f z f y ( ) ( ) < , f x f y ( ) ( ) < 3) x z y < < và [ f z f x f z f y ( ) ( ) ( ) ( ) 0 − − > ][ ] . Chúng ta có thể hiểu điều trên một cách trừu tượng tức là, đồ thị của hàm số này có một đoạn là nó sẽ “đi lên” rồi “đi xuống” (tức là không đồng biến): f(y) f(z) f(x) x y z Hình minh họa. Ta sẽ chỉ chứng minh 1) sai, 2) tương tự, 3) sai được suy ra từ 1) và 2) sai. Ta có, chọn M sao cho: f x M f y f z ( ) min ( ), ( ) < < { }. Theo tính chất hàm liên tục, vì z x y < < nên ∃a sao cho z a x < < và f a M ( ) = , đồng thời ∃b sao cho x b y < < và f b M ( ) = . Suy ra f a f b ( ) ( ) = suy ra a b = vì f đơn ánh, nhưng điều này không thể xảy ra vì a x b < < . Vậy ta có điều giả sử là sai, tóm lại f là hàm đơn điệu. Đối với bài toán này, ta chứng minh f là hàm đồng biến. Giả sử f nghịch biến, ta có, với x y < thì f x f y ( ) ( ) > . Suy ra 2 2 f x f f x f f y f y ( ) ( ( )) ( ( )) ( ) = < = . Cứ tiếp tục như thế ta sẽ có được: 2009 2009 f x f y ( ) ( ) > ⇒ >x y (mâu thuẫn). Vậy f là hàm đồng biến. Ta chứng minh f x x ( ) = ∀ ∈x R . Giả sử tồn tại x sao cho f x x ( ) > , khi đó: 2 f x f f x f x ( ) ( ( )) ( ) = > , bằng quy nạp, ta suy ra ngay: 2009 2008 2007 2 x f x f x f x f x f x = > > > > > ( ) ( ) ( ) ... ( ) ( ) (mâu thuẫn). Tương tự với f x x ( ) < cũng suy ra mâu thuẫn. Vậy ta có điều phải chứng minh. Hàm thỏa duy nhất của bài toán này là f x x ( ) = ∀ ∈x R . Chú ý: 1) Với cách giải trên, dễ dàng tổng quát rằng, nếu thay số 2009 bằng một số tự nhiên lẻ bất kỳ, ta sẽ giải được bài toán. 2) Các bạn suy nghĩ thế nào nếu thay 2009 là một số tự nhiên chẵn khác không ?. Đây là phần chính của seminar này. Trước tiên, xin giới thiệu đến các bạn 4 bài phương trình hàm đơn giản trước, xuất phát từ những hằng đẳng thức cơ bản. Mỗi bài đều có thế giải được bằng những ý tưởng đã được chúng ta sử dụng trước đó, nó giúp ta rèn luyện một vài kĩ năng trước khi đi vào giải một “series” phương trình hàm xuất phát từ hằng đẳng thức quen thuộc: 2 2 2 ( ) 2 x y x xy y + = + + . Tại sao tác giả lại chọn hằng đẳng thức trên? Nó thực sự quen thuộc. Và thực ra, các bài mà tác giả sưu tầm được liên quan đến hằng đẳng thức trên là nhiều hơn so với các loại khác, hơn nữa, một vài bài trong số đó khá là “hóc búa” và lời giải có thể không được tự nhiên lắm, nhưng lại có những ý tưởng thực sự thú vị. Mong các bạn cùng thưởng thức, và có thể học được một vài điều qua các bài phương trình hàm này. x −n Trước tiên, là một bài toán đơn giản, xuất phát từ hằng đẳng thức quen thuộc: n y − − − − = − + + + + . 1 2 2 1 ( )( ... ) n n n n x y x x y xy y Bài toán 4.1. Tìm tất cả các hàm f R R : → thỏa mãn: ( ) ( ) ( )( ) 1 2 2 1 ( ) ( ) ... n n n n n n f x f y f x f y x x y xy y − − − − − = − + + + + * ∀ ∈ ∈ > x y R n N n , , , 1 Lời giải. +Với n = 2: 2 2 f x f y f x f y x y ( ) ( ) ( ) ( ) − = − + ∀ ∈ x y R , . Phương trình hàm trở thành: ( )( ) Trước tiên, ta có vài nhận xét về phương trình hàm này. Thứ nhất, ta không thể tính được f (0). Thứ hai, dễ dàng thấy f x x ( ) = là một hàm thỏa, nhưng thực tế, nếu chúng ta quen làm phương trình hàm hơn thì sẽ thấy ngay: f x ax b ( ) = + ∀ ∈ ∈ x R a b R , , cũng là hàm thỏa. Như vậy việc không tính được f (0) cũng là điều dễ hiểu. Trong trường hợp này, ta sẽ đặt hàm số g R R : → sao cho: g x f x f ( ) ( ) (0) = − ∀ ∈x R . Như vậy, ta sẽ có được: g(0) 0 = . Hơn nữa, khi thay trở vào phương trình hàm ban đầu, ta sẽ có được phương trình tương tự: 2 2 ( )( ) g x g y g x g y x y ( ) ( ) ( ) ( ) − = − + ∀ ∈ x y R , . (1) Thay y = 0, ta có: 2 g x xg x ( ) ( ) = ∀ ∈x R. Thay trở lại vào phương trình (1) ta có: g x y g y x ( ) ( ) = ∀ ∈ x y R , . Đến đây, chỉ việc cho y = 1, ta sẽ ra kết quả bài toán. Như vậy, hàm thỏa phương trình hàm ban đầu sẽ là f x ax b ( ) = + ∀ ∈ ∈ x R a b R , , . ☺ +Với n = 3: (Moldova 2004) 3 3 2 2 f x f y f x f y x xy y ( ) ( ) ( ) ( ) − = − + + ∀ ∈ x y R , . Phương trình hàm trở thành: ( )( ) Cũng với những nhận xét như ở trường hợp n = 2, ta đặt hàm số g R R : → sao cho: g x f x f ( ) ( ) (0) = − ∀ ∈x R. Suy ra, g(0) 0 = . Thay vào phương trình hàm ban đầu, ta được: 3 3 2 2 ( )( ) g x g y g x g y x xy y ( ) ( ) ( ) ( ) − = − + + ∀ ∈ x y R , (2) Thay y = 0, ta có: 3 2 g x x g x ( ) ( ) = ∀ ∈x R. Thay trở lại vào phương trình (2) ta có: ( ) ( ) ( ) x y g x y x y g y x + = + ( ) ∀ ∈ x y R , . Đến đây, chúng ta không được quyền triệt tiêu ( ) x y + ở hai vế của phương trình hàm trên, vì biết đâu với 2 số x,y nào đó sao cho x y + = 0 mà g x y g y x ( ) ≠ ( ) , khi đó ta sẽ không thể suy ra được hàm thỏa. Tuy vậy, ta vẫn có thể chứng minh được: g x y g y x ( ) ( ) = ∀ ∈ x y R , . Do g x( ) 0 = ∀ ∈x R là hàm thỏa, nên ta có thể giả sử g x( ) không đồng nhất với 0, khi đó dễ dàng chứng minh được: g x x ( ) 0 0 = ⇔ = . x ≠ 0 sao cho cả 0 0 x x x y + + , đểu khác Ta có, với mọi số thực x,y bất kỳ, luôn tồn tại số 0 không (điều này là dễ thấy), suy ra: ( ) g x x g x x ( ) ⎧⎪ = 0 0 ⎨⎪ = ⎩ ⇒ = ⇒ = x g x g x y x g x g x y g x y g x y 0 0 0 0 ( ) ( ) ( ) ( ) ( ) ( ) ( ) g y x g x y ( ) 0 0 Vì vậy, g x y g y x ( ) ( ) = ∀ ∈ x y R , . Do đó, ta cũng có được hàm thỏa phương trình hàm ban đầu sẽ là f x ax b ( ) = + ∀ ∈ ∈ x R a b R , , . ☺ +Với n ≥ 4: Cách giải hoàn toán tương tự, xin để dành cho bạn đọc. Hàm thỏa vẫn là f x ax b ( ) = + ∀ ∈ ∈ x R a b R , , . ☺ Bài toán trên giới thiệu cho chúng ta một phương pháp giải phương trình hàm đó là xét một hàm mới liên quan, từ đó suy ra các phương trình mới từ các phương trình hàm cũ, mà việc giải chúng dễ dàng hơn. Đồng thời cũng cho ta thấy rằng, không phải lúc nào ta cũng tính được f(0) như mong muốn, vì vậy ta cần phải xử lý một cách linh hoạt hơn. Tiếp theo là một bài toán trong một kì thi IMO, có sự kết hợp giữa kiến thức về đa thức và phương trình hàm. Bài toán 4.2.(IMO 2004) Tìm tất cả các đa thức P(x) hệ số thực thỏa mãn: P a b P b c P c a P a b c ( ) ( ) ( ) 2 ( ) − + − + − = + + ∀ ∈ + + = a b c R ab bc ca , , : 0 Lời giải. Trước khi đi vào lời giải, chúng ta sẽ cùng phân tích đôi điều về bài toán. Đây coi như là một điểm “khác” ở phần này, vì đề bài yêu cầu ta phải tìm một đa thức, khác với một hàm số. Về mặt kĩ thuật để giải bài toán, ta có thể yên tâm đôi chút vì đa thức dễ suy ra nhiều điều hơn là hàm số, nhưng bù lại ta không thể thay các biến một cách tùy tiện mà phải thỏa điều kiện ràng buộc đã cho. Chính vì vậy, công việc chọn các biến sao cho phù hợp và thuận tiện nhất là vô cùng quan trọng. Xét P(a,b,c) là phép thế (a,b,c) vào phương trình thỏa mãn ab bc ca + + = 0 . Ta có: P P P P (0,0,0) :3 (0) 6 (0) (0) 0 = ⇒ = . Từ đây suy ra hệ số tự do của P(x) là bằng 0. P c P P c P c P P c P c P c (0,0, ) : (0) ( ) ( ) 2 2 (0) ( ) ( ) ( ) + − + = + ⇒ − = ( ) ∀ ∈c R . Như vậy, P(x) là hàm chẵn, trên phương diện đa thức, ta khẳng định ngay, hệ số bậc lẻ của P(x) đều bằng 0, và bậc của P(x) phải là số chẵn. Để dễ dàng thay a,b,c, ta triệt tiêu c như sau: , , : ( ) 2 ab ab ab ab P a b P a b P a P b P a b ⎛ ⎞ ⎛ ⎞ ⎛ ⎞ ⎛ ⎞ ⎜ ⎟ ⎜ ⎟ ⎜ ⎟ ⎜ ⎟ − − + + + + = + − ⎝ ⎠ ⎝ ⎠ ⎝ ⎠ ⎝ ⎠ + + + + ∀ + ≠ a b 0 a b a b a b a b Để đơn giản hơn nữa, ta muốn mất đi phân thức ab a b +, khi đó ta cần chọn m,n sao cho a mx b nx = = , và mn Z +. Ta sẽ nghĩ đến việc cho m n + = ±1 là đơn giản nhất, với m n∈ m n + =1, ta nhẩm được bộ (m n = = − 3, 2) là nhỏ nhất và không làm đồng nhất 2 vế. 2 ⎛ ⎞ 2 ,3 , : ( 5 ) 2 6 3 6 2 2 3 6 x 6 ( ) ( ) ( ) − − + − − + − = − + + ⎜ ⎟ ⎝ ⎠∀ ≠x 0 P x x P x P x x P x x P x x x x ⇒ + + = P x P x P x P x (5 ) (8 ) (3 ) 2 (7 ) ∀ ≠x 0. (1) Gọi n P x = deg ( ) (n N ∈ ): +Nếu n = 0, suy ra P x P ( ) (0) = ∀ ∈x R +Nếu n > 0, áp dụng định lý so sánh hệ số đa thức, từ (1), ta phải có: 5 8 3 2.7 n n n n + + = (2) Do n là số chẵn, ta dễ dàng tìm được n = 2,4 là nghiệm của phương trình (2). Ta chứng minh với mọi n > 4 thì 5 8 2.7 n n n + > . Ta chứng minh bằng quy nạp theo n. +Với n = 5, tính trực tiếp, ta được : 35893 > 33614 (đúng) +Giả sử đúng với n = k (k > 4), tức là 5 8 2.7 k k k + > . +Với n = k + 1, ta có, áp dụng giả thiết quy nạp: 1 1 1 5 8 5 2.7 8 8 10.7 8 .3 k k k k k k k + + + + > − + = + ( ) k 3 Hơn nữa, với k > 4 thì 8 8 4 8 .3 7 .4 ⎛ ⎞ ⎛ ⎞ k k ⎜ ⎟ ⎜ ⎟ > > ⇒ > ⎝ ⎠ ⎝ ⎠ 7 7 3 Vậy 1 1 1 1 5 8 14.7 2.7 k k k k + + + + + > = (ĐPCM). Do đó n = 2 và n = 4 là nghiệm của phương trình (2). Vậy đa thức P(x) có dạng 4 2 1 2 c x c x + với 1 2 c c R , ∈ . Thay vào phương trình hàm ban đầu, ta được 4 2 1 2 P x c x c x ( ) = + là đa thức thỏa, trong đó 1 2 c c R , ∈ bất kỳ. ☺ Chú ý: 1) Thực ra việc chọn m,n để thay a mx b nx = = , có rất nhiều cách, nhưng ở trên là cách đơn giản và phù hợp nhất. 2) Đa thức trên xuất phát từ 2 đẳng thức sau: 2 2 2 2 2( ) ( ) ( ) ( ) 6( ) a b c a b b c c a ab bc ca + + = − + − + − + + + 4 4 4 4 2 2 2 2( ) ( ) ( ) ( ) 2( ) 2 a b c a b b c c a ab bc ca a b c ab bc ca + + = − + − + − + + + + + − + + ⎡ ⎤ ⎣ ⎦ ( ) ( ) 3) Nếu thay số “2” bởi hằng số “k” bất kỳ trong phương trình hàm, với điều kiện tương tự, ta sẽ có bài toán tổng quát hơn như sau: ▪ k = 0: P x cx ( ) = ( c R ∈ ) ▪ k = 2: 4 2 1 2 P x c x c x ( ) = + (1 c R ∈ ) c ,2 ▪ k = 3: P x c ( ) = ( c R ∈ ) ▪ k ∉{0,2,3}: P x( ) 0 = Đây xem như là bài tập, cách giải hoàn toàn tương tự. Mong các bạn giải quyết. ☺ Và một bài toán khác cũng trong kì thi IMO, xuất phát từ đẳng thức được dùng khá nhiều trong chứng minh bất đẳng thức: 2 2 2 2 2 2 ( )( ) ( ) ( ) x y a b xa yb xb ya + + = + + − . Bài toán 4.3.(IMO 2002) Tìm tất cả các hàm f R R : → thỏa mãn: ( f x f z f y f t f xy zt f xt yz ( ) ( ) ( ) ( ) + + = − + + )( ) ( ) ( ) ∀ ∈ x y z t R , , , Lời giải. Cho x y z t = = = = 0, ta thu được: 2 1 4 (0) 2 (0) (0) 0 (0)2 f f f f = ⇒ = ∨ = . Ta xét 2 trường hợp: f = . Thay z y t = = = 0, ta có: 1 1 1 1 1 ( )2 2 2 2 2 Trường hợp 1: 1 (0)2 Suy ra: 1 f x ⎛ ⎞⎛ ⎞ ⎜ ⎟⎜ ⎟ + + = + ⎝ ⎠⎝ ⎠ ∀ ∈x R . f x = ∀ ∈x R. Thử lại thấy hàm này thỏa. ( )2 Trường hợp 2: f (0) 0 = . Thay z t = = 0 , ta thu được: f xy f x f y ( ) = ( ) ( ) ∀ ∈ x y R , . Do vậy f nhân tính, suy ra 2 2 f x f x ( ) ( ) = ∀ ∈x R , do vậy f sẽ nhận giá trị không âm với mọi x không âm. Cho x = 0, ta có: f z f y f t f zt f yz f zt f zt f z f z ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( + = − + ⇒ = − ⇒ = − ) ∀ ∈z R. Như vậy f là hàm chẵn. Trước tiên, ta có f x( ) 0 = ∀ ∈x R là hàm thỏa, như vậy ta xét f không đồng nhất với 0. Khi đó, ta chứng minh: f x x ( ) 0 0 = ⇔ = . Giả sử 1 2 1 2 ∃ ≠ ≠ ≠ x x x x 0, 0, sao cho: f x f x ( 1 2 ) = ≠ 0, 0 ( ) . Vì f nhân tính, nên ta có: ⎛ ⎞ ⎛ ⎞ . 0 x x f x f x f f x ( ) ( ) 2 2 = = = ⎜ ⎟ ⎜ ⎟ ⎝ ⎠ ⎝ ⎠(suy ra mâu thuẫn). Như vậy f x x ( ) 0 0 = ⇔ = . Do 2 1 1 x x 1 1 đó, ta cũng sẽ có: f x( ) 0 > ∀ >x 0 Xét mọi x,y > 0: Cho z t xy = =, ta thu được: ( f x f xy f y f xy f x xy y xy ( ) ( ) ( ) ( ) + + = + )( ) ( ) 2 ⎧+ + = + ⎪⎨⎪ + = + ⎩ f x f xy f y f xy f xy f x f y ( ) ( ) ( ) ( ) mà do f nhân tính ( )( ) ( )( ( ) ( )) f x xy y xy f xy f x y . . ( ) ( ) ( ) Nên ta suy ra: 2 f x y f x f y f x y f x f y + = + ⇔ + = + ( ) ∀ > x y, 0 ( ) ( ( ) ( )) ( ) ( ) Hơn nữa, ( ) ( ) 2 f x f x f x f x ( ) ( ) = ⇔ = ∀ >x 0. Vậy f x y f x f y ( ) ( ) ( ) + = + ∀ > x y, 0. Ta xét hàm g R R :+ + →sao cho: f x g x ( ) ( ) = ∀ >x 0. Dễ dàng suy ra được g vừa là hàm nhân tính, vừa là hàm cộng tính. Khi đó, ta dễ dàng có: g x x ( ) = ∀ >x 0, dẫn đến 2 f x x ( ) = ∀ >x 0, mà f lại là hàm chẵn và f (0) 0 =, ta sẽ có f x x ( ) = ∀ ∈x R. ngay kết quả: hàm cần tìm là 2 f x x ( ) = ∀ ∈x R , f x( ) 0 = ∀ ∈x Rvà Vậy có 3 hàm thỏa phương trình ban đầu là 2 1 f x = ∀ ∈x R. ☺ ( )2 Chú ý: 1) Điểm nhấn của lời giải trên chính là việc suy ra được tính chẵn của hàm số f và tính không âm với các giá trị của biến không âm. Đây được coi là 2 điều quan trọng, không chỉ đối với bài toán này, mà còn hữu dụng trong rất nhiều bài phương trình hàm khác. f x x ( ) = ∀ ∈x Rlà một hàm thỏa, đã đưa ta đến 2) Việc ta dự đoán “khá chính xác” 2 việc xét hàm sốg x f x ( ) ( ) =, và thực sự, điều này giúp ta giải quyết bài toán một cách khá dễ dàng. Đây cũng là một kinh nghiệm nhỏ, khi ta dự đoán một hàm nào đó thỏa phương trình hàm đã cho, ta có thể xét một hàm mới liên quan, mà việc giải hàm mới này “dễ dàng” hơn, từ đó suy ra hàm cần tìm. 3) Lời giải chính thức của bài toán trên dựa trên phương trình hàm sau: f x y f x y f x f y ( ) ( ) 2 ( ) ( ) − + + = + ( ) ∀ ∈ x y R , . Đồng thời ta cũng có thể chứng minh được: f x( ) là hàm đồng biến trên [0;+∞). Các bạn hãy thử giải phương trình hàm trên dựa trên ý tưởng này. Bài toán trên cũng là một ví dụ cho thấy tính hiệu quả của việc đặt hàm mới, đồng thời rèn luyện kĩ năng thế các giá trị của biến sao cho phù hợp. Chúng ta cùng qua một bài toán khác trong kì thi China MO, xuất phát từ hằng đẳng thức quen thuộc: 3 3 2 2 x y x y x xy y + = + − + ( )( ), điều đặc biệt là đề bài không yêu cầu ta tìm các hàm thỏa: Bài toán 4.4.(China MO 1996) Cho hàm số f R R : → thỏa mãn: 3 3 2 2 f x y x y f x f x f y f y ( ) ( ) ( ) ( ) ( ) ( ) + = + − + ∀ ∈ x y R , ( ) Chứng minh rằng: f x f x (1996 1996 ( ) ) = ∀ ∈x R . Lời giải. Để tổng quát hơn, cũng là vì yêu cầu khá “đặc biệt” của bài toán, ta sẽ chứng minh rằng: f nx nf x ( ) = ( ) ∀ ∈n N . Gọi P x y ( , ) là phép thế ( , ) x y vào phương trình ban đầu. Ta có: P f (0,0) : (0) 0 = . 3 2 P x f x xf x ( ,0) : ( ) ( ) = ∀ ∈x R . (1) Từ đây, ta suy ra ngay: f x x ( ) 0, 0 ≥ ∀ ≥ , f x x ( ) 0, 0 ≤ ∀ ≤ . Ta gọi tập hợp X là X a f ax af x x R = = ∀ ∈ { | ( ) ( ), }. Ta chứng minh nếu a X ∈ và a > 0 thì a X + ∈1 . Giả sử: f ax af x x R ( ) ( ), = ∀ ∈ (2) Vì f a a f [( 1).0 ( 1) (0) 0 + = + = ] , nên ta xét x ≠ 0. Ta có: 3 3 3 3 3 3 2 2 P x ax f x ax x ax f x f x f ax f ax ( , ) : ( ) ( ) ( ) ( ) ( ) ( ) + = + − + ⎡ ⎤ ⎣ ⎦ ∀ ∈x R . (3) Theo hệ thức (1) và (2), ta có: 2 3 3 3 2 3 3 3 axf x af x f ax f ax axf ax ( ) ( ) ( ) ( ) ( ) = = = = ⎡ ⎤ ⎣ ⎦ * ∀ ∈x R 3 2 2 2 3 3 3 ⇒ = ⇒ = a f x f ax a f x f ax ( ) ( ) ( ) ( ) * ∀ ∈x R ( do x ,3ax cùng dấu vì a > 0) Khi đó, hệ thức (3) sẽ trở thành: f a x x a f x f x a f x a f x ( 1) (1 ) ( ) ( ) ( ) ( ) ⎡ ⎤ ⎡ ⎤ + = + − + ⎣ ⎦ ⎣ ⎦ 3 2 2 2 3 3 3 ( ) 2 2 3 3 3 = + − + xf x a a a ( )(1 ) 1 3 = + f x a ( )( 1) * ∀ ∈x R . Do mỗi số thực đều có căn bậc 3, nên ta suy ra: f a x a f x [( 1) ( 1) ( ) + = + ]* ∀ ∈x R . Từ đây suy ra điều phải chứng minh. Vì 1∈ X nên n X ∈* ∀ ∈n N . Vậy f nx nf x ( ) = ( ) ∀ ∈n N . Cho n = 1996, ta có ngay kết quả bài toán. ☺ Chú ý: 1) Do yêu cầu “đặc biệt” của bài toán, nên tự nhiên ta sẽ nghĩ ngay là có thể chứng minh điều đó đúng với mọi số tự nhiên, và qua đó, sẽ nghĩ ngay đến hướng quy nạp. 2) Việc suy ra dấu của f(x) từ hệ thức (1) là quan trọng, nó giúp ta triệt tiêu bình phương mà không cần xét dấu, đây cũng là một điều đáng lưu ý trong rất nhiều bài tập khác. Những bài phương trình hàm ở trên là những bước đi khởi động cho những bài phương trình hàm sau đây, tất cả đều dựa trên hằng đẳng thức 2 2 2 ( ) 2 x y x xy y + = + + . Tất cả những lời giải sắp được trình bày dưới đây đều có những ý tưởng “sử dụng lại”, mà công việc của các bạn là tìm ra, hiểu và áp dụng chúng. Bài toán sau được lấy trong đề China TST, có một chút “biến thể”, là xuất phát từ đẳng ⎛ ⎞ + 2 thức sau: x y 1 2 1 ⎜ ⎟ = + + ⎝ ⎠. 2 2 xy x xy y Bài toán 4.5.(China TST 2007) Tìm tất cả các hàm f Q Q :+ + → thỏa mãn: f xy f x f y xyf xyf x y ( ) ( ) ( ) 2 ( )( ) + + =+x y Q ,+ ∀ ∈ Lời giải. Việc hàm f không xác định tại x = 0 đã gây một chút khó khăn khi „dự đoán‟ hàm f là hàm gì. Trong những trường hợp này, ta thường hay thử tính các giá trị của f tại các giá trị đặc biệt nào đó, và thường là f (1), f f (2), (3),... (do ta đang làm trên tập các số hữu tỷ dương). Gọi P x y ( , ) là phép thế x,y tương ứng vào phương trình hàm. Ta có: (1) 1 (1,1) 4 (1) 2 f P f f ( ) ⇔ = ⇔ = f (2) 4 1 1 (4) 1 (2,2) 8 (4) 4 f P f f ( ) ⇔ + + = ⇒ = 4 4 (4) 16 f 1 1 (1,2) (1) 1 P ff ⇔ + + = (1) 4 4 (3) (3) (1,3) (1) (3) 6 (3) 16 (3) f P f f f f ⇔ + + = = (2) f (4) Từ (1) và (2) dễ dàng giải ra được: 1 f f = = . (1) 1, (3)9 Đến đây, gần như đã quá rõ ràng rồi, ta có thể đoán được hàm f x( ) mà thỏa có lẽ là = x Q+ ∀ ∈ (thử lại thì quả thấy đúng). Như vậy ta sẽ đi chứng minh 21 1 f x( )x 2 f x( )x = x Q+ ∀ ∈ . Nên nhớ, ta đang làm trên tập hữu tỷ dương, bởi vậy cách tốt nhất là chứng minh trên tập số nguyên dương trước rồi suy ra trên tập hữu tỷ. Ta có: f x P x f x xf x x ( ) 1 1 ( ,1) ( ) 1 2 ( ) 2 1 ⇔ + + = ⇔ + + = f x f x f x ( 1) ( ) ( 1) + + Ta sẽ chứng minh bằng quy nạp: 21 = n N+ ∀ ∈ : f n( )n +Với n = 1, f (1) 1 = (đúng) +Giả sử đúng với n = k (k > 1), tức là: ( ) 21 f kk = +Với n = k + 1, ta có: 1 1 1 2 1 2 1 ( 1) ( 1) 2 2 = + + = + + = + ⇒ + = k k k k f k + +. 2 f k f k k ( 1) ( ) ( 1) Vậy ta có 21 = n N+ ∀ ∈ . f n( )n f x( ) f nxn = n N x Q ,+ + ∀ ∈ ∈ . Ta cũng sẽ chứng Tiếp đến, ta sẽ chứng minh rằng ( ) 2 minh bằng quy nạp: +Với n = 1: f x f x ( ) ( ) = (hiển nhiên đúng) f x( ) f kxk +Giả sử đúng với n = k (k > 1), tức là: ( ) 2 = . +Với n = k + 1, ta có: f xk xf x f x P x k f x xkf xk f x 1 ( ) 1 2 ( ) ( ) ( , ) ( ) 2 ( ) ( ) ⇔ + + = ⇔ + + = 2 2 2 k f x k k k k f x k ( ) ( ) + + 2 1 1 2( ) ( ) ⇒ + + =+. k xkf x f x k 1 1 1 1 ( ,1) 2 1 2( ) 1 P x x x k ⇔ + + = ⇒ + + + = + + + +. f x f x f x k f x k ( ) ( 1) ( ) ( 1) Từ 2 điều trên, ta suy ra: 1 1 22 2( ) 1 = + + + + + k xk x k + +. f x k f x ( 1) ( ) Ta lại có: ( )( ) 1 ( 1) P x k f x x k f x k ( , 1) ( ) 2 ( 1) ( 1) + ⇔ + + + + = 2 f x k + ( 1) ( 1) k f x k + + + f x x k ( ) 1 1 2 ( 1) ⇔ + + + = 2 ( ) ( ) f x k k f x k f x k ( 1) ( 1) ( 1) ( 1) + + + + + Như vậy: f x x k k xk x k ( ) 1 1 2 ( 1) 2 2( ) 1 2 + + + = + + + + + 2 ( ) ( ) f x k k f x k f x ( 1) ( 1) ( 1) ( ) + + + f x k ( ) 1 1 1 ( ) ( )( )2 ⇒ + = + + 2 f x k k f x k f x ( 1) ( 1) ( 1) ( ) + + + Với g x f x k ( ) ( 1) = + ( ), coi trên như là phương trình theo ẩn f x( ) , dễ dàng giải ra được: f x f x k g x f x kk ( ) ( ) ( 1) ( ) ( 1)( 1) 2 ( ) = + ⇒ + =+(ĐPCM). 2 f x( ) f nxn = n N x Q ,+ + ∀ ∈ ∈ . Như vậy, ( ) 2 Cho số hữu tỷ dương m xn = bất kỳ, trong đó m,n là các số nguyên dương, ta có: m ⎛ ⎞ ⎜ ⎟ ⎛ ⎞ ⎛ ⎞ ⎝ ⎠ ⎜ ⎟ ⎜ ⎟ = ⇒ = = ⎝ ⎠ ⎝ ⎠ . f 2 m m n n 2 f n f n f m 2 2 . ( ) n n n m Như vậy, hàm duy nhất thỏa phương trình hàm ban đầu là 21 = x Q+ ∀ ∈ . ☺ f x( )x Bài toán sắp được trình bày do tác giả đề xuất, nhưng vẫn chưa nhận được lời giải nào cả, phía dưới là một lời giải khá “rắc rối” của tác giả. Mong các bạn xem xét kĩ. Bài toán 4.6. Tìm tất cả các hàm f R R : → thỏa mãn: 2 2 2 f x y f x f x f y f y + = + + 2 ∀ ∈ x y R , ( ) ( ) ( ) ( ) ( ) Lời giải. Cho x y = = 0 , ta có: 2 2 f f f f f (0) 2 (0) 2 (0) (0) 0 (0) 2 = + ⇔ = ∨ = − . Như vậy, ta xét 2 trường hợp: Trường hợp 1: f x( ) 0 = . Cho y = 0 , ta thu được: 2 2 f x f x ( ) ( ) = ∀ ∈x R . Đến đây ta suy ra được f x x ( ) 0, 0 ≥ ∀ ≥ . Thay 2 2 f x f x ( ) ( ) = , 2 2 f y f y ( ) ( ) = vào phương trình ban đầu, ta được: [ ]2 2 f x y f x f y ( ) ( ) ( ) + = + ∀ ∈ x y R , . (1) Thay y x = − ta dễ dàng suy ra được f là hàm lẻ. Như vậy f x x ( ) 0, 0 ≥ ∀ ≥ và f x x ( ) 0, 0 ≤ ∀ ≤ . Do đó, (1) sẽ tương đương với: f x y f x f y ( + = + ) ( ) ( ) với mọi x, y cùng dấu. Công việc còn lại mà ta cần làm là chứng minh f cộng tính ngay cả khi x,y trái dấu (hiển nhiên đúng khi 1 trong 2 số bằng 0). Nếu x,y là 2 số trái dấu, thì x y + phải cùng dấu với –x hoặc –y , suy ra: f x y f y f x ( ) ( ) ( ) + + − = hoặc f x y f x f y ( ) ( ) ( ) + + − = , cả 2 điều này kết hợp với tính lẻ của hàm f, ta đều thu nhận được: f x y f x f y ( + = + ) ( ) ( ). Như vậy f là hàm cộng tính trên R, kết hợp với 2 2 f x f x ( ) ( ) = ta suy ra f x( ) 0 = ∀ ∈x R và f x x ( ) = ∀ ∈x R là 2 hàm thỏa. Trường hợp 2: f (0) 2 = − . Ta có, gọi P x y ( , ) là phép thế ( , ) x y vào phương trình ban đầu: 2 2 ⇔ = + + f x f x f x ( ) 4 ( ) 2 ∀ ∈x R . (2) 2 2 P x f x f x f x ( ,0) : ( ) ( ) 4 ( ) 2 = − − ( ) Thế (2) trở lại vào phương trình ban đầu, ta thu được: 2 2 2 = + + + + + + f x f x f x f y f y f y 4 ( ) 2 2 4 ( ) 2 f x y + ( ) ( ) ( ) ( ) ( ) ( )2 = + + f x f y ( ) ( ) 2 ∀ ∈ x y R , (3) Đến đây, thông thường, ta sẽ xét 3 trường hợp sau: 1) f x y f x f y ( ) ( ) ( ) 2 + = + + ∀ ∈ x y R , 2) f x y f x f y ( ) ( ) ( ) 2 + = − − − ∀ ∈ x y R , 3) f x y f x f y ( ) ( ) ( ) 2 + = + + ∀ ∈ x y X , và f x y f x f y ( ) ( ) ( ) 2 + = − − − ∀ ∈ x y Y , sao cho X Y R ∪ = . Và ta sẽ thử chứng minh trường hợp 2) và 3) là sai (vì các hàm mà tác giả dự đoán không thỏa 2), 3) !!!). Tuy nhiên, sau một thời gian thử, tác giả thấy điều này khá khó. Chính vì thế, tác giả đã vô tình phát hiện ra lời giải sau: Thay y x = − ở phương trình (3), ta có: ( )2 2 f x f x f ( ) ( ) 2 (0) 4 + − + = = ∀ ∈x R . Đến đây, ta cũng sẽ xét 3 trường hợp: 1) f x f x x R ( ) ( ) 2 2, + − + = − ∀ ∈ 2) f x f x x R ( ) ( ) 2 2, + − + = ∀ ∈ 3) f x f x ( ) ( ) 2 2 + − + = − ∀ ∈x X và f x f x ( ) ( ) 2 2 + − + = ∀ ∈x Y sao cho X Y R ∪ = . Ta chứng minh 2) và 3) là sai. Do đó, ta chứng minh không tồn tại số thực a sao cho: f a f a f a f a ( ) ( ) 2 2 ( ) ( ) 0 + − + = ⇔ + − = . Giả sử tồn tại một số a như vậy, dễ thấy a ≠ 0, và ta có thể giả sử a > 0 (tại sao ?). Mục đích của chúng ta là suy ra điều vô lý dựa trên ý tưởng: f y f y ( ) ( ) ≠ với số y nào đó, tức là ta sẽ tính f y( ) theo 2 cách và cho ra 2 kết quả khác nhau. Gọi F x( ) là phép thế x vào phương trình (2). Ta có: 2 2 F a f a f a f a ( ) : ( ) ( ) 4 ( ) 2 = − − 2 2 2 F a f a f a f a f a f a ( ) : ( ) ( ) 4 ( ) 2 ( ) 4 ( ) 2 − − = − − − − = − − − ( ) Hơn nữa 2 2 f a f a ( ) ( ) = − vì f a f a ( ) ( ) 0 + − = , nên: f a f a ( ) ( ) = − , từ đó suy ra: f a f a ( ) ( ) 0 = − = . Ta có: ( ) ( ) ( ) ( ) 2 F a f a f a f a f a : ( ) 4 2 4 2 = − − = − − ( ) ( ) 2 ⇔ + + = f a f a 4 2 0 Coi f a ( ) là ẩn, ta giải được: f a f a ( ) = − ∨ = − − 2 2 2 2 ( ) . (4) Ta có: 2 2 F a f a f a f a ( ) : ( ) ( ) 4 ( ) 2 = − −2 ⇒ = f a( ) 2 (vì f a( ) 0 = ). 2 2 P a a f a f a ( , ) : (2 ) 2 ( ) 2.0.0 4 = + = 2 2 2 2 2 2 P a a f a f a a f a f a f a f a f a f a (2 , ) : 0 ( ) (2 ) (4 ) 2 (2 ) ( ) ( ) (4 ) 2 (4 ) 2 − = = − = + − + = + ⇒ = − 2 2 2 P a a f a f a f a (2 ,2 ) : (4 ) 2 (4 ) 2 (2 ) 2.( 2) 2.4 4 = + = − + = . ⇒ = ∨ = − f a f a (4 ) 2 (4 ) 2 (5) ( ) ( ) 2 F a f a f a f a (2 ) : 2 (4 ) 4 2 2 = − − ( ) ( ) ( ) ( ) 2 2 ⇒ = − ∨ = − − f a f a f a f a 2 4 2 2 4 2 4 (do (5)) Coi f a (2 ) là ẩn, ta giải được: f a f a f a (2 0 2 4 2 2 ) = ∨ = − ∨ = − ( ) ( ) . (6) Tuy nhiên, ta lại có: ( ) ( ) ( ) 2 2 2 P a a f a f a f a f a f a ( , ) : 2 ( ) 2 ( ) 2 = + + = 2 2 ( ) ( ) ( ) ( ) 2 2 ⇒ = − ∨ = + f a f a 2 2 2 2 2 2 2 2 (do (4)) Kết hợp với (6), ta suy ra điều vô lý !!!. Vậy ta phải có: f x f x x R ( ) ( ) 2 2, + − + = − ∀ ∈ , hay là: f x f x ( ) ( ) 4 + − = − ∀ ∈x R . Ta xét hàm g: R R → sao cho: g x f x ( ) ( ) 2 = + . Khi đó ta có: f x f x ( ) ( ) 4 + − = − ⇔ + − = g x g x ( ) ( ) 0 ∀ ∈x R. (7) Từ phương trình hàm ban đầu, ta thu được: 2 2 2 ( ) ( )( ) g x y g x g x g y g y ( ) 2 ( ) 2 ( ) 2 ( ) 2 ( ) 4 + − = + − − + − 2 2 2 ⇔ + − + = + + − + g x y g x y g x g y g x g y g x g y ( ) 4 ( ) ( ) ( ) 2 ( ) ( ) 4 ( ) ( ) ∀ ∈ x y R , . (8) ( ) Từ hệ thức (2), ta thu được: 2 2 g x g x g x ( ) 2 ( ) 2 4 ( ) 2 2 − = − − − −2 2 ⇔ = g x g x ( ) ( ) ∀ ∈x R . (9) ( ) ( ) Thế −x vào x và −y vào y ở hệ thức (8), kết hợp với (7), (9), ta có: 2 2 2 ( ) g x y g x y g x g y g x g y g x g y ( ) 4 ( ) ( ) ( ) 2 ( ) ( ) 4 ( ) ( ) − − − − − = + + − − − − + − 2 2 2 ⇔ + + + = + + + + g x y g x y g x g y g x g y g x g y ( ) 4 ( ) ( ) ( ) 2 ( ) ( ) 4 ( ) ( ) ∀ ∈ x y R , . ( ) Kết hợp với (8), ta suy ra ngay: g x g y g x y ( ) ( ) ( ) + = + ∀ ∈ x y R , . Kết hợp với (9) và sử dụng bổ đề, ta suy ra: g x x ( ) = ∀ ∈x R hoặc g x( ) 0 = ∀ ∈x R , do đó: f x x ( ) 2 = − ∀ ∈x R hoặc f x( ) 2 = − ∀ ∈x R , đây là 2 hàm thỏa. Nói tóm lại, phương trình hàm ban đầu có 4 hàm thỏa đó là: f x( ) 0 = ∀ ∈x R , f x x ( ) = ∀ ∈x R, f x x ( ) 2 = − ∀ ∈x R và f x( ) 2 = − ∀ ∈x R . ☺ Chú ý: 1) Phương trình hàm trên là do tác giả đề xuất trên mathlinks, nhưng không nhận được thêm lời giải nào, lời giải trên có vẻ khá rắc rối nhưng hoàn toàn dễ hiểu và sơ cấp. 2) Mong ai quan tâm đến bài toán này và tìm ra một lời giải khác, xin gửi về email của tác giả. Xin chân thành cám ơn. Cũng từ bài trên, tác giả thay đổi một chút để ra một bài toán mới, tuy dễ hơn nhưng cũng khá thú vị: Bài toán 4.7. Tìm tất cả các hàm f R R : → thỏa mãn: 2 2 2 f x y f x f x f y f y ( ) ( ) 2 ( ) ( ) ( ) − = − + ∀ ∈ x y R , . Lời giải. Xét P x y ( , ) là phép thế ( , ) x y vào phương trình hàm ban đầu. Ta có: 2 2 2 P f f f f f = − ⇔ = ∨ = . (0,0) : (0) 2 (0) 2 (0) (0) 0 (0)3 Ta xét 2 trường hợp: Trường hợp 1: 2 f = . Ta có: (0)3 2 2 4 2 ( ,0) : ( ) ( ) ( ) P x f x f x f x = − + ∀ ∈x R . 3 3 4 2 2 2 2 2 ( , ) : 2 ( ) 2 ( ) ( ) ( ) P x x f x f x f x f x = − ⇒ = + ∀ ∈x R . 9 9 Từ 2 điều trên, ta suy ra: 2 2 2 4 2 2 ( ) ( ) ( ) ( ) f x f x f x f x = + − + ⇒ = ∀ ∈x R . 9 3 3 3 Vậy 2 f x = ∀ ∈x R là một hàm thỏa. ( )3 Trường hợp 2: f (0) 0 = . Ta có: 2 2 P x f x f x ( ,0) : ( ) ( ) = ∀ ∈x R. (1) Thay vào phương trình hàm ban đầu, ta được: [ ]2 2 2 2 f x y f x f x f y f y f x f y ( ) ( ) 2 ( ) ( ) ( ) ( ) ( ) − = − + = − ∀ ∈ x y R , . (2) Tất nhiên ta sẽ không thể triệt tiêu bình phương ở 2 vế, nhưng nó có dạng khá giống với Bài toán 4.6 ở trên, vì vậy ta sẽ đi chứng minh f là hàm lẻ. Ta có: 2 2 2 P x y f x y f x f x f y f y ( , ) : ( ) ( ) 2 ( ) ( ) ( ) − − − = − − + 2 2 2 P x y f x y f x f x f y f y ( , ) : ( ) ( ) 2 ( ) ( ) ( ) − + = − − + Hơn nữa, 2 2 2 f x y f x y f x y ( ) ( ) ( ) − − = + = + ⎡ ⎤ ⎣ ⎦, vậy ta thu được: f x f y f x f y ( ) ( ) ( ) ( ) − = − ∀ ∈ x y R , . (3) Dễ dàng thấy rằng f x( ) 0 = ∀ ∈x R là một hàm thỏa. Ta giả sử ∃ ≠ a 0 sao cho f a( ) 0 ≠ . Từ (1), ta suy ra: 2 2 2 f a f a f a ( ) ( ) ( ) = − = . Ta lại có: +Nếu f a f a ( ) ( ) = − . Từ (3) ta suy ra : f x f x ( ) ( ) = − ∀ ∈x R . Khi đó, thay y x = − vào (2), ta thu được: [ ]2 2 f x x f x f x ( ) ( ) ( ) 0 + = − − = suy ra: 2 f x f x (2 ) 0 ( ) 0 = ⇒ = ∀ ∈x R(sai vì f a( ) 0 ≠ ). Vậy f a f a ( ) ( ) = − − . Từ (3) ta suy ra: f x f x ( ) ( ) = − − ∀ ∈x R . Khi đó, thay y bởi –y ở (2), ta được: [ ]2 2 f x y f x f y ( ) ( ) ( ) + = + ∀ ∈ x y R , . Áp dụng kết quả Bài toán 4.6, ta suy ra: f x x ( ) = ∀ ∈x R . Tóm lại, có 3 hàm thỏa đó là 2 f x = ∀ ∈x R , f x( ) 0 = ∀ ∈x R và f x x ( ) = ∀ ∈x R . ☺ ( )3 Chú ý: 1) Chính nhờ việc chứng minh được f là hàm lẻ ta mới suy ra được kết quả bài toán, từ đó cho thấy tầm quan trọng trong việc chứng minh tính chẵn lẻ của hàm trong các bài toán phương trình hàm nói chung. 2) Bước giả sử tồn tại a sao cho f a( ) 0 ≠ cũng là một bước quan trọng. Cũng từ ý tưởng tương tự, ta có bài toán sau: Bài toán 4.8. Tìm tất cả các hàm số f R R : → thỏa mãn: 2 2 2 f x y f x f xy f y ( ) ( ) 2 ( ) ( ) + = + + ∀ ∈ x y R , Lời giải. Cho P x y ( , ) là phép gán ( , ) x y vào phương trình hàm ban đầu. 2 P f f f f (0,0) : (0) 4 (0) (0) 0 (0) 4 = ⇔ = ∨ = Ta xét 2 trường hợp: Trường hợp 1: f (0) 4 = . Ta có: 2 2 2 P x f x f x f f x ( ,0) : ( ) ( ) 3 (0) ( ) 12 = + = + ∀ ∈x R 2 2 2 P x f x f x f f x ( ,0) : ( ) ( ) 3 (0) ( ) 12 − − = + = + ∀ ∈x R Vậy 2 2 f x f x ( ) ( ) = − ∀ ∈x R 2 2 2 2 2 P x x f f x f x f x f x f x f x ( , ) : (0) 2 ( ) 2 ( ) 8 ( ) ( ) 8 ( ) ( ) − = + − ⇔ = + − ⇔ = + − ∀ ∈x R Coi f x( ) và f x ( ) − là 2 ẩn, từ 2 điều trên ta suy ra: f x f x ( ) ( ) 4 = − = ∀ ∈x R Vậy f x( ) 4 = ∀ ∈x R, đây là 1 hàm thỏa. Trường hợp 2: f (0) 0 = . Ta có: 2 2 P x f x f x ( ,0) : ( ) ( ) = ∀ ∈x R (1) Suy ra: f x x ( ) 0, 0 ≥ ∀ ≥ . Hơn nữa: 2 2 2 2 2 P x x f f x f x f x f x f x f x ( , ) : (0) 2 ( ) 2 ( ) 0 ( ) ( ) 0 ( ) ( ) − = + − ⇔ = + − ⇔ = + − ∀ ∈x R . Vậy f là hàm lẻ. Dễ thấy hàm f x( ) 0 = ∀ ∈x R là hàm thỏa. Ta xét f không đồng nhất với 0, khi đó ta chứng minh f x x ( ) 0 0 = ⇔ = . Giả sử* f x( ) 0 = . f x( ) 0 ≠ , 2 Do f là hàm lẻ, giả sử 1 2 x x, 0 > . 1 2 1 2 ∃ ∈ ≠ x x R x x , , sao cho 1 Từ phương trình hàm ban đầu và hệ thức (1), ta suy ra: 2 2 f x y f y ( ) ( ) + ≥ ∀ > x y, 0 ⇒ ≥ f x f y ( ) ( ) ∀ > > x y 0 . Ta có: 2 2 2 2 2 2 2 2 P x x f x f x f x ( , ) : (2 ) 2 ( ) 2 ( ) 0 = + = 2 ⇒ = f x (2 ) 0 . Như vậy, nếu (2 ) 0 n f x( ) 0 = thì 2 f x = ∀ ∈n N . Chọn n đủ lớn f x (2 ) 0 = . Khi đó, ta dễ dàng có: 2 2 sao cho: 2 1 2nx x > . Khi đó, ta có: 2 1 0 (2 ) ( ) 0 n = ≥ ≠ f x f x (vô lý) Vậy f x x ( ) 0 0 = ⇔ = . Khi đó, từ hệ thức (1) suy ra: 2 f f f (1) (1) (1) 1 = ⇒ = . Ta chứng minh: f nx nf x ( ) ( ) = ∀ >x 0 (∀ ∈n N ) (2). Ta chứng minh bằng quy nạp theo n như sau: +Với n = 0: f (0) 0 = (đúng) +Giả sử (2) đúng với n = k ( k ≥ 0 ), tức là f kx kf x ( ) ( ) = ∀ >x 0 +Với n = k + 1, ta có: 2 2 2 2 2 2 2 2 P kx x f k x f kx f kx f x k f x kf x f x ( , ) : ( 1) ( ) 2 ( ) ( ) ( ) 2 ( ) ( ) + = + + = + + [ ] 2 2 2 2 = + + = + ( 2 1) ( ) ( 1) ( ) k k f x k f x ∀ >x 0 ⇒ + = + f k x k f x [( 1) ( 1) ( ) ] ∀ >x 0 Vậy f nx nf x ( ) ( ) = ∀ >x 0(∀ ∈n N ). Do f là hàm lẻ, ta suy ra ngay: f nx nf x ( ) ( ) = ∀ ∈x R (∀ ∈n Z ). Từ đây ta dễ dàng có được: f q q ( ) = ∀ ∈q Q. Vậy ta có được những điều sau: + f là hàm đồng biến trên R. + f q q ( ) = ∀ ∈q Q. Bằng cách tương tự ở Phần II/, ta dễ dàng có được: f x x ( ) = ∀ ∈x R , và đây là một hàm thỏa. Tóm lại, có 3 hàm thỏa phương trình ban đầu: f x x ( ) = ∀ ∈x R , f x( ) 0 = ∀ ∈x R , f x( ) 4 = ∀ ∈x R. ☺ Chú ý: 1) Việc dự đoán hàm thỏa ở bài này là khá dễ dàng. Tuy nhiên ở Trường hợp 2, có một điều thú vị là ta không suy ra f cộng tính, nhưng lại có tính chất của hàm cộng tính, đó là f nx nf x ( ) ( ) = , và từ đó suy ra kết quả bài toán. Qua đó, cho ta được một kinh nghiệm, nếu không suy ra “tính chất” nào đó của hàm f thì hãy thử đi tìm những tính chất khác có mối quan hệ mật thiết với “tính chất” mà mình cần. 2) Đây cũng là một ví dụ, cho thấy được sự hiệu quả từ việc chứng minh trên tập N, dẫn đến tập Q và kết luận ở tập R. 3) Xin giới thiệu bài toán tổng quát, đây xem như là bài tập dành cho các bạn. Với n > 1, tìm tất cả các hàm f R R : → thỏa mãn: n + + + = + ∑ ∑ 1 2 , ,...,n ∀ ∈ x x x R . ( ) 2 2 f x x x f x f x x ( ... ) ( ) 2 1 2 n i j k i j k n = ≤ < ≤ 1 1 Điều làm tác giả băn khoăn nhất, chính là bài toán sau, được tìm thấy từ IMO Shortlist 2004, mặc dù đã đọc được lời giải, tuy rằng cảm thấy rất hay, nhưng khá khó hiểu, mong ai quan tâm có thể giải quyết bài toán này và liên hệ với tác giả qua email, xin cám ơn. Bài toán 4.9.( IMO Shortlist 2004) Tìm tất cả các hàm f R R : → thỏa mãn: 2 2 2 f x y f xy f x y ( 2 ( )) ( ) + + = + ∀ ∈ x y R , Lời giải. Có những 3 hàm thỏa, đó là f x x ( ) = ∀ ∈x R , f x( ) 0 = ∀ ∈x R và một hàm ( )1x X ⎧ ∀ ∉ khá đặc biệt, cũng là điều làm nên tính “hóc búa” của bài toán này: 1 f xx X = ⎨⎩− ∀ ∈ trong đó X là tập bất kỳ thỏa2 X⎛ ⎞ ∈ −∞ − ⎜ ⎟ ⎝ ⎠. ;3 Lời giải chính thức các bạn có thể tìm đọc trên mạng hoặc có trong Ebook IMO Conpendium (Download: http://www.mediafire.com/download.php?507ihdrg5paytg3). Xin trình bày một số bài phương trình hàm liên quan để các bạn có thể luyện tập: Bài toán 1. Tìm tất cả các hàm f R R : → thỏa mãn: i) f x y f x f y ( ) ( ) ( ) + = + ∀ ∈ x y R , . ii) 1 ⎛ ⎞ ⎜ ⎟ = f x f ( ) 1 x ⎝ ⎠ * ∀ ∈x R . Bài toán 2. Tìm tất cả các hàm f R R : → thỏa mãn: f x f y f x xf y f f y (2 ( )) (2 ) (2 ) ( ( )) + = + + ∀ ∈ x y R , . Bài toán 3. (IMO 1999) Tìm tất cả các hàm f R R : → thỏa mãn: f x f y f x xf y f f y ( ( )) ( ) ( ) ( ( )) 1 − = + + − ∀ ∈ x y R , . Bài toán 4. (IMO 1992) Tìm tất cả các hàm f R R : → thỏa mãn: 2 2 f x f y y f x ( ( )) ( ) + = + ∀ ∈ x y R , . Bài toán 5. Tìm tất cả các hàm f R R : → thỏa mãn: 2 2 f x f y y f x ( ( ) ) ( ) + − = ∀ ∈ x y R , . Bài Seminar đến đây là kết thúc. Tác giả đã cố gắng trình bày hết tất cả những gì mà tác giả sưu tầm được một cách khá chi tiết và sơ cấp nhất. Tuy nhiên, chắc chắn sẽ có những khuyết điểm, và bài seminar này sẽ không thể hoàn thành nếu không có sự đóng góp ý kiến của mọi người. Rất cám ơn mọi người. Điều mà tác giả mong muốn nhất qua bài seminar này, là mọi người sẽ có thêm một cái nhìn đa chiều về phương trình hàm, rằng nó cũng rất thú vị, qua nhiều bài phương trình hàm, ta có thể học được khả năng dự đoán, kĩ năng thay biến sao cho phù hợp, và đôi khi là sự sáng tạo trong lời giải. Đồng thời, cũng rất mong mọi người sẽ đóng góp thêm lời giải, bài toán mới và các ý kiến về những gì tác giả đã trình bày trong seminar này, bởi vì cũng còn rất nhiều vấn đề mà chính tác giả chưa đủ trình độ để giải quyết, rất cần có sự giúp đỡ của cộng đồng mạng. Một lần nữa xin cám ơn mọi người, chúc mọi người luôn có niềm đam mê với môn toán và học toán thật tốt. Thân, Tác giả.