検索用コード
y=f(x)$とその逆関数$y=f^{-1}(x)$のグラフは,\ 直線$y=x$に関して対称である. \\[.2zh] よって,\ \textbf{\textcolor{red}{$\bm{y=f(x)}$と$\bm{y=x}$の共有点ならば,\ $\bm{y=f(x)}$と$\bm{y=f^{-1}(x)}$の共有点である.}} \\[.2zh] しかし,\ \textbf{\textcolor{Purple}{この逆は成り立たない}}(右下図). \\[.2zh] つまり,\ $y=f(x)$と$y=f^{-1}(x)$の共有点が常に$y=f(x)$と$y=x$の共有点とは限らない. \\[.2zh] 言い換えると,\ \textbf{\textcolor{red}{$\bm{y=f(x)}$と$\bm{y=f^{-1}(x)}$は,\ $\bm{y=x}$上以外にも共有点をもつ可能性がある.}} \\\\[1zh] $y=f(x)$と$y=f^{-1}(x)$の共有点の座標は,\ 以上に注意して求めることになる. \\[.2zh] 3つの解法を示すが,\ それぞれ長所・短所があるので,\ 実際の問題で確認してほしい. \\[1zh] [1]\ \ \textbf{\textcolor{red}{$\bm{y=f(x)}$と$\bm{y=x}$の共有点を求め,\ グラフを図示して他にもないかを確認する.}} $と$\bm{x=f(y)}$を連立する.}
どのような場合に直線y=x上以外の共有点をもちうるかを知っておくことは重要である. \\[.2zh] y=f(x)とy=f^{-1}(x)が共有点(a,\ b)\ (a\neqq b)をもつとき,\ b=f(a)かつb=f^{-1}(a)\ が成り立つ. \\[.2zh] つまり,\ \bm{b=f(a)かつa=f(b)}が成り立つ. \\[.2zh] これは,\ \bm{直線y=xに関して対称な2点(a,\ b),\ (b,\ a)がy=f(x)上にある}ことを意味する. \\[.2zh] またこのとき,\ \bm{f(x)は単調減少関数}となるはずである.
\ $y=f(x)$と$y=f^{-1}(x)$のグラフの共有点の座標を求めよ.}
$y=x^2-1$の値域は\ \
グラフより,\ \textcolor{red}{$y=x^2-1$と$y=\ruizyoukon{x+1}$は,\ 直線$y=x$上にただ1つの共有点をもつ.} \\\\\\
共有点の座標は\$   逆関数は\ の両辺を2乗して整理すると 共有点の座標は\ \
y=xと連立し,\ グラフを図示して他に共有点をもたないことを確認するのが簡潔である. \\[.2zh] グラフが単純で,\ y=x上以外の共有点をもたないことを容易に示せる場合に有効な解法である. \\[.2zh] y=x上以外の共有点をもつ場合,\ 当然y=xと連立しても求まらないことが弱点である. \\[1zh] 別解1は,\ y=f(x)とy=f^{-1}(x)を普通に連立するものである. \\[.2zh] 発想は単純だが,\ √がある場合は次数が高い方程式となり,\ 解くのが困難になることが多い. \\[.2zh] 本問は4次方程式となるが,\ たまたま容易に因数分解できるので解くことができる.
両辺の2乗によって同値性が崩れるので,\ 求まった解が元の方程式を満たすかを確認する必要がある. \\[.2zh] 問題から,\ そもそもx\geqq0であることにも注意する. \\[1zh] 別解2では,\ y=f^{-1}(x)が要はx=f(y)であることに着目し,\ x=f(y)と連立している. \\[.2zh] やや高度だが,\ \bm{逆関数y=f^{-1}(x)を求める必要がなく,\ 対称性も利用できる本質的な解法}である. \\[.2zh] 対称な2式の連立では,\ \bm{和と差で組み合わせる}のが基本であった. \\[.2zh] ただし,\ 本問は差からx=yが導かれるので,\ それと元の\maru1を連立すれば済む. \$のグラフの共有点の座標を求めよ. \\
の値域は
y=\ruizyoukon{1-x}\,は単調減少関数であるから,\ 直線y=x上以外の共有点をもつ可能性が否定できない. \\[.2zh] よって,\ y=xと連立する解法をとるべきではない.\ 一応,\ グラフも示しておいた. \\[.2zh] 本問の場合は,\ グラフから明らかに点(0,\ 1),\ (1,\ 0)も共有点にもつとしてよいかもしれない. \\[.2zh] 前問のように,\ 上に凸と下に凸の関数ならば,\ 共有点の個数はグラフから明らかである. \\[.2zh] しかし,\ 上に凸同士または下に凸同士の関数の場合,\ 共有点の個数や位置は明確に判断しにくい. \\[.2zh] 一番最初に示したような複雑なグラフならなおさらである. \\[.2zh] よって,\ 図から明らかとすると論理的な不備を生じる可能性がある. \\[.2zh] ゆえに,\ 単調減少関数とその逆関数の共有点は,\ 数式的に求めることが推奨される.
常にy^2\geqq0より自動的に1-x\geqq0であるから,\ 1-x\geqq0を付け加える必要はない. \\[.2zh]