§B2.9分数関数・無理関数

最終更新

分母または根号を含む式では、最初に定義域を定めます。分数関数の漸近線を求め、根号を含む方程式はもとの式に代入して解を判定します。

1 分数関数

定義 1.1 (分数関数). 実係数多項式P(x)P(x)と、零多項式でない実係数多項式Q(x)Q(x)を用いて

f(x)=P(x)Q(x)f(x)=\frac{P(x)}{Q(x)}

と表される関数を 分数関数 (rational function) という。その定義域はQ(x)≠0Q(x)\ne0を満たす実数全体である。

例 1.2 (約分しても穴は残る).f(x)=2x+4x+2f(x)=\dfrac{2x+4}{x+2}の定義域はx≠−2x\ne-2である。x≠−2x\ne-2ではf(x)=2f(x)=2であるが、x=−2x=-2における値は定義されていない。グラフは点(−2,2)(-2,2)を除いた水平な直線であり、水平線全体でも双曲線でもない。

注意 1.3 (漸近線を述べる条件).c≠0c\ne0とする。ad−bc≠0ad-bc\ne0ならば

ax+bcx+d=ac+bc−adc21x+d/c=kx−p+q,\frac{ax+b}{cx+d} =\frac{a}{c}+\frac{bc-ad}{c^2}\frac{1}{x+d/c} =\frac{k}{x-p}+q,

ただし

p=−dc,q=ac,k=bc−adc2≠0p=-\frac dc,\qquad q=\frac ac,\qquad k=\frac{bc-ad}{c^2}\ne0

である。定義域からx=px=pが除かれ、x=px=pとy=qy=qが漸近線になる。一方、ad−bc=0ad-bc=0ならばk=0k=0となり、関数はx=px=pを除いて定数qqに等しい。この場合のグラフには穴があり、x=px=pは漸近線ではない。

例 1.4 (一次分数関数のグラフ).f(x)=1x−1+2f(x)=\dfrac{1}{x-1}+2とする。分母が00でない条件から定義域はR∖{1}\mathbb R\setminus\{1\}である。y=f(x)y=f(x)とおくとy−2=1/(x−1)y-2=1/(x-1)であるからy≠2y\ne2であり、逆にy≠2y\ne2に対してx=1+1/(y−2)x=1+1/(y-2)とおけばf(x)=yf(x)=yとなる。したがって値域はR∖{2}\mathbb R\setminus\{2\}である。x=1x=1とy=2y=2が漸近線である。

2 無理関数

定義 2.1 (無理関数). 実数値関数RRに対してf(x)=R(x)f(x)=\sqrt{R(x)}と表される関数を 無理関数 (irrational function) と呼び、その定義域はR(x)R(x)が定義され、かつR(x)≥0R(x)\ge0を満たす実数xx全体である。

例 2.2 (根号の定義域).g(x)=2x−6g(x)=\sqrt{2x-6}の定義域は2x−6≥02x-6\ge0、すなわちx≥3x\ge3である。g(x)≥0g(x)\ge0であり、任意のy≥0y\ge0に対してx=(y2+6)/2x=(y^2+6)/2とおけばg(x)=yg(x)=yとなるので、値域は[0,∞)[0,\infty)である。グラフは端点(3,0)(3,0)から右上へ延びる。また、g(x)g(x)は負の値をとらないため、方程式2x−6=−1\sqrt{2x-6}=-1は解をもたない。

3 両辺を二乗する場合

定理 3.1 (二乗は一般には同値変形でない). 実数AA、BBについてA=BA=BならばA2=B2A^2=B^2である。しかしA2=B2A^2=B^2からはA=BA=BまたはA=−BA=-Bが従うだけであり、一般にはA=BA=Bは従わない。

証明. 実数A,BA,Bをとる。等式

A2−B2=(A−B)(A+B)A^2-B^2=(A-B)(A+B)

が成り立つ。A=BA=BならばA2=B2A^2=B^2である。一方、A2=B2A^2=B^2ならば(A−B)(A+B)=0(A-B)(A+B)=0であるから、A=BA=BまたはA=−BA=-Bである。実際、A=1A=1、B=−1B=-1ではA2=B2A^2=B^2であるがA≠BA\ne Bであるため、逆向きは一般には成り立たない。▨

例 3.2 (無縁解を除く).x+1=x−1\sqrt{x+1}=x-1を解く。根号の内部が00以上であるためにはx≥−1x\ge-1が必要であり、左辺が00以上であるためにはx−1≥0x-1\ge0、すなわちx≥1x\ge1が必要である。この条件のもとで両辺を二乗すると

x+1=(x−1)2,x+1=(x-1)^2,

