Udowodnij, że: (dotyczy wszystkich dodatnich x, y) :? x ^ x * y ^ y> = ((x + y) / 2) ^ (x + y)

Udowodnij, że: (dotyczy wszystkich dodatnich x, y) :? x ^ x * y ^ y> = ((x + y) / 2) ^ (x + y)
Anonim

Odpowiedź:

Zobacz poniżej.

Wyjaśnienie:

Rozważać #f (x) = x ln x #

Ta funkcja ma wypukłą hipografię, ponieważ

#f '' (x) = 1 / x> 0 #

tak w tym przypadku

#f ((x + y) / 2) le 1/2 (f (x) + f (y)) # lub

# ((x + y) / 2) ln ((x + y) / 2) le 1/2 (x ln x + y ln y) # lub

# ((x + y) / 2) ^ ((x + y) / 2) le (x ^ x y ^ y) ^ (1/2) #

i wreszcie kwadratura obu stron

# ((x + y) / 2) ^ (x + y) le x ^ x y ^ y #