y=-√(2x)の逆関数を求める問題です。

逆関数を求めるときには，2つの手順がありましたね。
① y=f(x)を，x=(yの式)にする
② yとxを書き換えて，y=f(x)の式にする
この2つの手順に加え，y=(√xの式)で表される無理関数では定義域と値域のチェックを行う必要があります。

具体的な問題を通して解説しましょう。

数学では，ルートの中の値は0以上という約束がありましたよね。したがって，2x≧0であり，定義域はx≧0と限定されます。また，-√(2x)≦0より，値域はy≦0と限定されます。

つまり関数y=-√(2x)は，
定義域：x≧0
値域：y≦0
となります。無理関数ではx,yのとりうる値の範囲が限定されるということをしっかりおさえておかないと，逆関数を求めるときに思わぬミスをしてしまいます。

定義域，値域を考慮して，関数y=-√(2x)の逆関数を求めます。

① y=f(x)を，x=(yの式)にする
y=-√(2x)の両辺を2乗して，
y²=2x
⇔x=y²/2
このとき，x≧0,y≦0に制限されますね。

② yとxを書き換えて，y=f(x)の式にする
x=y²/2のxとyを書き換えて，
y=x²/2
ここで，逆関数の定義域，値域に注意してください。y=-√(2x)では，x≧0,y≦0であったので，xとyを書き換えると，逆関数ではy≧0,x≦0です。解答では，この
定義域：x≦0
値域：y≧0
まで書いておかないと，正解にはなりません。

逆関数を関数y=x²/2と記してしまうと，xの値は実数全体をとりますよね。原点を頂点とする放物線がイメージできると思います。しかし，実際の逆関数はy=x²/2のうちx≦0の部分なので，原点を頂点とする放物線のうち左半分しかありません。無理関数の逆関数はx,yのとりうる値の範囲が限定されるということをしっかりおさえておきましょう。