有理関数

有理型関数（英: meromorphic function）とは異なります。

数学における有理関数（ゆうりかんすう、英: rational function）は、二つの多項式をそれぞれ分子と分母に持つ分数として書ける関数の総称である。抽象代数学においては変数と不定元とを区別するので、後者の場合を有理式と呼ぶ。

定義

 

2次の有理関数の例：
${\displaystyle y={\frac {x^{2}-3x-2}{x^{2}-4}}}$ 

一変数の場合（${\displaystyle x}$  とする）、有理関数は次の形の関数である：

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

ここで ${\displaystyle P,Q}$  は ${\displaystyle x}$  の任意の多項式である。ただし ${\displaystyle Q}$  はゼロ多項式（0となる多項式）であってはならない。上の ${\displaystyle f}$  の定義域は、分母の ${\displaystyle Q(x)}$  が0とならない全ての ${\displaystyle x}$  から成る。

有理方程式とは、二つの有理式を等しいとおいて得られる方程式である。これには通常の（数の比である）分数と同様に、分母を払う等の操作を行ってよい。ただしそうして得た解のうち、分母が0になるようなものは元の有理方程式の解として不適切として除かれる。

例

 

3次の有理関数の例：
${\displaystyle y={\frac {x^{3}-2x}{2(x^{2}-5)}}}$ 

次の有理関数

${\displaystyle f(x)={\frac {x^{3}-2x}{2(x^{2}-5)}}}$ 

は、分母の零点である ${\displaystyle x^{2}=5}$  なる ${\displaystyle x}$  、すなわち ${\displaystyle x=\pm {\sqrt {5}}}$  においては定義されない。なお、この有理関数は、 ${\displaystyle x\to \infty }$  で ${\displaystyle {\frac {x}{2}}}$  に漸近する（直線 ${\displaystyle y={\frac {x}{2}}}$ が漸近線）。

また次の有理関数

${\displaystyle f(x)={\frac {x^{2}+2}{x^{2}+1}}}$ 

は全ての実数について定義されているが、全ての複素数については定義されていない。これもやはり ${\displaystyle x=\pm i}$  が分母の零点となっているからであり、その2点が定義域から除かれる。

自明な例としては、${\displaystyle f(x)=x^{2}+1}$  等の多項式関数も有理関数に含まれる。これは分子が2次の多項式 ${\displaystyle x^{2}+1}$  、分母は0次の多項式 1 であるとみなせる。 さらに自明な例として、他に ${\displaystyle f(x)=\pi }$  等の定数関数も有理関数に含まれる。これは分子が0次の多項式 ${\displaystyle \pi }$  、分母も0次の多項式 1 であるとみなせる。 ここで注意すべきは、 ${\displaystyle \pi }$  が無理数であることと、上の ${\displaystyle f}$  が有理関数であることは両立する点である。「関数が有理関数である/ない」という概念と、「返り値が有理数である/ない」という概念を混同してはならない。

応用

（多項式や反比例等を除いて）有理関数に最初に触れる機会は、日本では高校の「数学III」が普通であろう。

詳細は「(数学 (教科)#普通教科「数学」における学習内容)」を参照

より高度な数学においては抽象代数学の体論、特に体の拡大において重要となる。有理関数は非アルキメデス体の例でもある。

詳細は「en:Archimedean property」を参照

有理関数は数値解析において点の補間や関数の近似に用いられる。代表例として(アンリ・パデ)によるパデ近似がある。有理関数を用いた近似法は計算機代数システムを始めとする数値計算ソフトウェアに適している。有理関数は多項式と同様に計算が容易でありながら、多項式よりも幅広い表現が可能である。

関連項目

• 解析学（特に複素解析）における有理型関数とは異なる概念であり、混同しないよう注意すること。日本語では似通った語が用いられているが、例えば英語では二つは全く異なる語で表される（"rational" 対 "meromorphic"）。
  • ただし、概念としては異なるが関連はある。有理関数であれば有理型関数であるし、C ∪ {∞}全体で有理型である関数は有理関数に限る。
• 部分分数分解