(Luận văn) một số bất đẳng thức hình học trong tam giác thiết lập từ các bất đẳng thức số

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC QUY NHƠN NGUYỄN THỊ HẢO MỘT SỐ BẤT ĐẲNG THỨC HÌNH HỌC TRONG TAM GIÁC lu CẢM SINH TỪ CÁC BẤT ĐẲNG THỨC SỐ an n va p ie gh tn to d oa nl w LUẬN VĂN THẠC SĨ TOÁN HỌC nf va an lu z at nh oi lm ul z m co l gm @ an Lu n va ac th Bình Định - 2021 si BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC QUY NHƠN NGUYỄN THỊ HẢO MỘT SỐ BẤT ĐẲNG THỨC HÌNH HỌC TRONG TAM GIÁC lu CẢM SINH TỪ CÁC BẤT ĐẲNG THỨC SỐ an n va p ie gh tn to Chuyên ngành: Phương pháp Toán sơ cấp Mã số: 8460113 w d oa nl LUẬN VĂN THẠC SĨ TOÁN HỌC nf va an lu z at nh oi lm ul NGƯỜI HƯỚNG DẪN KHOA HỌC: PGS TS Lê Cơng Trình z m co l gm @ an Lu n va ac th Bình Định - 2021 si Mục lục Mở đầu Một số ký hiệu Tính đối ngẫu bất đẳng thức hình học bất đẳng thức số 1.1 Tính đối ngẫu bất đẳng thức hình học bất đẳng thức lu an số va 1.1.1 Mối liên hệ độ dài ba cạnh tam giác ba số thực n không âm tn to 1.1.2 Tính đối ngẫu 10 Các bất đẳng thức hình học cảm sinh từ đa thức đối xứng 26 p ie gh 1.2 Một số bất đẳng thức hình học tam giác 12 nl w 2.1 Bất đẳng thức đối xứng ba biến 26 oa 2.2 Các kết tổng quát P J van Albada K B Stolarsky 27 d 2.3 Các bất đẳng thức đặc biệt 30 lu Bậc 2, 30 2.3.2 Bậc 30 2.3.3 Bậc 32 nf va an 2.3.1 lm ul 2.4 Các bất đẳng thức tốt 34 z at nh oi Bậc 2,3 35 2.4.2 Bậc 36 2.4.3 Bậc 36 2.4.4 Bậc 36 z 2.4.1 gm @ 2.5 Về bất đẳng thức Gerretsen 37 l 42 m co KẾT LUẬN QUYẾT ĐỊNH GIAO ĐỀ TÀI LUẬN VĂN (bản sao) 43 an Lu TÀI LIỆU THAM KHẢO n va ac th si MỞ ĐẦU Bất đẳng thức nội dung khó chương trình tốn trung học phổ thông, thường gặp kỳ thi học sinh giỏi quốc gia quốc tế Đặc biệt, việc đưa hay chứng minh bất đẳng thức hình học tam giác, bất đẳng thức liên hệ đại lượng tam giác, cạnh, góc, diện tích, bán kính đường trịn ngoại tiếp, nội tiếp, , thường khơng dễ dàng lu Do đó, vấn đề cấp thiết đặt ra, nghiên cứu nguồn gốc, chất an bất đẳng thức hình học tam giác Có ý hầu hết n va bất đẳng thức hình học tam giác đưa bất đẳng thức liên hệ tn to cạnh, góc, bán kính đường trịn ngoại tiếp, bán kính đường trịn nội tiếp, nửa chu vi Hơn nữa, từ ba số thực không âm ta xây dựng ba cạnh gh ie tam giác, ngược lại p Chính thế, chuyển đổi qua lại bất đẳng thức số với bất nl w đẳng thức hình học tam giác Các bất đẳng thức số nghiên cứu oa nhiều tài liệu liên quan Trong đề tài tập trung nghiên cứu d bất đẳng thức hình học tam giác cảm sinh từ bất đẳng thức số lu an Nội dung luận văn dự kiến trình bày hai chương nf va Chương 1: Tính đối ngẫu bất đẳng thức hình học bất đẳng thức lm ul số Trong chương chúng tơi trình bày chuyển đổi qua lại cạnh z at nh oi tam giác với số thực không âm Trên sở chúng tơi trình bày tính đối ngẫu bất đẳng thức hình học bất đẳng thức số Cuối chương đưa số bất đẳng thức hình học tam giác dựa vào bất z @ đẳng thức số nghiên cứu gm Chương 2: Các bất đẳng thức hình học cảm sinh từ đa thức đối l xứng m co Trong chương chúng tơi trình bày số dạng bất đẳng thức hình học đặc biệt, cảm sinh từ đa thức đối xứng theo ba biến Cuối chương an Lu chúng tơi đưa số bất đẳng thức hình học dựa vào số đa thức va đối xứng đặc biệt n Tôi xin bày tỏ lịng biết ơn chân thành kính trọng sâu sắc đến PGS ac th si TS Lê Cơng Trình, thầy trực tiếp giảng dạy, hướng dẫn tạo điều kiện trình học tập nghiên cứu để tơi hồn thành luận văn cách tốt Tôi xin chân thành cảm ơn Ban giám hiệu, Phòng sau đại học, Khoa Toán Thống kê Trường Đại Học Quy Nhơn quý thầy cô giáo trực tiếp giảng dạy, giúp đỡ tơi q trình học tập trường Nhân đây, xin cảm ơn anh, chị học viên lớp Phương pháp Tốn sơ cấp khóa 21, gia đình bạn bè giúp đỡ, động viên tơi suốt q trình học tập hồn thành luận văn Mặc dù cố gắng hạn chế thời gian trình độ nên bên cạnh kết đạt được, luận văn tránh khỏi hạn chế thiếu sót Tác giả mong nhận góp ý thẳng thắn chân thành quý thầy cô bạn để luận văn hoàn thiện lu an Ngày 18 tháng năm 2021 Học viên thực n va p ie gh tn to d oa nl w nf va an lu z at nh oi lm ul z m co l gm @ an Lu n va ac th si Một số ký hiệu lu a, b, c a+b+c p= S, S∆ABC r, R ma la an n va : nửa chu vi tam giác : : : : : : : diện tích tam giác ABC bán kính đường trịn nội, ngoại tiếp tam giác bán kính đường tròn bàng tiếp ứng đỉnh A tam giác ABC đường cao nối từ đỉnh A tam giác ABC đường trung tuyến nối từ đỉnh A tam giác ABC đường phân giác nối từ đỉnh A tam giác ABC Tổng hoán vị, cyc viết tắc cyclic Chẳng hạn, cyc ∑ = ab + bc + ca gh tn to ∑ : độ dài cạnh BC, CA, AB tam giácABC ab p ie : tích xyclic, chẳng hạn, ∏ f ( a) = f ( a) · f (b) · f (c) d oa nl w ∏ nf va an lu z at nh oi lm ul z m co l gm @ an Lu n va ac th si Chương Tính đối ngẫu bất đẳng thức hình học bất đẳng thức số Trong chương chúng tơi trình bày chuyển đổi qua lại cạnh lu an tam giác với số thực khơng âm Trên sở chúng tơi trình bày tính đối ngẫu đưa số bất đẳng thức hình học tam giác dựa vào bất đẳng thức n va bất đẳng thức hình học bất đẳng thức số Cuối chương to tn số biết đến Các kết chương tổng hợp p ie gh trình bày lại từ tài liệu [3] Tính đối ngẫu bất đẳng thức hình học bất đẳng thức số 1.1.1 Mối liên hệ độ dài ba cạnh tam giác ba số thực không âm d oa nl w 1.1 nf va an lu Chúng ta bắt đầu với kết kinh điển lm ul z at nh oi Định lý 1.1 Ba số thực dương a, b, c độ dài ba cạnh tam giác   a + b > c,    (1.1) b + c > a,    c + a > b z gm @ l Chứng minh Nếu a, b, c độ dài ba cạnh tam giác ta có, theo bất đẳng n va ac th si an Lu   a + b > c,    b + c > a,    c + a > b m co thức ba cạnh tam giác, Ngược lại, a, b, c ba số dương thỏa mãn   a + b > c,    b + c > a,    c + a > b ta chọn hai điểm A B mặt phẳng cho AB = c Lấy A B làm tâm, dựng hai đường trịn bán kính tương ứng b a Khi đó, từ   a + b > c,    b + c > a,    c + a > b, lu ta có an | a − b| < c < a + b n va Điều hai đường tròn tâm A B vừa dựng trên, cắt ta to tn gọi giao điểm C Khi ấy, tam giác ABC tam giác có độ dài ba cạnh số ie gh thực dương a, b, c p Xét tam giác ABC với độ dài cạnh a, b, c đường tròn nội tiếp tam giác Tâm đường tròn nội tiếp, đỉnh ba tiếp điểm tạo thành ba cặp tam giác oa nl w d A nf va an lu lm ul E F C D z gm @ Do đó, ta đặt z at nh oi B I co l AF = AE = x > 0, BF = BD = y > 0, CD = CE = z > a = x + y, b = y + z, c = z + x Ngược lại, với ba số thực thực dương x, y, z, đặt m an Lu a = x + y, b = y + z, c = z + x ac th giác có độ dài ba cạnh a, b, c Từ đây, ta nhận kết sau n va Khi đó, ba số dương a, b, c thỏa mãn (1.1) Do vậy, theo Định lý 1.1, tồn tam si Định lý 1.2 Điều kiện cần đủ để a, b, c độ dài ba cạnh tam giác tồn số thực dương x, y, z cho a = x + y, b = y + z c = z + x Định lý 1.2 cho mối quan hệ đối ngẫu ba số dương x, y, z tam giác ABC có độ dài cạnh a = x + y, b = y + z, c = z + x Để thuận lợi cho việc trình bày kết sau, cần kết Mệnh đề 1.1 Xét tam giác ABC có độ dài ba cạnh a, b, c Gọi R, r bán kính đường trịn ngoại tiếp, đường tròn nội tiếp tam giác ABC Gọi x, y, z số thực dương thỏa a = x + y, b = y + z, c = z + x Kí hiệu T1 = x + y + z, T2 = xy + yz + xz, T3 = xyz Khi đó, lu an (1) Q = ∑ (b − c) = ∑ (y − z) =  cyc to ∑ a2 = 2T12 − 2T2 (3) ∑ ab = T12 + T2 (2) n va cyc T12  − 3T2 cyc p ie gh tn cyc cyc nl w
(4) abc = ∏ y + z = T1 T2 − T3 nf va an lu Chứng minh Từ cách đặt, ta có z at nh oi lm ul ( T1 T2 − T3 ) √ T1 T3 r T3 (7) r = T1 (6) R = cyc d cyc oa (5) 16S2 = ∑ a2 b2 − ∑ a4 = 16r2 p4 = 16T1 T3 x = p − a, y = p − b, x = p − c z @ gm x + y + z = p ∑ ( b − c )2 m co Q = l Ta có cyc ∑ (y + z) − ( x + z) cyc ac th cyc n ∑ ( y − x )2 va =
2 an Lu = si   = x2 + y2 + z2 − xy − yz − xz   = T12 − 3T2 Như vậy, (1) chứng minh Ta có ∑ a2 = cyc ∑ ( x + y )2 cyc = ∑ x2 + ∑ xy cyc cyc
2 = x+y+z − ∑ xy cyc = 2T12 − 2T2 lu an Như vậy, (2) chứng minh n va Ta có tn to ∑ ab = cyc ∑ (y + z)(x + y) cyc gh = ie ∑ (yx + xz + zy + y2 ) p cyc nl w = cyc T12 cyc + T2 d oa = ∑ x2 + ∑ xy nf va an lu Như vậy, (3) chứng minh Ta có abc = ( x + y)(y + z)(z + x ) lm ul = x2 y + y2 x + y2 z + x2 z + z2 x + 2xyz = T1 T2 − T3 z Như vậy, (4) chứng minh z at nh oi = x ( xy + yz + zx ) + y( xy + yz + zx ) + z( xy + yz + zx ) − 3xyz + 2xyz gm @ Theo cơng thức Heron, ta có = ( x + y + z) xyz m co l S2 = p( p − a)( p − b)( p − c) cyc cyc n va 16S2 = ∑ a2 b2 − ∑ a4 = 16r2 p4 = 16T1 T3 an Lu Do đó, ac th si 30 i h + ν − ∑ a3 + ∑ a2 (b + c) − 2abc ≥ với tam giác λ, µ, ν ≥ Ba biểu thức đầu dấu ngoặc vuông bất đẳng thức dạng bậc ba dương cạnh tam giác Chúng ta có U = s(s2 − 16Rr + 5r )2 V = 4rs( R − 2r ), dẫn tới hệ sau Hệ 2.2.1 (1) Bất đẳng thức Gerretsen: p2 ≥ 16Rr − 5r2 (1) Bất đẳng thức Euler: R ≥ 2r 2.3 Các bất đẳng thức đặc biệt lu an 2.3.1 Bậc 2, n va Định lý 2.3 Tất bất đẳng thức bậc đặc biệt cho tn to p tức λ > 0, ie gh λ( T12 − 3T2 ) ≥ 0, (theo Định lý 2.1) nl w λ(∑ x2 − ∑ xy) ≥ d oa Kết trực tiếp từ Định lý 2.2 an lu Định lý 2.4 Tất bất đẳng thức bậc có dạng nf va λU + µV ≥ 0, λ, µ ≥ lm ul Trong [10], bất đẳng thức trình bày dạng z at nh oi αT13 + βT1 T2 − 9( β + 3α) T3 ≥ 0, 2.3.2 Bậc α ≥ 0, β ≥ −4α z m co = ∑ x4 − ∑ x3 (y + z) + ∑ x2 yz ∑ x2 (x − y)(x − z) ( y + z − x )2 ( y − z )2 , 2∑ ∑ x3 (y + z) − ∑ y2 z2 = ∑ yz(y − z)2, ∑ y2 z2 − ∑ x2 yz = ∑ x2 (y − z)2 l A = gm @ Trước hết, đưa công thức biểu diễn sau B = n va C = an Lu = ac th si 31 Khi đó, ta có   A ≥ 0,    B ≥ 0,    C ≥ với x ≥ 0, y ≥ 0, z ≥ Bất kỳ bất đẳng thức đối xứng đặc biệt bậc với số dương x, y, z viết dạng λA + µB + νC ≥ Định lý 2.5 Bất đẳng thức λA + µB + νC ≥ xảy với x, y, z ≥ lu √ λ ≥ 0, ν ≥ 0, µ ≥ − λν an n va Chứng minh Đặt tn to λA + µB + νC = f ( x, y, z) ie gh giả sử f ( x, y, z) ≥ với số dương x, y, z Khi p λ = f (1, 0, 0) ≥ ν = f (0, 1, 1) ≥ w Lại có, d oa nl   √ 2 √ √ f ( x, y, z) = ( x − y)2 x λ − y ν + 2(µ + λν) xy √ µ+ nf va an lu Vì f ( x, y, y) ≥ 0, ∀ x ≥ 0, y ≥ nên λν ≥ √ Ta có z at nh oi lm ul Ngược lại, giả sử λ ≥ 0, ν ≥ 0, µ ≥ − λν Ta để ý √ √ f ( x, y, z) = λA − λνB + νC + (µ + λν) B z   A ≥ 0,    B≥0    4AC − B2 = 3(( x + y + z)(y − z)(z − x )( x − y))2 ≥ √ λνB + νC ≥ n ac th với x, y, z không âm va f ( x, y, z) ≥ an Lu với λ ≥ 0, nu ≥ Do đó, m λA − co l gm @ Do đó, theo Bổ đề 2.1, ta có si 32 Đa thức A, B C đa thức sơ cấp dương bậc đặc biệt (basic positive special quartics) số không âm Để thu đa thức sơ cấp dương bậc đặc biệt cho tam giác, sử dụng (2.1)  1 2 A = a − a ( b + c ) + b c − a bc , ∑ ∑ ∑ ∑  1 2 B = a − ∑ a (b + c) + ∑ b c − ∑ a bc , ∑  1 C = a − ∑ a (b + c) + ∑ a bc) ∑ Mặt khác, kết hợp với Mệnh đề 1.2, ta nhận A = p4 − r (20R − r ) p2 + 4r (4R + r )2 ≥ B = 4r (( R + r ) p2 − r (4R + r )2 ) ≥ lu C = r2 ((4R + r )2 − 3p2 ) an n va Điều dẫn đến kết sau √ Hệ 2.5.1 3p ≤ 4R + r tn to Bậc p ie gh 2.3.3 Bất đẳng thức kiểu nl w p2 R q( R, r ), d oa q đa thức bậc hai, bất đẳng thức liên quan đến góc lu tam giác biến đổi bất đẳng thức bậc đặt biệt với x, y, z mà khơng nf va an có số hạng liên quan đến ∑ x6 ∑ x5 (y + z) Ta kí hiệu L= ∑ y3 z3 , z at nh oi lm ul ∑ x4 (y2 + z2 ), K = xyz ∑ x3, M = xyz ∑ x2 (y + z), N = x2 y2 z2 J= z P = J − 2K − 2L + 2M − 6N = (y − z)2 (z − x )2 ( x − y)2 , @ gm Q = K − M + 3N = xyz ∑ x ( x − y)( x − z) = xyzU m co l ∑ yz(yz − zx)(yz − xy) S = M − 6N = xyz ∑ x (y − z)2 = xyzV T = L − M + 3N = an Lu Khi P ≥ 0, Q ≥ 0, S ≥ có T ≥ thay x, y, z yz, zx, xy bất đẳng thức U ≥ Ta có n va ac th P = 4S2 (4R2 + 20Rr − 2r2 − p2 ) − 4r3 (4r3 + r )3 si 33 Q = S2 ( p2 − 16Rr + 5r2 ) T = r3 (4R + r )3 − S2 (16Rr − 5r2 ) S = 4S2 r ( R − 2r ) Chúng ta viết P = −4r2 (( p2 − 2R2 − 10Rr + r2 )2 − 4R( R − 2r )3 ) = −4r2 I, Từ đây, ta có bất đẳng thức sau Mệnh đề 2.1 ( p2 − 2R2 − 10Rr + r2 )2 − 4R( R − 2r )3 ≤ Từ T ≥ có lu an Mệnh đề 2.2 p2 ≤ n va (4R + r )3 (16R − 5r ) to Các bất đẳng thức đối xứng bậc đặc biệt cho số dương, không chứa gh tn ∑ x5 (y + z), có dạng ∑ x6 p ie P( x, y, z) = αP + βQ + γT + δS ≥ d oa nl y, z w Kết cho ta điều kiện cần đủ để P( x, y, z) ≥ với số dương x, αP + βQ + γT + δS ≥ nf va an lu Định lý 2.6 Bất đẳng thức lm ul xảy với số không âm x, y, z p z at nh oi α, β, γ ≥ δ ≥ − βγ Chứng minh Giả sử P( x, y, z) ≥ với số dương x, y, z Ta có z gm @ P( x, 1, 0) = x2 (α( x − 1)2 + γx ) ≥ 0, ∀ x > an Lu Do α ≥ γ ≥ m x →+∞ P( x, 1, 0) = α P(1, 1, 0) = γ x4 co lim l Lại có, Lập luận tương tự, ta có n ac th x →+∞ P( x, 1, 1) = β ⇒ β ≥ x4 va lim si 34 Vì β, γ ≥ nên viết P( x, y, z) = y2 ( x − y)2 (( x p p √ β − y γ)2 + 2(δ + βγ) xy) Biểu thức dương với số dương δ≥− Ngược lại, giả sử α, β, γ ≥ δ ≥ − P( x, y, z) = αP + ( βQ − Vì p p p βγ βγ Ta có βγS + γT ) + (δ + p βγ)S lu   Q≥0    T≥0    4QT − S2 = r3 s2 (16R − 5r ) P ≥ (vì R − 2r ≥ 0) an n va nên theo Bổ đề 2.1, ta có tn to βQ − p βγS + γT ≥ β, γ ≥ ie gh p p Kết hợp với αP ≥ (δ + βγ)S ≥ ta nhận d oa nl w P( x, y, z) ≥ an lu Các bất đẳng thức tốt nf va 2.4 lm ul Giả sử X ≥ Y ≥ hai bất đẳng thức xảy với số khơng âm x, y, z, X Y biểu thức x, y, z Y không bội số X z at nh oi Nếu X ≥ Y với số không âm x, y, z với bất đẳng thức nghiêm ngặt cho giá trị định x, y, z, ta nói Y ≥ bất đẳng thức tốt X ≥ z Chúng ta phân loại “bất đẳng thức tốt có thể” theo hai nghĩa Ta gm @ nói bất đẳng thức tốt theo nghĩa yếu khơng có bất đẳng thức tập bất đẳng thức xét tốt Và bất đẳng thức tốt l theo nghĩa mạnh (chúng ta gọi tốt nhất) tốt bất đẳng thức co an Lu thức ( a, b, c) ( R, r, s), m khác tập hợp Các định nghĩa mở rộng cho bất đẳng n va ac th si 35 2.4.1 Bậc 2,3 Các số hạng đối xứng kết hợp tuyến tính T12 T2 Định lý hệ Định lý 2.1 Bài tốn 2.4.1 Tìm số k tốt thỏa T12 ≥ kT2 Lời giải Gọi k số thỏa mãn bất đẳng thức T12 ≥ kT2 Khi đó, với x = y = z = 1, ta có k ≤ Hơn nữa, theo Mệnh đề 1.1, ta có lu T12 ≥ 3T2 an n va Như vậy, giá trị k lớn cần tìm kmax = tn to Từ kết ta có kết sau gh Định lý 2.7 Trong tập hợp bất đẳng thức đối xứng bậc hai số không p ie âm x, y, z, Bất đẳng thức w ∑ x2 − ∑ yz ≥ oa nl bất đẳng thức chặt d Hai nhà khoa học Frucht Klamkin, [7] [11], xem xét đến bất an lu đẳng thức kiểu nf va T13 ≥ αT3 , T1 T2 ≥ βT3 T13 ≥ vT1 T2 + wT3 ; T1 T2 ≥ 9T3 (U + 4V ≥ p2 ≥ 27r2 ), z at nh oi T13 ≥ 27T3 lm ul chứng minh bất đẳng thức tốt dạng (V ≥ R ≥ 2r ) z (U ≥ ) @ T13 + 9T3 ≥ 4T1 T2 đẳng thức tốt kiểu co l gm Chúng ta xem xét bất đẳng thức thuộc kiểu khác, cụ thể, bất m ∑ x3 ≥ λ ∑ x2 (y + z) ∑ x3 ≥ ∑ x2 (y + z) an Lu Các kết định lý hệ Định lý 2.2 ac th 0, V ≥ W ≥ bất đẳng thức tốt theo nghĩa yếu n va Định lý 2.8 Trong tập tất bất đẳng thức bậc đối xứng với x, y, z, U ≥ si 36 2.4.2 Bậc Định lý 2.9 (xem [7]) Bất đẳng thức tốt kiểu T14 ≥ uT12 T2 + vT22 T14 + 9T22 ≥ 6T12 T2 Nhà toán học Klamkin có bất đẳng thức tốt theo nghĩa mạnh lớp T14 ≥ uT12 T2 + vT22 + wT1 T3 , kết hợp lý (xem [13]) lu Định lý 2.10 Trong tập hợp tất bất đẳng thức đối xứng đặc biệt, bất đẳng an thức va n λA − √ λν + νC ≥ 0, to yếu ie gh tn với λ, ν ≥ 0; λ2 + ν2 > B ≥ bất đẳng thức tốt theo nghĩa p Chứng minh Đây hệ Định lý 2.5 Bậc oa nl w 2.4.3 d Mỗi đa thức đối xứng bậc liên kết tuyến tính số hạng lu an T15 , T13 T2 , T12 T3 , T1 T22 T2 T3 Klamkin sử dụng mệnh đề “Một bất đẳng thức cho nf va ( I, J, K )” để định nghĩa cho bất đẳng thức kiểu I ≥ uJ + vK Ông đưa hàng loạt kết cho bậc Cụ thể, ông chứng minh kết z at nh oi lm ul Định lý 2.11 Bất đẳng thức tốt cho ( T1 T22 , T2 T3 , T12 T3 ) z T1 T22 + 3T2 T3 − 4T12 T3 ≥ 0; @ an Lu Đầu tiên, có kết đây: m Bậc co 2.4.4 l từ Định lý 2.8 gm đó, bất đẳng thức tốt cho ( T1 T22 , T2 T3 , T12 T3 ) rút cho bất đẳng thức tốt n va ac th si 37 Định lý 2.12 Trong tập tất bất đẳng thức đối xứng bậc với x, y, z mà không chứa số hạng ∑ x6 ∑ x5 (y + z), bất đẳng thức βQ − p βγS + γT ≥ với β, γ ≥ 0, β, γ không đồng thời 0; P ≥ S ≥ bất đẳng thức tốt theo nghĩa yếu Một số bất đẳng thức tốt theo nghĩa mạnh chứa số số hạng số hạng sau T16 , T14 T2 , T12 T22 , T23 , T13 T3 , T1 T2 T3 T32 trình bày [7] Chúng ta đưa số kết Các bất đẳng thức tốt liên quan đến cặp số hạng biết hệ lu an cặp trước Một ngoại lệ cặp ( T23 , T13 T3 ) khơng có bất đẳng thức n va liên quan đến cặp tn to Với ( T23 , T32 , T1 T2 T3 ) bất đẳng thức tốt Về bất đẳng thức Gerretsen w 2.5 p ie gh T23 + 9T32 − 4T1 T2 T3 ≥ oa nl Bất đẳng thức Gerretsen Gerretsen, [9], phát biểu sau d Định lý 2.13 (Bất đẳng thức Gerretsen) Cho tam giác ABC với độ dài cạnh lu nf va an BC = a, AC = b, AB = c R, r, p bán kính đường trịn ngoại tiếp, nội tiếp, nửa chu vi tam giác ABC Khi đó, lm ul 16Rr − 5r2 ≤ p2 ≤ 4R2 + 4Rr + 3r2 (2.7) z at nh oi Nhận xét 2.2 Bất đẳng thức cần chứng minh tương ứng với việc hai khẳng định sau l gm @ (2) G2 = 4R2 + 4Rr + 3r2 − p2 ≥ z (1) G1 = 5r2 − 16Rr + p2 ≥ 0, co Chứng minh Bất đẳng thức thứ thu hệ U ≥ 0, bất m đẳng thức thứ hai có tương ứng từ P + 4T ≥ (xem Mục 2.2) an Lu Gerretsen chứng minh bất đẳng thức cách xem xét biểu n va thức bình phương khoảng cách từ trọng tâm trực tâm đến cạnh ac th tam giác (các bình phương phải khơng âm) Bất đẳng thức, thường si 38 gọi Bất đẳng thức Blundon, tìm thấy vào năm 1851 nhà toán học E.Rouche lời giải đơn giản phải đợi đến năm 1965 Blundon tìm dựa ba yếu tố r, R, p tam giác Định lý 2.14 (Bất đẳng thức Blundon) 2R2 + 10Rr − r2 − 2( R − 2r ) p R2 − 2Rr ≤ p2 ≤ 2R2 + 10Rr − r2 + 2( R − 2r ) p R2 − 2Rr (2.8) Chứng minh Đặt S1 = a + b + c, S2 = ab + bc + ca, S3 = abc Ta có S1 = a + b + c = 2p, S3 = abc = 4SR = 4pRr Ta tính S2 = ab + bc + ca theo p, R, r Ta có q S = pr = p( p − a)( p − b)( p − c), suy lu ( p − a)( p − b)( p − c) p p − p ( ab + bc + ca) + p( ab + ba + ca) − abc = abc = − p + S2 − 4Rr an r2 = (2.9) n va (2.11) gh tn to (2.10) p ie Do đó, S2 = p2 + 4Rr + r2 Biến đổi, rút gọn, ta có w ( a − b)2 (b − c)2 (c − a)2 = S12 S22 − 4S23 − 4S13 S3 + 18S1 S2 S3 − 27S32 oa nl = −4r2 [( p2 − 2R2 − 10Rr + r2 )2 − 4R( R − 2r )3 ] ≥ d Suy lu 2R + 10Rr − r − 2( R − 2r ) q R( R − 2r ) ≤ p2 ≤ 2R2 + 10Rr − r2 + 2( R − 2r ) lm ul nf va an ( p2 − 2R2 − 10Rr + r2 )2 ≤ 4R( R − 2r )3 √ √ Khai hai vế, lưu ý đến vế phải không âm a2 ≤ b ⇔ − b ≤ a ≤ b, ta p R2 − 2Rr z at nh oi Vậy bất đẳng thức Blundon chứng minh Nhận xét 2.3 a) Vì 2R2 + 10Rr − r2 − 2( R − 2r ) p   p R2 − 2Rr = 16Rr − 5r2 + 2( R − 2r ) R − r − R2 − 2Rr ≤ p2 z @ p   p R2 − 2Rr = 4R2 + 4Rr + 3r2 − 2( R − 2r ) R − r − R2 − 2Rr l gm p2 ≤ 2R2 + 10Rr − r2 + 2( R − 2r ) p   p R2 − 2Rr ) ≤ p2 ≤ 4R2 + 4Rr + 3r2 − R − 2r )( R − r − R2 − 2Rr m 16Rr − 5r2 + 2( R − 2r )( R − r − co nên bất đẳng thức Blundon viết dạng tương đương sau: an Lu b) Như vậy, dựa vào Nhận xét 2.3, ta thấy bất đẳng thức Blundon mạnh bất ac th Gerretsen thường sử dụng nhiều bất đẳng thức Blundon n va đẳng thức Gerretsen Tuy nhiên, công thức đơn giản nên bất đẳng thức si 39 W J Blundon, [15], phát biểu khơng xác bất đẳng thức Gerretsen bất đẳng thức tốt lớp q( R, r ) ≤ p2 ≤ Q( R, r ), q( R, r ) Q( R, r ) đa thức bậc với hệ số thực R Frucht M S Klamkin [11] đưa kết Dưới đây, đưa công thức phương pháp J F Rigby ([8], [9]) Như phát biểu trước đó, để xem xét bất đẳng thức dạng p2 ≤ λR62 + µRr + (27 − 4R − 2µ)r2 , (2.12) hệ số r2 chọn cho dấu "=" xảy x = y = z, nhân cho S2 sử dụng biến đổi (2.3) để thu bất đẳng thức bậc lu an x, y, z theo kiểu đề cập Mục 2.4.4 n va Định lý 2.15 ([12], [13]) Bất đẳng thức theo kiểu (2.12) xảy cho tam giác tn to có dạng p ie gh p2 ≤ (1 − θ )−1 (4R62 + 4(1 − θ − 4θ ) Rr + (3 + 8θ + 5θ )r2 ) + εr ( R − 2r ) (2.13) w ≤ θ < ε ≥ oa nl Trong tập tất bất đẳng thức đặc biệt (2.13), bất đẳng thức với d ε = tốt theo nghĩa yếu nf va an lu Kết chứng minh cách tương tự Định lý 2.16 ([12], [13]) Một bất đẳng thức kiểu lm ul s2 ≥ λR2 + µRr + (27 − 4λ − 2µ)r2 z at nh oi xảy với tam giác có dạng s2 ≥ (1 − ω )−1 (−4ω R2 + 4(4 + ω − ω ) Rr − (5 + 8ω + 3ω )r2 ) − εr ( R − 2r ) z l gm @ ≤ ω < ε ≥ (2.14) m ε = tốt theo nghĩa yếu co Trong tập hợp bất đẳng thức đặc biệt (2.14), bất đẳng thức ứng với an Lu Cho θ = ω = ε = 0, từ (2.13) (2.14), nhận bất đẳng thức Gerretsen n va Kết dạng tổng quát (2.13) (2.14) ac th si 40 Định lý 2.17 √ (5r2 − 16Rr + s2 )λ − 4r ( R − 2r ) λν + (4R2 + 4Rr + 3r2 − s2 )ν + r ( R − 2r )µ ≥ với λ, µ, ν ≥ Nếu λ < ν đặt µ λ = θ2, = ε, ν ν−λ để thu (2.13) Nếu λ > ν đặt µ ν = ω2, =ε λ λ−ν để thu (2.14) Nếu λ = ν thu lu 4λ( R − 2r )2 + µr ( R − 2r ) ≥ an n va Khi µ = 0, bất đẳng thức Định lý 2.17 viết thành √ G1 λ − 4rE λν + G2 ν ≥ 0, tn to gh G1 ≥ G2 ≥ bất đẳng thức Gerretsen Ta có p ie 4G1 G2 − (4rE)2 = −4I ≥ 0, w Như vậy, Định lý 2.17 chứng minh trực tiếp từ bổ đề tình cờ ta oa nl tìm cách khác để viết lại bất đẳng thức I ≤ 0: d G1 G2 ≥ 4r2 E2 an lu có dạng nf va Định lý 2.18 (a) Một bất đẳng thức kiểu s ≤ λR + µr xảy với tam giác z at nh oi lm ul √ s ≤ 2R + (3 − 4)r + α( R − 2r ) + βr α, β ≥ để tập bất đẳng thức √ p ≤ 2R + (3 − 4)r z gm @ tốt theo nghĩa mạnh (2.15) (b) Một bất đẳng thức kiểu s ≥ λR + µr xảy với tam giác có (2.16) n va ac th tốt theo nghĩa mạnh an Lu α, β ≥ 0, để tập bất đẳng thức √ p ≥ 3r m √ s ≥ 3r − α( R − 2r ) − βr co l dạng si 41 Các bất đẳng thức tốt suy [14] [15] Chúng ta có (2.15) từu dạng √ p2 ≤ (2R + (3 − 4)r )2 √ cách đặt θ = 0, ε = 12 − 20 (2.13), thu (2.16) dạng s2 ≥ 27R2 cách đặt ω = 0, ε = 16 (2.14) Do (2.15) (2.16) tốt theo nghĩa yếu bình phương chúng Điều xem xét chúng tập bất đẳng thức rộng nhiều lu an n va p ie gh tn to d oa nl w nf va an lu z at nh oi lm ul z m co l gm @ an Lu n va ac th si KẾT LUẬN Luận văn “Một số bất đẳng thức hình học tam giác cảm sinh từ bất đẳng thức số” hệ thống, làm rõ số vấn đề sau Trình bày chuyển đổi qua lại cạnh tam giác với số thực khơng âm lu Trình bày làm rõ tính đối ngẫu bất đẳng thức hình học bất an đẳng thức số n va Hệ thống, làm rõ số dạng bất đẳng thức hình học đặc biệt, cảm sinh từ gh tn to đa thức đối xứng theo ba biến Phát biểu chứng minh lại số bất đẳng thức hình học tam giác ie p dựa vào bất đẳng thức số nghiên cứu nl w Đưa số bất đẳng thức hình học tam giác dựa vào bất đẳng d oa thức số nghiên cứu Cụ thể Hệ 1.5.1, Hệ 1.7.1, Hệ nf va an lu 1.8.1,Hệ 1.8.2, Hệ 1.9.1, z at nh oi lm ul z m co l gm @ an Lu n va ac th si Tài liệu tham khảo [1] Tạ Duy Phượng, Phương trình bậc ba hệ thức tam giác, NXB Giáo dục Việt Nam, 2006 [2] G H Hardy, J E Littlewood, G Pólya, Inequalities (2nd edition), Cambridge University Press, 1952 lu [3] D S Mitrinovic, J E Pedaric, V Volenec, Recent Advances in Geometric In- an equalities, Springer Science and Business Media, 1989 n va tn to [4] P K Hùng, Sáng tạo bất đẳng thức, NXB Hà Nội, 2012 gh [5] P J van Albada,Geometric Inequalities and Their Geometry, Univ Beograd p ie publ Elektrotehn Fak Ser Mat Fiz No 338-352 (1971), 41-45 [6] K B Stolarsky, Cubic Triangle Inequalities, Amer Math Monthly 78 (1971), oa nl w 879-881 d [7] M S Klamkin, Duality in Triangle Inequalities, Ford Motor Company lu nf va an preprint, July 1971 (Also, see Notices Amer Math Soc., August 1971, p 782) [8] J F Rigby, A Method of Obtaining Related Triangle Inequalities, with Ap- lm ul plications, Univ Beograd Publ Elektrotehn Fak Ser Mat Fiz No 412-460 z at nh oi (1973), 217-226 [9] J C Gerretsen, Ongelijkheden in de Driehoek, Nieuw Tijdschr Wisk 41 (1953), 1-7 z @ gm [10] O Bottema and J T Groenman, On Some Triangle Inequalities, Univ co l Beograd Publ Elektrotehn Fak Ser Mat Fiz No 577-598 (1977), 11-20.48 an Lu ometriae Dedicata (1973), 341-348 m [11] R Frucht and M S Klamkin, On Best Quadratic Triangle Inequalities Ge- [12] J F Rigby, Sextic Inequalities for the Sides of a Triangle, Univ Beograd Publ n ac th si 43 va Elektrotehn Fak Ser Mat Fiz No 498-541 (1975), 51-58 [13] J F Rigby, Quartic and Sextic Inequalities for the Sides of Triangles, and Best possible Inequalities, Ibid No 602-633 (1978), 195-202 [14] O Bottema, Inequalities for R, r and s, Ibid No 338-352 (1971), 27-36 [15] W J Blundon, Inequalities Associated with the Triangle, Canad Math Bull (1965), 615-626 lu an n va p ie gh tn to d oa nl w nf va an lu z at nh oi lm ul z m co l gm @ an Lu n va ac th si