Bizonyítsuk be, hogy: (igaz minden pozitív x, y esetén) :? x ^ x * y ^ y> = ((x + y) / 2) ^ (x + y)

Bizonyítsuk be, hogy: (igaz minden pozitív x, y esetén) :? x ^ x * y ^ y> = ((x + y) / 2) ^ (x + y)
Anonim

Válasz:

Lásd lentebb.

Magyarázat:

Fontolgat #f (x) = x ln x #

Ez a funkció konvex hipográfiával rendelkezik, mert

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

így ebben az esetben

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

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

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

és végül mindkét oldalt négyszögbe helyezve

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