Tải bản đầy đủ (.pdf) (28 trang)

chuyen de 12

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>Ch</b>

ươ

<b>ng 1</b>

<b> : </b>



<b>C B</b>

ƯỚ

<b>C </b>

ðẦ

<b>U C</b>

Ơ

<b> S</b>



ðể 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


</div>
<span class='text_page_counter'>(2)</span><div class='page_container' data-page=2>

<b>1.1. </b>

<b>c b</b>

<b>t </b>

ñẳ

<b>ng th</b>

<b>c </b>

ñạ

<b>i s</b>

<b>c</b>

ơ

bả

<b>n : </b>



<b>1.1.1. B</b>

<b>t </b>

ñẳ

<b>ng th</b>

<b>c AM – GM :</b>



<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


(

)

0


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


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>


</div>
<span class='text_page_counter'>(3)</span><div class='page_container' data-page=3>

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>

(

<i>a</i><sub>1</sub>+<i>a</i><sub>2</sub> −<i>A</i>

)

−<i>a</i><sub>1</sub><i>a</i><sub>2</sub> =

(

<i>a</i><sub>1</sub>−<i>A</i>

)(

<i>a</i><sub>2</sub> −<i>A</i>

)

>0


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>


(

)

<i>C</i>


<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>


</div>
<span class='text_page_counter'>(4)</span><div class='page_container' data-page=4>

<b>L</b>ờ<b>i </b>giả<b>i : </b>


Ta ln có : cot

(

<i>A</i>+<i>B</i>

)

=−cot<i>C</i>


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>


(

)

(

)



(

)

( )

2


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>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>B</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>


(

1 cos

)(

1 cos

)

1
0
cos
cos
cos


cos



+


+



+


+


<i>b</i>
<i>a</i>


<i>b</i>
<i>a</i>
<i>b</i>


<i>a</i>


</div>
<span class='text_page_counter'>(5)</span><div class='page_container' data-page=5>



(

) (

)

<sub>(</sub>

<sub>)(</sub>

<sub>)</sub>



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
2
cos


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


sin
2
cos
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>


<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


sin


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


3
2
2
cos
2
cos


cos
cos


</div>
<span class='text_page_counter'>(6)</span><div class='page_container' data-page=6>

(

<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>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>B</i>
<i>B</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


3
2


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


2
sin
3
2


+










+
+


= <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>1.1.2. B</b>

<b>t </b>

ñẳ

<b>ng th</b>

<b>c BCS : </b>



<b>Với hai bộ số </b>

(

<i>a</i>1,<i>a</i>2,...,<i>an</i>

)

(

<i>b</i>1,<i>b</i>2,...,<i>bn</i>

)

<b> ta ln có : </b>


<b> </b>

(

<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>a<sub>n</sub>b<sub>n</sub></i>

)

2 ≤

(

<i>a</i><sub>1</sub>2 +<i>a</i><sub>2</sub>2 +...+<i>a<sub>n</sub></i>2

)(

<i>b</i><sub>1</sub>2 +<i>b</i><sub>2</sub>2 +...+<i>b<sub>n</sub></i>2

)

<b> </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>a</i><sub>1</sub><i>x</i>−<i>b</i><sub>1</sub>

)

2 +

(

<i>a</i><sub>2</sub><i>x</i>−<i>b</i><sub>2</sub>

)

2 +...+

(

<i>anx</i>−<i>bn</i>

)

2
Sau khi khai triển ta có :


<i>f</i>(<i>x</i>)=

(

<i>a</i><sub>1</sub>2 +<i>a</i><sub>2</sub>2 +...+<i>a<sub>n</sub></i>2

)

<i>x</i>2 −2

(

<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>a<sub>n</sub>b<sub>n</sub></i>

)

<i>x</i>+

(

<i>b</i><sub>1</sub>2 +<i>b</i><sub>2</sub>2 +...+<i>b<sub>n</sub></i>2

)


Mặt khác vì <i>f</i>(<i>x</i>)≥0∀<i>x</i>∈<i>R</i> nên :


(

<sub>+</sub> <sub>+</sub> <sub>+</sub>

)

<sub>≤</sub>

(

<sub>+</sub> <sub>+</sub> <sub>+</sub>

)(

<sub>+</sub> <sub>+</sub> <sub>+</sub>

)






