1 定義
有理関数は、多項式どうしの比として表される関数である。代数の初歩から微積分まで幅広く現れ、式の見かけは単純でも、分母がゼロになる点の扱いによって多様なふるまいを示す。
1.1 多項式と有理式
多項式は、変数の非負整数乗の和として書かれる式である。これに対し、有理式は多項式を分子と分母に持つ分数形式の式を指す。分母に変数が含まれていても、式全体が多項式の割り算で構成されていれば有理式に分類される。
1.2 有理関数の形式
有理関数は、一般に \[ f(x)=\frac{P(x)}{Q(x)} \] の形で表される。ただし、\(P(x)\) と \(Q(x)\) は多項式であり、\(Q(x)\) は恒等的に0ではない。係数には実数や複素数を用いる場合がある。
1.3 定義域
有理関数の定義域は、分母 \(Q(x)\) が0にならない値の集合である。したがって、分母の零点はそのまま関数が定義されない点になる。定義域を明示することは、グラフの読み取りや解析の出発点として重要である。
2 基本的な性質
有理関数は、分子と分母の代数的な関係から性質が決まる。特に約分できるかどうか、どの点で0になるか、どの点で定義できないかが、後の議論に直結する。
2.1 既約化
分子と分母に共通因子があるとき、それを約分してより簡潔な形にできる。この操作は式の見通しをよくする一方、元の式が持っていた定義できない点を消してしまうことはできない。したがって、代数的な簡約と定義域の確認は切り分けて考える必要がある。
2.2 零点と極
有理関数では、分子が0になる点と分母が0になる点が、異なる意味を持つ。前者は関数値が0になる候補であり、後者は値が定まらない点として現れる。これらの区別は、グラフの形や連続性の判定に欠かせない。
2.2.1 分子の零点
分子が0になる値では、分母が0でなければ関数値は0になる。これらの点は、グラフがx軸と交わる場所、または接する場所として現れることが多い。因子分解によって零点が読み取りやすくなる。
2.2.2 分母の零点
分母が0になる値では、関数は定義されない。約分できない場合、その近傍で関数値が大きく発散することがあり、極や垂直漸近線につながる。約分で消える因子がある場合は、後述する穴として現れる。
2.3 不連続点
有理関数の不連続点は、主として分母が0になる場所に由来する。そこでは、値が取れないだけでなく、極限の存在のしかたによって不連続の型が分かれる。グラフ上では、無限に近づくふるまいか、単なる欠落点かを見分けることが重要である。
3 グラフの特徴
有理関数のグラフは、分子と分母の次数や因子構造に強く左右される。局所的には分母の零点付近の変化が目立ち、全体としては遠方での振る舞いが漸近線によって要約される。
3.1 漸近線
漸近線は、グラフが無限遠で近づいていく直線である。有理関数では、分子と分母の次数関係を調べることで、垂直・水平・斜めのいずれが現れるかを判断しやすい。
3.1.1 垂直漸近線
分母が0になり、かつ約分で消えない点の近くで、関数値が無限大へ発散する場合に垂直漸近線が生じる。グラフはその直線に沿って急激に上昇または下降する。挙動の向きは、左右からの極限で異なることがある。
3.1.2 水平漸近線
\(x\) の絶対値が大きいとき、関数値が一定の値に近づくなら、その定数を水平漸近線という。一般には、分子の次数が分母の次数以下のときに現れやすい。分数の最高次項の係数比が、その値を与えることがある。
3.1.3 斜め漸近線
分子の次数が分母の次数より1だけ高いとき、割り算によって一次式が現れ、斜め漸近線が定まる。遠方では、グラフはこの直線に沿うように推移する。水平漸近線が優先される状況とは別の型である。
3.2 穴
分子と分母に共通因子があり、約分すると消える点は、グラフ上では穴として表される。そこでは式の簡約形は定義されても、元の関数はその点を欠いている。座標は、約分前の式でその点に代入した極限値から求められる。
3.3 対称性
有理関数の中には、偶関数や奇関数の対称性を示すものがある。\(f(-x)=f(x)\) ならy軸対称、\(f(-x)=-f(x)\) なら原点対称である。分子と分母の偶奇性を調べると、対称性の判定がしやすい。
4 計算と解析
有理関数の扱いでは、式変形と解析的な判定が密接に結びつく。整理された形に直してから、極限や微分、積分へ進むのが一般的である。
4.1 変形と簡約
因数分解、通分、約分、長除法などは、有理関数を解析しやすい形へ整える基本操作である。とくに分子の次数が高い場合、長除法によって多項式部分と真分数部分に分けると、以後の計算が容易になる。変形のたびに定義域を確認する姿勢が必要である。
4.2 極限
有理関数の極限は、代入で求まる場合と、因数分解や次数比較が必要な場合に分かれる。分母が0に近づく状況では、左右極限の差が重要になる。無限遠での極限は、漸近線の判定とも深く関係する。
4.3 微分
有理関数は、商の微分法を用いて微分できる。分子・分母がともに多項式であるため、導関数も再び有理式になることが多い。増減や極値を調べる際には、導関数の符号変化が有効な手がかりになる。
4.4 積分
有理関数の積分では、形に応じた分解と変換が鍵になる。単純な場合は直接積分できるが、多くは部分分数分解や置換を併用する。結果として対数関数や逆三角関数が現れることもある。
4.4.1 部分分数分解
部分分数分解は、有理式をより単純な分数の和に分ける方法である。分母を一次因子や既約二次因子に分けることで、項ごとの積分がしやすくなる。この手法は、積分計算だけでなく、式の構造理解にも役立つ。
4.4.2 置換積分
置換積分では、変数を適切に置き換えて、式を扱いやすい形に変える。平方完成や分母の整理と組み合わせると、標準形に帰着できる場合がある。部分分数分解と並び、積分の代表的な手段である。
5 応用
有理関数は、理論的な解析対象であるだけでなく、近似や実用モデルにも頻繁に用いられる。比較的少ない係数で柔軟な曲線を表せるため、現象の記述に適している。
5.1 関数の近似
複雑な関数を有理関数で近似する方法は、計算の簡略化に有効である。局所的な振る舞いをうまく再現できる場合があり、数値計算でも利用される。多項式近似とは異なり、極や漸近的な傾向を表現しやすい。
5.2 モデル化
有理関数は、量の比で記述される現象のモデルに向いている。例えば、入力が増えると効果が飽和するような関係を表すのに適することがある。単純な式でありながら、非線形な変化を含められる点が利点である。
5.3 物理学と工学での利用
物理学や工学では、応答特性、伝達関数、回路解析などで有理関数が現れる。周波数応答や安定性の議論では、極と零点の位置が重要な意味を持つ。解析しやすい形に整えやすいため、理論と実務の両方で扱われる。