11/07/31 12:49:57.13
[前スレ.608] の小改良....
以上の評価から
(1/2){(1+t)^(1-t) +(1-t)^(1+t)} ≦ 1 -t^2 +(3/4)t^4,
(1/2){(1+t)^(1-t) -(1-t)^(1+t)} ≦ t -(1/2)t^3,
log(2) = a とおくと
cosh(a/2) = 3/(2√2) = 1.06066017,
sinh(a/2) = 1/(2√2) = 0.35355339,
McLaurin展開係数がすべて正だから、t^2 について下に凸
cosh(at) ≦ 1 +(3√2 -4)t^2, (0<t<1/2)
sinh(at) ≦ at +(2√2 -4a)t^3, (0<t<1/2)
以上から
x^(2y) + y^(2x)
= {(1-t)/2}^(1+t) + {(1+t)/2}^(1-t)
≦ {1 -t^2 +(3/4)t^4}･{1 +(3√2 -4)t^2}
+ {t -(1/2)t^3}･{at +(2√2 -4a)t^3}
= 1 -(5-a-3√2)t^2 +{19/4 -(9/2)a -√2)t^4 +{-3 +2a +(5/4)√2}t^6
≦ 1 -(5-a-3√2)t^2 +{4-4a-(11/16)√2}t^4
≦ 1 -{4-(181/64)√2}t^2
= 1 -0.000427268･t^2, (0<t<1/2)