0088132人目の素数さん
2020/05/23(土) 16:38:06.52ID:X/GVmCC1蛇足だが・・・・
f(x,y)= -{log(1/y)- log(1/x)}/(1/y - 1/x)={g(1/y)- g(1/x)}/(1/y - 1/x),
g(t)= - log(t)
これは g関数上の2点(1/x, log(1/x)) と(1/y, log(1/y))を結ぶ線分の傾き。
0<a<b<c ゆえ 0<1/c<1/b<1/a
g(t)= - log(t)は下に凸だから
f(b,c)< f(a,c)< f(a,b)< 0,