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

Phương pháp tham số hóa trong chứng minh bất đẳng thức

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 (395.05 KB, 19 trang )









 !"#"$%$&' 
()**+(,$"-.$ 
(/+(-#"$$
 012&324*+5+#! 6%
(/7$899:;&<$!!"-9
59:()#! 6%=4
*+4>!()$9?$&
@:A"A$()!"($BC28;;
A$? ! 6%-(D(/ (B
EF&G2 +96%!$&
EH&,:9I$A$J6&
EK&I2!:A$ #! !
&
'$($59! $94(D!2 0L"C$A$
? $-$?>$94+#
#"$-C?J(/F2()9!M!!
$94-$94(/>/;12()()?
29&' !!"59:! 6%(D
0-#NO94+!"J?PN$7#A$
! !"Q $9:! 6%4+9R!
8"6(/:S$9TI2!:()&




, 
- -
  
!6()$"*S$9TI2
F
  
+ + =
!
 

!6()*&'9%SA$+




H H H
U V &
    
= + +


&I2!:
- -
  
&
.+
- -
 
$WA$


 +!

-
 
&
E J"-$?+N+96%Q(/
 
=
-!
H
H H
H

 
α α
= = &
'C8;5-$?+!"D#A$! ($
3
X
α
>
U>$V-4YZ[\Z H()-$?
( )
H
H
H
H
H H
H
H H

H
H H
H
H H

 

 
  
α
α
α
α
α α
+ ≥
+ ≥
+ ≥

,:5$J(/

H H H
U V H U V H
H H H
     
α α α
α
 
+ + + ≥ + + =
 
 


,>
α
$  
&
H

α
α
+ =

$"

F F ]
H ^

α
− + +
= 
E#"$!1
H
H H
H
F

 
  
α α

= =




+ + =

$"
^
^
F
F ]
F F ]
H F ]
 





= =

+


− + +

=

+



_J
 
F F ]
9 &
H


− + +
= 




&
, 
- -
  
!6()S$9TI2
F
  
+ + =
!
-
 
!
()%&'9%SA$+
H H H
&
   
= + +



&
Z:65CD#A$.! F-$8;
- -F
       
= + = + = +

 ?
- - - - -
     
!()Q>$&
`4YZ[\Z H()-$?

H H
H H
H H
H -
H -
H &
  
  
  
+ ≥
+ ≥
+ ≥

,:5-$J(/

H H H &

   
≥ + + 
E#"$!1
H H
H H
H H
 
 
 

=


=


=



$"
H
H
H
H
H
H
& UFV
 



 
 


 



=



= ⇒ =




=


,>
- - - - -
     
$  
H
   
= = =
S$9TUFV&
'$? 

UFV U VU VU V
      
⇔ + + + =





( )
H
H
U VU V
U V H
F H
      
        
        
    
⇔ + + + + =
⇔ + + + + + + + =
⇔ + + + + + + =
⇔ + + + =

Z!
a
U VU V
  
=
5
K

&
 
= 
E ?
K H
H U FV X UHV
    + + + − = 
bc!UHV?29()"
X

&
3J"
X
9 H
 
=

X

!29()"A$()UHV&
 
.! F!.! H66?PN$$>
- -
  
 0
- -
  
!
02-9R!I2!:A$(/S$9T&,-
$>9!$9


&
@0
 -  -  -
H H H
  
  = = =
$Q?
F
  
+ + =
-4! 9
.! F 0.! H$Q(/9:! 6%
 $9&
G 0!
  -   -   -
     
= = =
$LQ?!:
F
  
+ + =
-
()6$LQ?9:! 6%$9
&
@?-((d;A$.! F!.! H!98"69:
! 9$18"69:- 0(/S$
9TI2!:()&'N C((d!"?+8"
6(/I! (&
!

, 
F H
- -&&&-

  
 !   6 S$ 9T I 2
F H
&&& X

  
+ + + =
 !
F H
&&& F

  
+ + + =
&'9%A$+
F
 
  
  
≤ < ≤
= −

&


"


&
e'(D/F&
H

=
!(D/9(Df!"gF*-
e'(D/H&
K

=
-9;*7$#=
F H K
  
≤ ≤
&
`4YZ[\Z K89-$?
K F
H F K H
K
K F
H F K H
K
K F
U V U V
H H
U V U V
H
K
H
F

]
 

   
 
   
 

 
= − −
 
 

 
 
− + + −
 
 
 
 

 
 
 

 
=
 
 



E ?
F
^



#"$!1
F
F H K
K F F H K H
K F
K
H F K H
F
X
H
F X
F
X
H
H

  
     
 

   



= −


+ + =


− = + + = ⇔ =
 
 

 
=
− = = − ≥


&
3J"
F
9$
^

=
&
'(D/K&
^

=
-9:65$6 
9$


(/
F ^
H K
 
 
= −


= −


3#
F H K ^
   
≤ ≤ ≤
&
@(J"
H F ^ K
   
− = −
&
@h92
H F ^ K
   
− = −
!)%!0
K H
  
− =
-$Q?:9!

+9$S$9TI2


#

K F K H
^ H ^ F
H F ^ K
F F H
   
   
   
   
− −
− −
− = − = = = =
+ + +

'C8;5-D#A$!  (D/
^

=
Q($
3#
F H K ^
   
≤ ≤ ≤
-$?
H F K F ^ F K H ^ H ^ K
U VU VU VU VU VU V

            
= − − − − − −

E ?
H
K F K H
^ F ^ H
H F ^ K
a
K F K H
^ F ^ H
H F ^ K
^ F K H
U HVU FV
U V U V
U V U V
U V& & & & &U V
F H F
U V U V
U V U V
U V U V
F H F
a
F F F F
U V F F U V
F H F
a

  
   

   
   
   
   
   
   
   
   
   
=
+ +
− −
− −
= − −
+ + +
− −
− −
 
− + + + + + −
 
+ + +

 
 
 
 
   
− + + + − + + −
   


+ + +
   

=


 
a





'$>
X

>
$  

F F F F
F F
F H F
   
+ + = − + +
+ + +

$"
H F&

= −

_?-
F F F F K H
F F
F H F H
   
+ + = − + + =
+ + +

!$(/

( )( )( )
a
F H K ^
H i
K H
&U V
F
H
a
H
H F H F H
   

 
− − + +
 
≤   ≤
 
− +
 

 

$"
]
F
H



#"$!1




F H K ^
F H K ^ F H K ^
K H K F
^ H ^ F
H F ^ K
X
F
X
H F H H H F
   
       
   
   
   



+ + + =


− − + + = + + + =


− −
− −

− = − = = = = ≥

− +


\#2()!"$J(/
^ F
K H
H H
^
H
^
 
 


= − =





= − =



_J
]
F
9$
H

=
&
e'(D/^&
j

=
&

3#
F H K ^ j
    
≤ ≤ ≤ ≤
-CD#A$(D/H!K-9:
65-$N$":+


9$
!
j F ^ H K
- - X

    
= − = − =
&
E J"
j ^ H F K H ^ K
- -
       
− = − − = −
C?$?+ Jh9
2
H F
 

)%!
K H
 



:+


9$
#S$
I2
^ K K H K F j K
H F
j H j F j ^
^ H ^ F
F F F

H H F H F H H F
       
 
   
     
   
   
− − − −

= = = = =
+ +
− − −
− −
= = = = =
+ + +

'C8;5-D#A$!  (D/
j

=
Q($
_9;*7-$#=
F H K ^ j
    
≤ ≤ ≤ ≤
-C?"$
H F K F ^ F j F K H
^ H j H ^ K j K j ^
U VU VU VU VU V
U VU VU

VU VU V
          
         
= − − − − −
− − − − −

kl+

H K H
^ U FV UH FV


  
=
+ +





3(
K F j F K H
H F ^ F
j H ^ K j K j ^
^ H
U V U V U V
U V U V
& & & & 
F F H F H H
U V U V U V U V

U V
 & & & &
H H F F F
     
   

   
       
 
   
− − −
− −
=
+ + +
− − − −

+ +

`4YZ−\Z FX89-$?
K F j F K H
H F ^ F
FX
FX
j H ^ K j K j ^
^ H
FX
j F ^ H
FX
U V U V U V
F U V U V

F F H F H H
FX
U V U V U V U V
U V
H H F F F
F F K F K
U V F U V F
H F HU FV H F H
FX
     
   

   
       
 
   
   
   
− − −
− −

≤ + + + + +

+ + +

− − − −


+ + + + +


+ +

 
 
 
= − + + + − − + +
 
 
 
+ + +
 
 
 
,>
X

>
$  

F K F K
F F
H F HU FV H F H
   
+ + = − + +
+ + +

$"
F
H


=
&_?-
F K F K j
F F
H F HU FV H F H H
^
Hm
   



+ + = − + + =

+ + +



=



'C8"-$(/

FX
F H ^ j
FX HX
F j F
& &U V
H
FX H

    
 
≤ − − + + ≤
 
 

E ?
HH
Hm
H
 ≤ 
#"$!1


!


F H K ^ j
F H ^ j F H K ^ j
K F j F
^ F
H F K H
j H j K
^ H ^ K j ^
X
F
HU V
HU V
K H K
HU V

HU V X
H K
    
        
   
 
   
   
     
+ + + + =


− − + + = + + + + =


− −


− = = = = − =


− −
= − = = − = = − ≥



\#2()!"$J(/
F j
H ^
K

K
]
F
]
X
 
 


= − = −



= − = −


=



&
_J
HH
Hm
9$
H
 = &
 
.()()6Q9(/D#A$! na&
$%&'()*+,-

, 
- -
  
!:!$A$9:$9 (!$9

>&
'9%SA$+
 & & &
  
   
= 

kl+
F
  &  & 
  
   

= = &
.! T ()()99$A$

&
_"+

-;I$LN7h:

  &    &    &  F
     
+ + =


3!C8"-$N$"!!"?+oYZ[\Z":- ?
$($! $9()
- -
  
U>$V$  


$


U  &  V &U  &  V &U  &  V
U  V &U  V &U  V &
  
     
      
  
+ + +
=
=

'$#>
- -
  
$  
F
&U V
H
F
&U V
H

F
&U V
H
   
  
      
  
   

= + −

+ =


 
+ = ⇔ = − + +
 
 
+ =


= − +


&
'C8"-$?
  &    &    & 
& &

 

  
      
  
  
 
   
=
   
 
   
 

`4,$"":-$?
F   &    &    & 
&
U V
F
U V
  
  
  
  

  
     
  
  
  
  
+ +

+ +
+ +

 
 
   
≤ + +
 
   
 
+ +
   
 
 
=
+ +
E ?
U V
  
  
  

  
+ +

+ +

p"$ 
U V U V
U V U V U V

     
           
     

           
+ + + +
− + + − + + −
+ + + +
≥ =
− + + − + + −

#"$!1
  &    &    & 
     
  
= = &
G$"


.

U VU V
 
U V U VU V
U VU V
 
U V U VU V
U VU V
 
U V U VU V

      

         
      

         
      

         

− + + −
= =

+ + − + + + +


− + + + −

= =

+ + − + + +


− + − + +

= =
+ + + − + +




_J

U V
9
U V U V U V
  
        
  

        
+ +
− + + − + + −
+ +
=
− + + − + + −
&
.%&/01232##-
, 
- - X
  
>
!
HF H ] FH
  
+ + ≤
&'9%SA$+
F H K
&

  

= + +


&+)#-$Q0
F H K
- -  
  
= = =
$J(/9:! 
()()($
q
- - X
  
>
!
a FH HF a
   
+ + ≤
&'9%SA$+
&
   
= + +
r
@J"C#
a FH HF a
   
+ + ≤
-$?+"$(/
U - - XV
  

      
≥ >

E ?$N$"!!"?+=4YZ[\Z":(/&
'JJ"
F
& &
U V & &

 
  
  
   
  
  
  
  
+ +
= + +
 
 
   
 
≥ + +
   
 
 
   
 
 






F
U V
  
  

  
  
+ +
 
≥ + +
 
 

@(J"-294A$$8"D1!#9
- -
  
O$&
bc!-$1l
F
  
+ + =
!A&_?-$?

F
HF

a FH
a FH HF
a a FH HF
a & FH & HF &
Ua FH HF V & &

 
  
   
  
  
  
  
  
  
+ +
≥ + +
= + +
 
 
   
 
≥ + +
   
 
 
   
 
 


+9
- -
  
$##2$
a
F
a FH HF
FH
F
a FH HF
HF
F
a FH HF
F


  


  


  
  

− =

+ +



− =

+ +


 − =
+ +


+ + =


G$"

H
H
a
F H
a FH HF
F
FH
F H
a FH HF
^ FX a j H
HF
j H K F
F H
a FH HF
F



  
  


  
   

   

  
  

− =

+ +

= − −


− =


+ +
⇔ + + − =
 
 
+ − + =

 − =

+ +


+ + =


kl2
H
H
^ FX a j H
UsV
j H K F
   
   

+ + − =


+ − + =



0
U XV

  
= >
-2UsVd!
H
H H

UH jV UK V F UFV
U^ FX V Ua jV H UHV
   
    

+ + − =


+ + − =



t"
UHV H UFV


-$(/





H
UU^ a FXV ] FFV X
    
+ − + − =

@
F


=
2UsV29- ?
F


&

H
FF ]
UKV
^ a FX


 

⇒ =
+ −

E 
X- X
 
> >
5
FF
F
]

< <
&'$"UKV! UFV!>-$(/


^ K H
H
Fa FH F^a KX Fmj X
U^ jVUH jVUH ^ mV X
j FF
U F V
^ ]
   
   
 
− − + + =
⇔ − + − − =
⇔ = < <

'C?-$?
H
j
F
K
^
Fj




=



=




=


&'=-$"S$&
d5#"$!1

a FH HF j
j Fj
K
H ^
a FH HF j
K
j
H
H
F
K
^
j
K
H
  
  
   
 

   








= =



+ + =


= =




+ + =

=



⇔ =


=




=



⇒ =



=







'C8;!>$95-$9:D#6u)#(
$
0
F ^ K
- -
K j H
  
  
= = = -! "+I
q
- - X
  

>
!
K j m Fj

   
+ + ≤
&'9%SA$+
F
&Ua j ^ V&
H
   
= + +
r
`4YZ[\Z Fj()-$?

K j m
Fj
FH FX ]
Fj
a j ^
Fj
Fj K j m Fj
F
F
      
  
  
≥ + + ≥
⇒ ≥
⇔ ≥


t4YZ[\Z Fj()-$?

a j ^
Fj
F Fj Fj
&Ua j ^ V &
H H H
      
= + + ≥ ≥

#"$!1
F
K
^
F &
Fj K j m
j
K
H

  
   
   


=


= =



⇔ = = = ⇔ =
 
= + +



=



_J
Fj
9 &
H
 = 

, 
- - X
  

!
K&
  
+ + =
'9%SA$+
^ ^ ^
H K
   

= + + 

39>()
- -
  
-h G h-$?

^ ^ ^ K K K K ^
U H K V U H K V
         
+ + ≥ + +



"

,>
- -
  
$  
K K K K
H K -
   
= = =
?-$?

FH ^ K ^
^ ^ ^ K ^ ^ ^ K
U V UK V
U H K V U H K V

    

     
+ +
≥ =
+ + + +

+#"$$#?

F
     
     
+ +
= = = =
+ +

E J"-$?

K K K K
K
K
K
K
K
H K
H
K
K
F H K
  

   
 
 
 

+ + =


= = =

=


=




=


=

+ +


'C8"-$R!"$7#A$! &

,99>()
F H

- -&&&-

  
$?
F F H F H F H
F H F F F
&&& ^ &&&
&&&
 

        
 
+ + + < + + +
 
+ + + +
 


`4.$ -$?

H
H H
H
F H
F H F H
F H
H
H H
F H
H

F H F H
F H
U &&& V &&& U &&& V
& &&&
&&&
U &&& V

 


 


 
     
  

   
     
  
 
+ + + + + + ≥ + + +
 
 
 
⇒ ≤ + + +
 
+ + +
+ + +
 


,%
F H
- -&&&-

  
! 

"CF

-v"*-$(/

F H
F F H F H F H
F H
&&& &&&
&&&

 

  
        
+ + + ≤ + + +
+ + + +

' ?


#



H H H
H H H
F H F H F F H
U FV
&&&
U &&& V U &&& V U &&& V
  

  
   

        
+
+
= + + +
+ + + + + + + + +

'$?+>
F- -

   
= ∀ = ?

H
H H H
H
H H H H H H
H
H H H

H
F
&&&
UF H &&& V UF H &&& U FVV UF H &&& V
F
^ &&&
U FV U FV U HV U FV
F F F
^ &&&
U FV U FVU HV U FV
F F F F F F
^ & & &
F F H F H

  
 
  
  

     

     

     
 
+
= + + +
 
+ + + + + + + + + +
 

 
+
= + + +
 
+ + + +
 
 
= + + +
 
+ + + +
 
   
= − + − +
   
+ + + + +
   
H
H H H
H
H
H
F F F
&& &
F F
F F F F F
^ &&&
F
U FV U HV U FV
F F F F F
^ &&&

F U FVU HV U HVU KV U FVU HV
F F F
^
F F
F F
^
F
^
F
^
  

 
  

       

  

 


 
 
+ −
 
 
+ +
 
 

 
= − − − − −
 
+
+ + +
 
 
< − − − − −
 
+ + + + + + +
 
 
= − −
 
+ +
 
 
< −
 
+
 
<
+
<

.(/9 ! !&

,9$9>6
F H
- -&&&-


  

H
H
H H H H
F H
F H
F F H
&&&
&&& ^U &&& V
H


  
 
   

+ + +
+
 
 
+ + + ≤ + + +
 
 
 
 


39>()

F H
- -&&&-

  
o"P-$?





H
H H
H
F H
F H F H
F H
&&& U &&& V U &&& V

 


 
     
  
 
+ + + + + + ≥ + + +
 
 

E ?

H
H H
F H F H F H
F H
H H
F
H
F H
H
&&& &&& &&&
& &
&&&
&&& &
  




        
 

   
  

 
+ + + + + + + + +
 
≤ + +
 
 

+ + +
+ +

, 

"CF

-v"*-$(/

H
H
H H H H
F H
F H
F F F H H
&&&
&&& &&&
H

 
  
 
   

α α α
+ + +
+
 
 
+ + + ≤ + + +

 
 
 
 

' ?

F H F H F F H
H H H
&&& &&& &&&
&&& F-
U FV
  

  
        
 
     
α
+
+ + + + + + + + +
= + + + ∀ =
+

'$>
F H
F &&&
 
      
= − − ⇒ + + + = 


K H K H K H
F F F F
&
U FV



  
α
 
⇒ = + +
 
+
 

,fP

K H
K H K H K H
F F
F F
H H
F F
F F
H H
H H
F
F F F F
H H H H

F
H
F F F F F F
&&&
H HU FV H
F F F
H H H
 
 
 
   

  
  
+ − −
− =
  
− +
− +
  
  
=
 
  
+ + − − +
 
  
  
 


⇒ ≥ − ≥ + + +
+
− − +






(
)
H F
H
^
F F
H H


 
  
α
+ −
⇒ ≤ = ≤
− −

.(/9 ! !&
!456
.!F&U3h$9'p'Fii^V
, 
- - -

   
!6S$9TI2
H H H H
F
F
H
   
≤ + + + ≤
&'9%
S!%A$+
H H H H
U H V U H V U H V U H V
          
= − + + − + + − + − 
.!H&
, 
- X
 
>
!
^
 
+ ≥
&'9%SA$+
a FX
H K  
 
= + + +

.!K&

, 
- - X
  
>
!
H K HX
  
+ + ≥
&'9%SA$+
K i ^
H
   
  
= + + + + +

.!^&
, 
- - X
  
>
!
K
  
+ + =
&'9%A$+
H ^ K
   
= + +

.!j&U' G>'*'wHXXjV

 $V, $9

&'9%A$+
H K
 & &
   
= 
 V, $9

-
- -
  
!6() (&'9%
A$+
 & &
  
   
= 


!

.!a&U3ZxyHXX^V
, $9>&'9%SA$+
H j
  
   
= + +

.!m&U3ZxyHXXjV

, 
- -
  
!6() (!
- -
  
!6()S$9T
   
+ + =
&'9%SA$+
   
= + +

.!]&
, 
F H
- -&&&-

  
!

6() (!
F H
- -&&&-

  
!

6()
S$9T

F
F
&


  


  
=
=
=


'9%SA$+
F



 
=
=


.!i&UI>:"+GpzG!@:HXXjV
, 
- -
  
!6()S$9T
m

   
+ + =
&'9%S
A$+
^ j a
H H H
] F FX] F Fa F
  

  
+ + +
= + + 
.!FX&U' G>'*'wHXXjV
, 
- - {X-F|
  

&'9%A$+
U VU VU VU V
         
= − − − + +

.!FF&
,99>T"()
F H
- -&&&-

  
$?
F F H F H F H

F F F F F F
&&& H &&&
&&&
 
        
 
+ + + < + + +
 
+ + + +
 

×