y=x^xの導関数は？

y'=x*x^x-1

で結局もとに戻ってしまうのですがそんな
はずは無いと思うんです。

答えのみでよいので教えてください。
（できれば導き方を教えていただければ幸いです）

No.2 ベストアンサー 回答者： Rossana 回答日時： 2002/05/24 23:04

高校生の方ですか？自然対数はlnで表現した方が自分は好きですが、見たことがないと思うのでlogを自然対数とします。

　まず、底の条件より
　　　　　　　　　 x>0
で、このときy=x^xの両辺の自然対数をとります。
　　 logy=log(x^x)⇔logy=xlogx (∵対数の性質)
　次にこの式の両辺をxで微分します。
　　　　　 y'/y=1*logx+x*(1/x)
⇔y'=y(logx+1)
⇔y'=x^x(logx+1) (∵y=x^xを代入)
この両辺の自然対数をとってから微分する解き方を
　　　　　　　　　「対数微分法」
といいます。ちょっと複雑な分数式やこのような普通には微分できない関数に有効です。
　　　　　　　

No.4 回答者： nubou 回答日時： 2002/05/26 14:38

両辺をｌｎするのがいやな場合

ａが正の実数の時ａ＾ｂ＝ｅ＾（ｂ・ｌｎ（ａ））です
なぜならば両辺にｌｎを施せば両辺共にｂ・ｌｎ（ａ）だからです

従ってｘ＾ｘ＝ｅ＾（ｘ・ｌｎ（ｘ））だから
（ｘ＾ｘ）’＝（ｅ＾（ｘ・ｌｎ（ｘ）））’＝
ｅ＾（ｘ・ｌｎ（ｘ））・（ｘ・ｌｎ（ｘ））’＝
ｅ＾（ｘ・ｌｎ（ｘ））・（ｌｎ（ｘ）＋１）＝
ｘ＾ｘ・（ｌｎ（ｘ）＋１）
と一発で求まります

さらにｘ＾ｘ＾ｘ＝ｅ＾（ｘ＾ｘ・ｌｎ（ｘ））だから
上の結果（ｘ＾ｘ）’＝ｘ＾ｘ・（ｌｎ（ｘ）＋１）を使って
（ｘ＾ｘ＾ｘ）’＝（ｅ＾（ｘ＾ｘ・ｌｎ（ｘ）））’＝
ｅ＾（ｘ＾ｘ・ｌｎ（ｘ））・（ｘ＾ｘ・ｌｎ（ｘ））’＝
ｘ＾ｘ＾ｘ・（（ｘ＾ｘ）’・ｌｎ（ｘ）＋ｘ＾（ｘ－１））＝
ｘ＾ｘ＾ｘ・（（ｘ＾ｘ・（ｌｎ（ｘ）＋１））・ｌｎ（ｘ）＋ｘ＾（ｘ－１））です

さらにこの結果を利用すればｘ＾ｘ＾ｘ＾ｘの微分もできます
（ｘ＾ｘ＾ｘ＾ｘ）’を補足に記入してみてください

No.3 回答者： zabuzaburo 回答日時： 2002/05/25 17:11

正解が

(x^x)' = (x^x)・[(log x) + 1]
となることを理解したら、今度は
(誤) (x^x)' = x・x^(x - 1) = x^x
のどこがおかしいのかを理解すれば完璧です。
確かに、
(x^n)' = n・x^(n - 1)
という公式は存在します。例えば
(x^3)' = 3・x^2
(1 / x^2)' = [x^(-2)]' = -2・x^(-3) = -2 / x^3
(√x)' = [x^(1/2)]' = (1/2)・x^(-1/2) = 1 / 2√x
というふうに、適用範囲は広いです。
しかし、注意すべきことは、
「この公式は『nが定数である』という設定のもとで導かれたものである」
ということです。
例えば「2^x」といった「指数関数」の微分で、
(誤) (2^x)' = x・2^(x - 1)
などと用いてはなりません。
「x^x」の微分も同様です。

なお、
「微分して元に戻るなんておかしい」ということはありません。
有名な「e^x」は何回微分しても「e^x」のままですね。

y-syun00さんがどの辺まで学習を進めておられるのか
私には分からないので、不明な点があるかもしれません。
もしそうならば質問を補足してください(^^)

No.1 回答者： nubou 回答日時： 2002/05/24 22:51

ｘを実数とすると０＜ｘでないとｘ＾ｘが意味を持たない場合があるので０＜ｘとします

従って０＜ｙです

ｙ＝ｘ＾ｘ
両辺をｌｏｇｅして
ｌｏｇｅ（ｙ）＝ｘ・ｌｏｇｅ（ｘ）
両辺を微分して
ｙ’／ｙ＝ｌｏｇｅ（ｘ）＋１
従って
ｙ’＝ｙ・ｌｏｇｅ（ｘ）＋ｙ＝ｘ＾ｘ・ｌｏｇｅ（ｘ）＋ｘ＾ｘ