∆<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>n</i>
<i>b</i>
<i>a</i>
<i>b</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>


</div>
<span class='text_page_counter'>(7)</span><div class='page_container' data-page=7>

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
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 sin2 1 cos2

) ( )

1
2


1


2
2
cos
1
2


sin


2
2


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

( )

2
Áp dụng

( )

2 ta có :



(

<i>a</i>+<i>b</i>

)

sin2α+

(

<i>ab</i>−1

)

cos2α ≤

(

<i>a</i>+<i>b</i>

)

2 +

(

<i>ab</i>−1

)

2 =

(

<i>a</i>2 +1

)(

<i>b</i>2 +1

)

( )

3
Thay

( )

3 vào

( )

1 ta ñược :


<b> </b>

(

)(

)

(

1

(

1

)(

1

)

)

( )

4


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 :

(

(

)(

)

)

( )

5


2
1
1
1
1


2


1 <sub>2</sub> <sub>2</sub> 2








 +
+

+
+
+


</div>
<span class='text_page_counter'>(8)</span><div class='page_container' data-page=8>

Thật vậy :


( )

(

)(

)



(

)(

)



2
2
1


1


2
4


1
1
1


2
1


2
2
1
5


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>


(

)(

) (

) (

)

( )

6


2


1
1


1
1


2


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ì

( )

6 <b> hiển nhiên ñúng </b>⇒

( )

5 ñúng.
Từ

( )

1 và

( )

5 suy ra với mọi <i>a</i>,<i>b</i>,α ta có :


(

)(

)



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 ở

( )

1 và

( )

6


(

)










+



+
=


=










+
=
=









=
+


=


<i>Z</i>
<i>k</i>
<i>k</i>
<i>ab</i>


<i>b</i>
<i>a</i>


<i>arctg</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


2


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 :




( )

*
cos



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>b</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>:


(

<i>a</i><sub>1</sub><i>b</i><sub>1</sub>+<i>a</i><sub>2</sub><i>b</i><sub>2</sub>

)

2 ≤

(

<i>a</i><sub>1</sub>2 +<i>a</i><sub>2</sub>2

)(

<i>b</i><sub>1</sub>2 +<i>b</i><sub>2</sub>2

)



với






=
=


=
=


<i>b</i>
<i>b</i>
<i>b</i>
<i>a</i>
<i>a</i>
<i>b</i>


<i>b</i>


<i>y</i>
<i>a</i>


<i>a</i>
<i>x</i>
<i>a</i>


2
1


2
1


;


cos
;


sin


(

3 3

)

(

)

2


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>


+


+











+





</div>
<span class='text_page_counter'>(9)</span><div class='page_container' data-page=9>

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>a</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ó :




(

)

<sub></sub>










+
+
+


+
=
+
+




=
+
+



=
+


+


+
+


=


<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>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>
<i>c</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>C</i>
<i>b</i>
<i>B</i>
<i>a</i>
<i>h</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>b</i>
<i>a</i>
<i>R</i>


<i>ca</i>
<i>bc</i>
<i>ab</i>
<i>z</i>


<i>y</i>
<i>x</i>


2
2


2
2
2


</div>
<span class='text_page_counter'>(10)</span><div class='page_container' data-page=10>



ðẳ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>

(

)

1
1


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ó :




(

)



(

)

(

(

)

( )

)

(

)



(

)



(

) (

)



(

)

<sub>1</sub>


1


cos
2
sin


1


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>a</i>
<i>a</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>


</div>
<span class='text_page_counter'>(11)</span><div class='page_container' data-page=11>

<b>1.1.3. B</b>

<b>t </b>

ñẳ

<b>ng th</b>

<b>c Jensen : </b>




Hàm số <i>y</i>= <i>f</i>(<i>x</i>)<b> liên </b>tục trên ñoạn

[

<i>a,b</i>

]

và <b>n </b>ñiểm <i>x</i><sub>1</sub>,<i>x</i><sub>2</sub>,...,<i>x<sub>n</sub></i> tùy ý <b>trên </b>ñoạn

[

<i>a,b</i>

]

<b> ta có : </b>


<b> i) </b> <i>f</i> ''(<i>x</i>)>0<b> trong khoảng </b>

(

<i>a,b</i>

)

thì :


<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>

(

<i>a,b</i>

)

thì :


<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>


