不等式への招待　第７章

>>699を改良…

a,b,c,μ＞0 のとき、
(μa＋bc/a)(μb＋ca/b)(μc＋ab/c)−(μ+1)^3･abc ≧ Ｋ{a(b-c)^2＋b(c-a)^2＋c(a-b)^2},
が成立つような最大の正数Ｋは
Ｋ＝μ(μ＋√μ＋１),
等号成立は（1,1,1）または（1,1,√μ）の入替え。