Epsilon 05 - Flip EBook Pages 101-150 | AnyFlip

• Quick Upload
• Explore
• Features
• Support
  • Contact Us
  • FAQ
  • Help Document
• Pricing

Sign In Sign Up

• Quick Upload
• Explore
• Features
• Support
  • Contact Us
  • FAQ
  • Help Document
• Pricing
• Sign In
• Sign Up

• Enrichment
• Business
• Books
• Art
• Lifestyle
• Religion
• Home
• Science

The words you are searching are inside this book. To get more targeted content, please make full-text search by clicking here. Home Explore Epsilon 05 View in Fullscreen

Tạp chí Epsilon số 05

Like this book? You can publish your book online for free in a few minutes!

• Gặp gỡ Toán học
• http://anyflip.com/anxl/hgoi/

Download PDF Share

Related Publications

Discover the best professional documents and content resources in AnyFlip Document Base. Search Published by Gặp gỡ Toán học, 2018-04-27 09:19:05 Epsilon 05

Pages:
• 1 - 50
• 51 - 100
• 101 - 150
• 151 - 200
• 201 - 248

Tạp chí Epsilon số 05

Keywords: ggth,GGTH,gapgotoanhoc,e,epsilon

Tạp chí Epsilon, Số 05, 10/2015Bài toán 14 (MOSP, 2007). Tìm tất cả các hàm số f W R ! R thỏa mãn f .1/ D 1 và  xà f .x2 C y2/ (2.32) f yf .x/ C D xy yvới mọi cặp số thực x; y .y ¤ 0/:Lời giải. Thay x D 0 vào (2.32), ta được f yf .0/ D 0: Nếu f .0/ ¤ 0 thì bằng cách chọny D 1 ; ta được f .1/ D 0; mâu thuẫn với giả thiết. Do đó, ta phải có f .0/ D 0: f .0/Bây giờ, giả sử rằng tồn tại a1 ¤ 0 sao cho f .a1/ D 0: Thay x D a1 và y D 1 vào (2.32), tađược f .a12 C 1/ D 0: Từ đó, ta có thể xây dựng được dãy .an/ với anC1 D an2 C 1 thỏa mãn f .an/ D 0với mọi n 2 N : Thay x D 1 vào (2.32), ta được f  C 1à D yf .y2 C 1/ y yvới mọi y ¤ 0: Tiếp tục, thay x bởi x C 1 vào (2.32) và sử dụng kết quả trên, ta có x f  C 1/ C x2 C 1à D y.x2 C 1/  .x2 C 1/2 C x2y2 à xyf .x2 xy x f x2 yvới mọi x; y ¤ 0: Thay y bởi vào phương trình trên, ta được x f  C 1/ C x2 C 1à D y.x2 C 1/  .x2 C 1/2 C y2 à yf .x2 y x2 f x2với mọi x; y ¤ 0: Mặt khác, sử dung (2.32), ta cũng có f  .x2 C 1/ C x2 C 1à D y.x2 C 1/f .x2 C 1/2 C y2 : yf yKết hợp với đẳng thức trên, ta được y.x2 C 1/  .x2 C 1/2 C y2 à x2 f x2 D y.x2 C 1/f .x2 C 1/2 C y2 ;hay  .x2 C 1/2 C y2 à x2 f D x2f .x2 C 1/2 C y2 (2.33)với mọi x; y ¤ 0: Nếu f .x/ D 0; 8x > 4 thì bằng cách thay x D y D 5 vào (2.32), ta thuđược điều mâu thuẫn. Do đó, tồn tại một số thực b > 4 sao cho f .b/ ¤ 0: Do lim an D C1 101Tạp chí Epsilon, Số 05, 10/2015nên tồn tại m 2 N sao cho am > b: Bây giờ, với chú ý rằng b > 4 > b C 1 2; ta có thể chọn amx2 D b và y2 D b b C 1 2 để có am am 8 .x2 C 1/2 C y2 D b ˆ < ˆ .x2 C 1/2 C y2 D am : x2 f .am/ D b f .b/ D 0;Thay các số này vào (2.33), ta thu được f .b/; hay mâu thuẫn. Và như amthế, ta đã chứng minh được f .x/ D 0 khi và chỉ khi x D 0:Bây giờ, với mỗi x ¤ 0; ta có thể chọn y sao cho yf .x/ C x D x2 C y2 (đây là phương trình ybậc ba ẩn y nên luôn có ít nhất một nghiệm thực). Thay vào (2.32), ta được .1 xy/f .x2 C y2/ D 0:Tuy nhiên, theo chứng minh trên thì f .x2 C y2/ ¤ 0: Do đó, ta phải có y D 1 Suy ra : x 1 .x/ C x2 D x2 C 1 f x2 ; x 1từ đây ta dễ dàng tìm được f .x/ D x với mọi x ¤ 0: Ta đi đến kết luận: 8 nếu x D 0 nếu x ¤ 0 ˆ0 < f .x/ D 1 ˆ :xHàm này thỏa mãn các yêu cầu của bài toán.3. Một số bất phương trình hàm được xây dựng trên các tập rời rạcBài toán 15. Với mỗi hàm g W ZC ! ZC; g.1/ D 1 cho trước, chứng minh rằng luôn tồn tạihàm số f W ZC ! ZC thoả mãn f .n/ > g.n/với mọi n 2 ZC; và f .mn/ D f .m/f .n/với mọi cặp số nguyên dương nguyên tố cùng nhau m; n:Lời giải. Ta sẽ xây dựng hàm f thoả mãn các điều kiện trên. Xét dãy fai gi2ZC D .2; 3; 4; 5; 7; 8; 9; 11; : : :/là dãy tăng các luỹ thừa của các số nguyên tố. Các số trong dãy có dạng pi˛j được xếp theo thứtự tăng dần. Ta có nhận xét rằng, nếu một hàm f W ZC ! ZC có tính chất f .mn/ D f .m/f .n/khi .m; n/ D 1 thì các giá trị của nó sẽ được xác định dựa trên dãy f .ai /:Ta thiết lập dãy f .ai / bằng phép quy nạp như sau: 102Tạp chí Epsilon, Số 05, 10/2015Chọn f .a1/ > g.a1/:Giả sử các số f .a1/; f .a2/; : : : ; f .ak 1/ đã được xác lập. Xét tất cả các số dạng g.s/;với s là tích của các số khác nhau từ tập fa1; a2; : : : ; akg: Ta sẽ chọn số bất kỳ f .ak/ lớnhơn tất cả các số dạng g.s/:Ta đã chọn được dãy giá trị f .ai / và thêm điều kiện nhân tính .f .mn/ D f .m/f .n// sẽ xác lậpnên hàm f W ZC ! ZC: Hàm f được thiết lập như trên thoả mãn các yêu cầu của đề bài.Thật vậy, với mọi n 2 ZC; ta có thể biểu diễn n D ai1ai2 aip với i1 < i2 < < ip: Do đó f .n/ D f .ai1ai2 aip / D f .ai1/f .ai2/ f .aip / f .aip / > g.ai1ai2 aip / D g.n/:Bài toán được chứng minh xong.Bài toán 16 (Trung Quốc, 1993). Cho hàm số f W RC ! RC thoả mãn f .xy/ Ä f .x/f .y/ (3.1)với mọi x; y > 0: Chứng minh rằng với mọi x > 0 và n 2 ZC thì (3.2) f .xn/ Ä f .x/pf .x2/p3 f .x3/ pn f .xn/:Lời giải. Ta chứng minh bằng quy nạp theo n: Dễ thấy khẳng định đúng với n D 1: Giả sử khẳngđịnh (3.2) đúng với các số 1; 2; : : : ; n: Khi đó, ta có q f .xk/ Ä f .x/pf .x2/p3 f .x3/ k f .xk/với k D 1; 2; : : : ; n: Nhân n bất phương trình trên lại, ta thu được f n.x/f n2 1 .x2/ f 1 .x n / f .x/f .x2/ f .xn/: nNhân cả hai vế của bất phương trình trên với f .x/f .x2/ f .xn/; ta đượcf nC1.x/f nC1 .x 2 / f nC1 .x n / f 2.x/f 2.x2/ f 2.xn/: 2 nMặt khác, sử dụng (3.1), ta lại có n Y f .xi /f .xnC1 i/ f n.xnC1/: VP D i D1Kết hợp với đánh giá ở trên, ta suy ra f nC1.x/f nC1 .x 2/ f nC1 .x n/ f n.xnC1/: 2 nNhân hai vế của bất phương trình cuối cho f .xnC1/ và lấy căn bậc n C 1 hai vế, ta suy ra khẳngđịnh (3.2) cũng đúng với n C 1: Theo nguyên lý quy nạp, ta có khẳng định đúng với mọi n:Nhận xét. Bằng cách đặt an D ln f .xn/; ta có thể phát biểu bài toán trên lại dưới dạng dãy sốnhư sau: Cho a1; a2; : : : là dãy các số thực thoả mãn aiCj Ä ai C aj với mọi i; j D 1; 2; : : :Chứng minh rằng với mọi n 2 ZC thì a1 C a2 C C an an: 2 nBài toán này đã được sử dụng ở kỳ thi APMO năm 1999. 103Tạp chí Epsilon, Số 05, 10/2015Bài toán 17. Tìm tất cả các số a > 0 sao cho tồn tại hằng số K > 0 và hàm f W R ! R thoảmãn f .x/ C f .y/ f  x C y à C Kjx yja 22với mọi cặp số thực x; y:Lời giải. Từ giả thiết, ta suy ra f xCy C f .y/ Âx C 3y à K yja; (3.3) 2 f 4 C 2a jx (3.4) (3.5) 2 f .x/ C f xCy Â3x C y à K yja; 2 f 4 C 2a jx 2 f 3xCy Cf xC3y Âx C yà K yja: 4 4 f 2 C 2a jx 2Lấy (3.3) C (3.4) C 2 (3.5); ta được Âx C yà K yja: f 2 C 2a 2 jx f .x/ C f .y/ 2Từ đây, bằng cách lặp lại quy trình thế như trên, ta chứng minh bằng quy nạp được f .x/ C f .y/ Âx C yà K yja 2 f 2 C 2n.a 2/ jxvới mọi n 2 N : Nếu a < 2 thì bằng cách cho x ¤ y và n ! C1; ta thu được điều mâu thuẫn.Do đó a 2: Ta sẽ chứng minh đây là tập hợp tất cả các số thực a thoả mãn yêu cầu đề bài.Thật vậy, với a 2; xét f .x/ D jxja và K D 1 ta sẽ chứng minh bất đẳng thức đầu bài được 2a ;thoả mãn với mọi cặp số thực x; y; tức là jxja C jyja ˇ x C y ˇa C ˇ x y ˇa (3.6) ˇ ˇ ˇ ˇ: ˇ ˇ 2 ˇ2ˇ ˇ2ˇĐặt f .x; y/ D VT(3.6) VP(3.6); ta có f . x; y/ D f . x; y/ D f .x; y/ D f .x; y/:Do đó f .x; y/ là hàm chẵn với x và với y: Vì vậy, không mất tính tổng quát, ta có thể giả sửx 0 và y 0: Khi đó, bất đẳng thức (3.6) được viết lại dưới dạng xa C ya  x C y Ãa ˇ x y ˇa Cˇ ˇ : 2 2 ˇ2ˇVới x C y D 0; ta có x D y D 0 nên bất đẳng thức hiển nhiên đúng.Xét trường hợp x C y > 0: Khi đó, do bất đẳng thức trên có dạng thuần nhất đối với x; y nên tacó thể chuẩn hoá x C y D 2: Theo đó, ta phải chứng minh xa C ya ˇ x y ˇa 1Cˇ ˇ: (3.7) 2 ˇ2ˇ 104Tạp chí Epsilon, Số 05, 10/2015Do 0 Ä ˇx yˇ Ä x Cy D 1 nên ˇ ˇ 2 ˇ 2 ˇ ˇ x y ˇa .x y/2 x2 C y2 1Cˇ ˇ Ä1C D: ˇ2ˇ 42Mặt khác, theo bất đẳng thức trung bình luỹ thừa, ta lại có xa C ya Âx2 C y2 a x2 C y2 2 : Ã2 2 2Do đó (3.7) được chứng minh. Bài toán được giải quyết xong.4. Một số bài tập tự luyệnĐể kết lại bài viết này, xin được nêu thêm một số bài toán để bạn đọc tự nghiên cứu thêm.Bài tập 4.1 (Bulgaria, 2008). Cho f W RC ! RC là hàm số thoả mãn 2f .x2/ xf .x/ C xvới mọi x > 0: Chứng minh rằng f .x3/ x2 với mọi x > 0:Bài tập 4.2 (IMO Shortlist, 2005). Tìm tất cả các hàm số f W RC ! RC thoả mãn f .x/f .y/ D 2f x C yf .x/với mọi cặp số dương x; y:Bài tập 4.3 (KHTN, 2010). Tìm tất cả các hàm số f W RC ! RC thoả mãn f .x C 2y/ f .x y/ D 3 f .y/ C 2pf .x/f .y/với mọi cặp số dương x > y:Bài tập 4.4. Tìm tất cả các hàm f W RC ! RC thoả mãn Á f f f .x/ C f f .x/ D 2x C 5với mọi số thực dương x:Bài tập 4.5 (Brazil, 2012). Tìm tất cả các toàn ánh f W RC ! RC thoả mãn hi 2xf f .x/ D f .x/ x C f f .x/với mọi số thực dương x:Bài tập 4.6 (Việt Nam TST, 2007). Tìm tất cả các hàm liên tục f W R ! R thoả mãn f .x/ D f  C x C 1à x2 39với mọi số thực x: 105Tạp chí Epsilon, Số 05, 10/2015Bài tập 4.7. Tìm tất cả các hàm liên tục f W R ! R thoả mãn f .2x C 1/ D f .x/với mọi số thực x:Bài tập 4.8. Tìm tất cả các hàm liên tục f W R ! R thoả mãn f x C y f .y/ D f .x/ C f y f .y/với mọi cặp số thực x; y:Bài tập 4.9 (Hà Nội, 2013). Tìm tất cả các hàm liên tục f W RC ! RC thoả mãn đồng thời cácđiều kiện sau (1) f .2x/ D 2f .x/ với mọi x > 0I (2) f f 3.x/ ef .x/ 1 Á D x2.ex 1/f .x/ với mọi x > 0I(3) f .e 1/ D .e 1/f .1/I (4) f .k/ 2 N với mọi k 2 N :Bài tập 4.10 (Turkey, 2013). Tìm tất cả các hàm f W R ! RC thoả mãn đồng thời các điềukiện (1) f .x2/ D f 2.x/ 2xf .x/ với mọi x 2 RI(2) f . x/ D f .x 1/ với mọi x 2 RI (3) f tăng thực sự trên .1; C1/:Bài tập 4.11 (THTT, 2002). Tìm tất cả các hàm f W R ! R thoả mãn f x f .y/ D f .x C y2002/ C f f .y/ C y2002 C 1với mọi cặp số thực x; y:Bài tập 4.12. Tìm tất cả các hàm f W R ! R thoả mãn f .x2/ C 4y2f .y/ D f .x C y/ C y2 f .x y/ C f .y/với mọi cặp số thực x; y:Bài tập 4.13 (Tổng quát IMO 1992). Với mỗi số tự nhiên n 2 cho trước, tìm tất cả các hàmsố f W R ! R thoả mãn đẳng thức f xn C f .y/ D y C f n.x/với mọi cặp số thực x; y:Bài tập 4.14 (Saudi Arabia, 2014). Tìm tất cả các hàm f W N ! N thoả mãn f .n/ C f f .n/ f .n C 1/ > 2với mọi số nguyên dương n: 106Tạp chí Epsilon, Số 05, 10/2015Bài tập 4.15 (Romania, 2004). Tìm tất cả các đơn ánh f W N ! N thoả mãn f f .n/ Ä n C f .n/ 2với mọi số nguyên dương n:Bài tập 4.16 (IMAR, 2009). Chứng minh rằng với mỗi hàm số f W RC ! RC đều tồn tại ítnhất một cặp số dương x; y sao cho f .x C y/ < yf f .x/ :Bài tập 4.17 (IMO, 2011). Cho hàm số f W R ! R thoả mãn f .x C y/ Ä yf .x/ C f f .x/với mọi x; y 2 R: Chứng minh rằng f .x/ D 0 với mọi x Ä 0:Bài tập 4.18 (IMO Shortlist, 2009). Chứng minh rằng không tồn tại hàm f W R ! R thoả mãn f x f .y/ Ä yf .x/ C xvới mọi cặp số thực x; y:Bài tập 4.19. Cho hàm số f W Œ0; 1 ! Œ0; C1/ thoả mãn f .x/ C f .y/ Ä Âx Cyà C 1 2 f 2với mọi x; y 2 Œ0; 1: Chứng minh rằng với mọi a; b; c 2 Œ0; 1; a < b < c thì cb C ba f .a/ a f .c/ Ä f .b/ C 2: c a cBài tập 4.20. Cho các hàm số f; g W Œ0; 1 ! Œ0; 1; trong đó f tăng nghiêm ngặt, thoả mãn f g.x/ D xvới mọi x 2 Œ0; 1: Chứng minh rằng với mọi n 2 N thì n 1Ä Âkà Âkà 1 X f Cg <n : kD1 nn nTài liệu tham khảo[1] Nguyễn Văn Mậu (chủ biên), Một số chuyên đề toán chọn lọc bồi dưỡng học sinh giỏi, Khoá bồi dưỡng giáo viên chuyên toán THPT, 2004.[2] Nguyễn Văn Mậu, Phương trình hàm cơ bản với đối số biến đổi, NXB Đại Học Quốc Gia Hà Nội, 2015.[3] Nguyễn Trọng Tuấn, Các bài toán hàm số qua các kỳ thi Olympic, NXB Giáo Dục, 2004.[4] Christopher G. Small, Functional Equations and How to Solve Them, Springer, 2007.[5] An Introduction to the Theory of Functional Equations and Inequalities, Birkhauser, 2009.[6] Titu Andreescu, Iurie Boreico, Oleg Mushkarov, Nicolai Nikolov, Topics in Functional Equations, XYZ Press, 2012. 107Tạp chí Epsilon, Số 05, 10/2015108GIẢI TÍCH VÀ CÁC BÀI TOÁN CỰC TRỊ Trần Nam Dũng - Đại học Khoa học Tự nhiên, ĐHQG - TP.HCM Since the building of the universe is perfect and is created by the wisdom creator, nothing arises in the universe in which one cannot see the sense of some maximum or minimum. - Leonard EulerTrong các bài toán ở trường phổ thông, các bài toán cực trị thuộc vào một trong những dạng toángần với những ứng dụng thực tế nhất. Những yêu cầu về đường đi ngắn nhất, đường đi nhanhnhất, góc nhìn lớn nhất, tổng thời gian chờ đợi ít nhất, tổng chi phí ít nhất, tổng lợi nhuận caonhất, diện tích lớn nhất ... là những yêu cầu rất tự nhiên xuất phát từ những bài toán của sản xuất,đời sống và khoa học. Chính vì thế những bài toán cực trị cần có một chỗ đứng xứng đáng trongchương trình toán ở phổ thông, các phương pháp giải bài toán cực trị cũng cần phải được trìnhbày một cách bài bản.Trên phương diện phương pháp, có hai cách tiếp cận chính cho lời giải của các bài toán cực trị,đó là phương pháp sử dụng bất đẳng thức và phương pháp hàm số. Với phương pháp bất đẳngthức, sơ đồ cơ bản là: Để chứng minh M là giá trị lớn nhất của hàm số f .x/ trên miền D .x cóthể là một vector), ta sẽ chứng minh : .i / f .x/ M với mọi x thuộc D: .i i / Tồn tại x0 thuộc D sao cho f .x0/ D M:Phương pháp hàm số sẽ khảo sát hàm f .x/ trên D và dựa vào các định lý của giải tích để tìm rađiểm cực trị và giá trị M:Chú ý rằng, trong chương trình phổ thông khái niệm hàm nhiều biến chưa được đề cập, cho nên,mặc dù chúng ta sẽ bắt gặp những bài toán nhiều biến nhưng công cụ chủ yếu vẫn là công cụ đạohàm của hàm số một biến.Trong bài viết này, chúng ta sẽ chủ yếu đề cập đến các phương pháp giải tích để giải bài toán cựctrị. Chúng ta sẽ bắt đầu bằng những bài toán cực trị hàm một biến giải bằng nguyên lý Fermat vàđịnh lý tồn tại Weierstrass. Sau đó chúng ta sẽ chuyển sang các bài toán cực trị nhiều biến giảibằng phương pháp khử dần các biến để đưa về trường hợp một biến. Tiếp đến là các bài toán cựctrị có điều kiện.Trong phần cuối cùng, chúng ta sẽ đề cập đến cách tiếp cận các bài toán cực trị nhiều biến bằngcác sử dụng các công cụ toán cao cấp (đạo hàm riêng theo từng biến, phương pháp nhân tửLagrange). Đây là phần dành cho giáo viên và các học sinh lớp chuyên để có một cái nhìn tổngquansau này lên các bậc học cao không bị làm theo quán tính, giải các bài toán cực trị nhiều biếnbằng các công cụ thô sơ (và vì thế đòi hỏi rất nhiều sự sáng tạo).Để giúp các bạn học sinh nhìn thấy vẻ đẹp, sức mạnh và sự hiệu quả của các phương pháp giảitích, chúng tôi cố gắng chọn những ví dụ đặc trưng và điển hình nhất. Các ví dụ và bài toán trong 109Tạp chí Epsilon, Số 05, 10/2015bài này được lấy từ những bài toán và định lý kinh điển, những bài toán thi Olympic, những đềthi đại học. Ngoài các ví dụ có lời giải và bình luận chi tiết, chúng tôi đưa ra một số bài tập tựgiải dành cho bạn đọc.1. Nguyên lý FermatPhương pháp có tên là nguyên lý Fermat là một phương pháp mà ai cũng biết đến: Nếu hàm sốf là khả vi thì mỗi một điểm cực tiểu (cực đại) địa phương của nó đều là điểm dừng, tức là lànghiệm của phương trình f 0.x/ D 0: Về điều này trước Fermat cũng đã từng được nhắc tới: “Về cả hai phía của điểm có giá trị lớn nhất sự giảm ban đầu không đáng kể.” - (Johan Kepler)Điều ngược lại không đúng: Điểm dừng có thể không phải là điểm cực trị của hàm số, như ví dụđơn giản sau: Hàm x3 tại điểm x D 0: Để tìm các giá trị cực trị của hàm số f; ta giải phươngtrình f 0.x/ D 0; tìm được tất cả các điểm dừng là những điểm “nghi can” cho các giá trị cực trị.Sau đó ta sử dụng định lý tồn tại: Một hàm số liên tục trên đoạn Œa; b sẽ đạt được giá trị lớnnhất và giá trị nhỏ nhất trên đó. Ta sẽ coi định lý này là hiển nhiên về mặt hình học và bỏ quaphép chứng minh đó. Như vậy giá trị lớn nhất và giá trị nhỏ nhất của hàm liên tục, khả vi trênđoạn Œa; b tồn tại và ta chỉ cần tìm các giá trị này tại các điểm dừng và hai đầu mút.Bổ đề 1.1. Nếu hàm số f W R ! R liên tục và f .x/ ! C1 khi jxj ! C1 thì nó đạt đượcgiá trị nhỏ nhất trong Rn:Bổ đề 1.2. Nếu hàm số f W .a; b/ ! R liên tục và f .x/ ! C1 khi x ! a và x ! b thì nóđạt được giá trị nhỏ nhất trên .a; b/:Điều kiện tồn tại giá trị lớn nhất cũng được phát biểu tương tự. Chúng ta sẽ bắt đầu bằng một vídụ kinh điển.Ví dụ 1.1. (Định luật Snellius) Tia sáng cắt đường biên của hai môi trường, vào với góc ˛ và ravới góc ˇ (góc giữa tia sáng với đường vuông góc với đường biên tại điểm cắt). Khi đó sin ˛ sin ˇ D; va vbtrong đó va; vb là vận tốc ánh sáng trong các môi trường đó.Lời giải. Ta sẽ sử dụng nguyên lý Fermat trong quang học: Ánh sáng trong đường đi của mình từmột điểm đến một điểm luôn chọn đường đi ngắn nhất về mặt thời gian. Nếu ta lấy trên tia sánghai điểm A; B nằm về hai phía đối với đường biên, còn chính đường biên ký hiệu là l là ta thuđược bài toán tìm cực tiểu: 8 AM BM < f .M / D C ! min va vb :M 2 lGiá trị nhỏ nhất tồn tại, điều này được đảm bảo bởi bổ đề 1: Gọi điểm mà hàm số đạt giá trị nhỏnhất là M0: Vấn đề là tính đạo hàm của hàm số f: Điều này có thể làm thế nào ? Ta có thể thựchiện điều này bằng cách tìm ra biểu thức hàm số f sử dụng định lý Pythagore: 110Tạp chí Epsilon, Số 05, 10/2015Gọi AH; BK là đường vuông góc hạ từ A; B tương ứng xuống. Đặt AH D a; BK D b vàHK D c; HM D x thì ta có q AM D pa2 C x2; BH D b2 C .c x/2:Từ đó p q a2 b2 f .M / D g.x/ D C x2 C C .c x/2 : va vbTheo bổ đề 1 thì f .M / đạt được giá trị nhỏ nhất tại một điểm M0 nào đó. Và theo nguyên lýFermat thì f 0.M0/ D 0: Nhưng f 0.M / D g0.x/ D x cx p : va a2 C x2 q vb b2 C .c x/2Từ đó f 0.M0/ D 0 tương đương với c x0 ; p x0 q va a2 C x2 vb b2 C .c x/2hay sin ˛ sin ˇTa có điều phải chứng minh. D: va vbBài toán 1. Có một miếng thép kích thước 1m 1m: Người ta muốn làm từ tấm thép một hìnhhộp không đáy bằng cách cắt ở 4 góc các hình vuông kích thước x x; gấp lên rồi hàn lại. Hỏiphải chọn x bằng bao nhiêu để thể tích hình hộp là lớn nhất ?Lời giải. Rõ ràng ta phải có 0 Ä x 1 : Thể tích hình hộp là 2 V .x/ D x.1 2x/2:Với bài này, chỉ cần một chút khéo léo là ta có thể dùng bất đẳng thức AM-GM để tìm ra giá trịlớn nhất. Tuy nhiên, phương pháp hàm số sẽ cho chúng ta một lời giải tự nhiên mà không đòi hỏibất cứ một sự sáng tạo đặc biệt nào: V 0.x/ D 12x2 8x C 1 D .2x 1/.6x 1/: 1Từ đó ta có V .x/ chỉ có thể đạt giá trị lớn nhất và giá trị nhỏ nhất tại các điểm 0 (biên), (điểm 6 1dừng), (biên). Vì 2 Â1à Â1à 2 V .0/ D V D 0; V D ; 2 6 27 D 21nên ta suy ra Vmax khi x D : 27 6 111Tạp chí Epsilon, Số 05, 10/2015Bài tập 1.1. Hãy giải bài toán trên với miếng thép có kích thước a b bằng một trong cácphương pháp sau :.a/ Dùng bất đẳng thức AM-GM..b/ Dùng đạo hàm.Ví dụ 1.2. Qua một điểm nằm trong một góc cho trước, hãy kẻ đoạn thẳng có độ dài ngắn nhấtcó đầu mút nằm trên các cạnh của góc.Lời giải. Bổ đề 1 đảm bảo sự tồn tại của đoạn thẳng ngắn nhất. Giả sử đoạn thẳng ngắn nhất làAB và điểm nằm trong góc là M: Qua M ta kẻ một đường thẳng khác là A0B0: Gọi là góccó hướng giữa A0B0 và AB: Hàm số f . / D A0B0 đạt giá trị nhỏ nhất tại điểm D 0 do đóf 0.0/ D 0: Đặt ˛ D ∠OAB; ˇ D ∠OBA trong đó O là đỉnh của góc. Sử dụng định lý hàm sốsin cho các tam giác MAA0 và MBB0; ta có MA0 D MA sin ˛ ; MB0 D MB sin ˇ : sin.˛ / sin.ˇ C /Từ đó f D A0B0 AB D MA0 C MB0 MA MBNhư vậy Ä sin ˛ Ä sin ˇ D MA sin.ˇ C sin.˛ / 1 C MB / 1 D MA 2 sin 2 cos ˛ 2 MB 2 sin 2 cos ˛ C 2 : sin.˛ / sin.˛ C / "# f D 2 sin 2 MA cos ˛ 2 MB cos ˛ C 2 :  sin.˛ / sin.˛ C /Cho ! 0; ta được f 0.0/ D MA cot ˛ MB cot ˇ:Nhưng vì f 0.0/ D 0 nên ta có MA cot ˛ D MB cot ˇ: Kết quả này có ý nghĩa hình học như thế HB cot ˇnào? Hạ đường vuông góc OH xuống AB: Dễ dàng kiểm tra được rằng D : Mặt khác HA cot ˛MA cot ˇ D ; suy raMB cot ˛ MA D HB; MB D HA:Như vậy đoạn thẳng ngắn nhất AB được đặc trưng bởi tính chất sau: Hình chiếu của O lên ABđối xứng với M qua trung điểm của AB:Nhận xét. Tại sao chúng ta chỉ tìm ra đặc trưng hình học của đoạn thẳng AB mà không nêu racách dựng của nó ? Vấn đề là với một vị trí tổng quát, lời giải này không thể dựng được bằngthước và compa. Trong thực tế, có nhiều bài toán cực trị ta chỉ đưa ra được các tính chất đặctrưng của lời giải chứ không tìm được lời giải mang tính xây dựng.Bài tập 1.2. Đường thẳng đi qua một điểm nằm trong một góc, cắt góc này thành một tam giáccó diện tích nhỏ nhất. Hãy tìm lời giải hình học và lời giải giải tích cho bài toán này.Bài tập 1.3. Tương tự với chu vi nhỏ nhất, hãy tìm cả lời giải hình học lẫn lời giải giải tích. 112Tạp chí Epsilon, Số 05, 10/2015Bài tập 1.4. Qua một điểm nằm trong góc vuông hãy kẻ một đường thẳng sao cho OA C OBnhỏ nhất .O là đỉnh góc vuông và A; B là giao điểm của đường thẳng với các cạnh góc vuông).Với bài toán tìm giá trị lớn nhất và giá trị nhỏ nhất của một hàm số trên đoạn Œa; b ta có một sốtrường hợp đặc biệt đơn giản nhưng khá hiệu quả sau :Hàm đơn điệu: Nếu f 0.x/ 0 với mọi x thuộc .a; b/ thì hàm số f tăng trên Œa; b và ta cóf .a/ f .x/ f .b/ với mọi x thuộc Œa; b:Hàm lồi: Nếu f 00.x/ 0 thì hàm số f .x/ sẽ có nhiều nhất một điểm cực đại (nếu có thì đó sẽ làđiểm mà hàm số đạt giá trị lớn nhất) và giá trị nhỏ nhất của hàm số sẽ đạt được tại một trong haiđiểm biên.Ví dụ 1.3. (Đề thi Đại học khối A – 2008) Tìm tất cả các giá trị của tham số thực m sao chophương trình pp p p 2x C 4 2x C 2 6 x C 2 4 6 x D m;có đúng 2 nghiệm thực phân biệt.Lời giải. Hàm số pp p p f .x/ D 2x C 4 2x C 2 6 x C 2 4 6 x;xác định trên Œ0; 6 là tổng của các hàm lồi nên cũng là một hàm lồi. Vì thế f .x/ sẽ có nhiềunhất một điểm cực đại. Tính đạo hàm bậc nhất, ta được f 0.x/ D 1 1 1 1 p Cp p p: 2x 2 4 x3 6 x 246 xDễ thấy f 0.2/ D 0; suy ra 2 là điểm cực đại duy nhất. Hàm số sẽ có chiều biến thiên là tăng trên.0; 2/ và giảm trên .2; 6/: Từ đó dễ dàng suy ra phương trình f .x/ D m có hai nghiệm phânbiệt khi và chỉ khi pp maxff .0/; f .6/g Ä m < f .2/:Tức là 2 6 C 4 6 p m<3 2C 2 :Bài tập 1.5. (Olympic 30 - 4 - 1996) Tìm giá trị lớn nhất của hàm số f .x/ D x p C x2 C p Á 91 13 1 x2 ;trên đoạn Œ0; 1:Bài tập 1.6. (Bài toán về góc sút và khung thành) Cho một đường thẳng l và hai điểm A; B nằmvề cùng một phía đối với l: Tìm vị trí điểm M trên l sao cho góc ∠AMB lớn nhất.Bài tập 1.7. Tìm giá trị lớn nhất của hàm số p qp f .x/ D 2 sin x C 15 10 2 cos x:Bài tập 1.8. (Việt Nam 1993) Tìm giá trị lớn nhất và giá trị nhỏ nhất của hàm số pÁ f .x/ D x 1993 C 1995 x2 : 113Tạp chí Epsilon, Số 05, 10/2015Ví dụ 1.4. Nhà địa chất đang ở địa điểm A trong sa mạc, cách con đường đất 10 km .AB D 10km, với B là điểm trên con đường đất gần A nhất). Ông đang cần đi về điểm C; nằm trên conđường đất và cách B 50 km. Biết rằng nhà địa chất có thể di chuyển trên sa mạc với vận tốc 30km/h còn trên con đường đất với vận tốc 50 km/h. Hãy tìm phương án để nhà địa chất về đến Csau thời gian ít nhất. A BD CTa nhận xét rằng, nếu di chuyển với vận tốc không đổi thì đường đi với thời gian ít nhất cũng làđường đi với quãng đường ngắn nhất. Do đó, con đường đi ngắn nhất sẽ có dạng ADDC với Dlà một điểm nào đó trên BC:Đặt x D BD; ta dễ dàng tính được thời gian đi trên quãng đường ADDC là p 100 C x2 C 50 x : f .x/ D 30 50Từ đây ta có ba cách tiếp cận sau :Cách 1. (Dùng đạo hàm) Ta có f 0.x/ D p x 1D 1 5x pÁ 30 100 C x2 50 150 3 100 C x2 :Giải phương trình f .x/ D 0 ta dễ dàng tìm được nghiệm x D 15 và suy ra 2 fmin D f  15à 19 D: 2 15Vậy thời gian ít nhất để nhà địa chất đi về C là 19: 15 19Cách 2. Ta hơi láu cá một chút. Vì biết fmin D 15 nên ta sẽ chứng minh luôn điều này. Ta cóbất đẳng thức p 100 C x2 50 x C 19 30 50 ; 15tương đương với p 5 100 C x2 C 150 3x 190;hay 25.100 C x2/ 9x2 C 240x C 1600;hoặc .2x 15/2 0:Do đó ta có f .x/ 19 15 ; dấu bằng xảy ra khi và chỉ khi x D : 15 2 114Tạp chí Epsilon, Số 05, 10/2015 15Cách 3. Ta cũng lại dùng “điểm rơi” x D để đánh giá hàm f .x/ bằng bất đẳng thức 2Cauchy-Schwarz p 100 C x2 50 x f .x/ D C 30 50 pq 100 C x2 100 C 15 2 50 x 2 50 D C q 15 2 30 100 C 2 100 C 15 x C 50 x D 19 : 2 50 15 30 25 2Từ đó dẫn đến kết luận của bài toán. 19Bài tập 1.9. Nếu không biết trước fmin D 15 hãy tìm cách tiếp cận để giải bài toán theo cách 2:Bài tập 1.10. Nếu ta không biết điểm rơi x D 15 ; làm thế nào để áp dụng bất đẳng thức 2Cauchy-Schwarz theo cách 3 ?2. Cực trị hàm nhiều biếnVới công cụ cấp trung học phổ thông, một trong những phương pháp giải bài toán nhiều biến sốlà làm giảm dần các biến số bằng cách tìm cực trị theo từng phương. Ý tưởng của phương phápnày được minh hoạ bằng hình ảnh sau: Để tìm người cao nhất trong một nhóm người đang xếpthành m hàng, ta tìm người cao nhất trong từng hàng rồi so sánh những người cao nhất đó đểtìm ra người cao nhất tuyệt đối.Ta bắt đầu bằng một ví dụ kinh điển trong hình học.Ví dụ 2.1. Trong các tam giác nội tiếp trong một đường tròn cho trước, hãy tìm tam giác có diệntích lớn nhất.Lời giải 1. Không mất tính tổng quát, ta xét tam giác ABC nội tiếp trong đường tròn đơn vị vớiA.0I 1/ cố định và B.x1; y1/; C.x2; y2/ với điều kiện x12 C y12 D 1; x22 C y22 D 1 thì được bàitoán cực trị sau 8 ˇˇ.x1 1/y2 .x2 1/y1ˇˇ ! max ˆ 2 ˆ ˆ < ˆ x12 C y12 D 1 ˆ x22 y22 ˆ C D 1 :Bài toán cực trị có điều kiện 4 biến này có thể chuyển thành bài toán cực trị 2 biến bằng cáchtham số hoá đường tròn đơn vị, cụ thể đặt x1 D cos ˛; y1 D sin ˛; x2 D cos ˇ; y2 D sin ˇ taquy bài toán về việc tìm giá trị lớn nhất và giá trị nhỏ nhất của hàm số f .˛; ˇ/ D sin ˛ sin ˇ C sin.ˇ ˛/:Giữ ˛ cố định, xét f .˛; ˇ/ như một hàm số theo ˇ thì fˇ0 .˛; ˇ/ D cos ˇ C cos.ˇ ˛/: 115Tạp chí Epsilon, Số 05, 10/2015 ˛Từ đây ta tìm được các điểm dừng là ˇ D C k : Từ đó, để tìm f .˛; ˇ/max ta chỉ cần tìm giá 2trị lớn nhất của hàm ˛ Ck ˛ Ck sin ˛ sin Á Á C sin ˛; 22tức là giá trị lớn nhất của ˛Á ˛Á f1.˛/ D sin ˛ 2 sin 2 ; f2.˛/ D sin ˛ C 2 sin 2 : p 33 2Giải bài toán một biến này, ta tìm được đáp số f .˛; ˇ/max bằng ; chẳng hạn khi ˛ D ; p 23 4 33ˇ D 3 (và f .˛; ˇ/min bằng !). Đây chính là tình huống khi tam giác đã cho đều. 2Lời giải 2. Cũng bằng phương pháp tương tự, trước hết ta cố định cạnh BC là một dây cung độdài 2a của đường tròn bán kính R và tìm vị trí điểm A trên đường tròn sao cho diện tích tamgiác ABC lớn nhất. Có thể chứng minh được dễ dàng rằng điểm A cần tìm chính là trung điểmcủa cung lớn BC (nơi mà tiếp tuyến song song với BC /:Diện tích của tam giác cực đại này bằng pÁ f .a/ D a R C R2 a2 :Bây giờ ta chỉ cần tìm giá trị lớn nhất của f .a/ trên Œ0; R: Tính đạo hàm f 0.a/; ta được f 0 .a/ D R C p a2 a2 ; R2 p R2 a2 pp 3R2 R 3 3 :và f 0 .a/ D 0 khi và chỉ khi a D 2 ; từ đó ta tìm được fmax D 4Ví dụ 2.2. Cho tam giác đều ABC: Với mỗi điểm M nằm trong mặt phẳng tam giác, gọiD; E; F lần lượt là hình chiếu của M lên các đường thẳng .BC /; .CA/; .AB/: Tìm giá trị lớnnhất và giá trị nhỏ nhất của biểu thức MA C MB C MC : MD C ME C MFVí dụ 2.3. (Chọn đội tuyển Việt Nam 2001) Cho x; y; z là các số thực dương thoả mãn 2x C 4y C 7z D 2xyz:Tìm giá trị nhỏ nhất của biểu thức x C y C z:Lời giải. Rút z D 2x C 4y > 0 ta đưa bài toán về bài toán cực trị hai biến 2xy 7 8 y/ D xCy C 2x C 4y ! min < f .x; 2xy 7 : x > 0; y > 0; 2xy > 7 116Tạp chí Epsilon, Số 05, 10/2015Tính đạo hàm theo y; ta được f 0 .x ; y/ D 1 C 4.2xy 7/ 2x.2x C 4y/ D1 4x2 C 28 y .2xy 7/2 : .2xy 7/2Từ đó, ta tìm được, với mỗi x có định thì f .x; y/ đạt giá trị nhỏ nhất tại điểm 7r 7 y0 D 2x C 1 C x2 :Khi đó 11 r 7 f .x; y0/ D x C 2x C 2 1 C x2 D g.x/:Tính đạo hàm g0.x/ D 1 11 14 1 2x2 x3 : q 7 x2 1 CPhương trình g0.x/ D 0 tương đương với .2x2 11/2.x2 C 7/ D 784 (với điều kiện 2x2 > 11/có nghiệm x D 3: Đây chính là điểm cực tiểu (do f ! C1 khi x ! 0 và x ! C1/: Từ đó f .x; y/min D g.x/min D g.3/ D 15 : 2 15Vậy giá trị nhỏ nhất cần tìm là : 2Nhận xét. Ngoài các thủ thuật cơ bản như tham số hoá, thay thế và khử dần các biến số nhưtrong các ví dụ nêu trên, chúng ta còn có thể làm giảm số biến số của hàm số bằng cách sử dụngcác tính chất bất biến của hàm, ví dụ tính thuần nhất (không đổi đối với phép co dãn), tính đốixứng (không đổi với các chuyển vị, hoán vị) ...Ví dụ 2.4. (Đề thi Đại học khối B, 2008) Cho x; y là các số thực thoả mãn điều kiện x2Cy2 D 1:Tìm giá trị lớn nhất và giá trị nhỏ nhất của biểu thức 2.x2 C 6xy/ 1 C 2xy C 2y2 :Lời giải. Bài toán này có thể quy về một bài toán cực trị hàm một biến bằng cách tham số hoálượng giác quen thuộc x D cos t; y D sin t: Tuy nhiên, ở đây ta cũng còn có một cách tiếp cậnkhác: Thay số 1 ở dưới mẫu số bằng x2 C y2 D 1 để thu được một biểu thức thuần nhất, tức là 2.x2 C 6xy/ x2 C y2 C 2xy C 2y2sau đó dựa vào tính thuần nhất này để giảm số biến số của hàm số. Trước hết ta cần hiểu tại saolại có đẳng thức 2.x2 C 6xy/ D 2.x2 C 6xy/ min min C 2y2 : 1 C 2xy C 2y2 x2 C y2 C 2xy x2Cy2D1 .x;y/2R2n.0;0/ 117Tạp chí Epsilon, Số 05, 10/2015Rõ ràng ta có 2.x2 C 6xy/ D 2.x2 C 6xy/ min min C 2y2 : x2Cy2D1 1 C 2xy C 2y2 x2 C y2 C 2xy x2Cy2D1 2.x2 C 6xy/Nhưng do hàm số f .x; y/ D x2 C y2 C 2xy C 2y2 là hàm thuần nhất (bậc 0; tức là f .tx; ty/ Df .x; y// nên ta có 2.x2 C 6xy/ D 2.x2 C 6xy/ min min C 2y2 ; x2 C y2 C 2xy C 2y2 x2 C y2 C 2xy .x;y/2R2n.0;0/ x2Cy2D1(từ mọi điểm khác .0; 0/ đều có thể co hoặc dãn về 1 điểm nằm trên đường tròn đơn vị).Bây giờ ta cần tìm giá trị lớn nhất và giá trị nhỏ nhất của hàm số 2.x2 C 6xy/ f .x; y/ D x2 C y2 C 2xy C 2y2 ;với .x; y/ thuộc R2 n .0; 0/: xNếu y D 0 thì f .x; y/ D 2: Với y ¤ 0; ta đặt t D thì y 2.t 2 C 6t / f .x; y/ D t 2 C 2t C 3 D g.t /:Ta có g0.t / D .4t C 12/.t 2 C 2t C 3/ .2t C 2/.2t 2 C 12t / D 4.2t C 3/.3 t/ .t 2 C 2t C 3/2 .t 2 C 2t C 3/2 :  3ÃTừ đó tìm được gmin D g 2 D 6; gmax D g.3/ D 3: Chú ý giá trị ở vô cùng bằng 2:Bài tập 2.1. (Việt Nam MO 2004) Cho x; y; z là các số thực dương thoả mãn điều kiện.x C y C z/3 D 32xyz: Tìm giá trị lớn nhất và giá trị nhỏ nhất của biểu thức x4 C y4 C z4 P D .x C y C z/4 : t2 C 2t 1Bài tập 2.2. (Theo Việt Nam MO 2003) Cho f .t / D t 2 C 1 : Tìm giá trị lớn nhất và giá trịnhỏ nhất của biểu thức f .x/ f .y/ với x; y là các số thực thoả mãn điều kiện x C y D 1:Bài tập 2.3. (Đề thi cao đẳng khối A, B, D năm 2008) Cho x; y là các số thực thoả mãn điềukiện x2 C y2 D 2: Tìm giá trị lớn nhất và giá trị nhỏ nhất của biểu thức P D 2.x3 C y3/ 3xy: 118Tạp chí Epsilon, Số 05, 10/2015Bài tập 2.4. (Saudi Arabia 2015) Cho x; y; z là các số thực dương thỏa mãn điều kiện .x Cy C Â1 C 1 C 1à D 10: z/ xyzTìm giá trị lớn nhất và giá trị nhỏ nhất của biểu thức P D .x2 C y2 C  1 C 1 C 1à z2/ x2 y2 z2 :Ví dụ 2.5. Cho ba số thực a; b; c đôi một khác nhau, tìm giá trị nhỏ nhất của biểu thức Ä 1 1 1 : a2 C b2 C c2 b/2 C .b c/2 C .c a/2 .aLời giải. Hàm số f .a; b; c/ D Ä 1 1 1 ; a2 C b2 C c2 b/2 C .b c/2 C .c a/2 .athuần nhất bậc 0 còn hàm số g.a; b; c/ D 111 .a b/2 C .b c/2 C .c a/2 ;bất biến đối với phép tịnh tiến: g.a; b; c/ D g.a C t; b C t; c C t/: Sử dụng các tính chất nàyta có thể giảm số các biến số của bài toán tìm giá trị nhỏ nhất.Không mất tính tổng quát (do tính đối xứng !), có thể giả sử a > b > c: Đặt a b D x; b c D ythì c a D .x C y/ và a D c C x C y; b D c C y: Ta cóf .a; b; c/ D g.x; y; c/ D 3c2 C 2.x C 2y/c C .x C y/2 C y2 Ä1 C 1 C .x 1 : x2 y2 C y/2Cố định x; y khi đó g.x; y; c/ đạt giá trị nhỏ nhất khi c D c0 D x C 2y : Từ đó 3 g.x; y; c/min D g.x; y; c0/ D 2 .x2 C xy C y Ä 1 C 1 C .x 1 3 2/ x2 y2 C y/2 D h.x; y/:Do tính thuần nhất bậc 0 của hàm số h.x; y/; ta chỉ cần tìm giá trị nhỏ nhất của h.x; y/ vớix C y D 1; sau đó, sử dụng tính đối xứng của h.x; y/; ta biểu diễn h.x; y/ như một hàm theo 1t D xy với chú ý 0 < t W 4 2  1 2t à 2.1 t /3 h.x; y/ D .1 t/ t2 C 1 D D k.t/: 3 3t 2Ta có t /2.t C 2/ t 2 < 0; k0.t / D 2 .1 3 119Tạp chí Epsilon, Số 05, 10/2015 Â1 Â1à 9trên 0; nên kmin.t / D k 4 D: 4 2Vậy giá trị nhỏ nhất cần tìm là 9 đạt được, chẳng hạn khi x D y D 1 D 1 ;c ; tức là 22 11 2cD ; b D 0; a D : 2 2Bài tập 2.5. (British MO 1986) Cho x; y; z là các số thực thoả mãn điều kiện x C y C z D 0và x2 C y2 C z2 D 6: Tìm giá trị lớn nhất của biểu thức F D x2y C y2z C z2x:Bài tập 2.6. (Đề thi đại học khối D, 2008) Cho x; y là các số thực dương thay đổi. Tìm giá trịlớn nhất của biểu thức .x y/.1 xy/ .1 C x/2.1 C y/2 :Bài tập 2.7. (Chọn đội tuyển Việt Nam 1993) Cho x1; x2; x3; x4 là các số thực thoả mãn điều 1kiện 2 Ä x12 C x22 C x32 C x42 Ä 1: Tìm giá trị lớn nhất và giá trị nhỏ nhất của biểu thức A D .x1 2x2 C x3/2 C .x2 2x3 C x4/2 C .x2 2x1/2 C .x3 2x4/2:Bài tập 2.8. (Việt Nam MO 2002) Cho x; y; z là các số thực thoả mãn điều kiện x2Cy2Cz2 D 9:Chứng minh rằng 2.x C y C z/ xyz 10:Bài tập 2.9. (Việt Nam MO 2008) Cho x; y; z là các số thực không âm, đôi một khác nhau.Chứng minh rằng ta có bất đẳng thức Ä1 1 1 .xy C yz C zx/ y/2 C .y z/2 C .z 4: .x x/2Hỏi dấu bằng xảy ra khi nào ?3. Cực trị hàm nhiều biến dưới góc nhìn của Toán cao cấpVới những bài toán ở phổ thông, kể cả các bài toán thi học sinh giỏi các cấp, các kiến thức giảitích một biến là đủ để xử lý. Tuy nhiên, để có một góc nhìn tổng quát hơn, để giới thiệu nhữngnét đẹp của toán cao cấp, chúng ta có thể giới thiệu với các em một cách sơ lược về giải tíchnhiều biến, phương pháp nhân tử Lagrange. Đây cũng là phương pháp để sáng tạo các bài toánmới, kiểm tra các kết quả sơ cấp khác.Lưu ý, việc giới thiệu các kiến thức này cho đối tượng nào, ở mức độ nào và nhằm mục đích gì làđiều hết sức phải cân nhắc.Nguyên lý Fermat có thể mở rộng sang trường hợp nhiều chiều mà không có thay đổi gì đáng kể.Để tìm các giá trị cực trị của hàm f .x/; trong đó x D .x1; x2; : : : ; xn/ 2 Rn; ta tìm các điểmdừng từ hệ phương trình f 0 .x / D 0 , f0 .x1; x2; : : : ; xn/ D 0 .j D 1; 2; : : : ; n/; xj 120Tạp chí Epsilon, Số 05, 10/2015có số phương trình bằng số ẩn số.Sau đó ta sử dụng định lý Weierstrass (định lý tồn tại), thay đoạn Œa; b bằng tập compact A –tập đóng và bị chặn - trong không gian Rn: Đóng ở đây có nghĩa là nó chứa tất cả các điểm giớihạn của nó.Tương tự như trong trường hợp một chiều, ta cũng gặp vấn đề tìm các giá trị cực trị trong mộtmiền mở. Bổ đề dưới đây giúp chúng ta xử lý một số trường hợp như vậy.Bổ đề 3.1. Nếu hàm số f W Rn ! R liên tục và f .x/ ! C1 khi q jxj D x12 C x22 C C xn2 ! C1;thì nó đạt được giá trị nhỏ nhất trong Rn:Ví dụ 3.1. Trong các tam giác nội tiếp trong một đường tròn cho trước, hãy tìm tam giác có diệntích lớn nhất.Lời giải. Sử dụng định lý Weierstrass về sự tồn tại của giá trị lớn nhất và giá trị nhỏ nhất củamột hàm liên tục xác định trên một compact, ta suy ra tam giác A0B0C0 với diện tích lớn nhấttồn tại. Sử dụng lý luận hình học quen thuộc, ta suy ra tam giác A0B0C0 này phải đều.Ví dụ 3.2. Cho a; b; c là các số thực thỏa mãn điều kiện a b c; a 5; a C b 8;a C b C c D 10: Tìm giá trị lớn nhất của P D a2 C b2 C c2:Lời giải. Kết hợp các điều kiện ta suy ra các bộ .a; b; c/ thỏa mãn điều kiện đề bài nằm trongmột tập đóng, bị chặn (một hình phẳng thuộc mặt phẳng a C b C c D 10/: Suy ra tồn tại điểm.a; b; c/ sao cho P lớn nhất, những do a C b 8 nên c 2:Nếu a < 5 và c < b thì đặt m D min.5 a; b c/; ta thay .a; b; c/ bằng bộ .a0; b0; c0/ vớia0 D a C m; b0 D b m; c0 D c thì ta có a02 C b02 C c02 D .a C m/2 C .b m/2 C c2 D a2 C b2 C c2 C 2m2 C 2.a b/m > a2 C b2 C c2:Điều này mâu thuẫn. Vậy ta phải có a D 5 hoặc b D c:Nếu a D 5 thì b C c D 5 và2.b2 C c2/ D .b C c/2 C .b c/2 D 25 C .b c/2 D 25 C .5 2c/2:Do a C b 8 nên c 2: Suy ra 0 5 2c 1: Từ đó suy ra 2.b2 C c2/ 25 C 1; suyra b2 C c2 13; suy ra a2 C b2 C c2 38: 5  10 Ã2 100Nếu b D c thì do a 5 nên c 2: Ta có 40c C 100 D 6 c C: a2 C b2 C c2 D .10 2c/2 C 2c2 D 6c2 335 10 ; nên ta cóDo c33  10 Ã2 100  5 10 Ã2 100 75 6c C 6 C D < 38: 3 3 33 3 2 121Tạp chí Epsilon, Số 05, 10/2015Vậy giá trị lớn nhất cần tìm là 38:Ví dụ 3.3. (Định lý cơ bản của đại số) Một đa thức không đồng nhất hằng số với hệ số phức bấtkỳ luôn luôn có nghiệm phức.Lời giải. Xét một đa thức bất kỳ p.z/ và xét đại lượng jp.z/j như một hàm của hai biến sốthực x và y; trong đó z D x C iy: Theo bổ đề 3; hàm số này đạt giá trị nhỏ nhất tại một điểmz0 D .x0; y0/: Không mất tính tổng quát, bằng cách đổi biến số, có thể giả sử z0 D 0: Giả sửrằng tại điểm này hàm số p.z/ không bằng 0: Gọi k là số nguyên dương nhỏ nhất sao cho hệ sốcủa zk trong đa thức khác 0: Khi đó p.z/ D a0 C akzk C C anzn; k 1; ak ¤ 0:Ngoài ra a0 ¤ 0 vì a0 D p.0/ D p.z0/ ¤ 0: Bây giờ ta lấy một nghiệm phức u của phươngtrình a0 C akzk D 0; tức là một trong những căn phức bậc k của a0ak 1: Ta có jp.t u/j D ja0 C akt kuk C o.t k/j D j.1 t k/a0 C o.t k/j < a0 D p.0/;với t > 0 đủ nhỏ. Mâu thuẫn vì theo giả thiết, z0 D 0 là điểm hàm số đạt giá trị nhỏ nhất. Địnhlý được chứng minh.Ví dụ 3.4. (Đề thi chọn đội tuyển trường PTNK năm 1999) Cho x; y là các số thực thoả mãnđiều kiện 0 x; y 2 và 1 x C y 3: Tìm giá trị lớn nhất và giá trị nhỏ nhất của A D x2 C y2 C xy 3x 3y:Lời giải. Hàm số f .x; y/ D x2 C y2 C xy 3x 3y khả vi và liên tục trên compact D xácđịnh bởi các bất đẳng thức ở đề bài (D là một hình lục giác !) vì vậy f .x; y/ đạt giá trị lớn nhấtvà giá trị nhỏ nhất trên D: Các giá trị lớn nhất và giá trị nhỏ nhất này sẽ đạt được tại các điểmdừng và trên biên của D:Hệ phương trình tìm điểm dừng có dạng ( 2x C y 3 D 0 2y C x 3 D 0có nghiệm duy nhất .x; y/ D .1; 1/: Giá trị tại điểm này f .1; 1/ D 3: Trên biên x D 0 và 1 y 2; ta có f .x; y/ D y2 3y có giá trị lớn nhất là 9  3à 2 đạt tại .0; 1/; .0; 2/; có giá trị nhỏ nhất là đạt tại 0; : Tương tự trên biên 42 y D 0; 1 x 2: Trên biên x D 2 và 0 y 1; ta có f .x; y/ D y2 y 2; có giá trị lớn nhất là 2 đạt 9  1à tại .2; 0/; .2; 1/ và giá trị nhỏ nhất là đạt tại 2; : Tương tự trên biên y D 2 và 42 0 x 1: Trên biên x C y D 1; 0 x 1 ta có f .x; y/ D x2 x 2 có giá trị lớn nhất là 2 9 Â1 1à đạt tại .0; 1/ và .1; 0/ và giá trị nhỏ nhất là đạt tại ; : 4 23 122Tạp chí Epsilon, Số 05, 10/2015 Trên biên x C y D 3 và 1 x 2; ta có f .x; y/ D x2 3x có giá trị lớn nhất là 2 9 Â3 3à đạt tại .1; 2/; .2; 1/ và giá trị nhỏ nhất là đạt tại ; : 4 22Từ đó giá trị lớn nhất của f là 2 đạt tại các đỉnh của hình lục giác .0; 1/; .0; 2/; .1; 2/; .2; 1/;.2; 0/; .1; 0/ và giá trị nhỏ nhất là 3 đạt tại điểm .1; 1/:Nhận xét. Vì các compact có thể được mô tả bằng các bất đẳng thức hoặc các đẳng thức (ví dụ hình cầux2 C y2 C z2 D 1/ nên các bài toán cực trị trên compact có thể quy về bài toán cực trị có điều kiện. Vớinhững bài toán này, chúng ta sẽ sử dụng phương pháp nhân tử Lagrange để tìm lời giải.Ta giới thiệu nội dung phương pháp này thông qua trường hợp bài toán cực trị nhiều biến với mộtđiều kiện ràng buộc:Để tìm cực trị của hàm số f .x1; x2; : : : ; xn/ với điều kiện ràng buộc g.x1; x2; : : : ; xn/ D 0;ta xét hàm F . ; x1; x2; : : : ; xn/ D f .x1; x2; : : : ; xn/ C g.x1; x2; : : : ; xn/:Sau đó ta tìm cực trị của F: Chú ý rằng các điểm cực trị này đều thoả mãn điều kiện g.x1; x2; : : : ; xn/ D F 0 . ; x1; x2; : : : ; xn/ D 0;nên sẽ là cực trị của f với điều kiện ràng buộc g.x1; x2; : : : ; xn/ D 0:Ví dụ 3.5. Tìm giá trị giá trị nhỏ nhất của hàm số f .x; y/ D 5x2 C 2xy C 3y2 với điều kiện g.x; y/ D 7x2 C 2xy C 4y2–3 D 0:Lời giải. Xét L D f .x; y/ C g.x; y/: Đạo hàm theo các biến x và y; ta được ( 10x C 2y C .14x C 2y/ D 0 2x C 6y C .2x C 8y/ D 0Từ đây tính từ các phương trình rồi cho bằng nhau, ta được 10x C 2y D 6y C 2x 14x C 2y 8y C 2x : yTừ đó suy ra x D f 1; 2g: Thay vào phương trình g.x; y/ D 0; ta tìm được một số điểm “nghivấn” của cực trị. Tính các giá trị của hàm số f tại các điểm này, ta thu được giá trị nhỏ nhất đạttại các điểm  1 1à Â1 1à ;;; : .x; y/ D 33 3 3Từ đó dẫn đến kết luận của bài toán.Cuối cùng ta dùng đến định lý về sự tồn tại giá trị nhỏ nhất .g.x; y/ D 0 là phương trình củamột ellip, vì thế là compact). 123Tạp chí Epsilon, Số 05, 10/2015 n XBài tập 3.1. (Bài toán về Entropi cực đại) Với n số dương x1; x2; : : : ; xn sao cho xk; tìm kD1 n Xgiá trị nhỏ nhất của tổng xk ln.xk/: (tổng này với dấu trừ được gọi là entropi). kD1Bài tập 3.2. Tổng của 5 số thực bằng 1; tổng bình phương của chúng bằng 13 thì giá trị nhỏ nhấtcủa tổng lập phương của chúng bằng bao nhiêu ?Bài tập 3.3. Tổng của 5 số thực bằng 1; tổng bình phương của chúng bằng 11 thì giá trị lớn nhấtcủa tổng lập phương của chúng bằng bao nhiêu ?Ví dụ 3.6. (Chọn đội tuyển Việt Nam 2001) Cho x; y; z là các số thực dương thoả mãn điềukiện 2x C 4y C 7z D 2xyz: Tìm giá trị nhỏ nhất của biểu thức x C y C z:Lời giải. Xét L D x C y C z C .2x C 4y C 7z 2xyz/;khi đó hệ phương trình Lx D Ly D Lz D 0 có dạng 8 1 C .2 2yz/ D 0 ˆ 2zx/ D 0 < 2xy/ D 0 1 C .4 ˆ 1 C .7 :Từ đây ta tìm được 8 2yz D 2 C 1 ˆ ˆ ˆ ˆ ˆ 1 < 2zx D 4 C ˆ ˆ 2xy D 7 C 1 ˆ ˆ ˆ :Mặt khác, điều kiện x C 4y C 7z D 2xyz; có thể viết lại thành 247 C C D 1: 2yz 2zx 2xyThay các biểu thức vừa tìm được ở trên vào, ta tìm được 2 C 4 C 7 D 1: 2 C1 4 C1 7 C1Biến đổi tương đương, ta được phương trìnhPhương trình này có các nghiệm 112 3 C 50 2–1 D 0: p D 1; D 4 ˙ 2 (loại vì dẫn đến yz < 0/: Từ đó ta có 8 14 8 2yz D 10 ˆ < 2zx D 12 ˆ 2xy D 15 : 124Tạp chí Epsilon, Số 05, 10/2015 Â5ÃTừ đây tính được điểm dừng là .x; y; z/ D 3; ; 2 : Sự tồn tại của giá trị nhỏ nhất được đảm 2 Â5Ãbảo bởi bổ đề 3; do đó 3; ; 2 chính là điểm mà hàm số đạt giá trị nhỏ nhất. 2Bài tập 3.4. Cho a; b; c là các số thực dương cho trước và x; y; z là các số thực dương thayđổi thoả mãn điều kiện xyz D ax C by C cz: Chứng minh rằngxCyCz r 2bc r 2ca r 2ab bCcC d C cCaC d C aCbC d ;trong đó d là số thực dương xác định bởi phương trình a C b C c D 1: aCd bCd cCdVí dụ 3.7. Tìm điểm P nằm trong tam giác sao cho tổng các tỷ số độ dài các cạnh trên khoảngcách từ P đến các cạnh này đạt giá trị nhỏ nhất.Lời giải. Gọi a; b; c là độ dài các cạnh của tam giác và x; y; z là khoảng cách từ P đến cáccạnh tương ứng. Ta cần tìm giá trị nhỏ nhất của hàm số abc f .x; y; z/ D C C : xyzTrong đó các đại lượng x; y; z liên quan với nhau thông qua diện tích tam giác. Nối P với cácđỉnh tam giác, ta được ba tam giác con tổng diện tích bằng diện tích S của tam giác. Như vậyTa có bài toán: ax by czLập nhân tử Lagrange SD C C : 222 8 abc < f .x; y; z/ D C C ! min xyz : ax C by C cz D 2SL. ; x; y; z/ D a C b C c C .ax C by C cz 2S/: xyzHệ phương trình tìm điểm dừng có dạng 8a x2 C a D 0 ˆ ˆ ˆ ˆ ˆ b < ˆ y2 C b D 0 ˆ ˆ c ˆ z2 C c D 0 ˆ :Từ đây suy ra ngay rằng x D y D z: Tức là P cách đều các cạnh của tam giác. Suy ra P là tâmđường tròn nội tiếp tam giác. 125Tạp chí Epsilon, Số 05, 10/2015Ví dụ 3.8. (Bất đẳng thức Holder) Cho x1; x2; : : : ; xn là các số thực dương và p; q là các số 11dương thoả mãn điều kiện C D 1: Chứng minh rằng ta có bất đẳng thức pq n 1 1X n !p n !q xkyk Ä X xkp X xkq :kD1 kD1 kD1Lời giải. Do tính thuần nhất, ta chỉ cần chứng minh rằng nếunnX xkp D 1; X ykq D 1: .1/kD1 kD1thì n X xkyk Ä 1: kD1 n XTa cần tìm giá trị lớn nhất của xkyk với điều kiện ràng buộc .1/: Xét nhân tử Lagrange kD1 n n ! n ! 1C 1: X X xkp X ykqL D xkyk C kD1 kD1 kD1Hệ phương trình tìm điểm dừng có dạng( pxip 1 D 0; i D 1; : : : ; n yi Cxi C pyiq 1 D 0; i D 1; : : : ; nViết n phương trình đầu tiên dưới dạng yi D . p/xip 1; lấy luỹ thừa q rồi cộng lại vế theo vế,với chú ý rằng .p 1/q D p; ta suy ra p D 1; suy ra yi D xip 1: Đây là điểm dừng và là n Xđiểm hàm số xkyk đạt giá trị lớn nhất. Nhưng rõ ràng giá trị lớn nhất này bằng 1 nên ta có kD1điều phải chứng minh.Cuối cùng, chúng ta sẽ bình luận lời giải của một số bài toán bất đẳng thức dưới góc nhìn củatoán cao cấp.Ví dụ 3.9. (British MO 1986) Cho x; y; z là các số thực thoả mãn điều kiện x C y C z D 0 vàx2 C y2 C z2 D 6: Tìm giá trị lớn nhất của biểu thức F D x2y C y2z C z2x:Lời giải. Bài toán này có khá nhiều cách tiếp cận khác nhau. Nếu dùng phương pháp hàm số, tacó thể rút z D x y thay vào và đưa về bài toán hai biến:Cho x2 C xy C y2 D 3; tìm giá trị lớn nhất của F D x3 C 3x2y y3: 126Tạp chí Epsilon, Số 05, 10/2015Sau đó biến đổi điều kiện thành 3.x C y/2 C .x y/2 D 12 để đặt p x C y D 2 cos ; x–y D 2 3 cos ;và đưa bài toán về hàm một biến.Phương pháp hàm số cũng có thể được giải theo một cách khác đẹp đẽ hơn được hướng dẫn trongbài tập 25: Dưới đây ta trình bày một cách giải tuyệt đẹp sử dụng bất đẳng thức Cauchy-Schwarz.Ta viết 3F D x.2xy C z2/ C y.2yz C x2/ C z.2zx C y2/: .2/Từ đó, áp dụng bất đẳng thứcCauchy-Schwarz, ta có 9F 2 .x2 C y2 C z2/Œ.2xy C z2/2 C .2yz C x2/2 C .2zx C y2/2 D 6Œx4 C y4 C z4 C 4.x2y2 C y2z2 C z2x2/ C 4xyz.x C y C z/ D 6Œ.x2 C y2 C z2/2 C 2.xy C yz C zx/2 D 6.36 C 18/ D 36 9:Suy ra F 6: Phần dấu bằng xảy ra xin dành cho bạn đọc.Ở đây lời giải cứ như là từ không khí vậy ! Sau ít phút trấn tĩnh, ta bật ra câu hỏi: Làm sao có thểbiết mà tách 3F như ở .2/ để áp dụng bất đẳng thức Cauchy-Schwarz ?Thực ra, điều này không hoàn toàn mò mẫm và may mắn. Ta thử lý giải lời giải này dưới gócnhìn toán cao cấp, nếu áp dụng phương pháp nhân tử Lagrange cho bài toán tìm giá trị lớn nhấtcủa hàm F với điều kiện ràng buộc x C y C z D 0; x2 C y2 C z2 D 6: .3/;Ta sẽ xét hàm F .x; y; z; ; / D x2y C y2z C z2x C .x C y C z/ C .x2 C y2 C z2 6/:Ta có hệ tìm điểm dừng, ngoài hai phương trình .3/ sẽ còn các phương trình 8 2xy C z2 C C2 x D0 ˆ C2 y D0 < C2 z D0 2yz C x2 C ˆ 2zx C y2 C :Tất nhiên ta chỉ xét xyz ¤ 0; cộng ba phương trình này lại với chú ý x C y C z D 0 ta đượcD 0; và được 2xy C z2 2yz C x2 2zx C y2 D D D 2: .4/ xy zTuy không thể giải ra được cụ thể các nghiệm x; y; z nhưng nếu để ý chúng ta có thể thấy .4/chính là điều kiện xảy ra đẳng thức của bất đẳng thức Cauchy-Schwarz và điều đó lý giải tại saota lại thành công khi tách 3F trong .2/ và áp dụng bất đẳng thức Cauchy-Schwarz như ở trên.Ví dụ 3.10. Giải ví dụ 18 theo sơ đồ sau:.a/ Chứng minh rằng x; y; z 2 Œ 2; 2: 127Tạp chí Epsilon, Số 05, 10/2015.b/ Đặt t D xyz và tính t theo x; từ đó tìm miền giá trị của t:.c/ Đặt G D xy2 C yz2 C zx2: Hãy tính tổng F C G và tích F G theo t:.d / Từ đó suy ra công thức tính F theo t: Sẽ có hai giá trị cho F như nghiệm của một phương trình bậc 2:.e/ Tìm giá trị lớn nhất F (khi tìm giá trị lớn nhất, ta sẽ lấy nghiệm với dấu C/:Ví dụ 3.11. Với n 2 và x1; x2; : : : ; xn và y1; y2; : : : ; yn là 2n số thực thoả mãn điều kiện nnn X ai2 D 1; X bi2 D 1; X D 0: ai bi iD1 iD1 iD1 n !2 n !2 XX ai C bi Ä n:Chứng minh rằng iD1 iD1Lời giải. Bất đẳng thức khá khó chịu này có một lời giải hết sức ngắn gọn và ấn tượng. Đặt nn XXA D ai ; B D bi : Khi đó khai triển bất đẳng thức hiển nhiên iD1 iD1 1 Aai Bbi 2 0;ta được 1 2Aai 2Bbi C 2ABai bi C A2ai2 C B2bi2 0:Cho i chạy từ 1 đến n rồi cộng các bất đẳng thức lại vế theo vế, chú ý rằng nnn X ai2 D 1; X bi2 D 1; X D 0; ; ai bi iD1 iD1 iD1ta được A2 C B2 n;chính là điều phải chứng minh.Dưới góc nhìn của toán sơ cấp thì khó có thể giải thích được tại sao chúng ta lại nghĩ ra được lờigiải này, tại sao lại biết để bình phương các đại lượng 1 Aai Bbi rồi cộng lại ? Chúng ta sẽlại phải đổ cho “kinh nghiệm, óc phán đoán” hay “nhạy cảm toán học” ... Toán cao cấp sẽ giúpchúng ta giải thích được lời giải độc đáo này :Xét bài toán tìm giá trị lớn nhất của hàm số f .a; b/ D n !2 n !2 X X ai C bi ; i D1 i D1 nnnvới các điều kiện ràng buộc X ai2 D 1; X bi2 D 1; X D 0: ai bi i D1 i D1 i D1 128Tạp chí Epsilon, Số 05, 10/2015Lập nhân tử LangrangeLD n !2 n !2 n !n ! n X X 1 C Á X bi2 1C X ai2 X ai C bi C i D1 ai bi : i D1 i D1 i D1 i D1Các phương trình tìm điểm dừng có dạng ( 2A C 2 ai C bi D 0; i D 1; 2; : : : ; n 2B C 2Áai C bi D 0; i D 1; 2; : : : ; nTừ hệ này, nếu 4 Á 2 ¤ 0; thì tất cả các ai bằng nhau và tất cả các bi bằng nhau. Điều nàykhông thể xảy ra. Do đó ta phải có 4 Á 2 D 0: Lúc này, để hệ có nghiệm, ta lại phải có A2 2 BD D : 2ÁNgoài ra, ta có nn XX 2 ai / D 2A2 2: 0 D ai bi D ai . 2A iD1 iD1Suy ra 2 D 2A2 và D 2AB: Từ đó ta có điều kiện 1 Aai Bbi D 0: Như vậy tại điểmdừng ta có các hệ thức 1 Aai Bbi D 0 và đây chính là cơ sở để ta “mạnh dạn” thực hiện cácphép bình phương nói trên.Ví dụ 3.12. (IMO Shortlist 2007) Cho a1; a2; : : : ; a100 là các số thực không âm thoả mãn điềukiện a12 C a22 C C a1200 D 1: Chứng minh rằng a12a2 C a22 C a3 C C a1002a1 < 12 : 25 100Lời giải. Đặt S D X ak2akC1 (như thường lệ, ta xét các chỉ số theo modulo 100; tức là ta đặt kD1a101 D a1; a102 D a2/:Áp dụng bất đẳng thức Cauchy-Schwarz cho các dãy .akC1/ và .ak2 C 2akC1akC2/ và sau đó làbất đẳng thức Cauchy cho các số ak2C1 và ak2C2:Áp dụng các đánh giá hiển nhiên sau 100 100 !2 X ak2 ; X .ak4 C 2ak2ak2C1 C 2ak2ak2C2/ Ä kD1 kD1và 100 50 ! 50 !ta thu được X a22i 1 X a22i ; X ak2ak2C1 Ä iD1 iD1 kD1.3S /2 Ä 100 !2 50 ! 50 ! 50 50 !2 X ak2 C 4 X a22i 1 X a22i Ä 1 C X a22i 1 C X a22i D 2: iD1 iD1 iD1 iD1 iD1 129Tạp chí Epsilon, Số 05, 10/2015Từ đó p 2 12 SÄ 3 0:4714 < 25 D 0:48:Ta có điều phải chứng minh.Ở đây, các bước biến đổi và đánh giá đều dễ hiểu, mặc dù phức tạp hơn ví dụ trước. Tuy nhiên,cũng như ở lời giải của ví dụ 16; việc tách 100 3S D X akC1.ak2 C 2akC1akC2/ kD1khá khó hiểu và thiếu tự nhiên. Điều này sẽ trở nên dễ hiểu hơn nếu ta áp dụng phương phápnhân tử Lagrange và thấy rằng giá trị lớn nhất của biểu thức đề bài đạt được tại các giá trị của aithoả mãn hệ phương trình ak2 1 C 2akakC1 D 2 ak với mọi k D 1; 2; : : : ; 100: Chính sự tỷ lệtại điểm cực trị giúp chúng ta mạnh dạn sử dụng bất đẳng thức Cauchy-Schwarz để đánh giá.Bài tập 3.5. (IMO Shortlist 1995) Với a; b; c là các số thực dương cho trước và x; y; z là cácsố thực dương thay đổi thoả mãn điều kiện x C y C z D a C b C c: Tìm giá trị lớn nhất củabiểu thức 4xyz .a2x C b2y C c2z/:Bài tập 3.6. (IMO 1984) Cho x; y; z là các số thực không âm có tổng bằng 1: Chứng minh bấtđẳng thức 0 Ä xy C yz C zx 2xyz Ä 7 : 27Tài liệu tham khảo[1] J.Brinkhouse & V.Iu.Protasov, Lý thuyết cực trị qua các ví dụ đơn giản, Tạp chí “Truyền bá toán học” số 9 năm 2005; trang 32 55:[2] Nguyễn Văn Mậu, Bất đẳng thức - Định lý và áp dụng, Nhà xuất bản Giáo Dục, 2006:[3] Đoàn Quỳnh chủ biên, Tài liệu giáo khoa chuyên toán 11; 12; Đại số và Giải tích, Nhà xuất bản Giáo dục 2011; 2012:[4] V.Tikhomirov, Các câu chuyện về maximum và minimum, Nhà xuất bản MCCME, 2006:[5] The Vietnamese Mathematical Olympiad .1990 2006/ Selected Problems, Education Publishing House, 2007:[6] Các nguồn tài liệu trên Internet, các tạp chí Kvant, Toán học và Tuổi trẻ, đề thi Olympic Toán các nước, đề thi Đại học 2008: 130THẶNG DƯ BẬC HAI MODULO M Nguyễn Hồng Lữ - Trường THPT Chuyên Lương Thế Vinh - Đồng Nai LỜI GIỚI THIỆU Các số k-phương .mod p/ trong đó p là số nguyên tố đóng vai trò cực kì quan trọng trọng trong lí thuyết số. Các số k phương đã được giới toán học quan tâm nghiên cứu từ xa xưa, đặc biệt là từ thế kỷ 17 cho đến nay đã có rất nhiều công trình lí thuyết số nghiên cứu về tính chất và ứng dụng của số k-phương.Định nghĩa 1. Số k-phương .mod m/: Cho số nguyên dương m; m 2 và số nguyên a sao cho .a; m/ D 1. Nếu tồn tại số tự nhiên x sao cho: xk Á a .mod m/ thì ta nói a là số k-phương module m hay nói: a là số lũy thừa bậc k theo module m, cũng có người nói: a là thặng dư bậc k của m. Số chính phương mod m: Cho số nguyên dương m 2 và số nguyên a sao cho .a; m/ D 1. Nếu tồn tại số tự nhiên x sao cho x2 Á a .mod p/ thì ta nói a là số chính phương module m (cũng nói a là thặng dư bình phương của m)Số k–phương module nguyên tố đơn giản và hay gặp nhất chính là số 2-phương module nguyêntố mà trong ngôn ngữ lí thuyết số ta gọi là thặng dư bậc hai theo module nguyên tố hay số chínhphương mod p nguyên tố.1. Thặng dư bậc hai modulo p1.1. Khái niệmCho số nguyên m, cho số nguyên tố lẻ p: Nếu phương trình x2 Á a .mod p/ có nghiệm nguyên thì ta nói a là số chính phương module m (cũng nói a là thặng dư bình phương của m). Nếu phương trình x2 Á a .mod p/ không có nghiệm nguyên thì ta nói a là số phi chính phương module m (cũng nói a không phải là thặng dư bình phương của m). Nếu a Á 0 .mod m/ thì ta nói: a không phải là số chính phương module m, đồng thời a không phải là số phi chính phương module m.Kí hiệu:+) aQRp: a là số chính phương module p (viết tắt chữ quadratic residue)+) aNRp: a là số phi chính phương module p (viết tắt chữ quadratic nonresidue)Ví dụ 1.1. Vì 52 Á 4 .mod 7/ nên: 4 là số chính phương module 7 hay 4QR7 131Tạp chí Epsilon, Số 05, 10/2015 Vì 52 Á 3 .mod 1/1 nên: 3 là số chính phương module 11 hay 3QR11 Vì a2 Á6 2 .mod 3/ với mọi số nguyên a nên: 2 là số phi chính phương module 3 hay 2NR3. Vì b2 6Á 3 .mod 7/ với mọi số nguyên b nên: 3 là số phi chính phương module 7 hay 3NR7.Định lí sau đây cho ta mối quan hệ trong phép nhân của các thặng dư bậc hai .mod p/Định lý 1.1. Cho p là số nguyên tố lẻ. Ta có: Nếu: aQRp và bQRp thì abQRp Nếu: aQRp và bNRp thì abNRp Nếu: aNRp và bNRp thì abQRpMột cách tổng quát: Tích hai số cùng chính phương hoặc cùng phi chính phương module psẽ cho ta một số chính phương module p. Tích của một số chính phương và một số phi chínhphương module p sẽ cho ta một số phi chính phương module p.Chú ý: Bạn thấy định lí này giống với phép nhân dấu âm (-) với dấu dương(+) trong đại số: haisố cùng dấu thì tích là số dương; hai số trái dấu thì tích là số âm!Nhận xét: Ta có aQRm , .a C m/QRm: Điều này cho ta thấy: Nếu một phần tử của lớp thặngdư modulo m là số chình phương modulo m thì mọi phần tử của lớp đó cũng là thặng dư modulom.Ví dụ 1.2. Với modulo bằng 7: một số nguyên tố lẻ. Ta có:+) Tập hợp các số f1I 2I 4g là 3 số chính phương module 7+) Tập hợp các số f3I 5I 6g là 3 số phi chính phương module 7. 7 2 1 D 3 cho mỗi loại.Nhận xét: cóVí dụ 1.3. Với modulo bằng 13: một số nguyên tố lẻ. Ta có: +) Tập hợp các số 1I 3I 4I 9I 10I 12 là 6 số chính phương module 13 +) Tập hợp các số 2I 5I 6I 7I 8I 11 là 6 số phi chính phương module 13. 13 1Nhận xét: có 2 D 6 số cho mỗi loại.Từ các ví dụ 2, ví dụ 3 ta đi đến định lí sau:Định lý 1.2. Nếu p là số nguyên tố lẻ thì trong tập 1; 2; :::; p 1 số các thặng dư bình phương p1của p bằng số các số không phải là thặng dư bình phương của p và bằng 2 132Tạp chí Epsilon, Số 05, 10/2015Chứng minh. Để ý rằng: k2 Á .p k/2 .mod p/, nên trong tập hợp ˚12I 22I :::I .p 1/2« cóp 1 cặp đồng dư (Á6 0 ) với nhau theo mod p. Cho k chạy từ 1 đến p 1 đặt k2 Á ak ta 2 2 p1.mod p/ và ak thuộc tập hợp f1I 2I : : : I p 1g, như vậy là có 2 số chính phương mod p. p1Ta sẽ chứng minh ai ¤ aj với 1 Ä i ¤ j Ä 2 . Thật vậy (phản chứng):Giả sử có 1 Ä i ¤ j Ä p 2 1 mà ai D aj ; khi đó i 2 Á j 2 .mod p/ ) .i j /.i C j / chiahết cho p, mà i C j < p nên suy ra i j phải chia hết cho p ) i D j : điều này mâu thuẫnvới 1 Ä i ¤ j Ä p 2 1 .Vậy trong tập f1I 2I : : : I p p 1p 1 1gcó đúng số chính phương mod p và số phi chính 22phương mod p.Định lý 1.3. Nếu p là số nguyên tố lẻ và p không là ước số của a thì phương trình x2 Á a.mod p/ hoặc vô nghiệm hoặc có hai nghiệm không đồng dư theo mod p.Chứng minh. Nhận thấy rằng: Nếu x Á b .mod p/ là nghiệm của phương trình x2 Á a.mod p/ thì x Á b .mod p/ là nghiệm của phương trình x2 Á a .mod p/. Nếu lớp thặng dưŒb .mod p/ trùng với lớp thặng dư Œ b .mod p/, suy ra b . b/ phải chia hết cho p, hay 2bchia hết cho số nguyên tố lẻ p, do đó b chia hết cho số nguyên tố lẻ p (1).Mặt khác b2 Á a .mod p/ (2).Từ (1)và(2) ta suy ra a chia hết cho p: điều này trái giả thiết!2. Kí hiệu Legendre2.1. Kí hiệu LegendreCho số nguyên tố lẻ p và a là số nguyên: Nếu a là số chính phương module p thì ta kí hiệu:  a à D 1. p Nếu a không phải là số chính phương module p thì ta kí hiệu: Âaà D 1. p Nếu số nguyên tố p là ước số của a thì kí hiệu Âaà D0 p2.2. Một số tính chất liên quan kí hiệu LegendreTính chất 2.1. Với mọi số nguyên tố p (lẻ hay chẵn) ta luôn có:  1 à D 1 p 133Tạp chí Epsilon, Số 05, 10/2015Tính chất 2.2. Cho số nguyên tố lẻ p. Nếu: .a; p/ D 1; .b; p/ D 1 và a Á b .mod p/ thì: Âaà Âbà D: ppVí dụ 2.1. Xét xem số 2014 có phải là một số chính phương modulo 7 hay không?Chứng minh. Ta có: 2010 Á1 .mod Â2010 à D Â1à 7/ nên theo tính chất 2 ta có: ; mà theo 77 Â1à Â2010 Ãtính chất 1 ta có: D 1. Vậy D 1 hay 2014 là một số chính phương modulo 7 77Tính chất 2.3. Cho p là số nguyên tố lẻ: Với mọi số nguyên a,b ta luôn có:  ab à  a àb à : D p pp(Điều này nói lên: Kí hiệu Lagrange có tính chất nhân) Âa2 ÃHệ quả 2.1. Với a 2 Z ; p là số nguyên tố: a không chia hết cho p ta luôn có: p D 1.Ví dụ 2.2. Xét xem số 125 có phải là một số chính phương modulo 41 hay không?Chứng minh. Ta có: 125 Á 4 .mod 41/ nên theo tính chất 2 ta có: Â125à  4 à D ; mà theo 41 41  4 à  22 à  125 Ãtính chất 3 ta có: D D 1. Vậy suy ra: D 1 hay 125 là một số chính phương 41 41 41modulo 41.  an à  a ÃnHệ quả 2.2. Nếu: .a; p/ D 1 thì D (với n là số nguyên dương tùy ý ) ppVí dụ 2.3. Xét xem số 75 có phải là một số chính phương modulo 97 hay không?  75à  3:52 à  3 à52 à nên theo tính chất 5 ta cóChứng minh. Ta có: 75 D 3:52 D D 97 97 97 97(1), để ý rằng theo tính chất 3 ta có  52 à D 1 (2). 97Ta có 102 Á 3 .mod 97/ nên  3 à D 1 (3). 97Từ (1),(2),(3) ta suy ra Â75 à D1 97Tính chất 2.4. (Euler’s Criterion) Với mọi số nguyên a không chia hết cho số nguyên tố lẻ p ta Âaà p1luôn có: Á a 2 .mod p/. p p1Suy ra Tiêu chuẩn Euler: a là thặng dư bậc hai mod p , a 2 Á 1 .mod p/ 134Tạp chí Epsilon, Số 05, 10/2015Tính chất 2.5. (Tính chất này gọi là luật tương hỗ Gauss hay luật thuận nghịch bìnhphương): Với hai số nguyên tố lẻ p, q phân biệt ta luôn có:  p àq à 1/ :p 1 q 1 : 2 D . : 2 qp Âpà p 1 q 1  q à 2 :Luật này có thể viết: D. 1/ : 2 qpHệ quả 2.3. Nếu một trong hai số nguyên tố lẻ p,q có dạng 4k C 1 thì: Âp à D  q à qpNếu cả hai số nguyên tố lẻ p, q có dạng 4k C 3 thì: Âp à D Âqà . qpVí dụ 2.4. Xét xem 13 có phải là số chính phương modulo 17 hay không?Chứng minh. Theo luật tương hỗ ta có: Â13 à D . 13 1 : 17 1 Â17 à 2 : 1/ 2 17 13hay: Â13 à Â17 Ãmặt khác ta có: D ;Từ đó, ta có: Â13 à D 1. 17 13 17 22 Á 17 .mod 13/ ) Â17 à D 1: 13 Â2à p2 1Tính chất 2.6. Cho p là số nguyên tố lẻ; ta có: D . 1/ 8 : pTính chất 2.7. Cho p là số nguyên tố lẻ; ta có: Â2à 1/Œ pC1  D. 4 pTừ các tính chất trên ta có thể chứng minh được các mệnh đề quan trọng sau đây:T1: 1 là số chính phương modulo p (với mọi số nguyên tố p dù chẵn hay lẻ)Chú ý: Từ tính chất T2 đến T12 thì p là số nguyên tố lẻ.T2: 1 là số chính phương modulo p , p Á 1 .mod 4/T3: 1 không là số chính phương modulo p , p Á 1 .mod 4/T4: 2 là số chính phương modulo p , p Á ˙1 .mod 8/T5: 2 không là số chính phương modulo p , p Á ˙3 .mod 8/T6: 2 là số chính phương modulo p , p Á 1; 3 .mod 8/ 135Tạp chí Epsilon, Số 05, 10/2015T7: 3 là số chính phương modulo p , p Á ˙1 .mod 1/2T8: 3 không là số chính phương modulo p , p Á ˙5 .mod 1/2T9: 3 là số chính phương modulo p , p Á 1 .mod 6/T10: 3 không là số chính phương modulo p , p Á 1 .mod 3/T11: 5 là số chính phương modulo p , p Á ˙1 .mod 5/T12: 5 là số phi chính phương modulo p , p Á ˙2 .mod 5/.Bổ đề 2.1. Bổ đề Gauss: Cho số nguyên a, số nguyên tố lẻ p. p 1 m Ä 2k a ÂaÃTa đặt m D ;S D X D. 1/S . ta có: 2 pp kD1Có mối liên hệ nào không giữa số chính phương modulo p và căn nguyên thủy mod p? Câu trảlời cho bởi định lí sau:Định lý 2.1. Cho số nguyên tố lẻ p. Cho g là một căn nguyên thủy .mod p/. Cho a là một sốnguyên. Ta có: a là số chính phương mod p , a Á g2k .mod p/.Định lí trên suy ra rằng: Mỗi lũy thừa bậc chẵn của một căn nguyên thủy mod p nguyên tố sẽ làthặng dư bậc hai mod p nguyên tố!Ví dụ 2.5. 2 là căn nguyên thủy mod 11. Theo định lí trên ta có: Các số nguyên: 4; 16; 64;256; 1024 là các số chính phương mod 11, bởi vì: 4 D 22; 16 D 24; 64 D 26 ; 256 D 28;1024 D 210.3. Các ví dụ minh họaVí dụ 3.1. Xét xem số 6 có phải là một số chính phương modulo 73 hay không?  6 à  2 à3 ÃChứng minh. Ta có: D (1). 73 73 73 Â2à 732 1Theo tính chất 8 ta có: D . 1/ 8 D 1 (2). 73Vì 73 là số nguyên tố dạng 4k C 1 nên theo luật tương hỗ Gauss ta có:  3 à D Â71 à (3); để ý 71 3rằng: 22 Á 73 (mod 3) suy ra  71 à D 1 (4). 3Từ (1),(2),(3),(4) ta có Â6à D 1 hay 6 là một số chính phương modulo 73. 73  26 ÃVí dụ 3.2. Tính: 73  26 à D Â. 1/:2:13à DChứng minh. Theo tính chất nhân của kí hiệu Lagrange có 73 73 1à2 ÃÂ13à . 73 73 73Vì 73 là số nguyên tố nên theo tiêu chuẩn Euler có:  1à 73 1  2 à 732 1 D . 1/ 2 D 1I D . 1/ 8 D 1 73 73 136Tạp chí Epsilon, Số 05, 10/2015Theo luật thuận nghịch bình phương Gauss (Gauss’s Quadratic Reciprocity Law) ta có: Â13 à D . 13 1 : 73 1 Â73 à D Â73 à 2 : : 1/ 2 72 13 13Mặt khác dựa vào tính chất: “Nếu: .a; p/ D 1; .a; p/ D 1 và a Á b .mod p/ Âaà D thì: pÂbà ” suy ra 73 Á 8 .mod 1/3 nên  73 à  8 à  23 à  2 Ã3 = = = (hệ quả t/c nhân) ; màp 13 13 13 13Â2à 132 1  73à D . 1/ 8 D 1 ) D 1.13 13Vậy có:  26 à D 1. Hay –26 không là thặng dư bình phương modulo 73. 73 Â12 ÃVí dụ 3.3. Tính 23Chứng minh. Cách 1: Ta có  12 à  22:3 à  22 à3 à  2 Ã2 3 à DD D 23 23 23 23 23 23Â2à 232 1Mà D . 1/ 8 D 1. 23Theo luật thuận nghịch bình phương Gauss có: Â3à 1/ 3 1 : 23 1  23à D . Â2à 1/. 32 1 D. 2 : 1/ D . 2 1/ 8 D 1 23 3 3 Â12 ÃSuy ra 23 D 1.Cách 2: Vì 12 Á 11 .mod 23/. Suy ra  12à D  11 à D  1ÃÂ11 à 23 23 23 23 1à 23 1mà D . 1/ 2 D 1. Theo luật thuận nghịch bình phương Gauss có: 23 Â11 à 11 1 : 23 1 Â23 à D . Â1à 1/:1 D 1 D. 2 : 1/ D . 1/ 2 23 11 11 Â11 ÃSuy ra 23 D 1.Ví dụ 3.4. Xét xem phương trình: x2 103y 41 D 0 (*) có nghiệm nguyên hay không? 137Tạp chí Epsilon, Số 05, 10/2015Chứng minh. Phương trình (*) , x2 Á 41 .mod 1/03: Điều này cho ta thấy: Để trả lời câu hỏiphương tình (*) có nghiệm hay không thì ta phải trả lời câu hỏi số nguyên tố 41 có phải là sốchính phương modulo 103 hay không?Để ý rằng 41 là số nguyên tố dạng 4k C 1 còn 103 là số nguyên tố dạng 4k C 3 nên theo luậttương hỗ Gauss ta có:  41 à  103 à : D 103 41 Â103à  21ÃTheo tính chất 2 ta có = (vì 103 Á 21 .mod 41/). 41 41Theo tính chất 5 ta có  21à Â3:7 à  Ã à : : D D 3 7 41 41 41 41Theo luật tương hỗ Gauss ta có:  3 à D Â41 à mà 41 Á 1 .mod 3/ nên theo tính chất 2 ta 41 3có:  41à  1à D D1 33(theo hệ quả của tính chất 6). Tương tự:  7 à Â41 à  1à 41 D 7 D 7 D 1:  3 à7 à  41 ÃNhư vậy có: : D 1 suy ra có D 1. 41 41 103Suy ra 41 số chính phương modulo 103 nên (*) có nghiệm.Ví dụ 3.5. Chứng tỏ phương trình: x2 59y D 30 không có nghiệm nguyên .xI y/.Chứng minh. Ta có: Â30 à D  2 à3 à5 à 59 59 59 59mà Â2à Â3à Â59 à Â2à 1I D . : 1/ : 592 1 1/ 3 1 : 59 1 D . 1/ 8 D 2 D . 2 59 59 3 3 Â2à 32 1 Â3à D 1.( vì 59 Á 2 .mod 3/). Mà D . 1/ 8 D 1 suy ra: 3 59Ta có:  5 à D .  59 à Â59 à  1 à ( vì 59 Á  1à D : 1 .mod 5/), mà 1/ 5 1 : 59 1 D D 2 2 59 5 5 5 5 51 Â3à D 1. Vậy Â30 à D 1.. 1/ 2 D 1 suy ra: 59 59Suy ra không tồn tại số nguyên m sao cho m2 Á 30 .mod 59/, hay phương trình: x2–59y D 30vô nghiệm. 138Tạp chí Epsilon, Số 05, 10/20154. Thặng dư bậc hai modulo của hợp số4.1. Kí hiệu JacobiĐặt vấn đề : Như ta đã trình bày ở trên: Kí hiệu Lagrange vô cùng tiện lợi nhưng nó chỉ dùngcho modulo p là số nguyên tố, Lẽ tự nhiên bạn sẽ đặt câu hỏi: Nếu đối với modulo m không phảilà số nguyên tố thì sao? Để có câu trả lời chúng ta đi vào tìm hiểu kí hiệu Jacobi dành cho thặngdư bình phương modulo của hợp số:Định nghĩa 2. Cho a là số nguyên, m là số nguyên dương lẻ. aÁ sẽ được gọi là kíGiả sử m có sự phân tích tiêu chuẩn là m D p1s1:p2s2:p3s3:::pksk . Kí hiệu mJhệu Jacobi và được tính như sau: a Á  a Ãs1  a Ãs2  a Ãsk D : ::: : ./ mJ p1 p2 pkCần lưu ý bạn đọc bạn đọc: Vì m lẻ suy ra trong phân tích tiêu chuẩn m D p1s1:p2s2:p3s3:::pksk thìcác sồ nguyên tố pi (i D 1; 2; :::; k) là lẻ nên các kí hiệu ở vế phải của (*) được hiểu là kí hiệuLagrange)  1à  1à1 ÃVí dụ: D D . 1/:. 1/ D 1: 15 J 35Nhận xét:Khi m là số nguyên tố thì kí hiệu Jacobi trùng với kí hiệu Lagrange !Từ (*) ta suy ra: Nếu aÁ D 1 thì a không là thặng dư bậc hai của pi nào đó aÁ mJ Ãsi Âa(i D 1; 2; :::; k) vì nếu mọi D 1 thì D 1. p1 mTừ (*), khi aÁ D 1 thì không thể suy ra a là thặng dư bậc hai của mọipi (i D 1; 2; :::; k). m JBởi vì ký hiệu Jacobi là tích của các ký hiệu Legendre, nên có thể có hai ký hiệu Legendrebằng 1 và khi đó ký hiệu Jacobi bằng 1.Kí hiệu Jacobi : Cho a là số nguyên, m là số nguyên dương lẻ và không nhất thiết m là sốnguyên tốNếu a là số chính phương module m thì ta kí hiệu: aÁ D 1. mJNếu a là số phi chính phương module m thì ta kí hiệu: aÁ D 1. mJNếu số nguyên dương lẻ m là ước số của a thì kí hiệu aÁ D 0. mJ4.2. Các tính chất sau thường dùng để tính nhanh ký hiệu JacobiTC1: Nếu m là số nguyên tố lẻ thì kí hiệu aÁ aÁ trùng với kí hiệu . mJ m 139Tạp chí Epsilon, Số 05, 10/2015TC2: Với a là số nguyên; m là số tự nhiên lẻ aÁTC3: Với a là số nguyên; m là số tự nhiên lẻ 2 f 1I 0I 1g. mJ aÁ D 0 , gcd.aI n/ ¤ 1. mJ Âab à aÁ ÂbÃTC4: Với a,b là hai số nguyên; m là số tự nhiên lẻ D:. mJ mJ m J Âak à a ÁkHệ quả: D. mJ mJTC5: Với a là số nguyên; m, n là 2 số tự nhiên lẻ aÁ a Á aÁ D :. mn J mJ nJ a Á a Á2Hệ quả: D 2 f0I 1g: m2 mJ J aÁ ÂbÃTC6: Với a là số nguyên; m là số tự nhiên lẻ Nếu: a Á b .mod m/ thì: D : mJ mJTC7: Với a là số nguyên; m là số tự nhiên lẻ Â1à D 1: mJTC8: Với a là số nguyên; m là số tự nhiên lẻ  1à m1 1 if mÁ1 mod 4 D . 1/ 2 D 1 if mÁ3 mod 4 : mJTC9: Với a là số nguyên ; m là số tự nhiên lẻ  1à m2 1 1 if m Á 1I 7 mod 8 D . 1/ 8 D 1 if m Á 3I 5 mod 8 : mJTC10 (Luật tương hỗ Gauss ): Với m, n là hai số tự nhiên lẻ, .m; n/ D 1 thì mÁ n Á .m 1/.n 1/ D . 1/ 4 : n J mJTính chất này (giống như trong ký hiệu Legendre) và được gọi: luật thuận nghịch bìnhphương. Â2à m2 1TC11: Với m là số tự nhiên lẻ D . 1/ 8 : mJ Â2à D. 1/Œ mC1  :TC12: Với m là số tự nhiên lẻ 4 mJTC12: 2 là số chính phương modulo p , p Á ˙1 .mod 8/:TC13: 2 là số chính phương modulo p , p Á 1; 3 .mod 8/:TC14: 3 là số chính phương modulo p , p Á ˙1 .mod 12/:TC14: 3 là số chính phương modulo p , p Á 1 .mod 6/: Âaà p1Chú ý: Ta không thể mở rộng đồng dư thức Euler Á a 2 mod p với số nguyên tố p p aÁvà số nguyên a bất kỳ từ ký hiệu Legendre sang ký hiệu Jacobi là: Á m1 mod m mL a2với hợp số lẻ dương m. Hay nói khác đi: Tiêu chuẩn Euler không còn tác dụng đối với kíhiệu Jacobi. 140Tạp chí Epsilon, Số 05, 10/20154.3. Một ví dụ so sánh giữa kí hiệu Lagrange và kí hiệu JacobiSử dụng kí hiệu Lagrane: Tính: Â1001 à D‹ 9907Ta có: Â1001 à  7 à11 à13 à 9907 D 9907 9907 9907 .1/ .2/Mà:  7 à Â9907 à  2à 9907 D 7 D 7D1và  11 à Â9907 à  7 à Â11 à Â4à 9907 D 11 D 11 D 7 D 7 D 1 .3/  13 à D Â9907 à D  1 à D 1: .4/ 9907 13 13  1001ÃTừ (1)(2)(3)(4) có: 9907 D 1.Sử dụng kí hiệu Jacobi: Tính: Â1001 à D‹Ta có: 9907 J Â1001 à  9907 à  898 à  2 à  449 à DDD 9907 J 1001 J 1001 J 1001 J 1001 J  449 à Â1001 à Â103 à Â449 à  37 à Â103à D D DDD 1001 J 449 J 449 J 103 J 103 J 37 J  29 à  37 à  8 à  2 Ã3 D D D D D 1: 37 J 29 J 29 J 8JSo sánh: Sự khác biệt giữa hai hai cách tính toán là: khi tính bắng kí hiệu Legendre thì "tử số"phải được phân tích thành lũy thừa các số nguyên tố. Điều này làm cho việc tính toán bằng cáchsử dụng các kí hiệu Legendre chậm hơn so với cách tính bắng sử dụng kí hiệu Jacobi đáng kể.Ví dụ 4.1. Tìm nghiệm nguyên của phương trình: x2 D y3 5:Chứng minh. Ta có: Nếu y chẵn suy ra y3 Á 0 .mod 8/ ) y3–5 Á 5 .mod 8/ ) y3–5 Á 3.mod 8/ ) x2 Á 3 .mod 8/. Điều này không xảy ra vì: một số chính phương chỉ Á 0I 1I 4.mod 8/.Nếu y Á 3 .mod 4/ ) y3 Á 3 .mod 4/. Điều này không xảy ra vì: số chính phương chỉ Á 0I 1.mod 4/.Nếu y Á 1 .mod 4/ ) y D 4zC1. Thay vào phương trình đã cho có x2C4 D 4z 16z2 C 12z C 3) x2 C 4 Á 0 .mod 16z2 C 12z C 3/ ) x2 Á 4 .mod 16z2 C 12z C 3/ ) 4 là số chínhphương .mod 16z2 C 12z C 3/ nên sử dụng kí hiệu Jacobi ta có  4à D 1: ./ 16z2 C 12z C 3 J 141Tạp chí Epsilon, Số 05, 10/2015Ta lại có:  4 à  1 à4 à D 16z2 C 12z C 3 16z2 C 12z C 3 J 16z2 C 12z C 3 J J  1 à4 à D 16z2 C 12z C 3 J 16z2 C 12z C 3 J  1 à  2 Ã2 D 16z2 C 12z C 3 J 16z2 C 12z C 3 J D  1à D. 16z2C 12z C 3 1 1/8z2C6zC1 D 1: ./ 16z2 C 12z C 3 J 1/ 2 .Ta thấy (*) mâu thuẫn với (**) suy ra phương trình vô nghiệm.Ví dụ 4.2. Giả sử n D a2 C b2 ; u là ước của n và u Á 3 .mod 4/.Chứng minh rằng u là ướccủa a và b.Chứng minh. (Phản chứng) Giả sử u không là ước của a hoặc u không là ước của b; chẳng hạn:u không là ước của a, suy ra .aI u/ D 1. Do đó, tồn tại số nguyên y, z sao cho ay C uz D 1 hayay Á 1 .mod u/ (1).Vì u là ước của n D a2 C b2 nên a2 C b2 Á 0 .mod u/.Suy ra 1 C .by/2 Á .ay/2 C .by/2 D y2.a2 C b2/ Á 0 .mod u/.Từ đây suy ra phương trình: 1 C x2 Á 0 .mod u/ có nghiệm (nghiệm x D by).Suy ra x2 Á 1 .mod u/ (với u Á 3 .mod 4/): vô lí ! (Vì: 1 là số chính phương modulo ukhi u Á 1 .mod 4/)Ví dụ 4.3. Cho 5 số nguyên dương: z, y, k, m, n. Chứng minh rằng: xm C yn không chia hếtcho 4kxy–1.Chứng minh. Giả sử u D 4kxy–1 là ước số của xm C yn Nếu m, n cùng chẵn: m D 2m1I n D 2n1, suy ra xm C yn D .xm1/2 C .yn1/2 chia hết cho u nên .xm1/2 Á .yn1/2 .mod u/.Suy ra .yn1/2 ! D1)  1à D 1 , u Á 1.mod4/: Điều này trái giả thiết u uJ Ju Á 1 .mod 4/.Nếu m, n không cùng tính chẵn lẻ: Chẳng hạn: m D 2m1; n D 2n1 C 1, suy ra xm C yn D.xm1/2 C y.yn1/2 chia hết cho u.Do đó .xm1/2 Á y.yn1/2 .mod u/:Suy ra y.yn1/2 ! y Á .yn1/2 ! D1) D1 u uJ u J J 142Tạp chí Epsilon, Số 05, 10/2015 y Á  yn1 Ã2 yÁ ./ ) D1) D1 uJ u J uJ yÁ  1à yÁ+) Nếu y lẻ ta có D (1). uJ u J uJDo u Á 1 .mod 4/ nên  1à D 1 (2). uJVì .yI u/ D 1 và y, u đều lẻ nên theo luật thặng dư bình phương có: yÁ Âuà D. 1/ y 1 : u 1 D . 1/ y2 1 :.2kxy 1/ D . y1 1/ .3/ : 2 2 1/ 2 . uJ y JVì u Á 1 .mod y/, suy ra Âuà  1à  1à y 1 Âuà D ; mà D . 1/ 2 nên D yJ yJ yJ yJy1. 1/ 2 (4). yÁ yÁTừ (3), (4) suy ra D1) D 1: mâu thuẫn (*). uJ uJ+) Nếu y chẵn: y D 2h:z trong đó h là số nguyên dương, z là số nguyên lẻ. Khi đó y Á  2hz à  2h à z Á  2 Ãh z Á DD D uJ uJ uJ uJ uJ u J 2 à u2 1 z Á yÁMà D . 1/ 8 D 1; D 1 suy ra D 1: mâu thuẫn (*)uJ uJ uJNếu m, n cùng lẻ: m D 2m1 C1 ; n D 2n1 C1. Suy ra xm Cyn D x.xm1/2 Cy.yn1/2 chiahết cho u nên x.xm1/2 Á y.yn1/2 .mod u/ ) x2.xm1/2 Á xy.yn1/2 .mod u/ )xy Á xy Á x Á y Á D 1: Ta có D D 1: mâu thuẫn!uJ uJ uJ u J5. Bài tập thực hànhBài tập 5.1. Sử dụng kí hiệu Legendre và các tính chất liên quan đến kí hiệu đó để tính:  31 à Â111 à  105 à a/ b/ c/ . 641 991 1009Bài tập 5.2. Chứng minh rằng  85 à  97 à Â5Š Ã1. D D 1 3. D 1. 101 101 72.  116 à D  150 à D 110009 1009 143Tạp chí Epsilon, Số 05, 10/2015Bài tập 5.3. Tìm tất cả các số nguyên tố lẻ p sao cho 10 là số chính phương mod p. p1Bài tập 5.4. Cho p là số nguyên tố ; p Á 3 .mod 8/ và 2 cũng là số nguyên tố.Chứng tỏ p1rắng: là số chính phương mod p. 2Bài tập 5.5. Chứng minh rằng  2à  113 Ã1. 61 D 1 3. 137 D 1  29 à Â5Ã2. 541 D 1 4. 1583 D 1:Bài tập 5.6. Cho p là số nguyên tố Mersenne; p 5. Chứng tỏ rắng: 3 là số phi chính phươngmod p.Bài tập 5.7. Cho số nguyên dương b và số nguyên tố lẻ p không là ước của b. Chứng minh rằng:  b à  2b à Â3b à Â.p 1/b à p C p C p C ::: D 0: pBài tập 5.8. Cho số nguyên tố lẻ p D 8:k C 1. Gọi h D ordp.2/. Chứng minh rằng: h là ước p1của . 2Bài tập 5.9. Cho số nguyên tố lẻ p D 4k C 1 và p là số chính phương mod q với q là số nguyêntố lẻ. Chứng minh rằng: q là số chính phương mod p.Bài tập 5.10. Cho p, q là hai số nguyên tố sinh đôi với q D p C 2. Chứng minh rằng: Tồn tại sốnguyên a sao cho p là ước của a2 q , tồn tại số nguyên b sao cho q là ước của a2 p.Bài tập 5.11. Cho số nguyên tố p. Khi đó luôn tồn tại số tự nhiên m sao cho: m < 1 C pp vàm là số phi chính phương mod p.Bài tập 5.12. Chứng minh rằng: phương trình x2–149y D 107 có nghiệm nguyên.Bài tập 5.13. Giải phương trình: 2x2 C x Á 13 .mod 37/.Bài tập 5.14. Cho số nguyên tố p. Phương trình x2 C 2y2 D p có nghiệm nguyên .x; y/ khi vàchỉ khi p D 2 hoặc p Á 1; 3 .mod 8/.Bài tập 5.15. Chứng minh rằng phương trình: x2 4x–8 Á 0 .mod 23/ có nghiệm nguyên.Bài tập 5.16. Chứng minh rằng phương trình: x2 Á 31 .mod 71/ không có nghiệm nguyên.Bài tập 5.17. Tìm tất cả các số nguyên tố p sao cho 1. Phương trình x2 Á 10 .mod p/ có nghiệm 2. Phương trình x2 Á 3 .mod p/ có nghiệm 3. Phương trình x2 Á 3 .mod p/ có nghiệm 144Tạp chí Epsilon, Số 05, 10/20154. Phương trình x2 C 9x C 19 Á 0 .mod p/ có nghiệm.Bài tập 5.18. Giả sử p là số nguyên tố lẻ, m là số nguyên sao cho .m; p/ D 1. Tìm điều kiệncần và đủ để phương trình: x2 C py C m D 0 có nghiệm nguyên .xI y/.Bài tập 5.19. Nếu p là số nguyên tố lẻ có thể biểu diễn thành tổng hai số chính phương, p Á 1.mod4/.Bài tập 5.20. Chứng tỏ rắng: Nếu phương trình: x2 C 101y D z có nghiệm nguyên thì phươngtrình: x50–101y–1 D 0 có nghiệm nguyên.Bài tập 5.21. Cho a; b; c là các số nguyên, cho p là một số nguyên tố lẻ không là ước của a; b; c.Chứng minh rằng phương trình: .x2 ab/.x2 bc/.x2 ca/ D py luôn có nghiệm nguyên.xI y/Bài tập 5.22. Cho p là số nguyên tố. Chứng minh rằng 1. Phương trình x2–2y2 D p có nghiệm khi và chỉ khi p D 2 hoặc p Á ˙1 .mod 8/ 2. Phương trình x2 C 2y2 D p có nghiệm khi và chỉ khi p D 2 hoặc p Á 1; 3 .mod 8/ 3. Phương trình x2–3y2 D p có nghiệm nếu và chỉ nếu p Á 1 .mod 12/ 4. Phương trình 3x2–y2 D p có nghiệm nếu và chỉ nếu p D 2; 3 hoặc p Á 11 .mod 12/. Âp 1ÃBài tập 5.23. Cho số nguyên tố p dạng 4k C 1. Chứng minh rằng: x D 2 Š là mộtnghiệm của phương trình: x2 C 1 Á 0 .mod p/Bài tập 5.24. Cho p là số nguyên tố ; p Á 3 .mod 4/ ; biết rằng q D 2p C 1 cũng là số nguyêntố Chứng tỏ rằng: 2p–1 chia hết cho q.Bài tập 5.25. Chứng minh rằng tồn tại vô hạn các số nguyên tố dạng: 3k C 1, 4k C 1, 10k C 9Bài tập 5.26. Đặt:Ä 21008 Ä 21009 Ä 21010 Ä 22015 ÂÄ 1 Ä2 Ä 22 Ä 21007 ÃS D C C C:::C C C C ::: C2017 2017 2017 2017 2017 2017 2017 2017Chứng minh rằng: 2017:S là số chính phương. x2 2Bài tập 5.27. Chứng minh rằng: Với x, y là hai số nguyên bất kì thì số 2y2 C 3 không là sốnguyên.Bài tập 5.28. Kí hiệu En D 11:::1 là số tự nhiên mà trong cách viết trong hệ đếm cơ số 10 thìEn có n chữ số 1. Hãy xét xem E33 có chia hết cho 67 hay không?Bài tập 5.29. Chứng minh rằng: nếu Mn D 2n C 1 (n 2) là số nguyên tố thì 3 Mn 1 Á 1.modMn/. 2Bài tập 5.30. Với mỗi số nguyên dương n ta đặt Fn D 22n C 1 (số Phecma thứ n). Chứng minhrằng 145Tạp chí Epsilon, Số 05, 10/20151. Fn là số nguyên tố , 3 Fn 1 Á 1.modp/, trong đó p là số nguyên tố. 22. Nếu p là một ước nguyên tố của Fn thì p có dạng: p D 1 C 2nC2:k (trong đó k là một số nguyên dương nào đó).Bài tập 5.31. Tìm tất cả các cặp số nguyên dương .x; n/ thoả mãn x3 C 2x C 1 D 2n. (Đề thi Olympic Toán của Serbia năm 2007)Bài tập 5.32. Cho p là một số nguyên tố; cho n là một số nguyên. Nếu tồn tại các số nguyên x,y sao cho p D x2 C ny2 thì . n/ là một số chính phương module p.Bài tập 5.33. Cho số nguyên dương a Á 3 .mod 4/. Khi đó tồn tại vô hạn số nguyên tố p Á 3.mod 4/ sao cho: phương trình x2 Á a .mod p/ không có nghiệm nguyên x.Bài tập 5.34. Cho p là số nguyên tố lẻ; m là số nguyên dương; a là một số nguyên sao cho.a; p/ D 1.1. Chứng tỏ rằng: Phương trình x2 Á a .mod pmC1/ có nghiệm , Phương trình x2 Á a .mod pm/ có nghiệm2. Chứng tỏ rằng: Phương trình x2 Á a .mod pm/ có đúng hai nghiệm ,  a à D 1. pBài tập 5.35. Tìm tất cả các số nguyên tố p sao cho p có thể biểu diễn dưới dạng: p D ˇˇx2 3y 2 ˇ ˇtrong đó x, y là những số nguyên khác 0.Bài tập 5.36. (USAMO 2008) Chứng minh rằng: Với mỗi số nguyên dương n luôn tồn tạin số nguyên dương k1 I k2 I ::: I kn nguyên tố cùng nhau từng đôi một và ki 2 với mọii D 1; 2; :::; n sao cho k1:k2:::kn 1 là tích của hai số nguyên dương liên tiếpBài tập 5.37. (Serbia 2008) Tìm tất cả các nghiệm nguyên không âm của phương trình: 12x Cy4 D 2008z.Bài tập 5.38. (Ba Lan 2007) Chứng minh rằng: phương trình: x2 C 5 D y3 không có nghiệmnguyênBài tập 5.39. Cho số nguyên dương n. Chứng minh rằng số các thặng dư bình phương mod 2n Ä 2n 1 1là: C 2. 3Bài tập 5.40. Cho số nguyên dương n và số nguyên tố lẻ p => Số các thặng dư bình phươngmod pn là: Ä pnC1 1 C1 2.p C 1/6. Các chú ý về lịch sửChú ý 1: Kí hiệu Legendre được Legendre sử dụng vào 1798, mà như chúng ta sẽ thấy, là mộttrong các kí hiệu thông minh và tiện lợi của toán học (Trong toán học có 3 kí hiệu được coi làtuyệt vời thông thái, đó là: Kí hiệu Legendre về thặng dư bậc 2, kí hiệu đồng dư (Á) do Gauss đềxuất; kí hiệu dx của Leibniz trong phép tính vi phân). 146Tạp chí Epsilon, Số 05, 10/2015Chú ý 2: Định lí tương hỗ thặng dư bậc hai được tiên đoán bởi Adrien Marie Legendre (vào cuốinhững năm 1700) và Leonhard Euler trong một thời gian khoảng 40 năm cố gắng chứng minhnhưng không thành, cuối cùng ông nêu định lí đó như một giả thuyết (vào khoảng năm 1744).Nhưng nhà toán học Đức vĩ đại Johann Carl Friedrich Gauss là người đầu tiên chứng minh địnhlí vào năm 1797, khi đó ông ở tuổi 19 (!). Gauss gọi đó là ’định lý vàng’ và rất tự hào về nó đếnmức ông tiếp tục tìm ra 8 cách chứng minh khác cho định lí cho đến cuối đời.Cuốn Reciprocity Laws: From Euler to Eisenstein (Luật tương hỗ bậc hai: Từ Euler đến Eisentein)của Franz Lemmermeyer, xuất bản năm 2000, thu thập các trích dẫn cho 196 chứng minh khácnhau của định lý này.Chú ý 3: Các tính chất trên được tác giả trích dẫn từ các tài liệu tham khảo (có danh mục ở cuốiđề tài này) Việc không chứng minh các tính chất trên nhằm giảm tính nặng nề và quá hàn lâmcho dề tài mà tôi chỉ quan tâm đến áp dụng chúng!Adrien-Marie Legendre [1752 – 1833]: sinh ngày 18 tháng 9 năm 1752 tại Paris, Pháp và mấtngày 09 tháng 1 năm 1833 tại Paris. Legendre đã được sinh ra trong một gia đình giàu có, học tại Học viện Paris Ma Zhalin. Ông được đào tạo về các lĩnh vực: khoa học giáo dục, giáo dục và đặc biệt là toán học. Thầy giáo dạy toán của ông là J. F. M. Abbe (Abbé) là một trong các nhà toán học được kính trọng lúc đó. Vào năm 1770 ở tuổi 18, Legendre đã bảo vệ luận án tiến sĩ toán học và vật lý, thông qua sự bảo trợ của Abbe. Điều kiện kinh tế khá giả, đủ để giúp Legendre tham gia vào các nghiên cứu khoa học. Tuy nhiên, vào những 1775-1780 ông mới bắt đầu tham gia giảng dạy toán học trong trường quân sự Paris. Côngviệc nghiên cứu của ông đã được sự chú ý của cộng đồng khoa học, vào năm 1782 đã được gianhậpViện Cơ học, năm 1785 được bổ nhiệm làm Viện trưởng, thay thế ch P. S. Laplace (Laplace).Năm 1787, ông được bổ nhiệm làm Viện trưởng Viện Hàn lâm Khoa học Paris và Đài thiên vănGreenwich.Năm 1794, ông bắt đầu với tư cách là giáo sư Đại học toán học thuần túy. Ông mất năm 1813.Trong số học, ông phỏng đoán luật bình phương nghịch đảo (quadratic reciprocity law), sau đóđược chứng minh bởi Gauss. Ông cũng có một số công trình tiên phong trong phân bố của sốnguyên tố, và các ứng dụng của giải tích vào số học. Phỏng đoán của ông vào năm 1796 Định lýsố nguyên tố được chứng minh chặt chẽ bởi Hadamard và de la Vallée-Poussin vào năm 1898.Carl Gustav Jacob Jacobi (10/12/1804 – 18/02/1851): Là một nhà toán học người Đức gốc Do Thái, người đã có nhiều đóng góp cơ bản cho các lĩnh vực: hàm elliptic, động lực học, phương trình vi phân, lý thuyết số. Tên của ông là đôi khi được viết là Carolus Gustavus Iacobus Iacobi trong sách giáo hoa Latin do ông viết và tên đầu tiên của ông là Karl thỉnh thoảng được dùng. Jacobi là nhà toán học Do Thái đầu tiên được bổ nhiệm làm giáo sư tại một trường đại học Đức. 147Tạp chí Epsilon, Số 05, 10/2015Biểu tượng Jacobi là một sự tổng quát của biểu tượng Legendre. Được giới thiệu bởi Jacobi vàonăm 1837, nó được quan tâm về mặt lý thuyết trong số học mô-đun và các ngành khác của lýthuyết số, nhưng việc sử dụng chính của nó là trong lý thuyết số tính toán, test các số nguyên tốvà phân tích thành nhân tử nguyên tố; những ứng dụng quan trọng trong lí thuyết mật mã.Jacobi là người đầu tiên áp dụng hàm elliptic vào lý thuyết số, ví dụ chứng minh của định lýFermat về phân tích một số thành tổng 2 số chính phương và định lý Lagrange về phân tích mộtsố thành tổng 4 số chính phương, và kết quả tương tự cho phân tích một số thành tổng 6 và 8 sốchính phương Trong lý thuyết số ông tiếp tục công việc của C. F. Gauss: chứng minh mới luậttương hỗ bậc hai và giới thiệu các kí hiệu Jacobi; góp phần lớn các phát minh cho luật tương hỗ,tìm kiếm các tính chất của liên phân số, và các phát minh của các tổng.7. Thay cho lời kếtSự ghi nhận tôn kính: Lịch sử ngành Lí thuyết số (Number Theory) nói chung và Lí thuyết vềsố k–phương nói riêng ghi nhận công lao to lớn và lỗi lạc của các thiên tài Toán học như:Carl Friedrich Gauss(1777-1855):Nhà toán học kiệt xuất nhất nước Đức, ngay từ khi 3 tuổi đã tỏ rõ tàinăng toán học phi thường của mình.30 tuổi đã là giáo sư toán học ở trường đại học Go¨ttingen. Năm1804 ông trở thành thành viên Viện Hàn Lâm khoa học Anh. Nhữngcống hiến to lớn của Gauss bao trùm lên toàn bộ lĩnh vực toánhọc. Chính vì Gauss đã làm thay đổi cả bộ mặt của toán học nênthế giới đã công nhận ông là một trong những nhà toán học vĩ đạinhất trong lịch sử loài người, và được gọi là "Ông Hoàng của toánhọc".Leonhard Euler (1707 – 1783): Sinh năm 1707 ở Basel, một thành phố nhỏ tuyệt đẹp ven bờ sông Ranh (Rhin) của Thụy Sĩ. Khả năng toán học của Euler bộc lộ rất sớm. Năm 13 tuổi, cậu bé đã là sinh viên trường đại học Tổng hợp Basel (Thụy Sĩ). Năm 1731, chàng thanh niên Euler 24 tuổi trở thành viện sĩ Viện hàn lâm Petersburg (Pê-tec-bua). Năm 1735, chính phủ Nga giao cho Viện hàn lâm nhiệm vụ tính toán thiên văn để lập bản đồ. Khi sơ bộ tính toán, các viện sĩ thấy phải ba tháng mới có thể hoàn tất công việc. Việc rất gấp, Euler đã nhận hoànthành trong... ba ngày đêm liên tục tính toán. Bằng tất cả năng lực sáng tạo phi thường của mình,trước sự kinh ngạc của mọi người, Euler đã làm xong chỉ trong một ngày đêm! Vì phải tập trungchú ý quá cao độ và căng thẳng, ông đã phải chịu tổn thất đau đớn: làm xong việc mắt bên phảibị hỏng, mắt trái yếu hẳn. Năm 1770, thầy thuốc tiến hành phẫu thuật chữa mắt cho ông nhưng 148Tạp chí Epsilon, Số 05, 10/2015sau khi mổ vài ngày, ông lại lao vào làm việc, tính toán không nghỉ nên mắt trái hỏng lại và từđó, ông bị mù hẳn. Năm đó, ông phải chịu nhiều bất hạnh: nhà cháy, của cải mất hết. Rồi hainăm sau, bà Euler qua đời. Người ta đã tưởng từ đó ông phải giã từ khoa học. Nhưng tình yêucủa ông đối với Toán học không hề giảm sút và sức mạnh sáng tạo của bộ óc thiên tài nơi ôngthật vĩ đại. Với trí nhớ kì diệu, khi đã mù, ông đọc cho các thư kí viết các phát minh của mình.Trong Toán học, không có nhà Toán học nào được nhắc đến nhiều như Euler. Những gì ngày naychúng ta còn học trong phần logarit và lượng giác ở chương trình phổ thông là hoàn toàn dựatheo cách trình bày của Euler. Ông còn là người đề ra nhiều kí hiệu Toán học, chẳng hạn quenthuộc nhất với chúng ta là kí hiệu số (pi). Nhà toán học Pháp La-pla-xơ (Laplace) gọi ông là"người thầy chung của tất cả chúng ta".Cuộc đời Euler là tấm gương sáng chói về lòng say mê lao động sáng tạo không mệt mỏi, vượtlên những ngăn trở của bất hạnh ngẫu nhiên; Khi đã hỏng mắt, trong 17 năm cuối đời, ông đãhoàn tất 416 công trình khoa học, tức là trung bình mỗi năm nghiên cứu thành công 25 côngtrình có giá trị xuất sắc!Ông từ trần vào mùa hè năm 1783. Ông để lại 865 công trình khoa học, có thể in thành 72 tậplớn, mỗi tập ngót 600 trang. Sau khi ông mất, Viện hàn lâm Petersburg, đã lần lượt công bố cácbản thảo của ông khoảng 47 năm mới hết.Pierre de Fermat (sinh ngày 20 tháng 8, 1601 tại Pháp – mất 1665): Là một học giả nghiệp dư vĩ đại, một nhà toán học nổi tiếng và cha đẻ của lý thuyết số hiện đại. Xuất thân từ một gia đình khá giả, ông học ở Toulouse và lấy bằng cử nhân luật dân sự rồi làm chánh án. Chỉ trừ gia đình và bạn bè tâm giao, chẳng ai biết ông vô cùng say mê toán. Mãi sau khi Pierre de Fermat mất, người con trai mới in dần các công trình của cha kể từ năm 1670. Năm 1896, hầu hết các tác phẩm của Fermat được ấn hành thành 4 tập dày. Qua đó, người đời vô cùng ngạc nhiên và khâm phục trước sứcđóng góp dồi dào của ông. Chính ông là người sáng lập lý thuyết số hiện đại, trong đó có 2 địnhlý nổi bật: định lý nhỏ Fermat và định lý lớn Fermat (định lý cuối cùng của Fermat).Tài liệu tham khảo[1] "250 Problems in Elementary Number Theory," Waclaw Sierpinski, 1994.[2] "Elementary Number Theory," David M. Burton, 1980.[3] "Elementary Number Theory," Giusefe Melfi, 1998.[4] "Elementary Number Theory," A.J. Hildebrand, 2011.[5] "Number Theory Structures, Examples, and Problems," Titu Andreescu Dorin Andrica.[6] "Quadratic Congruences Olympiad Training," Dusan Djukic.[7] "Elementary Number Theory", Beuker, 2012.[8] "Số học," Hà Huy Khoái, NXB. Giáo Dục, 2006.[9] Một số bài viết của các đồng nghiệp trên mạng1[sic].[10] Các bài giảng Số học Nguyễn Hồng Lữ (tài liệu lưu hành nội bộ). 1Chúng tôi giữ nguyên cách ghi này của tác giả. Chú thích của Ban Biên tập. 149Tạp chí Epsilon, Số 05, 10/2015150

Pages:
• 1 - 50
• 51 - 100
• 101 - 150
• 151 - 200
• 201 - 248

Click to View FlipBook Version