✨ ベストアンサー ✨
関数ってのはある数を決めればそれに対するある数がただ一つに決まる、一対一対応のものを言います。だからx^2+y^2=1は関数ではありません。y=x^2は関数ですがそのx,yを入れ替えたx=y^2はxの値に対してYが一つに決まらないので逆関数ではありません。
逆関数はy=xに関して対称なグラフだから実際にグラフを書いてみるとわかると思います
なるほど!単調増加ないしは単調減少するグラフはxとyの組み合わせがひとつずつしかないのでそれを証明すれば、逆関数を持つということですね!必要十分条件で考えてしまっていました💦スッキリしました!︎︎︎︎ありがとうございます☺︎

例えばこんなグラフで考えてみると良いと思います