■√2は無理数であるの裏の裏(その9)
指数のxが無限に繰り返されることを畏れずに計算してみると,どうなるだろうか?
===================================
[Q]y1=x^(x^x^x^x^x^・・・)の最小値を求めよ.
logx^(x^x^x^x^x^・・・)=(x^x^x^x^x^・・・)logx=y1logx
(y1logx)’=y1’logx+y1/x
y1’/y1=y1’logx+y1/x
y1’(1/y1−logx)=y1/x
y1’=y1/x(1/y1−logx)
y1’=(y1)^2/x(1−y1logx)
y1>0であるから,y1=1/logxのとき極値をとるが,そのときのxの値は不明である.
===================================