有理関数
多項式関数の記事の中で文字変数を分母に含むような式は多項式に分類されないことを書いた。そして分母に文字変数を含むような式のことを有理式と言い、これを含む関数のことを有理関数と呼ぶ。例えば、
のような関数である。この式には明記していないが、定義域は分母が0でない範囲である。(1)の場合はで定義された関数である。もちろん分母の形によっては実数全体で定義されるときもある。有理関数を考えるときにはその定義される範囲に注意しよう。
分子の次数下げ
さて、有理関数は扱いやすいだろうか? まあ計算はできるが分子分母両方に文字を含むと計算しにくいし、分母の次数が大きいのもまた計算の気が失せる。これらを解決する方法を2つほど紹介しよう。
1つ目は分子の次数が分母よりも大きいときに使えるものである。通常の整数の割り算を例に考えてみよう。整数の割り算、をで割ることの定義は、商、あまりとすると、
という形に一意に書けることである。であるので(2)の両辺をで割ってみよう。すると、
このことを多項式に拡張しよう。どういうわけか多項式の割り算という言い方はあまりしなくて、整式の割り算という場合が多いのでこの節では多項式のことを整式と呼ぶことにする。特に違いはないが、整数との対応として整式の方がしっくりくるのでこちらでいく。整式を整式で割ったときの商を、あまりをとすると、整数の割り算からの拡張で、
ととが一意に定まるということになるのは明白だろう。ただしの次数はの次数以下であるとする。では整数の場合にさりげなくついていたあまりの条件は整式の場合はどう拡張すればよいだろうか。まず、整式同士を掛け合わせた場合その次数はどうなるだろうか。元の整式より下がることはないのはわかるだろう。次数は同じかそれ以上になる。(4)の右辺にはととの積があるのでの次数によるが、の次数は高々の次数と同じだろう。でははどうだろうか。ポイントは(4)の形に一意に書ける、という点である。仮にの次数が以上だったとしよう。このときを変形してを作り出すことができる。
例を見てみよう。をを使ってみる、
もしこの形にしか書けない場合はとが定まったということになる。ところで、
と書けることから、
とできる。このようにあくまで一例ではあるが、もしの次数がの次数よりも大きかったら変形で新しいとを作り出せてしまう。これでは一意に定まることに反する。従っての次数は0以上の次数未満としなくてはならないのである。
これで(4)の形に一意に表すことができたので、(4)の両辺をで割ってみよう。すると、
先に書いたようにの次数はのものよりも小さいので、これでめでたく分子の次数を下げることができた。
部分分数分解
整式の割り算を用いることで分子の次数を下げることができることはわかった。しかしあまりの条件を見ると、分母の次数が2以上だと分子の次数は必ずしも0にはならないこともわかるだろう。やはり次数は小さい方が計算は容易いし、性質もわかりやすい。そのため今度は分母の次数を下げる方法を見ていこう。残念ながらこちらもある程度の条件が必要である。一つが分母が実数の範囲で因数分解ができる必要がある。そしてその分解のされ方で、最終的に分子分母の両方に文字が残ってしまうこともある。しかしできる限り次数を下げていく方針でこれからの話をしていこう。
例として、を変形していってみよう。まず、分母のは因数分解ができて、
また元の式は、
かなり突然な話ではあるが、分母の次数を下げることができた。一般論を見ていこう。有理式があって、と因数分解することができたとしよう。このとき、
と分解できる。ただしの次数はのものよりも小さく、であるとし、とはの関係から求める。このときやの次数はやのものよりも小さくなる。先ほどの例を使って実際に計算してみよう。
より、
となる。両辺を見比べて、
これを解くと、
このような操作を部分分数分解と呼ぶ。
これで分母の次数の下げ方を知ることが出来たが、これですべての有理式を部分分数分解することができるだろうか。では次の式はどうだろう。
この式の分母には整式の2乗が含まれている。この場合は前と少し異なる方法を取る必要がある。ではやっていこう。
と置いてやってやるとうまくいく。ここからは前と同様に係数を定めてやれば良い。実際にやってみると、
両辺を見比べて、
これを解くと、
このように求めることができる。今は2乗の場合だったが3乗、4乗の場合も同じようにすれば良い。
指数と指数法則
無理関数について扱っていく前に指数について確認しておこう。指数とはやなんかのように文字や数の肩について、自然数の場合は指数がついている文字、数を指数の数だけ掛けるという意味だった。さて、いちいち指数がついている数と呼ぶのは面倒くさいのでこれからは底と呼ぶことにしよう。の場合は底が、指数がである。
指数について成り立つ法則について考えよう。例えばを自然数として、はどうなるだろうか。それぞれを回かける、を回かけるという意味である。これを書き下すと、
この右辺はすなわちを回掛けるということに他ならない。従って、
が成り立つ。
次にはどうだろうか。としておくと、
同じ文字であるので約分することができるので、
ここで疑問なのはのときはどうなるのだろうか。まずのときを見てみよう。(12)の左辺は分母分子が同じであるので約分できて1となる。一方右辺はであるためである。従って、
と意味付けることができる。ちなみにのときには問題ないのだが、のときにどのような値を取るのかは人による。
次にのときはどうだろうか。ここではわかりやすくするためにの時を考えよう。このとき(12)は、
これによって指数が負のときにも意味をもたせることが出来た。
次にはどうなるだろうか。これも書き下してみるとよく分かる。
となるのがわかるだろう。
今までは整数の範囲で指数を扱ってきたが、指数が有理数の場合はどのような意味と捉えることができるだろうか。有理数は整数とを使って、と表せる。では指数が有理数である意味を考えてみよう。を考える。1はある数を用いてと表せる。先に扱った(15)を使って、
ここでのように有理数の指数が登場した。これをp乗するとになっている。このような数のことをのp乗根と呼ぶ。
最後に、指数が無理数だった場合はどう定義すればよいだろうか。この項目の理解には微積分の項で説明する数列と極限の知識が必要になってくるため、ここは読み飛ばすか先にその項目を見てきてほしい。さて、話を戻して無理数の指数について考えてみよう。この定義は、ある無理数に収束するような有理数の列を考え、を
と定義することにする。あくまでよく定義された有理数の指数の極限を取ったという考え方だ。
また、指数が整数の場合は底の制限はないが、指数が整数以外のときには底は0以上でなくてはならないことにも気をつけてもらいたい。
べき関数
さて、ここまでで指数について説明してきた。そこで一般に次のような関数が考えられる。を実数として、
が正の整数のときは多項式関数。負の整数のときは有理関数となる。ではそれ以外の場合はどうなるだろうか。先程の説明にもあったように、指数が整数以外は底が0以上の場合に限って定義されるのであった。そのため の場合 は定義出来て、べき関数と呼ぶ。