Dovedeste ca: (este valabil pentru orice pozitiv x, y) :? x ^ x * y ^ y> = ((x + y) / 2) ^ (x + y)

Dovedeste ca: (este valabil pentru orice pozitiv x, y) :? x ^ x * y ^ y> = ((x + y) / 2) ^ (x + y)
Anonim

Răspuns:

Vezi mai jos.

Explicaţie:

Considera #f (x) = x ln x #

Această funcție are un hipograf convex pentru că

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

astfel încât în acest caz

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

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

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

și, în cele din urmă, împărțind ambele părți

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