Search

実1変数関数としての実係数有理関数の原始関数は初等関数を用いて表されるが, この事実は有理関数の部分分数分解を用いて証明される. 本稿においては, 実係数有理関数の実係数有理関数としての部分分数分解の一般形を明示し, 代数学の基本定理を前提として, その部分分数分解可能性の証明について解説する. また, 部分分数分解の基本形となる有理関数の原始関数の具体的表示式を示す., As real variable functions, primitive functions of rational functions are expressed in terms of elementary functions, and this fact can be proved by using partial fraction decomposition of rational functions. In this paper, we specify general forms of partial fraction decomposition of rational functions as real variable functions, and explain the proof of the possibility of partial fraction decomposition assuming the fundamental theorem of algebra. In addition, we give the explicit representations of primitive functions of the basic forms of partial fraction decomposition of rational functions.