Luận văn Bài toán đẳng chu, bất đẳng thức đẳng chu trong mặt phẳng sơ cấp

Khoá luận tốt nghiệp GVHD: PGS.TS Lê Anh Vũ SVTH: Lê Thanh Bình Trang: 1 MỤC LỤC MỤC LỤC........................................................................................................ 1 LỜI NÓI ĐẦU ................................................................................................. 2 CHƯƠNG I: BẤT ĐẲNG THỨC ĐẲNG CHU TRONG MẶT PHẲNG SƠ CẤP...................................................................................... 3 1. Bài toán đẳng chu tổng quát trong mặt phẳng ............................................. 3 1.1. Dạng phát biểu gốc.................................................................................... 3 1.2. Dạng phát biểu tương đương..................................................................... 3 1.3. Chứng minh sự tương đương của hai phát biểu trên................................. 4 2. Định lý ( Bất đẳng thức đẳng chu tổng quát trong mặt phẳng).................... 4 3. Vài phép chứng minh bất đẳng thức đẳng chu tổng quát trong mặt phẳng . 5 3.1. Phép chứng minh sơ cấp của Steiner ........................................................ 5 3.2. Phép chứng minh cao cấp ........................................................................ 8 CHƯƠNG II: MỘT SỐ BÀI TOÁN ĐẲNG CHU TRONG HÌNH HỌC PHẲNG SƠ CẤP..............................................................................................12 1. Các bài toán về diện tích lớn nhất.........................................................................12 1.1. Loại gốc .............................................................................................................12 1.2. Loại mở rộng......................................................................................................22 2. Các bài toán về chu vi nhỏ nhất ............................................................................39 2.1 Loại gốc ..............................................................................................................39 2.2 Loại mở rộng.......................................................................................................43 PHẦN KẾT LUẬN........................................................................................ 60 TÀI LIỆU THAM KHẢO.............................................................................. 61 Khoá luận tốt nghiệp GVHD: PGS.TS Lê Anh Vũ SVTH: Lê Thanh Bình Trang: 2 LỜI NÓI ĐẦU - - - \[ - - - Bài toán đẳng chu và bất đẳng thức đẳng chu có lịch sử lâu đời từ thế kỷ thứ IV, III trước công nguyên nhưng hiện nay đang hồi sinh và phát triển mạnh mẽ. Bất đẳng thức đẳng chu trong mặt phẳng sơ cấp được biết đến từ thời cổ đại nhưng mới chỉ được chứng minh tương đối chặt chẽ trong nửa đầu của thế kỷ XIX và được chứng minh hoàn toàn chặt chẽ bằng nhiều cách khác nhau trong thế kỷ XX. Bất đẳng thức đẳng chu trong không gian sơ cấp có phép chứng minh khó và phức tạp hơn rất nhiều. Mục đích của khóa luận là giới thiệu một vài phép chứng minh đầy đủ về bất đẳng thức đẳng chu trong mặt phẳng cũng như trong không gian đồng thời tổng hợp một lớp bài toán đẳng chu phẳng và không gian. Tuy nhiên, vì thời gian không cho phép chúng tôi tự ý thu hẹp đề tài, chỉ trình bày một số phép chứng minh bất đẳng thức đẳng chu trong mặt phẳng và một lớp các bài toán đẳng chu phẳng. Vì vậy, khóa luận có tên là: BÀI TOÁN ĐẲNG CHU – BẤT ĐẲNG THỨC ĐẲNG CHU TRONG MẶT PHẲNG SƠ CẤP. Hy vọng trong thời gian tới khi có điều kiện nghiên cứu sâu hơn chúng tôi sẽ quay trở lại tìm hiểu vấn đề ở mức độ nâng cao hơn trong không gian. Cụ thể, nội dung khóa luận gồm hai chương: Chương 1: Bất đẳng thức đẳng chu trong mặt phẳng sơ cấp. Chương 2: Một số bài toán đẳng chu trong hình học phẳng sơ cấp. Mặc dù đã rất cố gắng nhưng bản khóa luận có thể còn có sai sót, rất mong quý thầy cô và các bạn đồng môn vui lòng chỉ bảo. Để hoàn thành bản Khóa luận này, tôi đã được sự hướng dẫn nhiệt tình của Phó Giáo sư – Tiến sĩ Lê Anh Vũ, sự giúp đỡ và chỉ bảo về thủ tục của các Thầy cô trong Khoa Sư phạm nói chung và Bộ môn Toán nói riêng. Tôi xin chân thành cảm ơn quý thầy cô! Xin kính chúc quý thầy cô nhiều sức khỏe, hạnh phúc và công tác tốt! SV thực hiện: Lê Thanh Bình Khoá luận tốt nghiệp GVHD: PGS.TS Lê Anh Vũ SVTH: Lê Thanh Bình Trang: 3 Chương I BẤT ĐẲNG THỨC ĐẲNG CHU TRONG MẶT PHẲNG SƠ CẤP - - - \[ - - - Chương này giới thiệu bài toán và bất đẳng thức đẳng chu trong mặt phẳng sơ cấp. Đối với bài toán phẳng, chúng ta đưa ra chi tiết hai phép chứng minh, một chứng minh sơ cấp của Steiner ( mà còn chưa chặt chẽ) và một chứng minh cao cấp hoàn toàn chặt chẽ có sử dụng các kiến thức của giải tích nhiều biến và hình học vi phân cổ điển. 1. BÀI TOÁN ĐẲNG CHU TỔNG QUÁT TRONG MẶT PHẲNG Bài toán đẳng chu được biết đến từ thời cổ đại. Bằng vẻ đẹp tự nhiên của mình, bài toán đẳng chu có một lịch sử vô cùng hấp dẫn (xem [1]). Công trình cốt yếu nhất giới thiệu được một chứng minh tương đối chặt chẽ cho bài toán đẳng chu được công bố năm 1841 bởi Jacob Steiner (1796-1863). Vào thời gian đó, bài toán đẳng chu là trung tâm của các cuộc tranh chấp giữa hai phương pháp: giải tích (tức là dùng các phép tính vi phân) và phương pháp tổng hợp của hình học thuần túy. Mặc dù thừa nhận giá trị của phương pháp giải tích, Steiner chỉ dùng phương pháp tổng hợp. Chứng minh của Steiner có một thiếu sót mà sau này được chỉnh lý lại bằng phương pháp giải tích. Để hiểu rõ hơn bản chất của bài toán đẳng chu, trước hết chúng ta phát biểu bài toán dưới hai dạng tương đương. 1.1.DẠNG PHÁT BIỂU GỐC Chứng minh rằng trong tất cả các hình phẳng với chu vi đã cho, hình tròn có diện tích lớn nhất. 1.2. DẠNG PHÁT BIỂU TƯƠNG ĐƯƠNG Chứng minh rằng trong tất cả các hình phẳng với diện tích đã cho, hình tròn có chu vi nhỏ nhất. Khoá luận tốt nghiệp GVHD: PGS.TS Lê Anh Vũ SVTH: Lê Thanh Bình Trang: 4 1.3. CHỨNG MINH SỰ TƯƠNG ĐƯƠNG CỦA HAI PHÁT BIỂU TRÊN Định lý 1 Hai phát biểu trên tương đương. Chứng minh Để tiện, ta ký hiệu phát biểu gốc là A, phát biểu còn lại là B. • Giả sử A đúng. Ta cần chứng tỏ B cũng đúng. Thật vậy, giả sử phản chứng rằng B sai. Khi đó, đối với hình tròn C đã cho, tồn tại một hình phẳng F có cùng diện tích với C nhưng chu vi nhỏ hơn chu vi của C. Ta co rút C về đường tròn C’ có cùng chu vi với F. Lúc đó diện tích của C’ nhỏ hơn diện tích của C, do đó cũng nhỏ hơn diện tích của F. Điều này mâu thuẫn với tính đúng của A. Mâu thuẫn này chứng tỏ B phải đúng. Tức là A kéo theo B. • Khẳng định ngược lại rằng B kéo theo A được lập luận tương tự. Bài toán đẳng chu liên quan mật thiết với bất đẳng thức đẳng chu trong mặt phẳng mà chúng ta sẽ phát biểu và chứng minh dưới đây. Nếu bất đẳng thức đẳng chu đã được chứng minh thì hệ quả hiển nhiên của nó là bài toán đẳng chu được giải quyết. Ngược lại, nếu bài toán đẳng chu đã được chứng minh thì lập tức suy ra ngay bất đẳng thức đẳng chu. 2. ĐỊNH LÝ (BẤT ĐẲNG THỨC ĐẲNG CHU TRONG MẶT PHẲNG) Cho hình phẳng đơn liên tùy ý C có diện tích bằng A (đvdt) và chu tuyến là một đường cong khép kín, 1C - từng khúc với chiều dài bằng hằng số L (đvđd). Khi đó ta có 24 A LΠ ≤ . Dấu “=” xảy ra khi C là hình tròn. Khoá luận tốt nghiệp GVHD: PGS.TS Lê Anh Vũ SVTH: Lê Thanh Bình Trang: 5 3. VÀI PHÉP CHỨNG MINH BẤT ĐẲNG THỨC ĐẲNG CHU TRONG MẶT PHẲNG 3.1. PHÉP CHỨNG MINH SƠ CẤP CỦA STEINER 3.1.1. Bao lồi và lý do tại sao bất đẳng thức đẳng chu chỉ cần phải chứng minh trong trường hợp miền lồi Bao lồi của miền Ω , ký hiệu là Ω , được định nghĩa là tập lồi nhỏ nhất chứa Ω . Do đó Ω= ∩{K / K là miền lồi phẳng chứa Ω}. Nếu Ω lồi thì Ω =Ω . Giả sử miền Ω không lồi, ta có thể xây dựng một miền lồi chứa Ω mà diện tích lớn hơn nhưng chu vi nhỏ hơn chu vi của Ω . Do đó, ta chỉ cần chứng minh bất đẳng thức đẳng chu đối với các miền lồi. Điều này được biện minh bởi bổ đề dưới đây. 3.1.2. Bổ đề 1 Cho Ω là hình phẳng đóng, bị chặn được bao quanh bởi đường cong khép kín 1C - từng khúc với bao lồi là Ω . Khi đó ta luôn có: ( ) ( ) ( )( ) ( )( ) ( ) ( ) i S S ii L L Ω ≥ Ω ∂ Ω ≤ ∂ Ω Nếu Ω không lồi, các bất đẳng thức trên là nghiêm ngặt. Chứng minh Đặt K = Ω . K phải chứa mọi điểm của Ω và chứa những đoạn thẳng nối hai điểm phân biệt bất kỳ của Ω . Tập các điểm trong của K không thuộc Ω được phân hoạch thành các thành phần liên thông iO rời nhau: int( ) iiK O− Ω = U . Nếu Ω lồi, ii OU là tập rỗng. Mỗi điểm X K∈∂ có Ω Ω Khoá luận tốt nghiệp GVHD: PGS.TS Lê Anh Vũ SVTH: Lê Thanh Bình Trang: 6 thể thuộc ∂Ω hoặc không. Nếu X ∉∂Ω , áp dụng định lý Caratheodory, X là một điểm nằm trên đường thẳng 2d ⊂ sao cho K nằm về một phía của d và tồn tại các điểm ,i iY Z d∈∂Ω∩ để X nằm giữa ,i iY Z . Giả sử iO là miền giữa d và Ω .Vì X ∉∂Ω nên iO chứa một phần hình tròn lân cận của X (có diện tích dương). Do đó ta có: ( ) ( ) ( ) ( )iiS K S S O S= Ω + > Ω∑ . Bây giờ ta cắt biên Ω thành hai phần tại ,i iY Z . Đặt iΓ là phần của ∂Ω từ iY đến iZ dọc iO∂ . Đặt i i iOΛ = ∂ − Γ là đoạn thẳng từ Yi đến iZ . Khi đó ( ) ( )i iL LΛ < Γ . Mặt khác ( )iiK O= Ω∪ U . Suy ra ( ) ( ) ( ) ( )( ) ( )i iiL K L L L L∂ = ∂Ω + Λ − Γ ≤ ∂Ω∑ . 3.1.3. Bổ đề 2 Trong tất cả các tam giác có độ dài hai cạnh cho trước a và b, tam giác vuông có diện tích lớn nhất. Chứng minh Giả sử tam giác ABC có độ dài hai cạnh , BC a AC b= = và diện tích bằng S. Khi đó ta có: 1 1sin 2 2 S ab C ab= ≤ . Dấu “=” xảy ra khi và chỉ khi: ( )sin 1 2 C C π⎛ ⎞= ⇔ =⎜ ⎟⎝ ⎠ . Tức là S lớn nhất khi và chỉ khi tam giác ABC vuông tại C. iΓ iΛ iO iZ iY Ω d Khoá luận tốt nghiệp GVHD: PGS.TS Lê Anh Vũ SVTH: Lê Thanh Bình Trang: 7 3.1.4. Bổ đề 3 Nếu hình phẳng đóng, bị chặn và lồi A bị chia bởi một dây cung nào đó (tức là một đoạn thẳng có hai đầu mút thuộc biên của A ) thành 2 phần có cùng chu vi nhưng diện tích khác nhau thì tồn tại hình 1A có cùng chu vi với A nhưng diện tích lớn hơn diện tích của A. P A' A'1 A" Q Chứng minh Giả sử PQ là một dây cung chia hình phẳng A thành hai phần A’, A’’ có cùng chu vi nhưng diện tích của A’ lớn hơn diện tích của A’’. Gọi '1A là hình đối xứng của A’ qua đường thẳng PQ. Khi đó hình 1A = A’ ∪ '1A có cùng chu vi với A nhưng diện tích lớn hơn diện tích của A. 3.1.5. Định lý 2 Cho C là hình phẳng, đóng, bị chặn và lồi trong mặt phẳng. Nếu C không là hình tròn thì tồn tại hình C’ có cùng chu vi như C nhưng diện tích lớn hơn. Nói cách khác, hình tròn có diện tích lớn nhất trong tất cả các hình phẳng có cùng chu vi. Chứng minh của Steiner Lấy P,Q là hai điểm biên của C mà nó chia C thành hai hình có chu vi bằng nhau. Vì C không là đường tròn nên tồn tại V C∈ sao cho 090PVQ ≠ . Gọi 1 2,B B là hai hình giới hạn bởi C và hai dây cung PV và QV. Khoá luận tốt nghiệp GVHD: PGS.TS Lê Anh Vũ SVTH: Lê Thanh Bình Trang: 8 Vì tam giác PVQ không vuông nên theo bổ đề 2, tồn tại tam giác vuông P’V’Q’ có ' ', ' 'PV P V QV Q V= = nhưng diện tích lớn hơn. Ta thấy diện tích hình S tạo bởi tam giác P’V’Q’ và hình 1 2,B B lớn hơn diện tích của tập hợp gồm 1 2,B B và PVQ. Suy ra diện tích của hình phẳng C’ gồm hợp của S và ảnh đối xứng S’ của nó qua P’Q’ sẽ lớn hơn diện tích của C nhưng có cùng chu vi với C. Từ chứng minh này, dễ dàng suy ra hệ quả là bất đẳng thức đẳng chu đúng. 3.1.6. Nhận xét Trên đây là cách chứng minh của Steiner được công bố vào năm 1841. Cách chứng minh này hoàn toàn sơ cấp và dễ hiểu. Tuy nhiên nhược điểm cơ bản của nó là đã thừa nhận một điều không hề hiển nhiên rằng bài toán đẳng chu tổng quát trong mặt phẳng có lời giải để từ đó suy ra lời giải là đường tròn. Nói cách khác Steiner mới chỉ chứng minh được rằng: nếu trong các hình phẳng có cùng chu vi tồn tại hình có diện tích lớn nhất thì hình đó phải là hình tròn. Để chứng minh của Steiner trở nên chặt chẽ, ta cần phải chứng minh sự tồn tại của hình phẳng có diện tích lớn nhất trong các hình phẳng có cùng chu vi. 3.2. PHÉP CHỨNG MINH CAO CẤP 3.2.1. Bổ đề 4 Cho A là diện tích của miền phẳng đơn liên (D) có chu tuyến là đường cong khép kín C đơn, C1 – từng khúc định hướng dương (tức là ngược chiều kim đồng hồ) xác định bởi phương trình tham số c(t) = ( x(t); y(t) ), t∈ [a, b]. Khi đó ta có ( ) ( ) ( ) ( ) ( )1. ' . ' . ' . ' 2 b b b a a a A y t x t dt x t y t dt x y y x dt= − = = −∫ ∫ ∫ (*) Chứng minh 1B P’ 2B1B Q V 2B V’ Q’ P Khoá luận tốt nghiệp GVHD: PGS.TS Lê Anh Vũ SVTH: Lê Thanh Bình Trang: 9 Ta có ( ) ( ) '( ) (1 0) b a C D x t y t dt odx xdy dxdy= + = −∫ ∫ ∫∫ ( theo công thức Green ) = ( )D dxdy A=∫∫ . Tương tự ta cũng có ( ) ( ). '( ) 0 b a C D y t x t dt ydx dy dxdy A− = − + = =∫ ∫ ∫∫ . ( ) ( ) ( ) 1 1( ) '( ) ( ) '( ) 2 2 b a C D x t y t y t x t dt ydx xdy dxdy A− = − + = =∫ ∫ ∫∫ . 3.2.2. Định lý 3 Cho C là một đường cong phẳng khép kín, đơn, C1- từng khúc với chiều dài là L; A là diện tích miền phẳng đơn liên giới hạn bởi C. Khi đó ta có 24 A LΠ ≤ . Chứng minh Lấy E và E’ là hai đường thẳng song song theo phương thẳng đứng không cắt C. Tịnh tiến chúng theo phương thẳng đứng cho đến khi cả hai tiếp xúc C ta nhận được hai tiếp tuyến ∆ và ∆’ của C song song song với nhau. Khi đó C thuộc dải song song giới hạn bởi ∆ và ∆’. Gọi 1S là đường tròn nhận ∆ và ∆’ là hai tiếp tuyến và không cắt C và O là tâm đường tròn 1S . Dựng một hệ trục toạ độ Đề các vuông góc gốc O có trục hoành vuông góc với ∆ và ∆’. Tham số hoá đường cong C bởi độ dài cung α (s) = ( x(s); y(s) ); s∈[0, L] sao cho C được định hướng dương, còn ∆ và ∆’ tiếp xúc với C lần lượt tại 0s = và 1s s= . Khoá luận tốt nghiệp GVHD: PGS.TS Lê Anh Vũ SVTH: Lê Thanh Bình Trang: 10 Giả sử phương trình tham số của 1S là: ( ) ( ) ( ) [ ] ( ); ( ) ( ); ( ) ; 0,s x s y s x s y s s Lα = = ∈ , Gọi 2r là khoảng cách giữa ∆ và ∆’, do đó đương nhiên 2r là đường kính của đường tròn 1S ; A là diện tích của 1S . Theo bổ đề 4, ta có : 0 ' L A xy ds= ∫ ; 2 0 'LA r yx dsπ= = −∫ . E’ O ∆ ∆’ E 0s = 1s s= 2r 1S α α y x C Khoá luận tốt nghiệp GVHD: PGS.TS Lê Anh Vũ SVTH: Lê Thanh Bình Trang: 11 Áp dụng bất đẳng thức Bunhiakopxki với chú ý ( ) ( )2 2' 'x y+ = ( )2'( )sα = 1, ta có ( ) ( ) ( ) ( ) ( )( ) 22 0 0 2 2 22 22 0 0 ' ' ' ' ' ' . L L L L A r xy yx ds xy yx ds x y x y ds x y ds Lr π+ = − ≤ − ≤ + + = + = ∫ ∫ ∫ ∫ Mặt khác, áp dụng bất đẳng thức Cauchy cho hai số dương A và 2rπ , ta có: ( )2 2 21 1. 4 A L2 2A r A r Lrπ π π≤ + ≤ ⇔ ≤ . Giả sử dấu “=” xảy ra. Khi đó ta phải có: ( ) ( ) ( ) 2 22 2 2 ; . ' ' ' ' A r x yx y r y x y x π⎧ =⎪⎪ +⎨ = = ± = ±⎪⎪ +⎩ . Nói riêng, x = ± ry’. Vì r không phụ thuộc vào việc chọn hướng ∆, ta có thể đổi vai trò x, y trong hệ thức cuối cùng để được y = ± rx’. Do đó ( ) ( )( )2 22 2 2 2' 'x y r x y r+ = + = . Suy ra C là đường tròn. Nói cách khác, nếu 24 A Lπ = thì C là đường tròn. 3.2.3. Nhận xét • Chứng minh này hoàn toàn chặt chẽ vì không còn dựa vào sự tồn tại của hình phẳng có diện tích lớn nhất trong các hình phẳng có cùng chu vi nữa. • Ngoài phép chứng minh trên, còn một vài phép chứng minh khác như chứng minh của Hurwitz (dùng bất đẳng thức Wirtinger), chứng minh của Minkowski (dùng bất đẳng thức Steiner và bất đẳng thức Brunn ), chứng minh của Hadwiger. Vì khuôn khổ của bản luận văn có hạn nên chúng tôi không giới thiệu các chứng minh đó ở đây. Độc giả nào quan tâm xin tham khảo tài liệu [1]. Chỉ xin nhấn mạnh lại rằng, việc có rất nhiều nhà Toán học từ cổ chí kim quan tâm đến bài toán và bất đẳng thức đẳng chu đã chứng tỏ rằng bài toán đẳng chu có một lịch sử hấp dẫn biết nhường nào. Khoá luận tốt nghiệp GVHD: PGS.TS Lê Anh Vũ SVTH: Lê Thanh Bình Trang: 12 Chương II MỘT SỐ BÀI TOÁN ĐẲNG CHU TRONG HÌNH HỌC PHẲNG SƠ CẤP - - - \[ - - - Chương này sẽ hệ thống lại các bài toán đẳng chu cơ bản trong hình học phẳng sơ cấp. Ở đây, chúng tôi phân biệt hai loại: bài toán đẳng chu gốc và mở rộng. Các bài toán đẳng chu loại gốc bao gồm: - Có yếu tố hằng về chu vi ; cần tìm giá trị lớn nhất của diện tích hoặc định dạng hình phẳng đạt giá trị lớn nhất về diện tích. - Có yếu tố hằng về diện tích; cần tìm giá trị nhỏ nhất của chu vi hoặc định dạng hình phẳng đạt giá trị nhỏ nhất về chu vi. Các bài toán đẳng chu loại mở rộng bao gồm: - Có chu vi không lớn hơn L0; cần tìm giá trị lớn nhất của diện tích hoặc định dạng hình phẳng đạt giá trị lớn nhất về diện tích. - Có diện tích không nhỏ hơn A0; cần tìm giá trị nhỏ nhất của chu vi hoặc định dạng hình phẳng đạt giá trị nhỏ nhất về chu vi. Lớp các bài toán đẳng chu mở rộng phong phú hơn và không kém phần hấp dẫn so với bài toán đẳng chu gốc. 1.CÁC BÀI TOÁN VỀ DIỆN TÍCH LỚN NHẤT 1.1 LOẠI GỐC Bài toán 1: Trong tất cả các tam giác với chu vi đã cho, hãy tìm tam giác có diện tích lớn nhất. Giải Xét tam giác bất kì ABC với độ dài các cạnh là a , b , c và chu vi 2 p a b c= + + (cho trước). Theo công thức Heron: ( )( )( ) S p p a p b p c= − − − Áp dụng bất đẳng thức Cauchy cho 3 số không âm p a− , p b− , p c− : Khoá luận tốt nghiệp GVHD: PGS.TS Lê Anh Vũ SVTH: Lê Thanh Bình Trang: 13 ( )( )( ) ( ) ( ) ( )3 3 3 p a p b p c pp a p b p c − + − + −− − − ≤ = ( )( )( ) ( )( )( ) ( )( )( ) 3 4 2 2 27 27 3 3 (3.1) 9 9 p pp a p b p c p p a p b p c p pp p a p b p c S ⇒ − − − ≤ ⇒ − − − ≤ ⇒ − − − ≤ ⇒ ≤ Đẳng thức xảy ra trong (3.1) khi và chỉ khi : p a p b p c− = − = − ⇔ a b c= = Vậy 2 3max( ) 9 pS = ; đạt được khi và chỉ khi ABC∆ đều. Kết luận: Trong tất cả các tam giác có cùng chu vi 2p thì tam giác đều cạnh 2 3 p có diện tích lớn nhất. Bài toán 2: Trong tất cả các hình chữ nhật có chu vi không đổi, hãy tìm hình có diện tích lớn nhất. Giải Xét hình chữ nhật bất kỳ ABCD với hai kích thước x, y và chu vi 2a (cho trước); suy ra ( )2 2a x y= + . Áp dụng bất đẳng thức Cauchy cho 2 số không âm x, y ta có: 2 2 2 (3.2) 2 4 4 x y a axy S+⎛ ⎞≤ = ⇒ ≤⎜ ⎟⎝ ⎠ Đẳng thức xảy ra trong (3.2) khi và chỉ khi : 2 ax y= = ⇔ ABCD là hình vuông. Vậy 2 max( ) 4 aS = ; đạt được khi và chỉ khi ABCD là hình vuông. Kết luận: Trong tất cả các hình chữ nhật có chu vi không đổi thì hình vuông có diện tích lớn nhất. Bài toán 3: Trong tất cả các hình bình hành có chu vi cho trước, hãy tìm hình có diện tích lớn nhất. Giải Xét hình bình hành ABCD bất kì với độ dài 2 cạnh là x , y ( )0, 0x y> > và chu vi ( )2 2p x y= + (cho trước). Gọi α là góc giữa 2 cạnh hình bình hành. Khoá luận tốt nghiệp GVHD: PGS.TS Lê Anh Vũ SVTH: Lê Thanh Bình Trang: 14 Khi đó diện tích .sin S xy xyα= ≤ Áp dụng bất đẳng thức Cauchy cho 2 số không âm x , y ta có: 2 x yxy +≤ ⇔ 2 2 2 2 2 4 x y p pxy +⎛ ⎞ ⎛ ⎞≤ = =⎜ ⎟ ⎜ ⎟⎝ ⎠ ⎝ ⎠ ⇔ 2 2 .sin sin 4 4 p pxy α α≤ ≤ ⇔ 2 4 pS ≤ (3.3) Đẳng thức xảy ra trong (3.3) khi và chỉ khi: sin 1 2 px y α =⎧⎪⎨ = =⎪⎩ ⇔ 0 90 2 px y α⎧ =⎪⎨ = =⎪⎩ ⇔ ABCD là hình vuông Vậy 2 max( ) 4 pS = ; đạt được khi và chỉ khi ABCD là hình vuông. Kết luận: Trong tất cả các hình bình hành có chu vi cho trước thì hình vuông có diện tích lớn nhất. Bài toán 4: Trong tất cả các tứ giác có cùng chu vi, hãy tìm hình có diện tích lớn nhất. Giải B I F G H EA CD Hình 3.1 Bổ đề: Cho tứ giác lồi ABCD có E, F, G, H lần lượt là trung điểm các cạnh AB, BC, CD, DA. Ta luôn có: ( ) ( ) 1. (3.4) 2 1 2 a FH AB CD EG BC AD ≤ + ≤ + (3.5) ( )( )ABCD 1. (3.6)4b S AB CD BC AD≤ + + Khoá luận tốt nghiệp GVHD: PGS.TS Lê Anh Vũ SVTH: Lê Thanh Bình Trang: 15 Chứng minh a. Gọi I là trung điểm AC, ta có: ( )1 2 2 AB CDFH IF IH FH AB CD+≤ + = ⇒ ≤ + ⇒ (3.4) được chứng minh, còn (3.5) được chứng minh tương tự. b. Dễ thấy: BEF BAC 1 4 S S= , DHG DAC1 4S S= , CFG CBD