■√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の値は不明である.

===================================