</div>
<span class='text_page_counter'>(12)</span><div class='page_container' data-page=12>

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>∈

(

0;π

)



Ta có <i>f</i> ''(<i>x</i>)=−sin<i>x</i><0∀<i>x</i>∈

(

0;π

)

. Từ đó theo Jensen thì :


( )

( )

( )

= = ⇒








 + +



+



+


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


2
tan
2


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>

( )

<i>x</i> =tan<i>x</i> vớ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>
<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.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>



</div>
<span class='text_page_counter'>(13)</span><div class='page_container' data-page=13>

Xét <i>f</i>

( ) (

<i>x</i> = tan<i>x</i>

)

2 2 với 







2
;
0 π


<i>x</i>


Ta có <i>f</i> '

( )

<i>x</i> =2 2

(

1+tan2 <i>x</i>

)

(

tan<i>x</i>

)

2 2−1 =2 2

(

(

tan<i>x</i>

)

2 2−1+

(

tan<i>x</i>

)

2 2+1

)


<i>f</i> ''

( )

<i>x</i> =2 2

(

(

2 2−1

)

(

1+tan2 <i>x</i>

)

(

tan<i>x</i>

)

2 2−2 +

(

2 2+1

)

(

1+tan2 <i>x</i>

)

(

tan<i>x</i>

)

2 2

)

>0
Theo <b>Jensen</b> ta có :


 = ⇒








=

















+
+









+










+








 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


tan
2
tan
2
sin
2
sin
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>

( )

<i>x</i> =sin<i>x</i>+tan<i>x</i> vớ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>
<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.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>

(

)

(

)

(

)

2


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>


</div>
<span class='text_page_counter'>(14)</span><div class='page_container' data-page=14>






+
+



+


+


+


=
+


+


<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




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>ln<i>x</i> với <i>x</i>∈

(

0;1

]


Ta có <i>f</i> '

( )

<i>x</i> =ln<i>x</i>+1


''

( )

= 1 >0∀<i>x</i>∈

(

0;1

]



<i>x</i>
<i>x</i>
<i>f</i>


Bây giờ với <b>Jensen</b> ta ñược :


(

)

(

)

(

)



(

)

(

)

(

)



(

)

(

)

(

)




[

]



(

)

<sub>(</sub>

<sub>)</sub>

<sub>(</sub>

<sub>)</sub>

<sub>(</sub>

<sub>)</sub>



(

)

(

)

(

)

2


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>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>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>1.1.4. B</b>

<b>t </b>

ñẳ

<b>ng th</b>

<b>c Chebyshev : </b>



<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>a</i> <i>a</i> <i>an</i>

)(

<i>b</i> <i>b</i> <i>bn</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>



</div>
<span class='text_page_counter'>(15)</span><div class='page_container' data-page=15>

<b>Ch</b>ứ<b>ng minh : </b>


Bằng phân tích trực tiếp, ta có đẳng thức :


(

...

) (

...

)(

...

)

(

)(

)

0


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>j</i>
<i>i</i>
<i>n</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

(

<i>a<sub>i</sub></i> −<i>a<sub>j</sub></i>

)(

<i>b<sub>i</sub></i> −<i>b<sub>j</sub></i>

)

≥0
Nế<i>u 2 </i>dã<i>y </i> <i>a</i>1,<i>a</i>2,...,<i>an</i> và <i>b</i>1,<i>b</i>2,...,<i>bn</i> ñơ<i>n </i>đ<i>i</i>ệ<i>u ng</i>ượ<i>c chi</i>ề<i>u </i>thì <i>b</i>ấ<i>t </i>đẳ<i>ng th</i>ứ<i>c </i>đổ<i>i </i>
<i>chi</i>ề<i>u. </i>


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


;
0 π


<i>x</i>


Ta có

( )

(

)

 <sub></sub>









=


2
;
0
0


tan
cos


'


2


π



<i>x</i>
<i>x</i>


<i>x</i>
<i>x</i>


<i>x</i>
<i>x</i>


</div>
<span class='text_page_counter'>(16)</span><div class='page_container' data-page=16>

Vậy <i>f</i>

( )

<i>x</i> nghịch biến trên






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>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>


</div>
<span class='text_page_counter'>(17)</span><div class='page_container' data-page=17>














<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>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>


cos
cos


cos


2
sin


2
sin
2
sin
2
3
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.


<b>1.2. </b>

<b>c </b>

ñẳ

<b>ng th</b>

<b>c b</b>

<b>t </b>

ñẳ

<b>ng th</b>

<b>c trong tam </b>

giá

<b>c : </b>



<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>


<b>1.2.1. </b>

ðẳ

<b>ng th</b>

<b>c : </b>




<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>a</i>

)(

<i>p</i> <i>b</i>

)(

<i>p</i> <i>c</i>

)



