1 分数式と定義域
実数係数の多項式A(x),B(x)を用い、Bが零多項式でないとき、A(x)/B(x)の形の式を分数式といいます。変数xは実数とし、分数式の定義域をB(x)=0となる実数の範囲とします。
例 1.2. 分数式(x−2)(x+1)x−2の定義域はx=2,−1である。この範囲ではx−2=0なので
(x−2)(x+1)x−2=x+11,x=2,−1と約分することができる。
注意 1.3. 約分後の式1/(x+1)だけならx=2でも定義されるが、元の分数式ではx=2は除外される。元の分数式と等しい式として扱うときは、約分後も元の定義域を保つ。
2 四則計算
分数式の加法と減法では、分母の共通の倍式を用いて通分します。乗法では分子どうしと分母どうしを掛けます。除法では除数の逆数を掛けますが、除数が定義されることに加え、除数が零でないことも必要です。
例 2.2.x=0,−1とする。二つの分母の共通の倍式x(x+1)を用いると
x1+x+11=x(x+1)(x+1)+x=x(x+1)2x+1となる。
例 2.3.x=1,−1とする。通分して分子の差を取ると
x−11−x+11=(x−1)(x+1)(x+1)−(x−1)=x2−12となる。引く分子x−1の全体に負号を掛ける。
例 2.4.x=1,−1とする。分子と分母の積を作り、非零の因子を約分すると
x+1x−1x−1x+2=(x+1)(x−1)(x−1)(x+2)=x+1x+2,x=1,−1となる。結果の式では分母からx−1が消えても、元の除外点x=1は残る。
例 2.5. 分数式x−1x÷x−2x+1を計算する。二つの分母が零でない条件はx=1,2であり、除数が零でない条件はx=−1である。この範囲で
x−1x÷x−2x+1=x−1xx+1x−2=(x−1)(x+1)x(x−2),x=1,2,−1となる。逆数を取るとx−2は分子へ移るが、元の除数はx=2で定義されないので、この除外点を保つ。
問題 2.6.tを実数の定数とする。実数xについて
x2−1x2−t2÷x−1x−tを簡単にし、元の式の定義域を求めよ。さらに、定義域から除く異なる実数の個数が変わるtの値をすべて求めよ。
解答.
二つの分数式の分母が零でない条件はx=1,−1である。この範囲で除数(x−t)/(x−1)が零でない条件はx=tである。したがって元の式の定義域は
x∈R,x=1,−1,tである。この範囲では
x2−1x2−t2÷x−1x−t=(x−1)(x+1)(x−t)(x+t)x−tx−1=x+1x+tとなる。
t=1またはt=−1では、除外する異なる実数は1,−1の2個である。t=1,−1では、除外する異なる実数は1,−1,tの3個である。特にt=1では、計算結果をさらに1と書くことができるが、元の式の定義域は引き続きx=1,−1である。▨
3 方程式と不等式の定義域
分数式を含む方程式では、分母が零でない範囲を定めてから、両辺に分母の共通の倍式を掛けます。不等式の場合には、掛ける式が正か負かによって不等号の向きが変わるため、符号も確かめます。
例 3.1. 実数xについてx+2x−1>0を解く。定義域はx=−2である。分子が零になるx=1と、分母が零になるx=−2で区間を分ける。
x<−2では分子と分母がともに負なので商は正である。−2<x<1では分子が負で分母が正なので商は負である。x>1では両者が正なので商は正である。x=1では商は零であり、厳密不等号を満たさない。したがって解は
(−∞,−2)∪(1,∞)である。
計算の結果には、約分や逆数によって式から消えた除外点も含めて、元の定義域を書き添えます。分母を払うときは、方程式の同値性と、不等式で掛ける式の符号をそれぞれ確かめます。