分母または根号を含む式では、最初に定義域を定めます。分数関数の漸近線を求め、根号を含む方程式については、両辺を二乗して得た解の候補をもとの方程式に代入して、解であるかどうかを判定します。
1 分数関数
定義 1.1 (分数関数). 実係数多項式と、零多項式でない実係数多項式を用いて
と表される関数を 分数関数 (rational function) という。その定義域はを満たす実数全体である。が定数のときは多項式関数になるが、これも分数関数に含める。が定数でないものだけを分数関数とよぶ流儀もある。
例 1.2.の定義域はである。ではであるが、における値は定義されていない。グラフは直線から点を除いたものであり、直線全体でも双曲線でもない。
定義 1.3 (一次分数関数).を実数とし、、とする。と表される関数を 一次分数関数 (linear fractional function) という。
定理 1.4.、を実数とする。
- のグラフは、のグラフを軸方向に、軸方向にだけ平行移動したものである。定義域は、値域はであり、直線が垂直漸近線、直線が水平漸近線である。
- 一次分数関数は、、、とおくとでに等しく、である。
証明.
-
の定義域はである。よりであり、に対してとおけばとなるので、値域はである。§B2.2 定理 1.1により、平行移動後のグラフは、定義域は、値域はである。
のときであるから、はなら正の無限大に、なら負の無限大に発散する。定数を加えても発散の向きは変わらない。のときはであり、向きが逆になって同様に発散する。したがって、§B2.3 定義 3.1によりは垂直漸近線である。また、またはのときであるから、であり、は水平漸近線である。
-
であり、である。でで割ると
を得る。よりである。
▨
のグラフは直角双曲線とよばれます。一次分数関数のグラフは、この直角双曲線を平行移動したものです。
注意 1.5 (漸近線を述べる条件).とする。ならば
ただし
である。一方、ならばとなり、関数はを除いて定数に等しい。この場合のグラフには穴があり、は漸近線ではない。
例 1.6.とする。、、、でであり、、、であるからと書ける。分母がでない条件から定義域はである。とおくとであるからであり、逆にに対してとおけばとなる。したがって値域はである。このは、からを求める式、すなわち逆関数の式でもある。定理 1.4により、とが漸近線である。
2 無理関数
定義 2.1 (無理関数).の式で表され、その式にの形の根号(平方根)を含む関数を 無理関数 (irrational function) と呼ぶ。定義域は、式に現れる各根号についてが定義されを満たし、かつ式全体が定義される実数全体である。
例 2.2.の定義域は、すなわちである。であり、任意のに対してとおけばとなるので、値域はである。グラフは端点から右上へ延びる。また、は負の値をとらないため、方程式は解をもたない。
3 無理方程式と両辺の二乗
定理 3.1. 実数、についてならばである。しかしからはまたはが従うだけであり、一般にはは従わない。ただしかつならば、とは同値である。
証明. 実数をとる。等式
が成り立つ。ならばである。一方、ならばであるから、またはである。実際、、ではであるがであるため、逆向きは一般には成り立たない。
かつとする。ならばまたはであり、のときはとからとなってが成り立つ。よってとは同値である。▨
例 3.2.を解く。根号の内部が以上であるためにはが必要であり、このとき左辺は以上である。したがって、等式が成り立つためには右辺について、すなわちが必要である。では両辺が以上であるから、定理 3.1により、両辺を二乗した
すなわちと同値である。候補はであり、を満たすのはだけである。ではとなり、もとの式を満たす。したがって、解はだけである。
捨てたは、の解である。実際が成り立つ。二乗するととの解がともに残る。
4 例題
レベル2 — 分数関数・無理関数
次の問いに答えよ。定義域(分母0、根号の中身0)を必ず確認すること。
解法の型分数関数は k/(x−p) + q に変形して漸近線 xp, yq を読む。無理方程式は2乗したら必ず検算(無縁解の除去)
例 4.1. 無理関数 y√(3x+3) の定義域と値域を求めよ。
答 定義域値域
注意 根号の中身が 0 以上: 3x+30。x の係数 3 は正なので不等号の向きはそのままで x-1。√ は非負なので √(3x+3)0、したがって y0(等号は x-1 のとき)。グラフは y√x を平行移動・拡大縮小したもの。
例 4.2. 分数関数 y(-x-1)/(x-3) を yk/(x − p) + q の形に変形し、漸近線と定義域・値域を答えよ。
答漸近線定義域値域
注意 分子を分母で割る: -x-1-1(x-3) − 4 なので y-1 − 4/(x-3)。これは双曲線 y-4/x を x 方向に 3、y 方向に -1 平行移動したもので、漸近線は x3 と y-1。定義域は分母0 より x3、値域は y-1(漸近線の値はとれない)。
例 4.3. 分数関数 y(x+4)/(x+3) を yk/(x − p) + q の形に変形し、漸近線と定義域・値域を答えよ。
答漸近線定義域値域
注意 分子を分母で割る: x+41(x+3) + 1 なので y1 + 1/(x+3)。これは双曲線 y1/x を x 方向に -3、y 方向に 1 平行移動したもので、漸近線は x-3 と y1。定義域は分母0 より x-3、値域は y1(漸近線の値はとれない)。
例 4.4. 分数関数 y(-3x)/(x+2) を yk/(x − p) + q の形に変形し、漸近線と定義域・値域を答えよ。
答漸近線定義域値域
注意 分子を分母で割る: -3x-3(x+2) + 6 なので y-3 + 6/(x+2)。これは双曲線 y6/x を x 方向に -2、y 方向に -3 平行移動したもので、漸近線は x-2 と y-3。定義域は分母0 より x-2、値域は y-3(漸近線の値はとれない)。
例 4.5. 不等式 √(x + 2)x を解け。
答
注意 まず定義域(根号の中身0)から x−2。次に右辺の符号で場合分けする。(i) x < 0 のとき、左辺は 0 以上なので不等式は自動的に成立し、−2x < 0 はすべて解。(ii) x0 のときは両辺とも 0 以上なので2乗してよく、x + 2x² すなわち x² − x − 20、因数分解して (x − 2)(x + 1)0 より −1x2。x0 と合わせて 0x2。(i)(ii) を合わせて −2x2。場合分けせずにいきなり2乗すると x < 0 の部分を落とす。
例 4.6. 分数関数 y(x+5)/(x+4) を yk/(x − p) + q の形に変形し、漸近線と定義域・値域を答えよ。
答漸近線定義域値域
注意 分子を分母で割る: x+51(x+4) + 1 なので y1 + 1/(x+4)。これは双曲線 y1/x を x 方向に -4、y 方向に 1 平行移動したもので、漸近線は x-4 と y1。定義域は分母0 より x-4、値域は y1(漸近線の値はとれない)。
例 4.7. 無理関数 y√(-x) − 1 の定義域と値域を求めよ。
答 定義域値域
注意 根号の中身が 0 以上: -x0。x の係数 -1 は負なので両辺を割ると不等号が反転して x0。√ は非負なので √(-x)0、したがって y-1(等号は x0 のとき)。グラフは y√x を平行移動・拡大縮小したもの(x の係数が負なので左右が反転する)。
例 4.8. 不等式 √(x + 30)x を解け。
答
注意 まず定義域(根号の中身0)から x−30。次に右辺の符号で場合分けする。(i) x < 0 のとき、左辺は 0 以上なので不等式は自動的に成立し、−30x < 0 はすべて解。(ii) x0 のときは両辺とも 0 以上なので2乗してよく、x + 30x² すなわち x² − x − 300、因数分解して (x − 6)(x + 5)0 より −5x6。x0 と合わせて 0x6。(i)(ii) を合わせて −30x6。場合分けせずにいきなり2乗すると x < 0 の部分を落とす。
例 4.9. 無理関数 y√(2x-6) の定義域と値域を求めよ。
答 定義域値域
注意 根号の中身が 0 以上: 2x-60。x の係数 2 は正なので不等号の向きはそのままで x3。√ は非負なので √(2x-6)0、したがって y0(等号は x3 のとき)。グラフは y√x を平行移動・拡大縮小したもの。
例 4.10. 方程式 √(x+2)x を解け。
答
注意 両辺を2乗すると x+2x²、すなわち x² − x − 20。因数分解して (x − 2)(x + 1)0 より x2, -1。ここで検算が必須: x-1 は右辺が負になり、左辺の √ が非負であることに反するので無縁解。2乗は同値変形ではない(A²B² からは AB または A−B しか言えない)。答えは x2 のみ。
5 演習
問題 5.1 (分数関数・無理関数の演習).
- の定義域と、約分後の式を答えなさい。穴の位置も答えなさい。
- の定義域と値域を答えなさい。
- を解き、二乗で得た候補をもとの式へ代入して確認しなさい。
- とについて、定義域と値域を記し、前者では漸近線、後者では端点を示してグラフの概形を描きなさい。
解答 (演習の解答).
- 分母がにならないため、定義域はである。では である。における値は定義されていないので、穴の位置はである。
- 根号の内部についてが必要であるから、定義域はである。関数の値は以上であり、任意のに対してとおけばとなる。したがって、値域はである。
- 根号の内部と右辺の符号からが必要である。両辺を二乗すると すなわちであるから、候補はである。はを満たさず、代入しても左辺は、右辺はとなって等しくない。はを満たす。したがって、解はだけである。
- 、、、でであり、、、であるからである。定義域は、値域は、漸近線はとである。であるから、では、ではとなり、グラフは右下と左上に二つの枝をもつ(で)。の定義域はよりである。値は以上であり、任意のに対してとおけばとなるので、値域はである。グラフは端点から左上へ延びる。
▨
レベル2 — 分数関数・無理関数
次の問いに答えよ。定義域(分母0、根号の中身0)を必ず確認すること。
解法の型分数関数は k/(x−p) + q に変形して漸近線 xp, yq を読む。無理方程式は2乗したら必ず検算(無縁解の除去)
問題 5.2. 分数関数 y(-3x-3)/(x+2) を yk/(x − p) + q の形に変形し、漸近線と定義域・値域を答えよ。
解答.
答漸近線定義域値域
注意 分子を分母で割る: -3x-3-3(x+2) + 3 なので y-3 + 3/(x+2)。これは双曲線 y3/x を x 方向に -2、y 方向に -3 平行移動したもので、漸近線は x-2 と y-3。定義域は分母0 より x-2、値域は y-3(漸近線の値はとれない)。▨
問題 5.3. 無理関数 y√(3x+6) + 3 の定義域と値域を求めよ。
解答.
答 定義域値域
注意 根号の中身が 0 以上: 3x+60。x の係数 3 は正なので不等号の向きはそのままで x-2。√ は非負なので √(3x+6)0、したがって y3(等号は x-2 のとき)。グラフは y√x を平行移動・拡大縮小したもの。▨
問題 5.4. 方程式 √(x+12)x を解け。
解答.
答
注意 両辺を2乗すると x+12x²、すなわち x² − x − 120。因数分解して (x − 4)(x + 3)0 より x4, -3。ここで検算が必須: x-3 は右辺が負になり、左辺の √ が非負であることに反するので無縁解。2乗は同値変形ではない(A²B² からは AB または A−B しか言えない)。答えは x4 のみ。▨
問題 5.5. 不等式 √(x + 2)x を解け。
解答.
答
注意 まず定義域(根号の中身0)から x−2。次に右辺の符号で場合分けする。(i) x < 0 のとき、左辺は 0 以上なので不等式は自動的に成立し、−2x < 0 はすべて解。(ii) x0 のときは両辺とも 0 以上なので2乗してよく、x + 2x² すなわち x² − x − 20、因数分解して (x − 2)(x + 1)0 より −1x2。x0 と合わせて 0x2。(i)(ii) を合わせて −2x2。場合分けせずにいきなり2乗すると x < 0 の部分を落とす。▨
問題 5.6. 不等式 √(x + 30)x を解け。
解答.
答
注意 まず定義域(根号の中身0)から x−30。次に右辺の符号で場合分けする。(i) x < 0 のとき、左辺は 0 以上なので不等式は自動的に成立し、−30x < 0 はすべて解。(ii) x0 のときは両辺とも 0 以上なので2乗してよく、x + 30x² すなわち x² − x − 300、因数分解して (x − 6)(x + 5)0 より −5x6。x0 と合わせて 0x6。(i)(ii) を合わせて −30x6。場合分けせずにいきなり2乗すると x < 0 の部分を落とす。▨
問題 5.7. 無理関数 y√(2x+4) + 3 の定義域と値域を求めよ。
解答.
答 定義域値域
注意 根号の中身が 0 以上: 2x+40。x の係数 2 は正なので不等号の向きはそのままで x-2。√ は非負なので √(2x+4)0、したがって y3(等号は x-2 のとき)。グラフは y√x を平行移動・拡大縮小したもの。▨
問題 5.8. 無理関数 y√(-x-3) + 3 の定義域と値域を求めよ。
解答.
答 定義域値域
注意 根号の中身が 0 以上: -x-30。x の係数 -1 は負なので両辺を割ると不等号が反転して x-3。√ は非負なので √(-x-3)0、したがって y3(等号は x-3 のとき)。グラフは y√x を平行移動・拡大縮小したもの(x の係数が負なので左右が反転する)。▨
問題 5.9. 方程式 √(2x+8)x を解け。
解答.
答
注意 両辺を2乗すると 2x+8x²、すなわち x² − 2x − 80。因数分解して (x − 4)(x + 2)0 より x4, -2。ここで検算が必須: x-2 は右辺が負になり、左辺の √ が非負であることに反するので無縁解。2乗は同値変形ではない(A²B² からは AB または A−B しか言えない)。答えは x4 のみ。▨
問題 5.10. 分数関数 y(-3x-5)/(x+3) を yk/(x − p) + q の形に変形し、漸近線と定義域・値域を答えよ。
解答.
答漸近線定義域値域
注意 分子を分母で割る: -3x-5-3(x+3) + 4 なので y-3 + 4/(x+3)。これは双曲線 y4/x を x 方向に -3、y 方向に -3 平行移動したもので、漸近線は x-3 と y-3。定義域は分母0 より x-3、値域は y-3(漸近線の値はとれない)。▨
問題 5.11. 無理関数 y√(-x+1) − 1 の定義域と値域を求めよ。
解答.
答 定義域値域
注意 根号の中身が 0 以上: -x+10。x の係数 -1 は負なので両辺を割ると不等号が反転して x1。√ は非負なので √(-x+1)0、したがって y-1(等号は x1 のとき)。グラフは y√x を平行移動・拡大縮小したもの(x の係数が負なので左右が反転する)。▨
問題 5.12. 不等式 √(x + 20)x を解け。
解答.
答
注意 まず定義域(根号の中身0)から x−20。次に右辺の符号で場合分けする。(i) x < 0 のとき、左辺は 0 以上なので不等式は自動的に成立し、−20x < 0 はすべて解。(ii) x0 のときは両辺とも 0 以上なので2乗してよく、x + 20x² すなわち x² − x − 200、因数分解して (x − 5)(x + 4)0 より −4x5。x0 と合わせて 0x5。(i)(ii) を合わせて −20x5。場合分けせずにいきなり2乗すると x < 0 の部分を落とす。▨
問題 5.13. 無理関数 y√(3x-3) + 3 の定義域と値域を求めよ。
解答.
答 定義域値域
注意 根号の中身が 0 以上: 3x-30。x の係数 3 は正なので不等号の向きはそのままで x1。√ は非負なので √(3x-3)0、したがって y3(等号は x1 のとき)。グラフは y√x を平行移動・拡大縮小したもの。▨
問題 5.14. 無理関数 y√(3x-6) + 2 の定義域と値域を求めよ。
解答.
答 定義域値域
注意 根号の中身が 0 以上: 3x-60。x の係数 3 は正なので不等号の向きはそのままで x2。√ は非負なので √(3x-6)0、したがって y2(等号は x2 のとき)。グラフは y√x を平行移動・拡大縮小したもの。▨
問題 5.15. 分数関数 y(-x-4)/(x-4) を yk/(x − p) + q の形に変形し、漸近線と定義域・値域を答えよ。
解答.
答漸近線定義域値域
注意 分子を分母で割る: -x-4-1(x-4) − 8 なので y-1 − 8/(x-4)。これは双曲線 y-8/x を x 方向に 4、y 方向に -1 平行移動したもので、漸近線は x4 と y-1。定義域は分母0 より x4、値域は y-1(漸近線の値はとれない)。▨
問題 5.16. 分数関数 y(2x)/(x+4) を yk/(x − p) + q の形に変形し、漸近線と定義域・値域を答えよ。
解答.
答漸近線定義域値域
注意 分子を分母で割る: 2x2(x+4) − 8 なので y2 − 8/(x+4)。これは双曲線 y-8/x を x 方向に -4、y 方向に 2 平行移動したもので、漸近線は x-4 と y2。定義域は分母0 より x-4、値域は y2(漸近線の値はとれない)。▨