看板 Math 關於我們 聯絡資訊
剛剛在算數學自己想了一道題目 感覺是對的,但是又證明不出來 來板上問看看有沒有高手有證明的想法? 題目: 有六個實數 a, b, c, A, B, C >= 0 而且 a + b + c = A + B + C > 0 試證明 a^a * b^b * c^c >= A^a * B^b * C^c 永遠為真 若不是,請舉出反例 -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 125.227.45.150 (臺灣) ※ 文章網址: https://www.ptt.cc/bbs/Math/M.1613708410.A.634.html
Poincare : 如果兩個變數時的情況是對的 那可以用歸納法證明 02/19 13:43
Poincare : 三個變數(也就是你寫的)也是對的 02/19 13:43
alan23273850: 我猜 1^1 * 3^3 < (0.1)^1 * (3.9)^3 02/19 18:46
alan23273850: 欸欸 刪除我上一樓推文好了 太白痴了 02/19 18:47
chemmachine : 我找到a or b or c一者為0,A B C全不為0 是一個反 02/19 20:05
chemmachine : 例 如果承認0^0的話 如果假設abc ABC全不為0 可證 02/19 20:06
chemmachine : 這一個KKT的題目,用WOLFRAM可解 限制式 02/19 20:09
chemmachine : a, b, c, A, B, C >= 0 02/19 20:09
chemmachine : a + b + c = A + B + C > 0 02/19 20:09
chemmachine : 求證 a^a * b^b * c^c -A^a * B^b * C^c極小值大於 02/19 20:10
chemmachine : 0 或a^a * b^b * c^c /A^a * B^b * C^c>=1 02/19 20:12
chemmachine : KKT列出六個變數的GRADIENT 大概可知皆不為0 02/19 20:13
chemmachine : 所以討論邊界,邊界在a b c趨近0的地方 02/19 20:14
chemmachine : 所以a^a * b^b * c^c /A^a * B^b * C^c->1 02/19 20:15
chemmachine : 先暫時將A B C視為常數,將f對 02/19 20:16
chemmachine : a^a * b^b * c^c /A^a * B^b * C^c 分別對 a b c偏 02/19 20:16
chemmachine : 微,可知a^a * b^b * c^c /A^a * B^b * C^c 02/19 20:17
chemmachine : =(a/A)^a*(b/B)^b*(c/C)^c 02/19 20:18
chemmachine : a為變數 A 為常數(a/A)^a為形如 (x/costant)^x 02/19 20:19
chemmachine : 遞增 原式為三個遞增連乘 故為遞增 所以最小值為1 02/19 20:20
chemmachine : 反之 若設A B C 為變數 a b c 為常數 可知為三個遞 02/19 20:21
chemmachine : 減相乘 可以得到如上相同的結果 雖設abc或ABC為常數 02/19 20:22
chemmachine : 討論之後再讓ABC或abc 任意變化即可 02/19 20:23
chemmachine : 更正 這證明有誤 應該不行 (x/a)^x 在0到1之間非遞 02/19 20:35
chemmachine : 增 02/19 20:35
chemmachine : 喔喔 將f取對數 則logf可計算海森矩陣 為一正定矩陣 02/19 20:43
chemmachine : 可證最小值為1 那應該可以證了了 02/19 20:45
chemmachine : 取對數f是關鍵才能算海森/黑賽矩陣 02/19 20:45
xxxx9659 : 感謝各位大大分享證明的方向!! 02/19 21:03
xxxx9659 : 完全沒聽過海森矩陣跟黑賽矩陣... 02/19 21:03
xxxx9659 : 我先去了解這兩個東東,再來證明看看 02/19 21:03
chemmachine : 海森 黑賽 是翻譯問題 海森=黑賽=hessian matrix 02/19 21:16
Vulpix : 黑斯、赫士都再稍微好一點XD 02/19 21:42