<i>p</i>


<i>r</i>
<i>c</i>
<i>p</i>
<i>r</i>
<i>b</i>


<i>p</i>
<i>r</i>
<i>a</i>
<i>p</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>b</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


1


</div>
<span class='text_page_counter'>(18)</span><div class='page_container' data-page=18>


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>


<i>c</i>
<i>m</i>
<i>a</i>
<i>c</i>
<i>b</i>
<i>m</i>
<i>c</i>
<i>b</i>
<i>a</i>

+
=

+
=

+
=

<i>b</i>
<i>a</i>
<i>C</i>
<i>ab</i>
<i>l</i>
<i>a</i>
<i>c</i>
<i>B</i>
<i>ca</i>
<i>l</i>
<i>c</i>

<i>b</i>
<i>A</i>
<i>bc</i>
<i>l</i>
<i>c</i>
<i>b</i>
<i>a</i>
+
=
+
=
+
=
2
cos
2
2
cos
2
2
cos
2

(

)


(

)


(

)


2
sin
2
sin

2
sin
4
2
tan
2
tan
2
tan
<i>C</i>
<i>B</i>
<i>A</i>
<i>R</i>
<i>C</i>
<i>c</i>
<i>p</i>
<i>B</i>
<i>b</i>
<i>p</i>
<i>A</i>
<i>a</i>
<i>p</i>
<i>r</i>
=

=

=

=







 +





 −
=
+






 +





 −
=
+







 +





 −
=
+

2
tan
2
tan
2
tan
2
tan
2
tan
2
tan
<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>
<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>S</i>
<i>c</i>
<i>b</i>
<i>a</i>
<i>C</i>
<i>B</i>
<i>A</i>

<i>S</i>
<i>c</i>
<i>b</i>
<i>a</i>
<i>C</i>
<i>S</i>
<i>b</i>
<i>a</i>
<i>c</i>
<i>B</i>
<i>S</i>
<i>a</i>
<i>c</i>
<i>b</i>
<i>A</i>
4
cot
cot
cot
4
cot
4
cot
4
cot
2
2
2
2
2

2
2
2
2
2
2
2
+
+
=
+
+

+
=

+
=

+
=

(

)(

)


(

)(

)


(

)(

)


<i>ab</i>
<i>b</i>
<i>p</i>
<i>a</i>
<i>p</i>

<i>C</i>
<i>ca</i>
<i>a</i>
<i>p</i>
<i>c</i>
<i>p</i>
<i>B</i>
<i>bc</i>
<i>c</i>
<i>p</i>
<i>b</i>
<i>p</i>
<i>A</i>


=


=


=
2
sin
2
sin
2
sin

(

)



(

)


(

)


<i>ab</i>
<i>c</i>
<i>p</i>
<i>p</i>
<i>C</i>
<i>ca</i>
<i>b</i>
<i>p</i>
<i>p</i>
<i>B</i>
<i>bc</i>
<i>a</i>
<i>p</i>
<i>p</i>
<i>A</i>

=

=

=
2
cos
2
cos
2
cos


(

)(

)


(

)


(

)(

)


(

)


(

)(

)



(

<i>p</i> <i>c</i>

)



</div>
<span class='text_page_counter'>(19)</span><div class='page_container' data-page=19>


1
cot
cot
cot
cot
cot
cot
1
2
tan
2
tan
2
tan
2
tan
2
tan
2
tan
2


cot
2
cot
2
cot
2
cot
2
cot
2
cot
tan
tan
tan
tan
tan
tan
=
+
+
=
+
+
=
+
+
=
+
+
<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>C</i>
<i>B</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>kA</i> <i>kB</i> <i>kC</i>
<i>kC</i>
<i>kB</i>
<i>kA</i>
<i>kC</i>
<i>kB</i>
<i>kA</i>
<i>kC</i>
<i>kB</i>
<i>kA</i>
<i>C</i>
<i>k</i>
<i>B</i>
<i>k</i>
<i>A</i>
<i>k</i>
<i>C</i>
<i>k</i>
<i>B</i>
<i>k</i>
<i>A</i>
<i>k</i>
<i>A</i>
<i>k</i>
<i>C</i>
<i>k</i>
<i>C</i>
<i>k</i>
<i>B</i>

