Cozumde hatalar var:
(1) Eger \(f(x) = -\ln(1+\tfrac1x) \) ise o halde
\(f(x) = \ln(1+\tfrac1x)^{-1} = \ln\left(\dfrac{x}{x+1}\right) = \ln(x) - \ln(x+1)\)
ve dolayisiyla
\(f''(x) = \dfrac1{(x+1)^2} - \dfrac1{x^2}\)
olur. Bu cok buyuk bir sorun degil cunku fonksiyon yine de icbukey.
(2) Jensen esitsizligini uygularken de bir hata var. Esitsizlikte agirliklarin toplami fonksiyonun argumanina bolunuyor. O yuzden soyle gorunmeli:
\(-\ln(1+\tfrac1x)-\ln(1+\tfrac1y)-\ln(1+\tfrac1z) \leq -3 \ln\left(1+ \dfrac{\tfrac1x+\tfrac1y+\tfrac1z}{3}\right)\)
ya da
\(\ln(1+\tfrac1x)+\ln(1+\tfrac1y)+\ln(1+\tfrac1z) \geq 3 \ln\left(1+ \dfrac{\tfrac1x+\tfrac1y+\tfrac1z}{3}\right)\)
Simdi harmonik ortalama, aritmetik ortalamadan daha kucuk oldugu icin
\(\dfrac{3}{\tfrac1x+\tfrac1y+\tfrac1z} \leq \dfrac{x+y+z}3 = \dfrac13 \implies \dfrac1x+\dfrac1y+\dfrac1z \geq 9\)
olur. Nihayet logaritmanin hep artan oldugunu kaale alarak
\(\ln(1+\tfrac1x)+\ln(1+\tfrac1y)+\ln(1+\tfrac1z) \geq 3\ln(4)\)
oldugunu ve dolayisiyla sorudaki iddiayi gosteririz.