[代數] 問一個不等式代換的問題
這兩天被問到一題不等式
已知 a, b, c > 0, abc = 1
試證 (a+b)(b+c)(c+a) >= 4(a+b+c-1)
(1) 想問該題解法（我的不等式很差...）
(2) （轉問）有沒有可能使用代換
a = x/y, b = y/z, c = z/x 來解這題
(3) 上述的代換將 symmetric 變成了 cyclic
請問這是正常的嗎？
(4) 有沒有什麼訣竅
可以判斷本題適不適合使用該代換
(5) 原本 (a, b, c) 的自由度是 2
（a = u, b = v, c = 1/uv, 其中 u, v 獨立）
但是在代換之後, 我找不到 (x, y, z) 自由度是 2 的證據
（找不到獨立變數 u, v 使得 x = x(u,v), y = y(u,v), z = z(u,v)）
這使得 (x, y, z) 看起來很像是自由度 3
想問 (x, y, z) 是否有隱藏關係式？
還是我對自由度的理解有問題？
或是代換後的自由度本來就能不一樣？
說起來 如果設 a in R, 再設 a = bc 應該也有類似的效果
總之差不多被搞迷糊了qw q
雖然 (1) 也蠻重要的, 但困擾的其實是 (5)
=========================
啊 難道這代表我可以多設一個 (x, y, z) 的關係式？
可以設成 xxz + zzy + yyx = 1 嗎 好像沒啥用
----
Sent from BePTT on my ASUS_I005DC
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 101.10.105.161 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/Math/M.1633185424.A.216.html
→
10/02 22:41,
2年前
, 1F
10/02 22:41, 1F
※ 編輯: TimcApple (101.10.105.161 臺灣), 10/02/2021 22:41:27
→
10/02 22:41,
2年前
, 2F
10/02 22:41, 2F
→
10/02 22:42,
2年前
, 3F
10/02 22:42, 3F
→
10/02 22:43,
2年前
, 4F
10/02 22:43, 4F
推
10/02 22:44,
2年前
, 5F
10/02 22:44, 5F
→
10/02 23:03,
2年前
, 6F
10/02 23:03, 6F
推
10/02 23:21,
2年前
, 7F
10/02 23:21, 7F