2011-11-30から1日間の記事一覧
今回は分数不等式についての証明です. 4変数の3次分数式は,CADによるQEでは難しいようです. Reduce[ForAll[ {a, b, c, d}, a >= 0 && b >= 0 && c >= 0 && d >= 0 && a + b + c + d == 4, a/(a^3 + 8) + b/(b^3 + 8) + c/(c^3 + 8) + d/(d^3 + 8) ... 一…
今回は分数不等式についての証明です. 4変数の3次分数式は,CADによるQEでは難しいようです. Reduce[ForAll[ {a, b, c, d}, a >= 0 && b >= 0 && c >= 0 && d >= 0 && a + b + c + d == 4, a/(a^3 + 8) + b/(b^3 + 8) + c/(c^3 + 8) + d/(d^3 + 8) ... 一…