<i>k</i>
<i>B</i>
<i>k</i>
<i>A</i>
<i>k</i>
<i>kA</i>
<i>kC</i>
<i>kC</i>
<i>kB</i>
<i>kB</i>
<i>kA</i>
<i>kC</i>
<i>kB</i>
<i>kA</i>
<i>kC</i>
<i>kB</i>
<i>kA</i>
<i>kC</i>
<i>kB</i>
<i>kA</i>
<i>kC</i>
<i>kB</i>
<i>kA</i>
<i>C</i>
<i>k</i>
<i>B</i>
<i>k</i>
<i>A</i>
<i>k</i>
<i>C</i>

<i>k</i>
<i>B</i>
<i>k</i>
<i>A</i>
<i>k</i>
<i>kC</i>
<i>kB</i>
<i>kA</i>
<i>kC</i>
<i>kB</i>
<i>kA</i>
<i>C</i>
<i>k</i>
<i>B</i>
<i>k</i>
<i>A</i>
<i>k</i>
<i>C</i>
<i>k</i>
<i>B</i>
<i>k</i>
<i>A</i>
<i>k</i>
<i>k</i>
<i>k</i>
<i>k</i>
<i>k</i>
<i>k</i>
<i>k</i>
cos

cos
cos
2
1
2
sin
sin
sin
cos
cos
cos
2
1
1
cos
cos
cos
2
1
2
cot
2
1
2
cot
2
1
2
cot
2

1
2
cot
2
1
2
cot
2
1
2
cot
1
2
1
2
tan
2
1
2
tan
2
1
2
tan
2
1
2
tan
2
1

2
tan
2
1
2
tan
1
cot
cot
cot
cot
cot
cot
tan
tan
tan
tan
tan
tan
cos
cos
cos
4
1
1
2
cos
2
cos
2

cos
2
1
2
sin
2
1
2
sin
2
1
2
sin
4
1
1
1
2
cos
1
2
cos
1
2
cos
sin
sin
sin
4
1

2
sin
2
sin
2
sin
2
1
2
cos
2
1
2
cos
2
1
2
cos
4
1
1
2
sin
1
2
sin
1
2
sin
1

2
2
2
2
2
2
1
+
+

+
=
+
+

+
=
+
+
+
+
+
=
+
+
+
+
+
=
+

+
+
+
+
+
+
+
=
+
+
=
+
+

+

=
+
+
+
+
+

+
=
+
+
+
+
+


=
+
+
+
+
+

=
+
+
+
+
+


<b>1.2.2. B</b>

<b>t </b>

ñẳ

<b>ng th</b>

<b>c : </b>



</div>
<span class='text_page_counter'>(20)</span><div class='page_container' data-page=20>

<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


tan


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


sin
sin
sin


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>


<i>A</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


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>


<b>1.3. M</b>

<b>t s</b>

ố ñị

<b>nh </b>

lý khá

<b>c : </b>



<b>1.3.1. </b>

ðị

<b>nh </b>

<b>Lagrange : </b>



<i> </i><b>Nếu hàm số </b> <i>y</i>= <i>f</i>

( )

<i>x</i> <b> liên tục trên </b>ñoạn

[

<i>a</i>;<i>b</i>

]

và có đạo hàm trên khoảng

(

<i>a</i>;<i>b</i>

)


thì tồn tại 1 ñiểm <i>c</i>∈

(

<i>a</i>;<i>b</i>

)

<b> sao cho : </b>


<b> </b> <i>f</i>

( )

<i>b</i> − <i>f</i>

( )

<i>a</i> = <i>f</i> '

