Professional Documents
Culture Documents
Chuong 1 - Cac Buoc Dau Co So
Chuong 1 - Cac Buoc Dau Co So
Chương 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.
Toá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ước ñầu cơ sở”.
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, BCS, Jensen, Chebyshev
…) 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ý
Largare, ñịnh lý về dấu của tam thức bậc hai, ñịnh lý về hàm tuyến tính …)
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
1.4. Bài tập…………………………………………………………………….. 29
Bất ñẳng thức AM – GM (Arithmetic Means – Geometric Means) là một bất ñẳng thức
quen thuộc và có ứng dụng rất rộng rãi. ðây là bất ñẳng thức mà bạn ñọc cần ghi nhớ rõ
ràng nhất, nó sẽ là công cụ hoàn hảo cho việc chứng minh các bất ñẳng thức. Sau ñây là
hai cách chứng minh bất ñẳng thức này mà theo ý kiến chủ quan của mình, tác giả cho
rằng là ngắn gọn và hay nhất.
Chứng minh :
Cách 1 : Quy nạp kiểu Cauchy
Với n = 1 bất ñẳng thức hiển nhiên ñúng. Khi n = 2 bất ñẳng thức trở thành
a1 + a 2
2
(
≥ a1 a 2 ⇔ a1 − a 2 ≥ 0
2
)
(ñúng!)
Giả sử bất ñẳng thức ñúng ñến n = k tức là :
a1 + a 2 + ... + a k k
≥ a1a 2 ...a k
k
Ta sẽ chứng minh nó ñúng với n = 2k . Thật vậy ta có :
(a1 + a 2 + ... + ak ) + (a k +1 + ak +2 + ... + a 2k ) (a1 + a 2 + ... + ak )(ak +1 + ak +2 + ... + a2k )
≥
2k k
≥
(k k )(
a1 a 2 ...a k k k a k +1 a k + 2 ...a 2 k )
k
= 2 k a1 a 2 ...a k a k +1 ...a 2 k
Tiếp theo ta sẽ chứng minh với n = k − 1 . Khi ñó :
a1 + a 2 + ... + a k −1 + k −1 a1a 2 ...a k =1 ≥ k k a1 a 2 ...a k −1 k −1 a1a 2 ...a k −1
= k k −1 a1 a 2 ...a k −1
⇒ a1 + a 2 + ... + a k −1 ≥ (k − 1)k −1 a1 a 2 ...a k −1
Như vậy bất ñẳng thức ñược chứng minh hoàn toàn.
ðẳng thức xảy ra ⇔ a1 = a 2 = ... = a n
Ví dụ 1.1.1.1.
Lời giải :
tan A + tan B
Vì tan ( A + B ) = − tan C ⇔ = − tan C
1 − tan A tan B
⇒ tan A + tan B + tan C = tan A tan B tan C
Tam giác ABC nhọn nên tanA,tanB,tanC dương.
Theo AM – GM ta có :
tan A + tan B + tan C ≥ 33 tan A tan B tan C = 33 tan A + tan B + tan C
⇒ (tan A + tan B + tan C ) ≥ 27(tan A + tan B + tan C )
2
Ví dụ 1.1.1.2.
Ví dụ 1.1.1.3.
Lời giải :
Theo AM – GM ta có :
tan n A + tan n B + tan n C ≥ 33 (tan A tan B tan C ) = 33 (tan A + tan B + tan C )
n n
n −1
tan n A + tan n B + tan n C
⇒
tan A + tan B + tan C
≥ 33 (tan A + tan B + tan C ) ≥ 33 3 3
n −3
( ) n −3
=3 2
⇒ ñpcm.
Ví dụ 1.1.1.4.
Lời giải :
Ta có :
cos a + cos b + cos a cos b ≥ 0
⇔ (1 + cos a )(1 + cos b ) ≥ 1
Theo AM – GM thì :
Ví dụ 1.1.1.5.
Lời giải :
Ta có
cos A A A
= sin cot
A 2 2
2 cos
2
3
cos A cos B
4 A B 3
= sin sin cot A cot B
A B 2 2 4
4 cos cos
2 2
Theo AM – GM thì :
2
3 A B 3
cos A cos B sin sin + cot A cot B
4 ≤ 2 2 4
A B 2
4 cos cos
2 2
cos A cos B 2 A B 3
⇒ ≤ sin sin + cot A cot B
A
cos cos
B 3 2 2 4
2 2
Tương tự ta có :
cos B cos C 2 B C 3
≤ sin sin + cot B cot C
B
cos cos
C 3 2 2 4
2 2
cos C cos A 2 C A 3
≤ sin sin + cot C cot A
C
cos cos
A 3 2 2 4
2 2
Cộng vế theo vế các bất ñẳng thức trên ta ñược :
2 A B B C C A 3
= sin sin + sin sin + sin sin + ⇒ ñpcm.
3 2 2 2 2 2 2 2
Bước ñầu ta mới chỉ có bất ñẳng thức AM – GM cùng các ñẳng thức lượng giác nên
sức ảnh hưởng ñến các bất ñẳng thức còn hạn chế. Khi ta kết hợp AM – GM cùng BCS,
Jensen hay Chebyshev thì nó thực sự là một vũ khí ñáng gờm cho các bất ñẳng thức
lượng giác.
Nếu như AM – GM là “cánh chim ñầu ñàn” trong việc chứng minh bất ñẳng thức thì
BCS (Bouniakovski – Cauchy – Schwartz) lại là “cánh tay phải” hết sức ñắc lực. Với
AM – GM ta luôn phải chú ý ñiều kiện các biến là không âm, nhưng ñối với BCS các
biến không bị ràng buộc bởi ñiều kiện ñó, chỉ cần là số thực cũng ñúng. Chứng minh bất
ñẳng thức này cũng rất ñơn giản.
Chứng minh :
Cách 1 :
Xét tam thức :
f ( x) = (a1 x − b1 ) + (a 2 x − b2 ) + ... + (a n x − bn )
2 2 2
Cách 2 :
Bây giờ với sự tiếp sức của BCS, AM – GM như ñược tiếp thêm nguồn sức mạnh, như
hổ mọc thêm cánh, như rồng mọc thêm vây, phát huy hiệu quả tầm ảnh hưởng của mình.
Hai bất ñẳng thức này bù ñắp bổ sung hỗ trợ cho nhau trong việc chứng minh bất ñẳng
thức. Chúng ñã “lưỡng long nhất thể”, “song kiếm hợp bích” công phá thành công nhiều
bài toán khó.
“Trăm nghe không bằng một thấy”, ta hãy xét các ví dụ ñể thấy rõ ñiều này.
Ví dụ 1.1.2.1.
Lời giải :
Ta có :
(sin α + a cos α )(sin α + b cos α ) = sin 2 α + (a + b )sin α cos α + ab cos 2 α
1 − cos 2α (a + b ) 1 + cos 2α
= + sin 2α + ab
2 2 2
1
= (1 + ab + (a + b )sin 2α + (ab − 1) cos 2α ) (1)
2
Theo BCS ta có :
A sin x + B cos x ≤ A2 + B 2 (2)
Áp dụng (2) ta có :
(a + b )sin 2α + (ab − 1) cos 2α ≤ (a + b )2 + (ab − 1)2 = (a 2
)(
+1 b2 +1 ) (3)
Thay (3) vào (1) ta ñược :
Ví dụ 1.1.2.2.
Lời giải :
Bất ñẳng thức cần chứng minh tương ñương với :
1 − sin 2 x 1 − cos 2 y 1 1 c2
+ ≤ + − 3
a b a b a + b3
sin 2 x cos 2 y c2
⇔ + ≥ 3 (*)
a b a + b3
Theo BCS thì :
( )(
(a1b1 + a 2 b2 )2 ≤ a12 + a 2 2 b1 2 + b2 2 )
sin x cos y
a1 = ; a2 =
với a b
b = a a ; b = b b
1 2
sin 2 x cos 2 y 3
⇒ + ( )
a + b 3 ≥ (a sin x + b cos y )2
a b
do a + b > 0 và a sin x + b cos y = c ⇒ (*) ñúng ⇒ ñpcm.
3 3
Ví dụ 1.1.2.3.
A
Lời giải :
Ta có : P
S ABC = S MAB + S MBC + S MCA Q z y
a = b = c
ðẳng thức xảy ra khi và chỉ khi ⇔ ∆ABC ñều và M là tâm nội tiếp ∆ABC .
x = y = z
Ví dụ 1.1.2.4.
Lời giải :
Áp dụng bất ñẳng thức BCS liên tiếp 2 lần ta có :
( cos x + sin x ) ≤ ((1
4 2
)+ 12 (cos x + sin x ) )
2
≤ (1 + 1 ) (1
2 2 2 2
)(
+ 12 cos 2 x + sin 2 x = 8 )
⇒ cos x + sin x ≤ 8 4
π
ðẳng thức xảy ra khi và chỉ khi x = .
4
Ví dụ 1.1.2.5.
Lời giải :
Theo BCS ta có :
((1 − x )sin a + 2 x cos a )
2 2
((
≤ 1− x2 ) + (2 x ) )(sin
2 2 2
a + cos 2 a )
2 4 2 2 4
= 1 − 2x + x + 4x = 1 + 2x + x
(( )
⇒ 1 − x 2 sin a + 2 x cos a ) ≤ (1 + x ) 2 2 2
⇔
(1 − a )sin a + 2 x cos a ≤ 1
2
1+ x2
⇒ ñpcm.
Hàm số y = f (x) liên tục trên ñoạn [a, b] và n ñiểm x1 , x 2 ,..., x n tùy ý trên ñoạn
[a, b] ta có :
i) f ' ' ( x) > 0 trong khoảng (a, b ) thì :
x + x 2 + ... + x n
f ( x1 ) + f ( x 2 ) + ... + f ( x n ) ≥ nf 1
n
ii) f ' ' ( x) < 0 trong khoảng (a, b ) thì :
x + x 2 + ... + x n
f ( x1 ) + f ( x 2 ) + ... + f ( x n ) ≥ nf 1
n
Bất ñẳng thức AM – GM và bất ñẳng thức BCS thật sự là các ñại gia trong việc chứng
minh bất ñẳng thức nói chung. Nhưng riêng ñối với chuyên mục bất ñẳng thức lượng giác
thì ñó lại trở thành sân chơi riêng cho bất ñẳng thức Jensen. Dù có vẻ hơi khó tin nhưng
ñó là sự thật, ñến 75% bất ñẳng thức lượng giác ta chỉ cần nói “theo bất ñẳng thức
Jensen hiển nhiên ta có ñpcm”.
Trong phát biểu của mình, bất ñẳng thức Jensen có ñề cập ñến ñạo hàm bậc hai,
nhưng ñó là kiến thức của lớp 12 THPT. Vì vậy nó sẽ không thích hợp cho một số ñối
tượng bạn ñọc. Cho nên ta sẽ phát biểu bất ñẳng thức Jensen dưới một dạng khác :
x+ y
Cho f : R + → R thỏa mãn f ( x) + f ( y ) ≥ 2 f +
∀x, y ∈ R Khi ñó với mọi
2
+
x1 , x 2 ,..., x n ∈ R ta có bất ñẳng thức :
x + x 2 + ... + x n
f ( x1 ) + f ( x 2 ) + ... + f ( x n ) ≥ nf 1
n
Sự thật là tác giả chưa từng tiếp xúc với một chứng minh chính thức của bất ñẳng thức
Jensen trong phát biểu có f ' ' ( x) . Còn việc chứng minh phát biểu không sử dụng ñạo
hàm thì rất ñơn giản. Nó sử dụng phương pháp quy nạp Cauchy tương tự như khi chứng
minh bất ñẳng thức AM – GM. Do ñó tác giả sẽ không trình bày chứng minh ở ñây.
Ngoài ra, ở một số tài liệu có thể bạn ñọc gặp khái niệm lồi lõm khi nhắc tới bất ñẳng
thức Jensen. Nhưng hiện nay trong cộng ñồng toán học vẫn chưa quy ước rõ ràng ñâu là
lồi, ñâu là lõm. Cho nên bạn ñọc không nhất thiết quan tâm ñến ñiều ñó. Khi chứng minh
ta chỉ cần xét f ' ' ( x) là ñủ ñể sử dụng bất ñẳng thức Jensen. Ok! Mặc dù bất ñẳng thức
Jensen không phải là một bất ñẳng thức chặt, nhưng khi có dấu hiệu manh nha của nó
thì bạn ñọc cứ tùy nghi sử dụng .
Lời giải :
Ví dụ 1.1.3.2.
Lời giải :
π
Xét f ( x ) = tan x với x ∈ 0 ;
2
2 sin x π
Ta có f ' ' ( x ) = 3
> 0 ∀x ∈ 0 ; . Từ ñó theo Jensen thì :
cos x 2
A B C
+ +
A
B
C π
f + f + f ≥ 3 f 2 2 2 = 3 sin = 3 ⇒ ñpcm.
2 2 2 3 6
ðẳng thức xảy ra khi và chỉ khi ∆ABC ñều.
Ví dụ 1.1.3.3.
2 2 2
Lời giải :
π
Xét f ( x ) = (tan x )
2 2
với x ∈ 0 ;
2
( )
Ta có f ' ( x ) = 2 2 1 + tan 2 x (tan x )
2 2 −1
(
= 2 2 (tan x )
2 2 −1
+ (tan x )
2 2 +1
)
(( )( )
f ' ' ( x ) = 2 2 2 2 − 1 1 + tan 2 x (tan x ) (
+ 2 2 + 1 1 + tan 2 x (tan x )
2 2 −2
)(
>0 ) 2 2
)
Theo Jensen ta có :
A B C
+ + 2 2
A B C π
f + f + f ≥ 3 f 2 2 2 = 3 tg = 31− 2 ⇒ ñpcm.
2 2 2 3 6
ðẳng thức xảy ra khi và chỉ khi ∆ABC ñều.
Ví dụ 1.1.3.4.
Lời giải :
π
Xét f ( x ) = sin x + tan x với x ∈ 0 ;
2
Ta có f ' ' (x ) =
( 4
sin x 1 − cos x ) π
> 0 ∀x ∈ 0 ;
4
cos x 2
Khi ñó theo Jensen thì :
A B C
+ +
A B C π π 3
f + f + f ≥ 3 f 2 2 2 = 3 sin + tan = + 3 ⇒ ñpcm.
2 2 2 3 6 6 2
ðẳng thức xảy ra khi và chỉ khi ∆ABC ñều.
Ví dụ 1.1.3.5.
Lời giải :
Ta có
⇔
(sin A + sin B + sin C )
sin A+ sin B + sin C
≤ (sin A) (sin B ) (sin C )
sin A sin B sin C
sin A+ sin B + sin C
3
3 3
sin A + sin B + sin C
2 sin A+sin B +sin C 2 2 2
⇒ (sin A) (sin B ) (sin C )
sin A sin B sin C
≥ sin A+sin B +sin C = ≥
3 3 3
⇒ ñpcm.
Với hai dãy số thực ñơn ñiệu cùng chiều a1 , a 2 ,..., a n và b1 , b2 ,..., bn thì ta có :
1
a1b1 + a 2 b2 + ... + a n bn ≥ (a1 + a 2 + ... + a n )(b1 + b2 + ... + bn )
n
Theo khả năng của mình thì tác giả rất ít khi sử dụng bất ñẳng thức này. Vì trước hết
ta cần ñể ý tới chiều của các biến, thường phải sắp lại thứ tự các biến. Do ñó bài toán
cần có yêu cầu ñối xứng hoàn toàn giữa các biến, việc sắp xếp thứ tự sẽ không làm mất
tính tổng quát của bài toán. Nhưng không vì thế mà lại phủ nhận tầm ảnh hưởng của bất
ñẳng thức Chebyshev trong việc chứng minh bất ñẳng thức lượng giác, mặc dù nó có một
chứng minh hết sức ñơn giản và ngắn gọn.
∑ (a − a )(b − b ) ≥ 0
n(a1b1 + a 2 b2 + ... + a n bn ) − (a1 + a 2 + ... + a n )(b1 + b2 + ... + bn ) =
i , j =1
i j i j
Vì hai dãy a1 , a 2 ,..., a n và b1 , b2 ,..., bn ñơn ñiệu cùng chiều nên (a − a )(b − b ) ≥ 0
i j i j
Nếu 2 dãy a1 , a 2 ,..., a n và b1 , b2 ,..., bn ñơn ñiệu ngược chiều thì bất ñẳng thức ñổi
chiều.
Ví dụ 1.1.4.1.
Lời giải :
Không mất tính tổng quát giả sử :
a≤b≤c⇔ A≤ B≤C
Theo Chebyshev thì :
a + b + c A + B + C aA + bB + cC
≤
3 3 3
aA + bB + cC A + B + C π
⇒ ≥ =
a+b+c 3 3
ðẳng thức xảy ra khi và chỉ khi ∆ABC ñều.
Ví dụ 1.1.4.2.
Lời giải :
sin x π
Xét f ( x ) = với x ∈ 0 ;
x 2
cos x( x − tan x ) π
Ta có f ' ( x ) = 2
≤ 0 ∀x ∈ 0 ;
x 2
Ví dụ 1.1.4.3.
Lời giải :
Không mất tổng quát giả sử A ≥ B ≥ C
tan A ≥ tan B ≥ tan C
⇒
cos A ≤ cos B ≤ cos C
Áp dụng Chebyshev ta có :
tan A + tan B + tan C cos A + cos B + cos C tan A cos A + tan B cos B + tan C cos C
≥
3 3 3
sin A + sin B + sin C tan A + tan B + tan C
⇔ ≤
cos A + cos B + cos C 3
Mà ta lại có tan A + tan B + tan C = tan A tan B tan C
⇒ ñpcm.
ðẳng thức xảy ra khi và chỉ khi ∆ABC ñều.
Ví dụ 1.1.4.4.
Lời giải :
Không mất tổng quát giả sử a ≤ b ≤ c
1.2. Các ñẳng thức bất ñẳng thức trong tam giác :
Sau ñây là hầu hết những ñẳng thức, bất ñẳng thức quen thuộc trong tam giác và trong
lượng giác ñược dùng trong chuyên ñề này hoặc rất cần thiết cho quá trình học toán của
bạn ñọc. Các bạn có thể dùng phần này như một từ ñiển nhỏ ñể tra cứu khi cần thiết.Hay
bạn ñọc cũng có thể chứng minh tất cả các kết quả như là bài tập rèn luyện. Ngoài ra tôi
cũng xin nhắc với bạn ñọc rằng những kiến thức trong phần này khi áp dụng vào bài tập
ñều cần thiết ñược chứng minh lại.
a b c
= = = 2R
sin A sin B sin C
1 1 1
S= a.ha = b.hb = c.hc
2 2 2
1 1 1
= bc sin A = ca sin B = ab sin C
2 2 2
abc
= = 2 R 2 sin A sin B sin C = pr
4R
= ( p − a )ra = ( p − b )rb = ( p − c )rc
= p( p − a )( p − b )( p − c )
A− B
tan
a−b
= 2
a+b A+ B b2 + c2 − a2
tan cot A =
2 4S
B−C c + a2 − b2
2
tan cot B =
b−c
= 2 4S
b+c B+C a + b2 − c2
2
tan cot C =
2 4S
C − A a2 + b2 + c2
tan cot A + cot B + cot C =
c−a
= 2 4S
c+a C + A
tan
2
A ( p − b )( p − c ) A p( p − a ) tan
A
=
( p − b)( p − c )
sin = cos =
2 bc 2 bc 2 p( p − a )
sin
B
=
( p − c )( p − a ) cos
B
=
p( p − b )
tan
B
=
( p − c )( p − a )
2 ca 2 ca 2 p( p − b )
sin
C
=
( p − a )( p − b) cos
C
=
p( p − c ) C ( p − a )( p − b )
tan =
2 ab 2 ab 2 p( p − c )
A B C p
sin A + sin B + sin C = 4 cos cos cos =
2 2 2 R
sin 2 A + sin 2 B + sin 2C = 4 sin A sin B sin C
sin 2 A + sin 2 B + sin 2 C = 2(1 + cos A cos B cos C )
A B C r
cos A + cos B + cos C = 1 + 4 sin sin sin = 1 +
2 2 2 R
2 2 2
cos A + cos B + cos C = 1 − 2 cos A cos B cos C
A B C
sin (2k + 1) A + sin (2k + 1)B + sin (2k + 1)C = (− 1) 4 cos(2k + 1) cos(2k + 1) cos(2k + 1)
k
2 2 2
sin 2kA + sin 2kB + sin 2kC = (− 1)
k +1
4 sin kA sin kB sin kC
A B C
cos(2k + 1) A + cos(2k + 1)B + cos(2k + 1)C = 1 + (− 1) 4 sin (2k + 1) sin (2k + 1) sin (2k + 1)
k
2 2 2
cos 2kA + cos 2kB + cos 2kC = −1 + (− 1) 4 cos kA cos kB cos kC
k
1 A B C 3 3
cos A cos B cos C ≤ cos cos cos ≤
8 2 2 2 8
3 3 A B C 1
sin A sin B sin C ≤ sin sin sin ≤
8 2 2 2 8
A A A 1
tan A tan B tan C ≥ 3 3 tan tan tan ≤
2 2 2 3 3
1
cot A cot B cot C ≤ A A A
3 3 cot cot cot ≥ 3 3
2 2 2
Nếu hàm số y = f ( x ) liên tục trên ñoạn [a ; b] và có ñạo hàm trên khoảng (a ; b )
thì tồn tại 1 ñiểm c ∈ (a ; b ) sao cho :
f (b ) − f (a ) = f ' (c )(b − a )
Nói chung với kiến thức THPT, ta chỉ có công nhận ñịnh lý này mà không chứng minh.
Ví chứng minh của nó cần ñến một số kiến thức của toán cao cấp. Ta chỉ cần hiểu cách
dùng nó cùng những ñiều kiện ñi kèm trong các trường hợp chứng minh.
Ví dụ 1.3.1.1.
Lời giải :
Ví dụ 1.3.1.2.
Lời giải :
Ví dụ 1.3.1.3.
π
Cho 0 < β < α < . CMR :
2
α −β α −β
2
< tan α − tan β <
cos β cos 2 α
Lời giải :
Xét f ( x ) = tan x liên tục trên [β ; α ] khả vi trên (β ; α ) nên theo ñịnh lý Lagrange
f (α ) − f (β ) tan α − tan β 1
∃c ∈ (β ; α ): = f ' (c ) ⇒ = (1)
α −β α −β cos 2 c
1 1 1
Vì β < c < α nên < < (2)
cos β cos c cos 2 α
2 2
Từ (1)(2) ⇒ ñpcm.
Ví dụ 1.3.1.4.
Lời giải :
1
Xét f ( x ) = x ln1 + = x(ln( x + 1) − ln x ) ∀x > 0
x
1
Ta có f ' ( x ) = ln( x + 1) − ln x −
x +1
Xét g (t ) = ln t liên tục trên [x ; x + 1] khả vi trên ( x ; x + 1) nên theo Lagrange thì :
ln( x + 1) − ln x 1
∃c ∈ ( x ; x + 1): = g ' (c ) >
(x + 1) − x x +1
1
⇒ f ' ( x ) = ln( x + 1) − ln x − >0
x +1
với x > 0 ⇒ f ( x ) tăng trên (0 ; + ∞ )
x +1 x
1 1
⇒ f ( x + 1) > f ( x ) ⇒ ln1 + > ln1 +
x + 1 x
x +1 x
1 1
⇒ 1 + > 1 +
x + 1 x
⇒ ñpcm.
Ví dụ 1.3.1.5.
Lời giải :
⇔ n 2 + 1 < c 2 + 1 < n 2 + 2n + 2
1 1 1
⇔ 2
< 2 < 2
n + 2n + 2 c + 1 n + 1
1 1 1
⇔ 2 < arctan 2 < 2
n + 2n + 2 n + n + 1 n + 1
⇒ ñpcm.
Trong một số trường hợp, ñịnh lý này là một công cụ hết sức hiệu quả. Ta sẽ coi biểu
thức cần chứng minh là một tam thức bậc hai theo một biến rồi xét ∆ . Với ñịnh lý trên thì
các bất ñẳng thức thường rơi vào trường hợp ∆ ≤ 0 mà ít khi ta xét ∆ > 0 .
Ví dụ 1.3.2.1.
Lời giải :
Bất ñẳng thức cần chứng minh tương ñương với :
( )
x 2 − 2 x( y cos C + z cos B ) + y 2 + z 2 − 2 yz cos A ≥ 0
Coi ñây như là tam thức bậc hai theo biến x.
(
∆' = ( y cos C + z cos B ) − y 2 + z 2 − 2 yz cos A
2
)
= −( y sin C − z sin B ) ≤ 0
2
Ví dụ 1.3.2.2.
Lời giải :
Bất ñẳng thức cần chứng minh tương ñương với :
x 2 − 2 x(cos B + cos C ) + 2 − 2 cos A ≥ 0
∆' = (cos B + cos C ) − 2(1 − cos A)
2
2
B+C B−C 2 A
= 2 cos cos − 4 sin
2 2 2
A B −C
= 4 sin 2 cos 2 − 1
2 2
A B−C
= −4 sin 2 sin 2 ≤0
2 2
Vậy bất ñẳng thức trên ñúng.
ðẳng thức xảy ra khi và chỉ khi :
∆ = 0 B = C
⇔
x = cos B + cos C x = 2 cos B = 2 cos C
Ví dụ 1.3.2.4.
Lời giải :
Bất ñẳng thức cần chứng minh tương ñương với :
a 2 + 2a(b cos 2 A + c cos 2C ) + b 2 + c 2 + 2bc cos 2 B ≥ 0
(
∆' = (b cos 2 A + c cos 2C ) − b 2 + c 2 + 2bc cos 2 B
2
)
Ví dụ 1.3.2.4.
Lời giải :
B+C B−C
ðặt k = cos A + cos B + cos C = 2 cos cos − cos( A + B )
2 2
A+ B A− B A+ B
⇔ 2 cos 2 − 2 cos cos + k −1 = 0
2 2 2
A+ B
Do ñó cos là nghiệm của phương trình :
2
A−B
2 x 2 − 2 cos x + k −1 = 0
2
A+ B
Xét ∆' = cos 2 − 2(k − 1) . ðể tồn tại nghiệm thì :
2
A− B 3
∆' ≥ 0 ⇔ 2(k − 1) ≤ cos 2 ≤1⇒ k ≤
2 2
3
⇒ cos A + cos B + cos C ≤
2
⇒ ñpcm.
Ví dụ 1.3.2.5.
CMR ∀x, y ∈ R ta có :
3
sin x + sin y + cos( x + y ) ≤
2
Lời giải :
x+ y x− y x+ y
ðặt k = sin x + sin y + cos( x + y ) = 2 sin cos + 1 − 2 sin 2
2 2 2
x+ y
Khi ñó sin là nghiệm của phương trình :
2
x− y
2 x 2 − 2 cos x + k −1 = 0
2
f (α ) ≥ k
Nếu (k ∈ R )
f (β ) ≥ k
thì f ( x ) ≥ k ∀x ∈ [α ; β ] .
ðây là một ñịnh lý khá hay. Trong một số trường hợp, khi mà AM – GM ñã bó tay,
BCS ñã ñầu hàng vô ñiều kiện thì ñịnh lý về hàm tuyến tính mới phát huy hết sức mạnh
của mình. Một phát biểu hết sức ñơn giản nhưng ñó lại là lối ra cho nhiều bài bất ñẳng
thức khó.
Ví dụ 1.3.3.1.
Lời giải :
Ta viết lại bất ñẳng thức cần chứng minh dưới dạng :
1
1 − bc a + b + c − 8 ≤ 0
2
1
Xét f (a ) = 1 − bc a + b + c − 8 với a ∈ [0 ; 2].
2
Khi ñó :
( )
f (0) = b + c − 8 ≤ 2 b 2 + c 2 − 8 = 8 − 8 = 0
f (2 ) = 2 − bc + b + c − 8 = 2 − 8 < 8 − 8 = 0
(vì a = 2 ⇔ b = c = 0 )
Vậy f (a ) ≤ 0 ∀a ∈ [0 ; 2] ⇒ ñpcm.
ðẳng thức xảy ra khi và chỉ khi a = 0 , b = c = 0 và các hoán vị.
Lời giải :
a b c
ðặt x = ;y = ;z = . Khi ñó bài toán trở thành :
a+b+c a+b+c a+b+c
Chứng minh 7( xy + yz + zx ) ≤ 9 xyz + 2 với x + y + z = 1
Không mất tính tổng quát giả sử x = max{x, y, z} .
1
Xét f ( x ) = (7 y + 7 z − 9 yz )x + 7 yz − 2 với x ∈ ;1
3
Ta có :
1
f = 0 ; f (1) = −2 < 0
3
1
⇒ f ( x ) ≤ 0 ∀x ∈ ;1
3
Vậy bất ñẳng thức chứng minh xong.
1
ðẳng thức xảy ra ⇔ x = y = z = ⇔ a = b = c .
3
ðây là phần duy nhất của chuyên ñề không ñề cập ñến lượng giác. Nó chỉ mang tính
giới thiệu cho bạn ñọc một ñịnh lý hay ñể chứng minh bất ñẳng thức. Nhưng thực ra
trong một số bài bất ñẳng thức lượng giác, ta vẫn có thể áp dụng ñịnh lý này. Chỉ có ñiều
các bạn nên chú ý là dấu bằng của bất ñẳng thức xảy ra phải phù hợp với tập xác ñịnh
của các hàm lượng giác.
1
1.4.1. cot 3 A + cot 3 B + cot 3 C ≥ với ∆ABC nhọn.
3
A B C 3 2− 3
1.4.2. sin + sin + sin ≤
4 4 4 2
1 1 1
1.4.3. + + ≥2 3
sin A sin B sin C
A B C A B C 7
1.4.4. sin 2 + sin 2 + sin 2 + sin sin sin ≥
2 2 2 2 2 2 8
1.4.13. ( p − a )( p − b )( p − c ) ≤ abc
8
1.4.14. ha + hb + hc ≥ 9r
A + 3B B + 3C C + 3 A
1.4.15. sin A sin B sin C ≤ sin sin sin
4 4 4