20

逆関数が導関数になるとき

2162
2

動機

つい最近,アルバイトにて高校生に数学の指導をしていたとき,相手の生徒が逆関数と導関数の記号を混同している事案がありました。その時にふと思ったのが,逆関数と導関数が同じになる関数って存在する?という疑問です。この記事ではとりあえず,そうなる関数を1つ求めます。すべて求めたわけではないのでご注意ください。

前提

関数f(x)は実数上のある区間で定義されていて,逆関数f1(x)と導関数f(x)が存在するとします。とりあえず議論を簡単にするために,逆関数や導関数の定義域はあまり考えないものとします。さらにff1共に定義される区間が存在して,その区間上ではf(x)=f1(x)
が成り立つと仮定します。
(例えばf(x)=x+2(x[0,1])は逆関数の定義域が[2,3]となるため,もとの関数の定義域との共通部分がとなります。そのような例はつまらないため,考えないことにします。)

まず導関数f(x)が存在するので,f(x)は連続であり,従ってf1(x)もまた連続です。f(x)=f1(x)としていましたので,f(x)も連続な関数です。

f(x)=Axrのとき

先に結果だけ言っておきます。

f(x)=Axrのとき

f(x)=1φφxφ(x0,φ=1+52)は,導関数f:R>0Rと逆関数f1:R0Rを持ち,x>0に対してf(x)=f1(x)が成り立つ。

この命題が正しいことは計算すればすぐに分かります。以下,この関数を見つけた経緯を述べます。

見つけた経緯


Ar0でない実数として,f(x)=Axrと表されると仮定します。このとき,f(x)=Arxr1,f1(x)=(xA)1r
と計算できます。これらが一致するので,Arxr1=(xA)1r
です。少し変形すれば,xr11r=1r(1A)1+1r
と表せます。右辺は定数なので,左辺も定数です。従って,r11r=0
でなければいけません。これは……黄金数が見えますね!つまりr=1±52
でなければいけません。とりあえずf(x)として1つ見つけることが出来れば満足ですので,φ=1+52として,それをrに代入します。すると,1=1φ(1A)1+1φ
となり,これを整理することでA=(1φ)1φ=1φφ
と計算でき,従ってf(x)=1φφxφ
という表示を得ます。実際f(x)=f1(x)=φ1φφx1φ
であることが確認できます。

また,φの代わりに152を考えると,定数Aの値が実数ではなくなってしまうので,f(x)を実数値関数で考えていたことに反します。すなわち,f(x)=Axrの形で表されるならば,f(x)=1φφxφのみであることも分かりました。

全部求めたわけではない

上記の議論では,f(x)xの多項式(特に単項)の場合に解を1つ求めました。

さて,導関数と逆関数が一致するものは,先に求めたものだけですべてなのだろうか?という疑問が自然に発生します。しかしその疑問に対する答えはまだ与えられていません。なにかご存じの方,及び解けた!という方がいればコメントにて教えていただけると嬉しいです。

ff=fから行けたりしないのかな。。。こっちのが難しいかも?)

(複素数の範囲で考察するべきかなあ。)

追記

急に閲覧数が増えていたので何事⁈と思いTwitterを見てみたところ,
https://twitter.com/apu_yokai/status/1337730384214151172
にて拡散されていたようです。ありがとうございます!

また,その引用リツイートを漁っていると,少なくとも以下の動画で紹介されていることに言及している ツイート がありました。
https://youtu.be/rNUfiQgj6ZI
https://youtu.be/0IlWyIaMXqI
なんなら「みんな考えること一緒だなぁw」と言われましたので,オリジナリティを持たせるために,少し問題を一般化してみました。
逆関数がn階導関数になるとき
黄金数だけでなく,白銀数や青銅数が登場しますので,そちらも併せてご覧ください。

追記2

2020年12月16日に開催された〈オンライン数学デー〉において話題に出していただいたようです。
https://twitter.com/sugaku_day/status/1339198592964161536

また,MathOverlfowにて同様の議論がありました。
https://mathoverflow.net/questions/34052/function-satisfying-f-1-f
ここでの議論について,もしかしたら記事を書くかもしれません。

投稿日:20201210
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

ぱるち
ぱるち
141
25994
数学屋さんをしています。代数,数論系に興味があり,今は楕円曲線と戯れています。Mathlogは現実逃避用という噂もあります。@f_d00123

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. 動機
  2. 前提
  3. 全部求めたわけではない