( )(

<i>c</i> <i>b</i>−<i>a</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>


</div>
<span class='text_page_counter'>(21)</span><div class='page_container' data-page=21>

Xét <i>f</i>

( )

<i>x</i> =sin<i>x</i>⇒ <i>f</i> '

( )

<i>x</i> =cos<i>x</i>
Khi đó theo định lý Lagrange ta có

(

) ( )

( ) (

)



<i>a</i>


<i>b</i>
<i>c</i>
<i>a</i>
<i>b</i>
<i>a</i>
<i>b</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>x</i> =ln<i>x</i>, khi đó <i>f</i>

( )

<i>x</i> liên tục trên

[

<i>a</i>;<i>b</i>

]

khả vi trên

(

<i>a</i>;<i>b</i>

)

nên :


(

)

( )



<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>b</i>
<i>a</i>
<i>a</i>
<i>b</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>

( )

<i>x</i> =tan<i>x</i> liên tục trên

[

β;α

]

khả vi trên

(

β;α

)

nên theo ñịnh lý Lagrange


(

) ( )

( )

( )

( )

1
cos


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

( )

2


cos
1
cos


1
cos


1


2
2


2 <sub>β</sub> < < <sub>α</sub>



<i>c</i>


Từ

( )( )

1 2 ⇒ñpcm.


</div>
<span class='text_page_counter'>(22)</span><div class='page_container' data-page=22>

<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

( )

ln 1 1=

(

ln

(

+1

)

−ln

)

∀ >0







+


= <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>

( )

<i>t</i> =ln<i>t</i> liên tục trên

[

<i>x</i>;<i>x</i>+1

]

khả vi trên

(

<i>x</i>;<i>x</i>+1

)

nên theo <b>Lagrange thì </b>:





(

) (

)



(

)

( )



( )

(

)

0


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>x</i>
<i>c</i>


với <i>x</i>>0⇒ <i>f</i>

( )

<i>x</i> tăng trên

(

0;+∞

)





(

)

( )



<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
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
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>

( )

<i>x</i> =arctan<i>x</i> liên tục trên

[

<i>n</i>;<i>n</i>+1

]


( )

<sub>2</sub>


1
1
'


<i>x</i>
<i>x</i>


<i>f</i>


+
=


⇒ <sub> trên </sub>

<sub>(</sub>

<sub>)</sub>

+





+ <i>n</i> <i>Z</i>


<i>n</i>


<i>n</i>; 1


Theo ñịnh lý Lagrange ta có :





(

)

( )

(

)

( )


(

)


(

)



(

)











+
+
=


+














+
+



+
=



+
=


+





+



+
=
+





1


1
arctan
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>


</div>
<span class='text_page_counter'>(23)</span><div class='page_container' data-page=23>

ðể ý <i>c</i>∈

(

<i>n</i>;<i>n</i>+1

)

⇒1≤<i>n</i><<i>c</i><<i>n</i>+1




(

)




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>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>1.3.2. </b>

ðị

<b>nh </b>

<b>v</b>

<b>d</b>

<b>u </b>

củ

<b>a tam th</b>

<b>c b</b>

<b>c hai : </b>



<b> Cho tam thức </b> <i><sub>f</sub></i>

( )

<i><sub>x</sub></i> <sub>=</sub><i><sub>ax</sub></i>2 <sub>+</sub><i><sub>bx</sub></i><sub>+</sub><i><sub>c</sub></i>

(

<i><sub>a</sub></i><sub>≠</sub>0

)

<sub> và </sub> <i><sub>b</sub></i>2 <sub>4</sub><i><sub>ac</sub></i>



=



<b>- Nếu </b>∆<0 thì <i>f</i>

( )

<i>x</i> cùng dấu với hệ số a, với mọi số thực x.
<b>- Nếu </b>∆=0 thì <i>f</i>

( )

<i>x</i> cùng dấu với a với mọi


<i>a</i>
<i>b</i>
<i>x</i>


2

≠ <b>. </b>


<b>- Nếu </b>∆>0 thì <i>f</i>

( )

<i>x</i> có hai nghiệm <i>x</i><sub>1</sub>,<i>x</i><sub>2</sub> và giả sử <i>x</i><sub>1</sub> <<i>x</i><sub>2</sub><b>.Thế thì </b> <i>f</i>

( )

<i>x</i> cùng dấu
<b>với a với mọi x ngồi đoạn </b>

[

<i>x</i><sub>1</sub>;<i>x</i><sub>2</sub>

]

<b> (tức là </b><i>x</i><<i>x</i><sub>1</sub><b> hay </b><i>x</i>> <i>x</i><sub>2</sub><b>) và </b> <i>f</i>

( )

<i>x</i> trái dấu với a
<b>khi x ở trong khoảng hai nghiệm (tức là </b><i>x</i><sub>1</sub> <<i>x</i><<i>x</i><sub>2</sub><b>). </b>


<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>x</i>
<i>z</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>

(

<i>y</i>cos<i>C</i>+<i>z</i>cos<i>B</i>

)

+

(

<i>y</i>2 +<i>z</i>2 −2<i>yz</i>cos<i>A</i>

)

≥0
Coi ñây như là tam thức bậc hai theo biến x.


(

)

(

)




(

sin sin

)

0


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>


</div>
<span class='text_page_counter'>(24)</span><div class='page_container' data-page=24>

ðẳ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>

(

cos<i>B</i> cos<i>C</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


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>A</i> <i>c</i> <i>C</i>

)

(

<i>b</i> <i>c</i> <i>bc</i> <i>B</i>

)


<i>B</i>
<i>bc</i>
<i>c</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
2


cos
2


cos
'


0
2
cos
2
2


cos
2


cos
2


2
2
2


2
2
2



+
+

+


=



+


+
+
+


</div>
<span class='text_page_counter'>(25)</span><div class='page_container' data-page=25>

=−

(

<i>b</i>sin2<i>A</i>+<i>c</i>sin2<i>C</i>

)

2 ≤0


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

(

<i>A</i>+<i>B</i>

)



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

(

1

)



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>

(

)


2
3
cos


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


</div>
<span class='text_page_counter'>(26)</span><div class='page_container' data-page=26>




(

)



2
3


0
1
2
1
'








=



<i>k</i>
<i>k</i>


⇒ñpcm.


<b>1.3.3. </b>

ðị

<b>nh </b>

<b>v</b>

ề hà

<b>m tuy</b>

ế

<b>n </b>

<b>nh : </b>



Xét hàm <i>f</i>

( )

<i>x</i> =<i>ax</i>+<i>b</i> xác ñịnh trên ñoạn

[

α;β

]




<b> </b>


<b> Nếu </b>

( )



( )

<i>k</i>

(

<i>k</i> <i>R</i>

)


<i>f</i>


<i>k</i>
<i>f</i>











β
α


<b> </b>
thì <i>f</i>

( )

<i>x</i> ≥<i>k</i> ∀<i>x</i>∈

[

α;β

]

<b>. </b>


<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>


<i>th</i>ứ<i>c </i>khó<i>. </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

( )

8


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>∈

[

0;2

]

.

Khi đó :


( )

(

)



( )

2 2 8 2 8 8 8 0
0
8
8
8
2


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>

( )

<i>a</i> ≤0∀<i>a</i>∈

[

0;2

]

⇒ñpcm.


</div>
<span class='text_page_counter'>(27)</span><div class='page_container' data-page=27>

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

(

<i>ab</i>+<i>bc</i>+<i>ca</i>

)(

<i>a</i>+<i>b</i>+<i>c</i>

)

≤9<i>abc</i>+2

(

<i>a</i>+<i>b</i>+<i>c</i>

)

3


<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

(

<i>xy</i>+<i>yz</i>+<i>zx</i>

)

≤9<i>xyz</i>+2 với <i>x</i>+ <i>y</i>+<i>z</i> =1


Khơng mất tính tổng quát giả sử <i>x</i>=max

{

<i>x</i>,<i>y</i>,<i>z</i>

}

.
Xét <i>f</i>

( ) (

<i>x</i> = 7<i>y</i>+7<i>z</i>−9<i>yz</i>

)

<i>x</i>+7<i>yz</i>−2 với ∈<sub></sub> ;1<sub></sub>


3
1


<i>x</i>


Ta có :




( )


( )

≤ ∀ ∈<sub></sub> <sub></sub>


<

=
=










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>


<b>1.4. </b>

<b>i t</b>

<b>p : </b>


<b> Cho </b>∆<i>ABC</i>. CMR :
<b>1.4.1. </b>


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


4
sin
4


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


7
2
sin
2
sin
2
sin
2
sin
2
sin
2


</div>
<span class='text_page_counter'>(28)</span><div class='page_container' data-page=28>

<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>

(

)(

)(

)


8


<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>


</div>


<!--links-->

Tài liệu bạn tìm kiếm đã sẵn sàng tải về

Tải bản đầy đủ ngay
×