Bạn đang xem bản rút gọn của tài liệu. Xem và tải ngay bản đầy đủ của tài liệu tại đây (302.22 KB, 28 trang )
<span class='text_page_counter'>(1)</span><div class='page_container' data-page=1>
ðể bắt ñầu một cuộc hành trình, ta khơng thể khơng chuẩn bị hành trang để lên đường.
Tốn học cũng vậy. Muốn khám phá ñược cái hay và cái ñẹp của bất ñẳng thức lượng
giác, ta cần có những “vật dụng” chắc chắn và hữu dụng, đó chính là chương 1: “Các
<b>bước ñầu cơ sở”. </b>
Chương này tổng quát những kiến thức cơ bản cần có để chứng minh bất ñẳng thức
lượng giác. Theo kinh nghiệm cá nhân của mình, tác giả cho rằng những kiến thức này là
ñầy ñủ cho một cuộc “hành trình”.
Trước hết là các bất ñẳng thức ñại số cơ bản ( AM – GM, <b>BCS, Jensen, Chebyshev </b>
…) Tiếp theo là các ñẳng thức, bất ñẳng thức liên quan cơ bản trong tam giác. Cuối cùng
là một số ñịnh lý khác là cơng cụ đắc lực trong việc chứng minh bất đẳng thức (ñịnh lý
<b>Largare, ñịnh lý về dấu của tam thức bậc hai, định lý về hàm tuyến tính …) </b>
Mục lục :
1.1. Các bất ñẳng thức ñại số cơ bản……… 4
1.1.1. Bất ñẳng thức AM – GM…...………... 4
1.1.2. Bất ñẳng thức BCS……….. 8
1.1.3. Bất ñẳng thức Jensen……….... 13
1.1.4. Bất ñẳng thức Chebyshev………... 16
1.2. Các ñẳng thức, bất ñẳng thức trong tam giác……….. 19
1.2.1. ðẳng thức………... 19
1.2.2. Bất ñẳng thức………... 21
1.3. Một số ñịnh lý khác………. 22
1.3.1. ðịnh lý Largare ………..………. 22
1.3.2. ðịnh lý về dấu của tam thức bậc hai……….. 25
1.3.3. ðịnh lý về hàm tuyến tính……….. 28
<b>Với mọi số thực không âm </b><i>a</i>1,<i>a</i>2,...,<i>an</i><b> ta luôn có </b>
<i>n</i>
<i>n</i>
<i>n</i>
<i>a</i>
<i>a</i>
<i>a</i>
<i>n</i>
<i>a</i>
<i>a</i>
<i>a</i>
...
...
2
1
2
1
≥
+
+
+
Bấ<i>t </i>ñẳ<i>ng th</i>ứ<i>c <b>AM – GM</b> (Arithmetic Means – Geometric Means) </i>là <i>m</i>ộ<i>t b</i>ấ<i>t </i>ñẳ<i>ng th</i>ứ<i>c </i>
<i>quen thu</i>ộ<i>c </i>và có ứ<i>ng </i>dụ<i>ng r</i>ấ<i>t r</i>ộ<i>ng </i>rã<i>i. </i>ð<i>ây </i>là <i>b</i>ấ<i>t </i>đẳ<i>ng th</i>ứ<i>c </i>mà bạ<i>n </i>ñọ<i>c c</i>ầ<i>n ghi nh</i>ớ rõ
rà<i>ng nh</i>ấ<i>t, </i>nó sẽ là <i>cơng </i>cụ hồ<i>n </i>hả<i>o cho vi</i>ệ<i>c ch</i>ứ<i>ng minh </i>cá<i>c b</i>ấ<i>t </i>ñẳ<i>ng th</i>ứ<i>c. Sau </i>ñ<i>ây </i>là
<i>hai </i>cá<i>ch ch</i>ứ<i>ng minh b</i>ấ<i>t </i>ñẳ<i>ng th</i>ứ<i>c </i>nà<i>y </i>mà <i>theo </i>ý <i>ki</i>ế<i>n </i>chủ <i>quan </i>củ<i>a </i>mì<i>nh, </i>tá<i>c </i>giả <i>cho </i>
<i>r</i>ằ<i>ng </i>là <i>ng</i>ắ<i>n </i>gọ<i>n </i>và <i>hay nh</i>ấ<i>t. </i>
<b>Ch</b>ứ<b>ng minh : </b>
Cách 1 : Quy nạ<i>p ki</i>ể<i>u Cauchy</i>
Với <i>n</i>=1 bất ñẳng thức hiển nhiên ñúng. Khi <i>n</i>=2 bất ñẳng thức trở thành
2
2
2
1
2
1
2
1 + <sub>≥</sub> <sub>⇔</sub> <sub>−</sub> <sub>≥</sub>
<i>a</i>
<i>a</i>
<i>a</i>
<i>a</i>
<i>a</i>
<i>a</i>
(ñúng!)
Giả sử bất ñẳng thức ñúng ñến <i>n</i>=<i>k</i> tức là :
<i>k</i>
<i>k</i>
<i>k</i>
<i>a</i>
<i>a</i>
<i>a</i>
<i>k</i>
<i>a</i>
<i>a</i>
<i>a</i>
...
...
2
1
2
1 + + + <sub>≥</sub>
Ta sẽ chứng minh nó đúng với <i>n</i>=2<i>k</i>. Thật vậy ta có :
<i>k</i>
<i>k</i>
<i>k</i>
<i>k</i>
<i>k</i>
<i>k</i>
<i>k</i>
<i>k</i>
<i>k</i>
<i>k</i>
<i>k</i>
<i>k</i>
<i>k</i>
<i>k</i>
<i>k</i>
<i>k</i>
<i>k</i>
<i>k</i>
<i>a</i>
<i>a</i>
<i>a</i>
<i>a</i>
<i>a</i>
<i>k</i>
<i>a</i>
<i>a</i>
<i>a</i>
<i>k</i>
<i>a</i>
<i>a</i>
<i>a</i>
<i>k</i>
<i>k</i>
<i>a</i>
<i>a</i>
<i>a</i>
<i>a</i>
<i>a</i>
<i>a</i>
<i>k</i>
<i>a</i>
<i>a</i>
<i>a</i>
<i>a</i>
<i>a</i>
<i>a</i>
2
2
1
2
1
2
2
1
2
1
2
2
1
2
1
2
2
1
2
1
...
...
...
...
...
...
2
...
...
+
+
+
+
+
+
+
=
≥
+
+
+
+
+
+
≥
+
+
+
+
+
+
+
Tiếp theo ta sẽ chứng minh với <i>n</i>=<i>k</i>−1. Khi đó :
1
2
1
1
2
1
1
1
2
1
1
1
2
1
1
2
1
1
1
2
1
1
2
1
...
1
...
...
...
...
...
...
−
−
−
−
−
−
−
−
−
=
−
−
≥
+
+
=
≥
+
+
+
+
<i>k</i>
<i>k</i>
<i>k</i>
<i>k</i>
<i>k</i>
<i>k</i> <i>k</i>
<i>k</i>
<i>k</i>
<i>k</i>
<i>k</i>
<i>k</i>
<i>a</i>
<i>a</i>
<i>a</i>
<i>k</i>
<i>a</i>
<i>a</i>
<i>a</i>
<i>a</i>
<i>a</i>
<i>a</i>
<i>k</i>
<i>a</i>
<i>a</i>
<i>a</i>
<i>a</i>
<i>a</i>
<i>a</i>
<i>k</i>
<i>a</i>
<i>a</i>
<i>a</i>
<i>a</i>
<i>a</i>
<i>a</i>
Như vậy bất ñẳng thức ñược chứng minh hoàn toàn.
ðẳng thức xảy ra ⇔<i>a</i><sub>1</sub> =<i>a</i><sub>2</sub> =...=<i>a<sub>n</sub></i>
Gọi
<i>n</i>
<i>a</i>
<i>a</i>
<i>a</i>
<i>A</i> = 1 + 2 +...+ <i>n</i>
Khi đó bất đẳng thức cần chứng minh tương ñương với
<i>a</i><sub>1</sub><i>a</i><sub>2</sub>...<i>a<sub>n</sub></i> ≤ <i>An</i> (*)
Rõ ràng nếu <i>a</i><sub>1</sub> =<i>a</i><sub>2</sub> =...=<i>a<sub>n</sub></i> = <i>A</i> thì (*) có dấu đẳng thức. Giả sử chúng không bằng
nhau. Như vậy phải có ít nhất một số, giả sử là <i>a</i><sub>1</sub> < <i>A</i> và một số khác, giả sử là <i>a</i><sub>2</sub> > <i>A</i>
tức là <i>a</i><sub>1</sub> < <i>A</i><<i>a</i><sub>2</sub>.
Trong tích <i>P</i>=<i>a</i><sub>1</sub><i>a</i><sub>2</sub>...<i>a<sub>n</sub></i> ta hãy thay <i>a</i><sub>1</sub> bởi <i>a</i>'<sub>1</sub>= <i>A</i> và thay <i>a</i><sub>2</sub> bởi <i>a</i>'<sub>2</sub>=<i>a</i><sub>1</sub> +<i>a</i><sub>2</sub> −<i>A</i>.
Như vậy <i>a</i>'<sub>1</sub>+<i>a</i>'<sub>2</sub>=<i>a</i><sub>1</sub>+<i>a</i><sub>2</sub> mà <i>a</i>'<sub>1</sub><i>a</i>'<sub>2</sub>−<i>a</i><sub>2</sub><i>a</i><sub>2</sub> = <i>A</i>
2
1
2
1 '
' <i>a</i> <i>aa</i>
<i>a</i> >
⇒ <sub> </sub>
<i>n</i>
<i>n</i> <i>a</i> <i>a</i> <i>a</i> <i>a</i>
<i>a</i>
<i>a</i>
<i>a</i>
<i>a</i><sub>1</sub> <sub>2</sub> <sub>3</sub>... < '<sub>1</sub> '<sub>2</sub> <sub>3</sub>...
⇒
Trong tích <i>P</i>'=<i>a</i>'<sub>1</sub><i>a</i>'<sub>2</sub><i>a</i><sub>3</sub>...<i>a<sub>n</sub></i> có thêm thừa số bằng <i>A</i>. Nếu trong <i>P</i>' còn thừa số khác
<i>A</i> thì ta tiếp tục biến đổi để có thêm một thừa số nữa bằng <i>A</i>. Tiếp tục như vậy tối ña
1
−
<i>n</i> lần biến ñổi ta ñã thay mọi thừa số <i>P</i> bằng <i>A</i> và được tích <i>n</i>
<i>A</i> . Vì trong q trình
biến ñổi tích các thừa số tăng dần. ⇒<i>P</i>< <i>An</i>.⇒ ñpcm.
Ví dụ <b>1.1.1.1. </b>
Cho A,B,C là <i>ba </i>gó<i>c </i>củ<i>a m</i>ộ<i>t tam </i>giá<i>c </i>nhọ<i>n. CMR : </i>
tan<i>A</i>+tan<i>B</i>+tan<i>C</i>≥3 3
<b>L</b>ờ<b>i </b>giả<b>i : </b>
Vì
<i>B</i>
<i>A</i>
<i>B</i>
<i>A</i>
<i>C</i>
<i>B</i>
<i>A</i> tan
tan
tan
1
tan
tan
tan
tan =−
−
+
⇔
−
=
+
⇒tan<i>A</i>+tan<i>B</i>+tan<i>C</i> =tan<i>A</i>tan<i>B</i>tan<i>C</i>
Tam giác ABC nhọn nên tanA,tanB,tanC dương.
Theo AM – GM ta có :
3
3
tan
tan
tan
tan
tan
tan
27
tan
tan
tan
tan
tan
tan
3
tan
tan
tan
3
tan
tan
tan
2
3
3
≥
+
+
⇒
+
+
≥
+
+
⇒
+
+
=
≥
+
+
<i>C</i>
<i>B</i>
<i>A</i>
<i>C</i>
<i>B</i>
<i>A</i>
<i>C</i>
<i>B</i>
<i>A</i>
<i>C</i>
<i>B</i>
<i>A</i>
<i>C</i>
<i>B</i>
<i>A</i>
<i>C</i>
<i>B</i>
<i>A</i>
ðẳng thức xảy ra ⇔ <i>A</i>=<i>B</i>=<i>C</i>⇔ ∆ABC đều.
Ví dụ <b>1.1.1.2. </b>
<i> Cho </i><sub>∆</sub><i>ABC </i>nhọ<i>n. CMR : </i>
<b>L</b>ờ<b>i </b>giả<b>i : </b>
Ta ln có : cot
1
cot
cot
cot
cot
cot
cot
cot
cot
cot
1
cot
cot
=
+
+
⇔
−
=
+
−
⇔
<i>A</i>
<i>C</i>
<i>C</i>
<i>B</i>
<i>B</i>
<i>A</i>
<i>C</i>
<i>B</i>
<i>A</i>
<i>B</i>
<i>A</i>
Khi đó :
3
cot
cot
cot
3
cot
cot
cot
cot
cot
cot
3
cot
cot
cot
0
cot
cot
cot
cot
cot
cot
2
2
2
2
≥
+
+
⇒
=
+
+
≥
+
+
⇔
≥
−
+
−
+
−
<i>C</i>
<i>B</i>
<i>A</i>
<i>A</i>
<i>C</i>
<i>C</i>
<i>B</i>
<i>B</i>
<i>A</i>
<i>C</i>
<i>B</i>
<i>A</i>
<i>A</i>
<i>C</i>
<i>C</i>
<i>B</i>
<i>B</i>
<i>A</i>
<b> </b>
Dấu bằng xảy ra khi và chỉ khi ∆ABC ñều.
Ví dụ <b>1.1.1.3. </b>
<i> CMR v</i>ớ<i>i </i>mọ<i>i </i><sub>∆</sub><i>ABC </i>nhọ<i>n </i>và <i>n</i>∈<i>N</i>*<i>ta ln </i>có <i>: </i>
2
1
3
tan
tan
tan
tan
tan
tan −
≥
+
+
+
+ <i>n</i> <i>n</i> <i>n</i>
<i>n</i>
<i>C</i>
<i>B</i>
<i>A</i>
<i>C</i>
<i>B</i>
<i>A</i>
<b>L</b>ờ<b>i </b>giả<b>i : </b>
<b> </b>Theo <b>AM – GM</b> ta có :
<b> </b>
1
3 3
3 3
3
3
3
3
3
3
tan
tan
tan
3
tan
tan
tan
tan
tan
tan
tan
tan
tan
3
tan
tan
tan
3
tan
tan
tan
−
=
≥
+
+
≥
+
+
+
+
⇒
+
+
=
≥
+
+
<i>n</i>
<i>n</i>
<i>n</i>
<i>n</i>
<i>n</i>
<i>n</i>
<i>n</i>
<i>n</i>
<i>n</i>
<i>n</i>
<i>C</i>
<i>B</i>
<i>A</i>
<i>C</i>
<i>B</i>
<i>A</i>
<i>C</i>
<i>B</i>
<i>A</i>
<i>C</i>
<i>A</i>
<i>C</i>
<i>B</i>
<i>A</i>
<i>C</i>
<i>B</i>
<i>A</i>
⇒đpcm.
Ví dụ <b>1.1.1.4. </b>
<i> Cho a,b </i>là <i>hai s</i>ố <i>th</i>ự<i>c </i>thỏ<i>a : </i>
<i> </i>cos<i>a</i>+cos<i>b</i>+cos<i>a</i>cos<i>b</i>≥0
<i> CMR : </i>cos<i>a</i>+cos<i>b</i>≥0
<b>L</b>ờ<b>i </b>giả<b>i : </b>
Ta có :
<i> </i>
cos
≥
+
+
⇔
≥
+
+
<i>b</i>
<i>a</i>
<i>b</i>
<i>a</i>
<i>b</i>
<i>a</i>
0
cos
cos
1
cos
1
cos
1
2
cos
1
cos
1
≥
+
⇒
≥
+
+
≥
+
+
+
<i>b</i>
<i>a</i>
<i>b</i>
<i>a</i>
<i>b</i>
<i>a</i>
Ví dụ <b>1.1.1.5. </b>
<i> Ch</i>ứ<i>ng minh r</i>ằ<i>ng v</i>ớ<i>i </i>mọ<i>i ABC</i>∆ nhọ<i>n ta </i>có <i>: </i>
2
3
2
sin
2
sin
2
sin
2
sin
2
sin
2
sin
3
2
2
cos
cos
2
cos
2
cos
cos
cos
2
cos
2
cos
cos
cos
+
+
+
≤
+
+ <i>A</i> <i>B</i> <i>B</i> <i>C</i> <i>C</i> <i>A</i>
<i>A</i>
<i>C</i>
<i>A</i>
<i>C</i>
<i>C</i>
<i>B</i>
<i>C</i>
<i>B</i>
<i>B</i>
<i>A</i>
<i>B</i>
<i>A</i>
<b>L</b>ờ<b>i </b>giả<b>i : </b>
Ta có
=
=
<i>B</i>
<i>A</i>
<i>B</i>
<i>A</i>
<i>B</i>
<i>A</i>
<i>B</i>
<i>A</i>
<i>A</i>
<i>A</i>
<i>A</i>
<i>A</i>
cot
cot
4
3
2
sin
2
sin
2
cos
2
cos
4
cos
cos
4
3
2
cot
2
cos
Theo AM – GM thì :
+
≤
⇒
+
≤
<i>B</i>
<i>A</i>
<i>B</i>
<i>A</i>
<i>B</i>
<i>A</i>
<i>B</i>
<i>A</i>
<i>B</i>
<i>A</i>
<i>B</i>
<i>A</i>
<i>B</i>
<i>A</i>
cot
cot
4
3
2
sin
2
sin
3
2
2
cos
2
cos
cos
cos
2
cot
cot
4
3
2
sin
2
2
cos
2
cos
4
cos
cos
4
3 2
Tương tự ta có :
+
≤
+
≤
<i>A</i>
<i>C</i>
<i>A</i>
<i>C</i>
<i>A</i>
<i>C</i>
<i>A</i>
<i>C</i>
<i>C</i>
<i>B</i>
<i>C</i>
<i>B</i>
<i>C</i>
<i>B</i>
<i>C</i>
<i>B</i>
cot
cot
4
3
2
sin
2
sin
3
2
2
cos
2
cos
cos
cos
cot
cot
4
3
2
sin
2
sin
cos
cos
<i>A</i>
<i>C</i>
<i>C</i>
<i>B</i>
<i>B</i>
<i>A</i>
<i>A</i>
<i>C</i>
<i>A</i>
<i>C</i>
<i>C</i>
<i>B</i>
<i>C</i>
<i>A</i>
<i>B</i>
<i>A</i>
cot
cot
cot
cot
cot
cot
2
3
2
sin
2
sin
2
sin
2
sin
2
sin
2
sin
2
cos
2
cos
cos
cos
2
cos
2
cos
cos
cos
2
cos
2
cos
cos
cos
+
+
+
+
+
≤
+
+
2
3
2
sin
2
sin
2
sin
2
sin
2
sin
+
+
+
= <i>A</i> <i>B</i> <i>B</i> <i>C</i> <i>C</i> <i>A</i> ⇒ñpcm.
<i> B</i>ướ<i>c </i>đầ<i>u ta m</i>ớ<i>i </i>chỉ có <i>b</i>ấ<i>t </i>ñẳ<i>ng th</i>ứ<i>c <b>AM – GM</b></i> cù<i>ng </i>cá<i>c </i>ñẳ<i>ng th</i>ứ<i>c l</i>ượ<i>ng </i>giá<i>c nên </i>
<i>s</i>ứ<i>c </i>ả<i>nh h</i>ưở<i>ng </i>ñế<i>n </i>cá<i>c b</i>ấ<i>t </i>ñẳ<i>ng th</i>ứ<i>c </i>cò<i>n </i>hạ<i>n ch</i>ế<i>. Khi ta k</i>ế<i>t h</i>ợ<i>p <b>AM – GM</b></i> cù<i>ng <b>BCS, </b></i>
<i><b>Jensen</b> hay <b>Chebyshev </b></i>thì nó <i>th</i>ự<i>c s</i>ự là <i>m</i>ộ<i>t </i>vũ khí ñá<i>ng g</i>ờ<i>m cho </i>cá<i>c b</i>ấ<i>t </i>ñẳ<i>ng th</i>ứ<i>c </i>
<i>l</i>ượ<i>ng </i>giá<i>c. </i>
<b>Với hai bộ số </b>
<b> </b>
Nế<i>u nh</i>ư <i><b>AM – GM</b></i> là <i>“</i>cá<i>nh chim </i>ñầ<i>u </i>ñà<i>n” trong vi</i>ệ<i>c ch</i>ứ<i>ng minh b</i>ấ<i>t </i>đẳ<i>ng th</i>ứ<i>c </i>thì
<i><b>BCS </b>(Bouniakovski – Cauchy – Schwartz) </i>lạ<i>i </i>là <i>“</i>cá<i>nh tay </i>phả<i>i” h</i>ế<i>t s</i>ứ<i>c </i>ñắ<i>c l</i>ự<i>c. V</i>ớ<i>i </i>
<i><b>AM – GM</b> ta luôn </i>phả<i>i </i>chú ý ñ<i>i</i>ề<i>u ki</i>ệ<i>n </i>cá<i>c bi</i>ế<i>n </i>là <i>khơng âm, nh</i>ư<i>ng </i>đố<i>i v</i>ớ<i>i <b>BCS </b></i>cá<i>c </i>
<i>bi</i>ế<i>n khơng </i>bị rà<i>ng bu</i>ộ<i>c b</i>ở<i>i </i>đ<i>i</i>ề<i>u ki</i>ệ<i>n </i>đó<i>, </i>chỉ <i>c</i>ầ<i>n </i>là <i>s</i>ố <i>th</i>ự<i>c </i>cũ<i>ng </i>ñú<i>ng. Ch</i>ứ<i>ng minh b</i>ấ<i>t </i>
ñẳ<i>ng th</i>ứ<i>c </i>nà<i>y </i>cũ<i>ng r</i>ấ<i>t </i>ñơ<i>n </i>giả<i>n. </i>
<b>Ch</b>ứ<b>ng minh : </b>
Cách 1 :
Xét tam thức :
<i>f</i>(<i>x</i>)=
<i>f</i>(<i>x</i>)=
⇔
≤
∆<i>f</i> 0 <i>a</i><sub>1</sub><i>b</i><sub>1</sub> <i>a</i><sub>2</sub><i>b</i><sub>2</sub> ... <i>anbn</i> 2 <i>a</i><sub>1</sub>2 <i>a</i><sub>2</sub>2 ... <i>an</i>2 <i>b</i><sub>1</sub>2 <i>b</i><sub>2</sub>2 ... <i>bn</i>2 ñpcm.
ðẳng thức xảy ra
<i>n</i>
<i>a</i>
<i>b</i>
<i>a</i>
=
=
=
⇔ ...
2
2
1
1 <sub> (quy ước nếu </sub> <sub>=</sub><sub>0</sub>
<i>i</i>
Sử dụng bất đẳng thức AM – GM ta có :
2
2
2
2
1
2
2
2
2
1
2
2
2
2
2
1
2
...
...
2
...
...
<i>n</i>
<i>n</i>
<i>i</i>
<i>i</i>
<i>n</i>
<i>i</i>
<i>n</i>
<i>i</i>
<i>b</i>
<i>b</i>
<i>b</i>
<i>a</i>
<i>a</i>
<i>a</i>
<i>b</i>
<i>a</i>
<i>b</i>
<i>b</i>
<i>b</i>
<i>b</i>
<i>a</i>
<i>a</i>
<i>a</i>
<i>a</i>
+
+
+
+
+
+
≥
+
+
+
+
+
+
+
Cho i chạy từ 1 ñến n rồi cộng vế cả n bất ñẳng thức lại ta có ñpcm.
ð<i>ây </i>cũ<i>ng </i>là cá<i>ch ch</i>ứ<i>ng minh h</i>ế<i>t s</i>ứ<i>c ng</i>ắ<i>n </i>gọ<i>n </i>mà bạ<i>n </i>ñọ<i>c nên ghi nh</i>ớ<i>! </i>
Bây giờ <i>v</i>ớ<i>i s</i>ự <i>ti</i>ế<i>p s</i>ứ<i>c </i>củ<i>a <b>BCS</b>, <b>AM – GM</b> nh</i>ưñượ<i>c ti</i>ế<i>p thêm ngu</i>ồ<i>n s</i>ứ<i>c </i>mạ<i>nh, nh</i>ư
<i>h</i>ổ mọ<i>c thêm </i>cá<i>nh, nh</i>ư<i> r</i>ồ<i>ng </i>mọ<i>c thêm vây, </i>phá<i>t huy hi</i>ệ<i>u </i>quả <i>t</i>ầ<i>m </i>ả<i>nh h</i>ưở<i>ng </i>củ<i>a </i>mì<i>nh. </i>
<i>Hai b</i>ấ<i>t </i>đẳ<i>ng th</i>ứ<i>c </i>nà<i>y </i>bù ñắ<i>p b</i>ổ <i>sung h</i>ỗ <i>tr</i>ợ <i>cho nhau trong vi</i>ệ<i>c ch</i>ứ<i>ng minh b</i>ấ<i>t </i>ñẳ<i>ng </i>
<i>th</i>ứ<i>c. </i>Chú<i>ng </i>ñã <i>“l</i>ưỡ<i>ng long nh</i>ấ<i>t th</i>ể<i>”, “song ki</i>ế<i>m h</i>ợ<i>p </i>bí<i>ch” cơng </i>phá thà<i>nh cơng nhi</i>ề<i>u </i>
bà<i>i </i>tố<i>n </i>khó<i>. </i>
<i> “Tr</i>ă<i>m nghe khơng b</i>ằ<i>ng m</i>ộ<i>t th</i>ấ<i>y”, ta </i>hã<i>y </i>xé<i>t </i>cá<i>c </i>ví dụ ñể <i>th</i>ấ<i>y </i>rõ ñ<i>i</i>ề<i>u </i>nà<i>y. </i>
Ví dụ <b>1.1.2.1. </b>
<b> CMR v</b>ớ<i>i </i>mọ<i>i a</i>,<i>b</i>,α <i> ta </i>có <i>: </i>
2
2
1
cos
sin
cos
sin
+<i>a</i> α α <i>b</i> α <i>a</i> <i>b</i>
α
<b>L</b>ờ<b>i </b>giả<b>i : </b>
Ta có :
1
2
2
cos
1
2
sin
2
cos
1
cos
cos
sin
sin
cos
sin
cos
sin 2 2
α
α
α
α
α
α
α
α
α
α
α
α
α
−
+
+
+
+
=
+
+
+
+
−
=
+
+
+
=
+
+
<i>ab</i>
<i>b</i>
<i>a</i>
<i>ab</i>
<i>ab</i>
<i>b</i>
<i>a</i>
<i>ab</i>
<i>b</i>
<i>a</i>
<i>b</i>
<i>a</i>
Theo BCS ta có :
<i>A</i>sin<i>x</i>+<i>B</i>cos<i>x</i>≤ <i>A</i>2 +<i>B</i>2
<b> </b>
2
1
cos
sin
cos
sinα +<i>a</i> α α +<i>b</i> α ≤ +<i>ab</i>+ <i>a</i>2 + <i>b</i>2 +
<b> </b>Ta sẽ chứng minh bất ñẳng thức sau ñây với mọi a, b :
2
1
1
1
1
2
1 <sub>2</sub> <sub>2</sub> 2
Thật vậy :
2
2
1
1
2
4
1
1
1
2
1
2
2
2
2
2
2
2
2
+
+
≤
+
+
⇔
+
+
+
≤
+
+
+
⇔
<i>b</i>
<i>a</i>
<i>b</i>
<i>a</i>
<i>ab</i>
<i>b</i>
<i>a</i>
<i>b</i>
<i>a</i>
<i>ab</i>
2
1
1
1
1
2
2
2 <sub>+</sub> <sub>+</sub> <sub>≤</sub> + + +
⇔ <i>a</i> <i>b</i> <i>a</i> <i>b</i>
Theo AM – GM thì
2
2
1
cos
sin
cos
sin
+
+
+<i>a</i> α α <i>b</i> α <i>a</i> <i>b</i>
α
ðẳng thức xảy ra khi xảy ra ñồng thời dấu bằng ở
∈
+
−
+
=
=
⇔
−
+
=
=
⇔
−
=
+
=
⇔
<i>Z</i>
<i>k</i>
<i>k</i>
<i>ab</i>
<i>b</i>
<i>a</i>
<i>ab</i>
<i>b</i>
<i>a</i>
<i>tg</i>
<i>b</i>
<i>a</i>
<i>ab</i>
<i>b</i>
<i>a</i>
<i>b</i>
<i>a</i>
2
1
2
1
1
2
cos
1
sin
2
2
π
α
α
α
α
Ví dụ <b>1.1.2.2. </b>
<i><b> </b>Cho a</i>,<i>b</i>,<i>c</i>>0 và <i>a</i>sin<i>x</i>+<i>b</i>cos<i>y</i> =<i>c. CMR : </i>
<i> </i> <sub>3</sub> <sub>3</sub>
2
2
2
1
1
sin
cos
<i>b</i>
<i>a</i>
<i>c</i>
<i>b</i>
<i>a</i>
<i>b</i>
<i>y</i>
<i>a</i>
<i>x</i>
+
−
+
≤
+
<b>L</b>ờ<b>i </b>giả<b>i : </b>
Bất ñẳng thức cần chứng minh tương ñương với :
sin
1
1
cos
1
sin
1
3
3
2
2
2
3
3
2
2
2
<i>b</i>
<i>a</i>
<i>c</i>
<i>y</i>
<i>a</i>
<i>x</i>
<i>b</i>
<i>a</i>
<i>c</i>
<i>b</i>
<i>a</i>
<i>b</i>
<i>y</i>
<i>a</i>
<i>x</i>
+
≥
+
⇔
+
−
+
≤
+
−
Theo <b>BCS thì </b>:
với
=
=
=
=
<i>b</i>
<i>b</i>
<i>b</i>
<i>a</i>
<i>a</i>
<i>b</i>
<i>b</i>
<i>a</i>
<i>x</i>
<i>a</i>
2
1
2
1
;
cos
;
sin
2
2
cos
sin
cos
sin
<i>y</i>
<i>b</i>
<i>x</i>
<i>a</i>
<i>b</i>
<i>a</i>
<i>b</i>
<i>y</i>
<i>a</i>
<i>x</i>
+
≥
+
+
⇒
h<sub>a</sub>
x
y
z
N
Q
P
A
B C
M
ðẳng thức xảy ra
2
2
2
2
1
1 sin cos
<i>b</i>
<i>y</i>
<i>x</i>
<i>b</i>
<i>a</i>
<i>b</i>
<i>a</i>
=
⇔
=
⇔
+
=
+
=
=
+
=
⇔
3
3
2
3
3
2
2
2
cos
sin
cos
sin
cos
sin
<i>b</i>
<i>a</i>
<i>c</i>
<i>b</i>
<i>y</i>
<i>b</i>
<i>a</i>
<i>c</i>
<i>a</i>
<i>x</i>
<i>c</i>
<i>y</i>
<i>b</i>
<i>x</i>
<i>a</i>
<i>b</i>
<i>y</i>
<i>a</i>
<i>x</i>
Ví dụ <b>1.1.2.3. </b>
<i> CMR v</i>ớ<i>i </i>mọ<i>i </i>∆<i>ABC ta </i>có <i>: </i>
<i> </i>
<i>R</i>
<i>c</i>
<i>b</i>
<i>a</i>
<i>z</i>
<i>y</i>
<i>x</i>
2
2
2
2 <sub>+</sub> <sub>+</sub>
≤
+
+ <i> </i>
<i>v</i>ớ<i>i </i> <i>x</i>,<i>y</i>,<i>z</i> là khoả<i>ng </i>cá<i>ch t</i>ừ ñ<i>i</i>ể<i>m M b</i>ấ<i>t </i>kỳ <i>n</i>ằ<i>m bên trong </i> ∆<i>ABC</i> ñế<i>n ba </i>cạ<i>nh </i>
<i>AB</i>
<i>CA</i>
<i>BC</i>, , <i>. </i>
<b>L</b>ờ<b>i </b>giả<b>i : </b>
Ta có :
+
+
+
+
=
+
+
⇒
=
+
+
⇔
=
+
+
⇔
+
+
=
<i>c</i>
<i>b</i>
<i>a</i>
<i>c</i>
<i>b</i>
<i>a</i>
<i>c</i>
<i>b</i>
<i>a</i>
<i>a</i>
<i>b</i>
<i>c</i>
<i>ABC</i>
<i>MCA</i>
<i>ABC</i>
<i>MBC</i>
<i>ABC</i>
<i>MAB</i>
<i>MCA</i>
<i>MBC</i>
<i>MAB</i>
<i>ABC</i>
<i>h</i>
<i>z</i>
<i>h</i>
<i>y</i>
<i>h</i>
<i>x</i>
<i>h</i>
<i>h</i>
<i>h</i>
<i>h</i>
<i>h</i>
<i>h</i>
<i>h</i>
<i>x</i>
<i>h</i>
<i>y</i>
<i>h</i>
<i>z</i>
<i>S</i>
<i>S</i>
<i>S</i>
<i>S</i>
<i>S</i>
<i>S</i>
<i>S</i>
<i>S</i>
<i>S</i>
<i>S</i>
1
1
Theo BCS thì :
<i>c</i>
<i>b</i>
<i>c</i>
<i>b</i>
<i>b</i>
<i>a</i>
<i>a</i> <i>h</i> <i>h</i> <i>h</i>
<i>h</i>
<i>z</i>
<i>h</i>
<i>y</i>
<i>h</i>
<i>x</i>
<i>h</i>
<i>h</i>
<i>h</i>
<i>h</i>
<i>z</i>
<i>h</i>
<i>h</i>
<i>y</i>
<i>h</i>
<i>h</i>
<i>x</i>
<i>h</i>
<i>z</i>
<i>y</i>
<i>x</i> <sub></sub>= + +
+
+
+
+
≤
+
+
=
+
mà <i>S</i> <i>ah<sub>a</sub></i> <i>ab</i>sin<i>C</i> <i>h<sub>a</sub></i> <i>b</i>sin<i>C</i> , <i>h<sub>b</sub></i> <i>c</i>sin<i>A</i> , <i>h<sub>c</sub></i> <i>a</i>sin<i>B</i>
2
1
2
1
=
=
=
⇒
=
=
<i>R</i>
<i>ca</i>
<i>R</i>
<i>bc</i>
<i>R</i>
<i>ab</i>
<i>A</i>
<i>c</i>
<i>h</i>
<i>h<sub>a</sub></i> <i><sub>b</sub></i> <i><sub>c</sub></i>
2
2
2
sin
sin
sin + + = + +
=
+
+
⇒
Từ đó suy ra :
+ + ≤ + + ≤ + + ⇒
<i>R</i>
<i>c</i>
<i>ca</i>
<i>bc</i>
<i>ab</i>
<i>z</i>
<i>y</i>
<i>x</i>
2
2
2
2
2
ðẳng thức xảy ra khi và chỉ khi <i>ABC</i>
<i>z</i>
<i>y</i>
<i>x</i>
<i>c</i>
<i>b</i>
<i>a</i>
∆
⇔
=
=
=
=
ñều và M là tâm nội tiếp ∆<i>ABC</i>.
Ví dụ <b>1.1.2.4. </b>
<i> Ch</i>ứ<i>ng minh r</i>ằ<i>ng : </i>
<i> </i>
∈
∀
≤
+
2
;
0
8
sin
cos<i><sub>x</sub></i> <i><sub>x</sub></i> 4 <i><sub>x</sub></i> π
<b>L</b>ờ<b>i </b>giả<b>i : </b>
Áp dụng bất ñẳng thức BCS liên tiếp 2 lần ta có :
4
2
2
2
2
2
2
2
2
2
2
4
8
sin
cos
8
sin
cos
1
1
1
1
sin
cos
1
1
sin
cos
≤
⇒
=
+
+
+
≤
+
+
≤
+
<i>x</i>
<i>x</i>
<i>x</i>
<i>x</i>
<i>x</i>
<i>x</i>
<i>x</i>
<i>x</i>
ðẳng thức xảy ra khi và chỉ khi
4
π
=
<i>x</i> .
Ví dụ <b>1.1.2.5. </b>
<i> Ch</i>ứ<i>ng minh r</i>ằ<i>ng v</i>ớ<i>i </i>mọ<i>i s</i>ố <i>th</i>ự<i>c a </i>và <i>x ta </i>có
<i> </i>
cos
2
sin
1
2
2
≤
+
+
<i>x</i>
<i>a</i>
<i>x</i>
<i>a</i>
<i>x</i>
<b>L</b>ờ<b>i </b>giả<b>i : </b>
Theo BCS ta có :
1
cos
2
sin
1
cos
2
sin
1
2
1
4
2
1
cos
sin
2
1
cos
2
sin
1
2
2
2
2
2
2
4
2
2
4
2
2
2
2
2
2
2
2
≤
+
+
−
⇔
+
≤
+
−
⇒
+
+
=
+
+
−
=
+
+
−
≤
+
−
<i>x</i>
<i>a</i>
<i>x</i>
<i>x</i>
<i>a</i>
<i>x</i>
<i>a</i>
<i>x</i>
<i>x</i>
<i>x</i>
<i>x</i>
<i>x</i>
<i>x</i>
<i>a</i>
<i>a</i>
<i>x</i>
<i>x</i>
<i>a</i>
<i>x</i>
<i>a</i>
<i>x</i>
Hàm số <i>y</i>= <i>f</i>(<i>x</i>)<b> liên </b>tục trên ñoạn
<b> i) </b> <i>f</i> ''(<i>x</i>)>0<b> trong khoảng </b>
<b> </b>
+ + +
≥
+
+
+
<i>n</i>
<i>x</i>
<i>x</i>
<i>x</i>
<i>nf</i>
<i>x</i>
<i>f</i>
<i>x</i>
<i>f</i>
<i>x</i>
<i>f</i> <i>n</i>
<i>n</i>
...
)
(
...
)
(
)
( 1 2
2
1
<b> ii) </b> <i>f</i> ''(<i>x</i>)<0<b> trong khoảng </b>
<b> </b>
+ + +
≥
+
+
+
<i>n</i>
<i>x</i>
<i>x</i>
<i>x</i>
<i>nf</i>
<i>x</i>
<i>f</i>
<i>x</i>
<i>f</i>
<i>x</i>
<i>f</i> <i>n</i>
<i>n</i>
...
)
(
...
)
(
)
( 1 2
2
1
<i><b> </b>B</i>ấ<i>t </i>ñẳ<i>ng th</i>ứ<i>c <b>AM – GM</b></i> và <i>b</i>ấ<i>t </i>ñẳ<i>ng th</i>ứ<i>c <b>BCS </b>th</i>ậ<i>t s</i>ự là cá<i>c </i>ñạ<i>i gia trong vi</i>ệ<i>c ch</i>ứ<i>ng </i>
<i>minh b</i>ấ<i>t </i>đẳ<i>ng th</i>ứ<i>c </i>nó<i>i chung. Nh</i>ư<i>ng riêng </i>đố<i>i v</i>ớ<i>i chun </i>mụ<i>c b</i>ấ<i>t </i>đẳ<i>ng th</i>ứ<i>c l</i>ượ<i>ng </i>giá<i>c </i>
thì đó lạ<i>i tr</i>ở thà<i>nh sân ch</i>ơ<i>i riêng cho b</i>ấ<i>t </i>ñẳ<i>ng th</i>ứ<i>c <b>Jensen</b>. </i>Dù có vẻ <i>h</i>ơ<i>i </i>khó <i>tin nh</i>ư<i>ng </i>
đó là <i>s</i>ự <i>th</i>ậ<i>t, </i>ñế<i>n 75% b</i>ấ<i>t </i>ñẳ<i>ng th</i>ứ<i>c l</i>ượ<i>ng </i>giá<i>c ta </i>chỉ <i>c</i>ầ<i>n</i> nó<i>i “theo b</i>ấ<i>t </i>ñẳ<i>ng th</i>ứ<i>c </i>
<i>Jensen hi</i>ể<i>n nhiên ta </i>có đ<i>pcm”. </i>
<i> Trong </i>phá<i>t bi</i>ể<i>u </i>củ<i>a </i>mì<i>nh, b</i>ấ<i>t </i>đẳ<i>ng th</i>ứ<i>c <b>Jensen </b></i>có ñề <i>c</i>ậ<i>p </i>ñế<i>n </i>ñạ<i>o </i>hà<i>m b</i>ậ<i>c hai, </i>
<i>nh</i>ư<i>ng </i>đó là <i>ki</i>ế<i>n th</i>ứ<i>c </i>củ<i>a l</i>ớ<i>p 12 THPT. </i>Vì <i>v</i>ậ<i>y </i>nó sẽ <i>khơng </i>thí<i>ch h</i>ợ<i>p cho m</i>ộ<i>t s</i>ố ñố<i>i </i>
<i>t</i>ượ<i>ng </i>bạ<i>n </i>ñọ<i>c. Cho nên ta </i>sẽ phá<i>t bi</i>ể<i>u b</i>ấ<i>t </i>ñẳ<i>ng th</i>ứ<i>c <b>Jensen </b>d</i>ướ<i>i m</i>ộ<i>t </i>dạ<i>ng </i>khá<i>c : </i>
<i> Cho </i> <i>f</i> <i>R</i>+ →<i>R</i>
: thỏa mãn <sub></sub> <sub>∀</sub> <sub>∈</sub> +
+
≥
+ <i>f</i> <i>y</i> <i>f</i> <i>x</i> <i>y</i> <i>x</i> <i>y</i> <i>R</i>
<i>x</i>
<i>f</i> ,
2
2
)
(
)
( <b> Khi </b>đó <b>với mọi </b>
+
∈<i>R</i>
<i>x</i>
<i>x</i>
<i>x</i><sub>1</sub>, <sub>2</sub>,..., <i><sub>n</sub></i> <b> ta có bất đẳng thức : </b>
<b> </b>
+ + +
≥
+
+
+
<i>n</i>
<i>x</i>
<i>x</i>
<i>x</i>
<i>nf</i>
<i>x</i>
<i>f</i>
<i>x</i>
<i>f</i>
<i>x</i>
<i>f</i> <i>n</i>
<i>n</i>
...
(
...
)
(
)
( 1 2
2
1
<b> </b><i>S</i>ự <i>th</i>ậ<i>t </i>là tá<i>c </i>giả <i>ch</i>ư<i>a t</i>ừ<i>ng ti</i>ế<i>p </i>xú<i>c v</i>ớ<i>i m</i>ộ<i>t ch</i>ứ<i>ng minh </i>chí<i>nh th</i>ứ<i>c </i>củ<i>a b</i>ấ<i>t </i>đẳ<i>ng th</i>ứ<i>c </i>
<i><b>Jensen</b> trong </i>phá<i>t bi</i>ể<i>u </i>có <i>f</i> ''(<i>x</i>)<i>. </i>Cị<i>n vi</i>ệ<i>c ch</i>ứ<i>ng minh </i>phá<i>t bi</i>ể<i>u không s</i>ử dụ<i>ng </i>đạ<i>o </i>
hà<i>m </i>thì <i>r</i>ấ<i>t </i>đơ<i>n </i>giả<i>n. </i>Nó <i>s</i>ử dụ<i>ng ph</i>ươ<i>ng </i>phá<i>p quy </i>nạ<i>p Cauchy t</i>ươ<i>ng t</i>ự <i>nh</i>ư<i> khi ch</i>ứ<i>ng </i>
<i>minh b</i>ấ<i>t </i>ñẳ<i>ng th</i>ứ<i>c <b>AM – GM</b>. Do </i>đó tá<i>c </i>giả sẽ <i>khơng </i>trì<i>nh </i>bà<i>y ch</i>ứ<i>ng minh </i>ở đ<i>ây. </i>
Ngồ<i>i ra, </i>ở <i>m</i>ộ<i>t s</i>ố tà<i>i li</i>ệ<i>u </i>có <i>th</i>ể bạ<i>n </i>đọ<i>c g</i>ặ<i>p </i>khá<i>i ni</i>ệ<i>m l</i>ồ<i>i </i>lõ<i>m khi nh</i>ắ<i>c t</i>ớ<i>i b</i>ấ<i>t </i>ñẳ<i>ng </i>
<i>th</i>ứ<i>c <b>Jensen</b>. Nh</i>ư<i>ng hi</i>ệ<i>n nay trong c</i>ộ<i>ng </i>đồ<i>ng </i>tố<i>n </i>họ<i>c v</i>ẫ<i>n ch</i>ư<i>a quy </i>ướ<i>c </i>rõ rà<i>ng </i>ñ<i>âu </i>là
<i>l</i>ồ<i>i, </i>ñ<i>âu </i>là lõ<i>m. Cho nên </i>bạ<i>n </i>đọ<i>c khơng nh</i>ấ<i>t thi</i>ế<i>t quan tâm</i> đế<i>n </i>đ<i>i</i>ề<i>u </i>đó<i>. Khi ch</i>ứ<i>ng minh </i>
<i>ta </i>chỉ <i>c</i>ầ<i>n </i>xé<i>t </i> <i>f</i> ''(<i>x</i>) là ñủ ñể <i>s</i>ử dụ<i>ng b</i>ấ<i>t </i>ñẳ<i>ng th</i>ứ<i>c <b>Jensen</b>. Ok! M</i>ặ<i>c </i>dù <i>b</i>ấ<i>t </i>đẳ<i>ng th</i>ứ<i>c </i>
<i><b>Jensen</b> khơng </i>phả<i>i </i>là <i>m</i>ộ<i>t b</i>ấ<i>t </i>đẳ<i>ng th</i>ứ<i>c ch</i>ặ<i>t, nh</i>ư<i>ng khi </i>có <i>d</i>ấ<i>u hi</i>ệ<i>u manh nha </i>củ<i>a </i>nó
thì bạ<i>n </i>đọ<i>c c</i>ứ tù<i>y nghi s</i>ử dụ<i>ng . </i>
Ví dụ <b>1.1.3.1. </b>
<i> Ch</i>ứ<i>ng minh r</i>ằ<i>ng v</i>ớ<i>i </i>mọ<i>i ABC</i>∆ <i> ta </i>có <i>: </i>
<i> </i>
2
3
3
sin
sin
sin<i>A</i>+ <i>B</i>+ <i>C</i>≤
<b>L</b>ờ<b>i </b>giả<b>i : </b>
Xét <i>f</i>(<i>x</i>)=sin<i>x</i> với <i>x</i>∈
Ta có <i>f</i> ''(<i>x</i>)=−sin<i>x</i><0∀<i>x</i>∈
+ +
≤
+
+
2
3
3
3
sin
3
3
3<i>f</i> <i>A</i> <i>B</i> <i>C</i> π
<i>C</i>
<i>f</i>
<i>B</i>
<i>f</i>
<i>A</i>
<i>f</i> ñpcm.
ðẳng thức xảy ra khi và chỉ khi ∆<i>ABC</i> ñều.
Ví dụ <b>1.1.3.2. </b>
<i> Ch</i>ứ<i>ng minh r</i>ằ<i>ng v</i>ớ<i>i </i>mọ<i>i </i>∆<i>ABC</i> đề<i>u ta </i>có <i>: </i>
<i> </i> 3
2
tan
tan <i>A</i>+ <i>B</i> + <i>C</i> ≥
<b>L</b>ờ<b>i </b>giả<b>i : </b>
Xét <i>f</i>
2
;
0 π
<i>x</i>
Ta có
∈
2
;
0
0
cos
sin
2
'' <sub>3</sub> <i>x</i> π
<i>x</i>
<i>x</i>
<i>x</i>
<i>f</i> . Từ đó theo <b>Jensen thì </b>:
<b> </b> = = ⇒
+
+
≥
+
+
3
6
sin
3
3
2
2
2
3
2
2
2
π
<i>C</i>
<i>B</i>
<i>A</i>
<i>f</i>
<i>C</i>
<i>f</i>
<i>B</i>
<i>f</i> ñpcm.
ðẳng thức xảy ra khi và chỉ khi ∆<i>ABC</i> đều.
Ví dụ <b>1.1.3.3. </b>
<i> Ch</i>ứ<i>ng minh r</i>ằ<i>ng v</i>ớ<i>i </i>mọ<i>i </i>∆<i>ABC ta </i>có <i>: </i>
<i> </i> 1 2
2
2
2
2
2
2
3
2
tan
2
tan
2
tan ≥ −
+
+
<i>A</i> <i>B</i> <i>C</i>
Xét <i>f</i>
2
;
0 π
<i>x</i>
Ta có <i>f</i> '
= ⇒
=
+
+
≥
+
+
1− 2
2
2
3
6
3
3
2
2
2
3
2
2
2
π
<i>tg</i>
<i>C</i>
<i>B</i>
<i>A</i>
<i>f</i>
<i>C</i>
<i>f</i>
<i>B</i>
<i>f</i>
<i>A</i>
<i>f</i> ñpcm.
ðẳng thức xảy ra khi và chỉ khi ∆<i>ABC</i> ñều.
Ví dụ <b>1.1.3.4. </b>
<i> Ch</i>ứ<i>ng minh r</i>ằ<i>ng v</i>ớ<i>i </i>mọ<i>i </i>∆<i>ABC ta </i>có <i>: </i>
<i> </i> 3
2
3
2
tan
2
sin <i>A</i>+ <i>B</i> + <i>C</i> + <i>A</i>+ <i>B</i>+ <i>C</i> ≥ +
<b>L</b>ờ<b>i </b>giả<b>i : </b>
<b> Xét </b> <i>f</i>
2
;
0 π
<i>x</i>
Ta có
∈
∀
>
−
=
2
;
0
0
cos
cos
1
sin
''
4
4 <sub>π</sub>
<i>x</i>
<i>x</i>
<i>x</i>
<i>x</i>
<i>x</i>
<i>f</i>
Khi đó theo <b>Jensen thì </b>:
= + ⇒
+
=
+
+
≥
+
+
3
2
3
6
tan
6
sin
3
3
2
2
2
3
2
2
2
π
π
<i>C</i>
<i>B</i>
<i>A</i>
<i>f</i>
<i>C</i>
<i>f</i> ñpcm.
ðẳng thức xảy ra khi và chỉ khi ∆<i>ABC</i> đều.
Ví dụ <b>1.1.3.5. </b>
<i> Ch</i>ứ<i>ng minh r</i>ằ<i>ng v</i>ớ<i>i </i>mọ<i>i </i>∆<i>ABC</i>nhọ<i>n ta </i>có <i>: </i>
<i> </i>
3
3
sin
sin
sin
3
2
sin
sin
sin
≥
<i>C</i>
<i>B</i>
<i>A</i>
<i>C</i>
<i>B</i>
<i>A</i> <i> </i>
+
+
≥
+
+
+
+
<i>C</i>
<i>B</i>
<i>A</i>
<i>C</i>
<i>B</i>
<i>A</i>
<i>C</i>
<i>B</i>
<i>A</i>
<i>C</i>
<i>B</i>
<i>A</i>
2
2
2
2
2
2
sin
sin
sin
sin
sin
sin
cos
cos
cos
2
2
sin
sin
sin
và
2
3
3
sin
sin
sin<i>A</i>+ <i>B</i>+ <i>C</i>≤
2
3
3
sin
sin
sin
2< + + ≤
⇒ <i><sub>A</sub></i> <i><sub>B</sub></i> <i><sub>C</sub></i>
Xét <i>f</i>
''
<i>x</i>
<i>x</i>
<i>f</i>
Bây giờ với <b>Jensen</b> ta ñược :
3
3
sin
sin
sin
sin
sin
sin
sin
sin
sin
sin
sin
sin
sin
sin
sin
sin
sin
sin
sin
sin
sin
sin
sin
sin
sin
sin
sin
sin
sin
sin
sin
sin
sin
3
2
3
2
3
2
sin
sin
sin
sin
sin
sin
3
sin
sin
sin
sin
sin
sin
ln
3
sin
sin
sin
ln
sin
ln
sin
ln
sin
ln
3
sin
sin
sin
ln
3
sin
ln
sin
sin
ln
sin
sin
ln
sin
3
sin
sin
sin
ln
3
sin
sin
sin
≥
=
≥
⇒
≤
+
+
⇔
≤
+ +
⇔
+
+
≤
+ +
⇔
+
+
≤
+ +
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
<i>C</i>
<i>C</i>
<i>B</i>
<i>A</i>
<i>C</i>
<i>B</i>
<i>A</i>
<i>C</i>
<i>B</i>
<i>A</i>
<i>C</i>
<i>B</i>
<i>A</i>
<i>C</i>
<i>B</i>
<i>A</i>
<i>C</i>
<i>B</i>
<i>A</i>
<i>C</i>
<i>B</i>
<i>A</i>
<i>C</i>
<i>B</i>
<i>A</i>
<i>C</i>
<i>B</i>
<i>A</i>
<i>C</i>
<i>B</i>
<i>A</i>
<i>C</i>
<i>B</i>
<i>A</i>
<i>C</i>
<i>B</i>
<i>A</i>
<i>C</i>
<i>B</i>
<i>A</i>
<i>C</i>
<i>B</i>
<i>A</i>
<i>C</i>
<i>B</i>
<i>A</i>
<i>C</i>
<i>B</i>
<i>A</i>
<i>C</i>
<i>B</i>
<i>A</i>
<i>C</i>
<i>C</i>
<i>B</i>
<i>B</i>
<i>A</i>
<i>A</i>
<i>C</i>
<i>B</i>
<i>a</i>
<i>C</i>
<i>B</i>
<i>A</i>
⇒ñpcm.
<b>Với hai dãy số thực đơn điệu cùng chiều </b><i>a</i><sub>1</sub>,<i>a</i><sub>2</sub>,...,<i>a<sub>n</sub></i> và <i>b</i><sub>1</sub>,<i>b</i><sub>2</sub>,...,<i>b<sub>n</sub></i> thì ta có :
<b> </b> <i>n</i> <i>n</i>
<i>n</i>
<i>b</i>
<i>a</i>
<i>b</i>
<i>a</i>
<i>b</i>
<i>a</i><sub>1</sub> <sub>1</sub>+ <sub>2</sub> <sub>2</sub> +...+ ≥ 1 <sub>1</sub>+ <sub>2</sub> +...+ <sub>1</sub> + <sub>2</sub> +...+
<b> </b><i>Theo </i>khả <i>n</i>ă<i>ng </i>củ<i>a </i>mì<i>nh </i>thì tá<i>c </i>giả <i>r</i>ấ<i>t </i>í<i>t khi s</i>ử dụ<i>ng b</i>ấ<i>t </i>đẳ<i>ng th</i>ứ<i>c </i>nà<i>y. </i>Vì <i>tr</i>ướ<i>c h</i>ế<i>t </i>
<i>ta c</i>ầ<i>n </i>ñể ý <i>t</i>ớ<i>i chi</i>ề<i>u </i>củ<i>a </i>cá<i>c bi</i>ế<i>n, th</i>ườ<i>ng </i>phả<i>i s</i>ắ<i>p </i>lạ<i>i th</i>ứ <i>t</i>ự cá<i>c bi</i>ế<i>n. Do </i>đó bà<i>i </i>tố<i>n </i>
<i>c</i>ầ<i>n </i>có <i>u c</i>ầ<i>u </i>đố<i>i x</i>ứ<i>ng </i>hồ<i>n </i>toà<i>n gi</i>ữ<i>a </i>cá<i>c bi</i>ế<i>n, vi</i>ệ<i>c s</i>ắ<i>p x</i>ế<i>p th</i>ứ <i>t</i>ự sẽ <i>khơng </i>là<i>m m</i>ấ<i>t </i>
tí<i>nh t</i>ổ<i>ng </i>q<i>t </i>củ<i>a </i>bà<i>i </i>tố<i>n. Nh</i>ư<i>ng khơng </i>vì <i>th</i>ế mà lạ<i>i </i>phủ <i>nh</i>ậ<i>n t</i>ầ<i>m </i>ả<i>nh h</i>ưở<i>ng </i>củ<i>a b</i>ấ<i>t </i>
<b>Ch</b>ứ<b>ng minh : </b>
Bằng phân tích trực tiếp, ta có đẳng thức :
1
,
2
1
2
1
2
2
1
1 + + + − + + + + + + =
=
<i>n</i>
<i>j</i>
<i>i</i>
<i>j</i>
<i>i</i>
<i>n</i>
<i>n</i>
<i>nb</i> <i>a</i> <i>a</i> <i>a</i> <i>b</i> <i>b</i> <i>b</i> <i>a</i> <i>a</i> <i>b</i> <i>b</i>
<i>a</i>
<i>b</i>
<i>a</i>
<i>b</i>
<i>a</i>
<i>n</i>
Vì hai dãy <i>a</i><sub>1</sub>,<i>a</i><sub>2</sub>,...,<i>a<sub>n</sub></i> và <i>b</i><sub>1</sub>,<i>b</i><sub>2</sub>,...,<i>b<sub>n</sub></i> đơn điệu cùng chiều nên
Ví dụ <b>1.1.4.1. </b>
Chứ<i>ng minh r</i>ằ<i>ng v</i>ớ<i>i </i>mọ<i>i </i>∆<i>ABCta </i>có <i>: </i>
<i> </i>
3
π
≥
+
+
+
+
<i>c</i>
<i>b</i>
<i>a</i>
<i>cC</i>
<i>bB</i>
<i>aA</i>
<b>L</b>ờ<b>i </b>giả<b>i : </b>
Khơng mất tính tổng qt giả sử :
<i>a</i>≤<i>b</i>≤<i>c</i>⇔ <i>A</i>≤<i>B</i>≤<i>C</i>
Theo Chebyshev thì :
3
3
3
3
3
π
=
+
+
≥
+
+
+
+
⇒
+
+
≤
+ +
+ +
<i>C</i>
<i>B</i>
<i>A</i>
<i>c</i>
<i>b</i>
<i>a</i>
<i>cC</i>
<i>bB</i>
<i>aA</i>
<i>cC</i>
<i>bB</i>
<i>aA</i>
<i>C</i>
<i>B</i>
<i>A</i>
<i>c</i>
<i>b</i>
<i>a</i>
ðẳng thức xảy ra khi và chỉ khi ∆<i>ABC</i> ñều.
Ví dụ <b>1.1.4.2. </b>
<i> Cho </i>∆<i>ABCkhơng </i>có gó<i>c </i>tù và <i>A, B, C </i>đ<i>o b</i>ằ<i>ng radian. CMR : </i>
<i> </i>
+
+
+
+
≤
+
+
<i>C</i>
<i>C</i>
<i>B</i>
<i>B</i>
<i>A</i>
<i>A</i>
<i>C</i>
<i>B</i>
<i>A</i>
<i>C</i>
<i>B</i>
<i>A</i> sin sin sin sin sin
sin
3
<b>L</b>ờ<b>i </b>giả<b>i : </b>
Xét
<i>x</i>
<i>x</i>
<i>x</i>
<i>f</i> = sin với <sub></sub>
∈
2
<i>x</i>
Ta có
∈
∀
≤
−
=
2
;
0
0
tan
cos
'
2
π
<i>x</i>
<i>x</i>
<i>x</i>
<i>x</i>
<i>x</i>
<i>x</i>
Vậy <i>f</i>
2
;
0 π
Không mất tổng quát giả sử :
<i>C</i>
<i>C</i>
<i>B</i>
<i>B</i>
<i>A</i>
<i>C</i>
<i>B</i>
<i>A</i>≥ ≥ ⇒sin ≤ sin ≤sin
Áp dụng bất ñẳng thức <b>Chebyshev </b>ta có :
+
+
+
+ <i>A</i> <i>B</i> <i>C</i>
<i>C</i>
<i>C</i>
<i>B</i>
<i>B</i>
<i>A</i>
<i>A</i>
<i>C</i>
<i>B</i>
<i>A</i> sin sin sin 3sin sin sin ñpcm.
ðẳng thức xảy ra khi và chỉ khi ∆<i>ABC</i> đều.
Ví dụ <b>1.1.4.3. </b>
<i> Ch</i>ứ<i>ng minh r</i>ằ<i>ng v</i>ớ<i>i </i>mọ<i>i </i>∆<i>ABCta </i>có <i>: </i>
<i> </i>
3
tan
tan
tan
cos
cos
cos
sin
sin
sin <i>A</i> <i>B</i> <i>C</i>
<i>C</i>
<i>B</i>
<i>A</i>
<i>C</i>
<i>B</i>
<i>A</i>
≤
+
+
+
+
<b>L</b>ờ<b>i </b>giả<b>i : </b>
Không mất tổng quát giả sử <i>A</i>≥<i>B</i>≥<i>C</i>
≤
≤
≥
≥
⇒
<i>C</i>
<i>B</i>
<i>A</i>
<i>C</i>
<i>B</i>
<i>A</i>
cos
cos
cos
tan
tan
tan
Áp dụng Chebyshev ta có :
3
tan
tan
tan
cos
cos
cos
sin
sin
sin
3
cos
tan
cos
tan
cos
tan
3
cos
cos
cos
3
tan
tan
tan
<i>C</i>
<i>B</i>
<i>A</i>
<i>C</i>
<i>B</i>
<i>A</i>
<i>C</i>
<i>B</i>
<i>A</i>
<i>C</i>
<i>C</i>
<i>B</i>
<i>B</i>
<i>A</i>
<i>A</i>
<i>C</i>
<i>B</i>
<i>A</i>
<i>C</i>
<i>B</i>
<i>A</i>
+
+
≤
+
+
+
+
⇔
+
+
≥
+ +
+ +
Mà ta lại có tan<i>A</i>+tan<i>B</i>+tan<i>C</i>=tan<i>A</i>tan<i>B</i>tan<i>C</i>
⇒ñpcm.
ðẳng thức xảy ra khi và chỉ khi ∆<i>ABC</i>đều.
Ví dụ <b>1.1.4.4. </b>
<i> Ch</i>ứ<i>ng minh r</i>ằ<i>ng v</i>ớ<i>i </i>mọ<i>i </i>∆<i>ABCta </i>có <i>: </i>
<i> </i>
<i>C</i>
<i>B</i>
<i>A</i>
<i>C</i>
<i>B</i>
<i>A</i>
<i>C</i>
<i>B</i>
<i>A</i>
cos
cos
cos
2
sin
2
sin
2
sin
2
3
sin
sin
sin
2
+
+
+
+
≥
+
+
<b>L</b>ờ<b>i </b>giả<b>i : </b>
≥
≥
≤
≤
⇒
<i>C</i>
<i>B</i>
<i>A</i>
<i>C</i>
<i>B</i>
<i>A</i>
cos
cos
cos
sin
sin
sin
Khi đó theo Chebyshev thì :
<i>C</i>
<i>B</i>
<i>A</i>
<i>C</i>
<i>B</i>
<i>A</i>
<i>B</i>
<i>A</i>
<i>C</i>
<i>C</i>
<i>B</i>
<i>B</i>
<i>A</i>
<i>A</i>
<i>C</i>
<i>B</i>
<i>A</i>
<i>C</i>
<i>B</i>
<i>A</i>
cos
cos
cos
2
sin
sin
sin
2
3
cos
sin
cos
sin
cos
sin
3
cos
cos
cos
3
sin
sin
sin
+
+
+
+
≥
+
+
⇔
+
+
≥
+ +
+ +
⇒đpcm.
ðẳng thức xảy ra khi và chỉ khi ∆<i>ABC</i>ñều.
<i><b> </b>Sau </i>ñ<i>ây </i>là <i>h</i>ầ<i>u h</i>ế<i>t nh</i>ữ<i>ng </i>ñẳ<i>ng th</i>ứ<i>c, b</i>ấ<i>t </i>ñẳ<i>ng th</i>ứ<i>c quen thu</i>ộ<i>c trong tam </i>giá<i>c </i>và <i>trong </i>
<i>l</i>ượ<i>ng </i>giá<i>c </i>ñượ<i>c </i>dù<i>ng trong chuyên </i>ñề nà<i>y ho</i>ặ<i>c r</i>ấ<i>t c</i>ầ<i>n thi</i>ế<i>t cho </i>q trì<i>nh </i>họ<i>c </i>tố<i>n </i>củ<i>a </i>
bạ<i>n </i>đọ<i>c. </i>Cá<i>c </i>bạ<i>n </i>có <i>th</i>ể dù<i>ng ph</i>ầ<i>n </i>nà<i>y nh</i>ư<i> m</i>ộ<i>t t</i>ừ ñ<i>i</i>ể<i>n </i>nhỏ ñể <i>tra c</i>ứ<i>u khi c</i>ầ<i>n thi</i>ế<i>t.Hay </i>
bạ<i>n </i>ñọ<i>c </i>cũ<i>ng </i>có <i>th</i>ể <i>ch</i>ứ<i>ng minh t</i>ấ<i>t </i>cả cá<i>c k</i>ế<i>t </i>quả <i>nh</i>ưlà bà<i>i t</i>ậ<i>p </i>rè<i>n luy</i>ệ<i>n. </i>Ngồ<i>i ra tơi </i>
cũ<i>ng xin nh</i>ắ<i>c v</i>ớ<i>i </i>bạ<i>n </i>ñọ<i>c r</i>ằ<i>ng nh</i>ữ<i>ng ki</i>ế<i>n th</i>ứ<i>c trong ph</i>ầ<i>n </i>nà<i>y khi </i>á<i>p</i> dụ<i>ng </i>và<i>o </i>bà<i>i t</i>ậ<i>p </i>
ñề<i>u c</i>ầ<i>n thi</i>ế<i>t </i>ñượ<i>c ch</i>ứ<i>ng minh </i>lạ<i>i. </i>
<i>R</i>
<i>C</i>
<i>c</i>
<i>B</i>
<i>b</i>
<i>A</i>
<i>a</i>
2
sin
sin
sin = = =
<i>C</i>
<i>ab</i>
<i>b</i>
<i>a</i>
<i>c</i>
<i>B</i>
<i>ca</i>
<i>a</i>
<i>c</i>
<i>b</i>
<i>A</i>
<i>bc</i>
<i>c</i>
<i>b</i>
<i>a</i>
cos
2
cos
2
cos
2
2
2
2
2
2
2
2
2
2
−
+
−
+
=
−
+
=
<i>A</i>
<i>b</i>
<i>B</i>
<i>a</i>
<i>c</i>
<i>C</i>
<i>a</i>
<i>A</i>
<i>c</i>
<i>b</i>
<i>B</i>
<i>c</i>
<i>C</i>
<i>b</i>
<i>a</i>
cos
cos
cos
cos
cos
cos
+
=
+
=
+
=
<i>p</i>
<i>r</i>
<i>c</i>
<i>p</i>
<i>r</i>
<i>b</i>
<i>pr</i>
<i>C</i>
<i>B</i>
<i>A</i>
<i>R</i>
<i>R</i>
<i>abc</i>
<i>C</i>
<i>ab</i>
<i>B</i>
<i>ca</i>
<i>A</i>
<i>bc</i>
<i>h</i>
<i>c</i>
<i>h</i>
<i>b</i>
<i>h</i>
<i>a</i>
<i>S</i>
<i>c</i>
<i>a</i>
<i>c</i>
<i>b</i>
<i>a</i>
−
−
−
=
−
=
−
=
−
=
=
=
=
=
=
=
=
=
=
sin
sin
sin
2
4
sin
2
1
sin
2
1
sin
2
1
.
2
1
.
2
1
.
2
4
2
2
4
2
2
4
2
2
2
2
2
2
2
2
2
2
2
2
2
2
<i>c</i>
<i>b</i>
<i>a</i>
<i>m</i>
<i>b</i>
<i>a</i>
1
cot
cot
cot
cot
cot
cot
1
2
tan
2
tan
2
tan
2
tan
2
tan
2
tan
2
<b> </b>
1
cot
cot
cot
9
tan
tan
tan
4
9
sin
sin
sin
4
3
cos
cos
cos
2
2
2
2
2
2
2
2
2
2
2
2
≥
+
+
≥
+
+
≤
+
+
≥
+
+
<i>C</i>
<i>B</i>
<i>A</i>
<i>C</i>
<i>B</i>
<i>A</i>
<i>C</i>
<i>B</i>
<i>A</i>
<i>C</i>
<i>B</i>
<i>A</i>
<b> </b>
2
cot
2
cot
2
cot
1
2
tan
2
tan
2
2
sin
2
sin
2
sin
2
cos
2
cos
2
cos
2
2
2
2
2
2
2
2
2
2
2
2
<i>C</i>
<i>B</i>
<i>A</i>
<i>C</i>
<i>B</i>
<i>A</i>
<i>C</i>
<i>B</i>
<i>A</i>
<i>C</i>
<i>B</i>
<i>A</i>
+
+
≥
+
+
+
+
+
<b> </b>
3
3
1
cot
cot
cot
3
3
tan
tan
tan
8
3
3
8
1
cos
cos
cos
≤
≥
≤
≤
<i>C</i>
<i>B</i>
<i>A</i>
<i>C</i>
<i>B</i>
<i>A</i>
<i>C</i>
<i>B</i>
<i>A</i>
<i>C</i>
<i>B</i>
<b> </b>
3
3
2
cot
2
cot
2
cot
3
3
1
2
tan
2
tan
2
tan
8
1
2
sin
2
sin
8
3
3
2
cos
2
cos
2
cos
≥
≤
≤
≤
<i>A</i>
<i>A</i>
<i>A</i>
<i>A</i>
<i>A</i>
<i>A</i>
<i>C</i>
<i>B</i>
<i>A</i>
<i>C</i>
<i>B</i>
<i>A</i>
<i> </i><b>Nếu hàm số </b> <i>y</i>= <i>f</i>
<b> </b> <i>f</i>
<i><b> </b></i>Nó<i>i chung v</i>ớ<i>i ki</i>ế<i>n th</i>ứ<i>c THPT, ta </i>chỉ có <i>cơng nh</i>ậ<i>n </i>đị<i>nh </i>lý nà<i>y </i>mà <i>khơng ch</i>ứ<i>ng minh. </i>
Ví <i>ch</i>ứ<i>ng minh </i>củ<i>a </i>nó <i>c</i>ầ<i>n </i>đế<i>n m</i>ộ<i>t s</i>ố <i>ki</i>ế<i>n th</i>ứ<i>c </i>củ<i>a </i>tố<i>n cao c</i>ấ<i>p. Ta </i>chỉ <i>c</i>ầ<i>n hi</i>ể<i>u </i>cá<i>ch </i>
dù<i>ng </i>nó cù<i>ng nh</i>ữ<i>ng </i>đ<i>i</i>ề<i>u ki</i>ệ<i>n </i>đ<i>i </i>kè<i>m trong </i>cá<i>c tr</i>ườ<i>ng h</i>ợ<i>p ch</i>ứ<i>ng minh. </i>
Ví dụ <b>1.3.1.1. </b>
<i> Ch</i>ứ<i>ng minh r</i>ằ<i>ng </i>∀<i>a</i>,<i>b</i>∈<i>R</i>,<i>a</i><<i>b</i>thì <i>ta </i>có <i>: </i>
<i> </i>sin<i>b</i>−sin<i>a</i> ≤ <i>b</i>−<i>a</i>
Xét <i>f</i>
<i>a</i>
<i>c</i>
<i>a</i>
<i>b</i>
<i>a</i>
<i>f</i>
<i>b</i>
<i>f</i>
<i>b</i>
<i>a</i>
<i>c</i>
−
≤
−
≤
−
⇒
−
=
−
∃
cos
sin
sin
cos
:
;
:
⇒đpcm.
Ví dụ<b> 1.3.1.2. </b>
<i> V</i>ớ<i>i </i>0<<i>a</i><<i>b. CMR : </i>
<i>a</i>
<i>a</i>
<i>b</i>
<i>a</i>
<i>b</i>
<i>b</i>
<i>a</i>
<i>b</i> −
<
<
−
ln
<b>L</b>ờ<b>i </b>giả<b>i : </b>
Xét <i>f</i>
<i>c</i>
<i>c</i>
<i>f</i>
<i>a</i>
<i>b</i>
<i>a</i>
<i>b</i>
<i>b</i>
<i>a</i>
<i>c</i> ; :ln ln = ' =1
−
−
∈
∃ vì <i>a</i><<i>c</i><<i>b</i> nên
<i>a</i>
<i>c</i>
<i>b</i>
1
1
1
<
<
Từ đó < ⇒ − < < − ⇒
−
−
<
<i>a</i>
<i>a</i>
<i>b</i>
<i>a</i>
<i>b</i>
<i>b</i>
<i>a</i>
<i>a</i>
<i>b</i>
<i>b</i> ln
1
ln
ln
1
đpcm.
Ví dụ <b>1.3.1.3. </b>
<i> Cho </i>
2
0<β <α <π <i> . CMR : </i>
<i> </i>
α
β
α
β
β
β
α
2
2 tan tan <sub>cos</sub>
cos
−
<
−
<
−
<b>L</b>ờ<b>i </b>giả<b>i : </b>
Xét <i>f</i>
1
tan
tan
:
; <sub>2</sub>
<i>c</i>
<i>c</i>
<i>f</i>
<i>f</i>
<i>f</i>
<i>c</i> =
−
−
⇒
=
−
−
∈
∃
β
β
α
β
α
β
α
α
β
Vì β <<i>c</i><α nên
cos
1
cos
1
cos
1
2
2
2 <sub>β</sub> < < <sub>α</sub>
<i>c</i>
Từ
<i> CMR n</i>ế<i>u x</i>>0 thì
<i>x</i>
<i>x</i>
<i>x</i>
<i>x</i>
+
>
+
+
1
1
1
1
1
1
<b>L</b>ờ<b>i </b>giả<b>i : </b>
Xét
+
= <i>x</i> <i>x</i> <i>x</i> <i>x</i>
<i>x</i>
<i>x</i>
<i>x</i>
<i>f</i>
Ta có
1
1
ln
1
ln
'
+
−
−
+
=
<i>x</i>
<i>x</i>
<i>x</i>
<i>x</i>
<i>f</i>
Xét <i>g</i>
1
1
ln
1
ln
'
1
1
'
1
ln
1
ln
:
1
;
>
+
−
−
⇒
+
>
=
−
+
−
+
+
∈
∃
<i>x</i>
<i>x</i>
<i>x</i>
<i>x</i>
<i>f</i>
<i>x</i>
<i>c</i>
<i>g</i>
<i>x</i>
<i>x</i>
<i>x</i>
<i>x</i>
<i>x</i>
<i>c</i>
với <i>x</i>>0⇒ <i>f</i>
<i>x</i>
<i>x</i>
<i>x</i>
<i>x</i>
<i>x</i>
<i>x</i>
<i>x</i>
<i>x</i>
<i>x</i>
<i>f</i>
<i>x</i>
<i>f</i>
+
>
+
+
⇒
+
>
+
+
⇒
>
+
⇒
+
+
1
1
1
1
1
1
ln
1
1
1
ln
1
1
1
⇒đpcm.
Ví dụ <b>1.3.1.5. </b>
Chứ<i>ng minh r</i>ằ<i>ng </i>∀<i>n</i>∈<i>Z</i>+<i>ta </i>có <i>: </i>
<i> </i>
1
1
arctan
2
2
1
2
2
2 <sub></sub>≤ <sub>+</sub>
+
+
≤
+
+ <i>n</i> <i>n</i> <i>n</i> <i>n</i>
<i>n</i>
<b>L</b>ờ<b>i </b>giả<b>i : </b>
Xét <i>f</i>
1
1
'
<i>x</i>
<i>x</i>
<i>f</i>
+
=
⇒ <sub> trên </sub>
∈
∀
+ <i>n</i> <i>Z</i>
<i>n</i>
<i>n</i>; 1
Theo ñịnh lý Lagrange ta có :
+
+
=
+
⇒
+
+
−
+
=
−
+
=
+
⇒
−
+
−
+
=
+
∈
∃
1
1
1
1
1
arctan
arctan
1
arctan
1
1
1
1
'
:
1
;
2
2
2
<i>n</i>
<i>n</i>
<i>c</i>
<i>n</i>
<i>n</i>
<i>n</i>
<i>n</i>
<i>n</i>
<i>n</i>
<i>c</i>
<i>n</i>
<i>n</i>
<i>n</i>
<i>f</i>
<i>n</i>
ðể ý <i>c</i>∈
1
1
1
1
arctan
2
2
1
1
1
1
1
2
2
1
2
2
1
1
1
2
2
2
2
2
2
2
2
2
2
2
2
+
<
+
+
<
+
+
⇔
+
<
+
<
+
+
⇔
+
+
<
+
<
+
⇔
+
<
<
⇒
<i>n</i>
<i>n</i>
<i>n</i>
<i>n</i>
<i>n</i>
<i>c</i>
<i>n</i>
<i>n</i>
<i>n</i>
<i>n</i>
<i>c</i>
<i>n</i>
<i>n</i>
<i>c</i>
<i>n</i>
⇒ñ<i>pcm</i>.
<b> Cho tam thức </b> <i><sub>f</sub></i>
−
=
∆
<b>- Nếu </b>∆<0 thì <i>f</i>
<i>a</i>
<i>b</i>
<i>x</i>
2
−
≠ <b>. </b>
<b>- Nếu </b>∆>0 thì <i>f</i>
<b> </b>
<i> Trong m</i>ộ<i>t s</i>ố <i>tr</i>ườ<i>ng h</i>ợ<i>p, </i>ñị<i>nh </i>lý nà<i>y </i>là <i>m</i>ộ<i>t công </i>cụ <i>h</i>ế<i>t s</i>ứ<i>c hi</i>ệ<i>u </i>quả<i>. Ta </i>sẽ <i>coi bi</i>ể<i>u </i>
<i>th</i>ứ<i>c c</i>ầ<i>n ch</i>ứ<i>ng minh </i>là <i>m</i>ộ<i>t tam th</i>ứ<i>c b</i>ậ<i>c hai theo m</i>ộ<i>t bi</i>ế<i>n r</i>ồ<i>i </i>xé<i>t </i>∆<i>. V</i>ớ<i>i </i>ñị<i>nh </i>lý <i>trên </i>thì
cá<i>c b</i>ấ<i>t </i>đẳ<i>ng th</i>ứ<i>c th</i>ườ<i>ng r</i>ơ<i>i </i>và<i>o tr</i>ườ<i>ng h</i>ợ<i>p </i>∆≤0mà í<i>t khi ta </i>xé<i>t </i>∆>0<i>. </i>
Ví dụ <b>1.3.2.1. </b>
<i> CMR </i>∀<i>x</i>,<i>y</i>,<i>z</i>∈<i>R</i>+ và ∆<i>ABCb</i>ấ<i>t </i>kỳ <i>ta </i>có <i>: </i>
<i> </i>
<i>xyz</i>
<i>z</i>
<i>y</i>
<i>C</i>
<i>y</i>
<i>B</i>
<i>x</i>
<i>A</i>
2
cos
cos
cos 2 + 2 + 2
≤
+
+
<b>L</b>ờ<b>i </b>giả<b>i : </b>
Bất ñẳng thức cần chứng minh tương ñương với :
<i>x</i>2 −2<i>x</i>
cos
2
cos
cos
'
2
2
2
2
≤
−
−
=
−
+
−
+
=
∆
<i>B</i>
<i>z</i>
<i>C</i>
<i>y</i>
<i>A</i>
<i>yz</i>
<i>z</i>
<i>y</i>
<i>B</i>
<i>z</i>
<i>C</i>
<i>y</i>
ðẳng thức xảy ra khi và chỉ khi :
<i>x</i> <i>y</i> <i>z</i> <i>A</i> <i>B</i> <i>C</i> <i>a</i> <i>b</i> <i>c</i>
<i>B</i>
<i>z</i>
<i>C</i>
<i>y</i>
<i>x</i>
<i>B</i>
<i>z</i>
<i>C</i>
<i>y</i>
:
:
sin
:
sin
:
sin
:
:
cos
cos
sin
sin
=
=
⇔
+
=
=
tức <i>x</i>,<i>y</i>,<i>z</i> là ba cạnh của tam giác tương ñương với ∆<i>ABC</i>.
Ví dụ <b>1.3.2.2. </b>
<i> CMR </i>∀<i>x</i>∈<i>R</i>và ∆<i>ABCb</i>ấ<i>t </i>kỳ <i>ta </i>có <i>: </i>
<i> </i> <i>x</i> cos<i>A</i> <i>x</i>
2
1
1+ 2 ≥ + +
<b>L</b>ờ<b>i </b>giả<b>i : </b>
Bất ñẳng thức cần chứng minh tương ñương với :
0
2
sin
2
sin
4
1
2
cos
2
sin
4
2
sin
4
2
cos
2
cos
2
cos
1
2
cos
cos
'
0
cos
2
2
cos
2
2
2
2
2
2
2
2
2
≤
−
−
=
−
−
=
−
+ −
=
−
−
+
=
∆
≥
−
+
+
−
<i>C</i>
<i>B</i>
<i>A</i>
<i>C</i>
<i>B</i>
<i>A</i>
<i>A</i>
<i>C</i>
<i>B</i>
<i>C</i>
<i>B</i>
<i>A</i>
<i>C</i>
<i>B</i>
<i>A</i>
<i>C</i>
<i>B</i>
<i>x</i>
<i>x</i>
Vậy bất ñẳng thức trên ñúng.
ðẳng thức xảy ra khi và chỉ khi :
=
=
=
⇔
+
=
=
∆
<i>C</i>
<i>B</i>
<i>x</i>
<i>C</i>
<i>B</i>
<i>C</i>
<i>B</i>
<i>x</i> cos cos 2cos 2cos
0
Ví dụ <b>1.3.2.4. </b>
<i> CMR trong </i>mọ<i>i </i>∆<i>ABCta </i>ñề<i>u </i>có <i>: </i>
<i> </i>
2
2
2
2
2
sin
sin
sin
+ +
≤
+
+<i>bc</i> <i>B</i> <i>ca</i> <i>C</i> <i>a</i> <i>b</i> <i>c</i>
<i>A</i>
<i>ab</i>
<b>L</b>ờ<b>i </b>giả<b>i : </b>
Bất ñẳng thức cần chứng minh tương ñương với :
<i>b</i>
<i>C</i>
<i>c</i>
<i>A</i>
<i>b</i>
<i>a</i>
<i>a</i>
2
cos
2
cos
'
0
2
cos
2
2
cos
2
cos
2
2
2
2
2
2
2
+
+
−
+
=
∆
≥
+
+
+
+
=−
Vậy bất ñẳng thức ñược chứng minh xong.
Ví dụ <b>1.3.2.4. </b>
<i> Cho </i>∆<i>ABCb</i>ấ<i>t </i>kỳ<i>. CMR : </i>
<i> </i>
2
3
cos
cos
cos<i>A</i>+ <i>B</i>+ <i>C</i>≤
<b>L</b>ờ<b>i </b>giả<b>i : </b>
ðặt <i>k</i> = <i>A</i>+ <i>B</i>+ <i>C</i> = <i>B</i>+<i>C</i> <i>B</i>−<i>C</i> −cos
2
cos
2
cos
2
cos
cos
cos
1 0
2
cos
2
cos
2
2
cos
2 2 + − − + + − =
⇔ <i>A</i> <i>B</i> <i>A</i> <i>B</i> <i>A</i> <i>B</i> <i>k</i>
Do đó
2
cos<i>A</i>+<i>B</i> là nghiệm của phương trình :
1 0
2
cos
2
2<i>x</i>2 − <i>A</i>−<i>Bx</i>+<i>k</i>− =
Xét 2
2
cos
'<sub>=</sub> 2 + <sub>−</sub> <sub>−</sub>
∆ <i>A</i> <i>B</i> <i>k</i> . ðể tồn tại nghiệm thì :
2
3
cos
cos
cos
2
3
1
2
cos
1
2
0
' 2
≤
+
+
⇒
≤
⇒
≤
−
≤
−
⇔
≥
∆
<i>C</i>
<i>B</i>
<i>A</i>
<i>k</i>
<i>B</i>
<i>A</i>
<i>k</i>
⇒đpcm.
Ví dụ <b>1.3.2.5. </b>
<i> CMR </i>∀<i>x</i>,<i>y</i>∈<i>Rta </i>có <i>: </i>
<i> </i>
sin
sin<i>x</i>+ <i>y</i>+ <i>x</i>+ <i>y</i> ≤
<b>L</b>ờ<b>i </b>giả<b>i : </b>
ðặt
2
sin
2
1
2
cos
2
sin
2
cos
sin
sin<i>x</i> <i>y</i> <i>x</i> <i>y</i> <i>x</i> <i>y</i> <i>x</i> <i>y</i> 2 <i>x</i> <i>y</i>
<i>k</i> = + + + = + − + − +
Khi đó
2
sin <i>x</i>+<i>y</i> là nghiệm của phương trình :
1 0
2
cos
2
2
3
0
1
2
1
'
≤
⇒
≥
−
−
=
∆
⇒
<i>k</i>
<i>k</i>
⇒ñpcm.
Xét hàm <i>f</i>
<b> </b>
<b> Nếu </b>
<i>k</i>
<i>f</i>
∈
≥
≥
β
α
<b> </b>
thì <i>f</i>
<i> </i>ð<i>ây </i>là <i>m</i>ộ<i>t </i>ñị<i>nh </i>lý khá <i>hay. Trong m</i>ộ<i>t s</i>ố <i>tr</i>ườ<i>ng h</i>ợ<i>p, khi </i>mà <i><b>AM – GM </b></i>đã bó <i>tay, </i>
<i><b>BCS </b></i>đã đầ<i>u </i>hà<i>ng vơ </i>đ<i>i</i>ề<i>u ki</i>ệ<i>n </i>thì đị<i>nh </i>lý <i>v</i>ề hà<i>m tuy</i>ế<i>n </i>tí<i>nh m</i>ớ<i>i </i>phá<i>t huy h</i>ế<i>t s</i>ứ<i>c </i>mạ<i>nh </i>
củ<i>a </i>mì<i>nh. M</i>ộ<i>t </i>phá<i>t bi</i>ể<i>u h</i>ế<i>t s</i>ứ<i>c </i>đơ<i>n </i>giả<i>n nh</i>ư<i>ng </i>đó lạ<i>i </i>là <i>l</i>ố<i>i ra cho nhi</i>ề<i>u </i>bà<i>i b</i>ấ<i>t </i>đẳ<i>ng </i>
Ví dụ <b>1.3.3.1. </b>
<i> Cho a</i>,<i>b</i>,<i>c</i>là <i>nh</i>ữ<i>ng s</i>ố <i>th</i>ự<i>c không âm </i>thỏ<i>a : </i>
<i> a</i>2 +<i>b</i>2 +<i>c</i>2 =4
<i> CMR : </i> 8
2
1
+
≤
+
+<i>b</i> <i>c</i> <i>abc</i>
<i>a</i>
<b>L</b>ờ<b>i </b>giả<b>i : </b>
Ta viết lại bất ñẳng thức cần chứng minh dưới dạng :
8 0
2
1
1 + + − ≤
− <i>bc</i> <i>a</i> <i>b</i> <i>c</i>
Xét
2
1
1 + + −
−
= <i>bc</i> <i>a</i> <i>b</i> <i>c</i>
<i>a</i>
<i>f</i> với <i>a</i>∈
8
0 2 2
=
−
<
−
=
−
+
+
−
=
=
−
=
−
−
+
=
<i>c</i>
<i>b</i>
<i>bc</i>
<i>f</i>
<i>c</i>
<i>b</i>
<i>c</i>
<i>b</i>
<i>f</i>
(vì <i>a</i>=2⇔<i>b</i>=<i>c</i>=0)
Vậy <i>f</i>
Ví dụ <b>1.3.3.2. </b>
<i> CMR </i>∀<i>a</i>,<i>b</i>,<i>c khơng âm ta </i>có <i>: </i>
<i> </i>7
<b>L</b>ờ<b>i </b>giả<b>i : </b>
ðặt
<i>c</i>
<i>b</i>
<i>a</i>
<i>c</i>
<i>z</i>
<i>c</i>
<i>b</i>
<i>a</i>
<i>b</i>
<i>y</i>
<i>c</i>
<i>b</i>
<i>a</i>
<i>a</i>
<i>x</i>
+
+
=
+
+
=
+
+
= ; ; . Khi đó bài tốn trở thành :
Chứng minh 7
Khơng mất tính tổng quát giả sử <i>x</i>=max
3
1
<i>x</i>
Ta có :
<
−
=
=
1
;
3
1
0
0
2
1
;
0
3
1
<i>x</i>
<i>x</i>
<i>f</i>
<i>f</i>
<i>f</i>
Vậy bất ñẳng thức chứng minh xong.
ðẳng thức xảy ra ⇔ <i>x</i>= <i>y</i>= <i>z</i>= ⇔<i>a</i>=<i>b</i>=<i>c</i>
3
1
.
<i> </i>ð<i>ây </i>là <i>ph</i>ầ<i>n duy nh</i>ấ<i>t </i>củ<i>a chun </i>đề <i>khơng </i>đề <i>c</i>ậ<i>p</i> đế<i>n l</i>ượ<i>ng </i>giá<i>c. </i>Nó chỉ <i>mang </i>tí<i>nh </i>
<i>gi</i>ớ<i>i thi</i>ệ<i>u cho </i>bạ<i>n </i>ñọ<i>c m</i>ộ<i>t </i>ñị<i>nh </i>lý <i>hay </i>ñể <i>ch</i>ứ<i>ng minh b</i>ấ<i>t </i>ñẳ<i>ng th</i>ứ<i>c. Nh</i>ư<i>ng th</i>ự<i>c ra </i>
<i>trong m</i>ộ<i>t s</i>ố bà<i>i b</i>ấ<i>t </i>đẳ<i>ng th</i>ứ<i>c l</i>ượ<i>ng </i>giá<i>c, ta v</i>ẫ<i>n </i>có <i>th</i>ể á<i>p </i>dụ<i>ng </i>đị<i>nh </i>lý nà<i>y. </i>Chỉ có đ<i>i</i>ề<i>u </i>
cá<i>c </i>bạ<i>n nên </i>chú ý là <i>d</i>ấ<i>u b</i>ằ<i>ng </i>củ<i>a b</i>ấ<i>t </i>ñẳ<i>ng th</i>ứ<i>c </i>xả<i>y ra </i>phả<i>i </i>phù <i>h</i>ợ<i>p v</i>ớ<i>i t</i>ậ<i>p </i>xá<i>c </i>ñị<i>nh </i>
củ<i>a </i>cá<i>c </i>hà<i>m l</i>ượ<i>ng </i>giá<i>c. </i>
3
1
cot
cot
cot3 <i>A</i>+ 3 <i>B</i>+ 3<i>C</i> ≥ <b> </b>với ∆<i>ABC</i> nhọn.
<b>1.4.2. </b>
2
3
2
3
4
sin
sin <i>A</i>+ <i>B</i> + <i>C</i> ≤ −
<b>1.4.3. </b> 2 3
sin
1
sin
1
sin
1
≥
+
+
<i>C</i>
<i>B</i>
<i>A</i>
<b>1.4.4. </b>
8
<b>1.4.5. </b>
<i>C</i>
<i>B</i>
<i>A</i>
<i>C</i>
<i>B</i>
<i>A</i>
sin
sin
sin
8
9
cot
cot
cot + + ≤
<b>1.4.6. </b> <i>A</i> <i>B</i> <i>B</i> <i>C</i> <i>C</i> <i>A</i> 8sin<i>A</i>sin<i>B</i>sin<i>C</i>
2
cos
2
cos
2
cos − − − ≥
<b>1.4.7. </b>1+cos<i>A</i>cos<i>B</i>cos<i>C</i>≥sin<i>A</i>sin<i>B</i>sin<i>C</i>
<b>1.4.8. </b>
<i>S</i>
<i>b</i>
<i>a</i>
<i>c</i>
<i>a</i>
<i>c</i>
<i>b</i>
<i>c</i>
<i>b</i>
<i>a</i> 2
3
3
1
1
1 4
≥
−
+
+
−
+
+
−
+
<b>1.4.9. </b> + + ≥2 3
<i>c</i>
<i>b</i>
<i>a</i> <i>m</i>
<i>c</i>
<i>m</i>
<i>b</i>
<i>m</i>
<i>a</i>
<b>1.4.10. </b>
2
3
3
≥
+
+
<i>c</i>
<i>m</i>
<i>b</i>
<i>m</i>
<i>a</i>
<i>m<sub>a</sub></i> <i><sub>b</sub></i> <i><sub>c</sub></i>
<b>1.4.11. </b> 2
<i>p</i>
<i>l</i>
<i>m</i>
<i>l</i>
<i>m</i>
<i>l</i>
<i>ma</i> <i>a</i> + <i>b</i> <i>b</i> + <i>c</i> <i>c</i> ≥
<b>1.4.12. </b>
<i>abc</i>
<i>m</i>
<i>c</i>
<i>m</i>
<i>b</i>
<i>m</i>
<i>a</i> <i>a</i> <i>b</i> <i>c</i>
3
1
1
1
2
2
2 + + >
<b>1.4.13. </b>
<i>abc</i>
<i>c</i>
<i>p</i>
<i>b</i>
<i>p</i>
<i>a</i>
<i>p</i>− − − ≤
<b>1.4.14. </b><i>h<sub>a</sub></i> +<i>h<sub>b</sub></i> +<i>h<sub>c</sub></i> ≥9<i>r</i>
<b>1.4.15. </b>
+
+
+
≤
4
3
sin
4
3
sin
4
3
sin
sin
sin
sin<i>A</i> <i>B</i> <i>C</i> <i>A</i> <i>B</i> <i>B</i> <i>C</i> <i>C</i> <i>A</i>
<i> </i>
<i> <b> </b></i>
<i> </i>
<i> </i>