すなわちx2−3x=0x^2-3x=0となり、候補x=0,3x=0,3を得る。x=0x=0は必要条件x≥1x\ge1を満たさず、もとの式も満たさない。x=3x=3はもとの式を満たす。したがって、解はx=3x=3だけである。

4 演習

  1. x2−1x−1\dfrac{x^2-1}{x-1}の定義域と、約分後の式を答えなさい。穴の位置も答えなさい。
  2. 3−x\sqrt{3-x}の定義域と値域を答えなさい。
  3. x+2=x\sqrt{x+2}=xを解き、二乗で得た候補をもとの式へ代入して確認しなさい。
  4. 1x−1+2\dfrac1{x-1}+2と2x−6\sqrt{2x-6}について、定義域と値域を記し、前者では漸近線、後者では端点を示してグラフの概形を描きなさい。
解答 (演習の解答).
  1. 分母が00にならないため、定義域はx≠1x\ne1である。x≠1x\ne1では
x2−1x−1=x+1\frac{x^2-1}{x-1}=x+1

である。x=1x=1における値は定義されていないので、穴の位置は(1,2)(1,2)である。 2. 根号の内部について3−x≥03-x\ge0が必要であるから、定義域はx≤3x\le3である。関数の値は00以上であり、任意のy≥0y\ge0に対してx=3−y2x=3-y^2とおけば3−x=y\sqrt{3-x}=yとなる。したがって、値域は[0,∞)[0,\infty)である。 3. 根号の内部と右辺の符号からx≥0x\ge0が必要である。両辺を二乗すると

x+2=x2,x+2=x^2,

すなわち(x−2)(x+1)=0(x-2)(x+1)=0であるから、候補はx=2,−1x=2,-1である。x=−1x=-1はx≥0x\ge0を満たさず、もとの式も満たさない。x=2x=2は2+2=2\sqrt{2+2}=2を満たす。したがって、解はx=2x=2だけである。 4.f(x)=1/(x−1)+2f(x)=1/(x-1)+2の定義域はR∖{1}\mathbb R\setminus\{1\}、値域はR∖{2}\mathbb R\setminus\{2\}であり、漸近線はx=1x=1とy=2y=2である。グラフは二つの漸近線に近づく二つの枝からなる。g(x)=2x−6g(x)=\sqrt{2x-6}の定義域は[3,∞)[3,\infty)、値域は[0,∞)[0,\infty)である。グラフは端点(3,0)(3,0)から右上へ延びる。▨

例題

条件と何を求めるかを確認してから、式と答えの対応を見比べてください。

次の問いに答えよ。定義域(分母 ≠\ne 0、根号の中身 ≥\ge 0)を必ず確認すること。

解法の型分数関数は k/(x−p) + q に変形して漸近線 x == p, y == q を読む。無理方程式は2乗したら必ず検算(無縁解の除去)

  1. 無理関数 y == √(3x+3) の定義域と値域を求めよ。

    y=3x+3y = \sqrt{3x+3}
  2. 分数関数 y == (-x-1)/(x-3) を y == k/(x − p) + q の形に変形し、漸近線と定義域・値域を答えよ。

    y=−x−1x−3y = \dfrac{-x-1}{x-3}
  3. 分数関数 y == (x+4)/(x+3) を y == k/(x − p) + q の形に変形し、漸近線と定義域・値域を答えよ。

    y=x+4x+3y = \dfrac{x+4}{x+3}
  4. 分数関数 y == (-3x)/(x+2) を y == k/(x − p) + q の形に変形し、漸近線と定義域・値域を答えよ。

    y=−3xx+2y = \dfrac{-3x}{x+2}
  5. 不等式 √(x + 2) ≥\ge x を解け。

    x+2≥x\sqrt{x + 2} \ge x
  6. 分数関数 y == (x+5)/(x+4) を y == k/(x − p) + q の形に変形し、漸近線と定義域・値域を答えよ。

    y=x+5x+4y = \dfrac{x+5}{x+4}
  7. 無理関数 y == √(-x) − 1 の定義域と値域を求めよ。

    y=−x−1y = \sqrt{-x} - 1
  8. 不等式 √(x + 30) ≥\ge x を解け。

    x+30≥x\sqrt{x + 30} \ge x
  9. 無理関数 y == √(2x-6) の定義域と値域を求めよ。

    y=2x−6y = \sqrt{2x-6}
  10. 方程式 √(x+2) == x を解け。

    x+2=x\sqrt{x+2} = x

演習

問題を解いてから「解答・解説」を開けます。

次の問いに答えよ。定義域(分母 ≠\ne 0、根号の中身 ≥\ge 0)を必ず確認すること。

演習を読み込み中…

前提記事