文章目录

  • abstract
  • 有理函数
  • 真分式化
  • 真分式因式分解
  • 真分式分解定理
  • 相关理论参考
  • 可化为有理函数的积分
  • 简单根式积分
  • 三角函数有理式


abstract

  • 有理函数的积分
  • 可化为有理函数的积分

有理函数

  • 两个多项式的商AM@有理函数的积分@有理分式积分_有理分式称为有理函数,又称为有理分式
  • 并且,我们总是假设AM@有理函数的积分@有理分式积分_多项式_02之间没有公因式(AM@有理函数的积分@有理分式积分_积分_03不可约分化简,否则约分到不可约(满足条件))
  • 当分子多项式AM@有理函数的积分@有理分式积分_积分_04比分母多项式AM@有理函数的积分@有理分式积分_多项式_05次数小时,称此有理函数为真分式(否则为假分式)

真分式化

  • 利用多项式除法,总可以将一个假分式化为一个多项式和一个真分式之和的形式(初步化简)
  • 例如AM@有理函数的积分@有理分式积分_因式分解_06=AM@有理函数的积分@有理分式积分_有理函数_07

真分式因式分解

  • AM@有理函数的积分@有理分式积分_积分_08是真分式,若AM@有理函数的积分@有理分式积分_多项式_05可以分解为AM@有理函数的积分@有理分式积分_有理函数_10,且AM@有理函数的积分@有理分式积分_有理函数_11之间没有公因式,则AM@有理函数的积分@有理分式积分_积分_08=AM@有理函数的积分@有理分式积分_有理分式_13+AM@有理函数的积分@有理分式积分_积分_14(1)
  • 其中AM@有理函数的积分@有理分式积分_有理分式_15=AM@有理函数的积分@有理分式积分_有理函数_16;为简单起见,可以简写为AM@有理函数的积分@有理分式积分_积分_17(2)
  • 并且AM@有理函数的积分@有理分式积分_多项式_18,AM@有理函数的积分@有理分式积分_积分_19称为部分分式,式(1)称为真分式的部分分式之和化操作
  • AM@有理函数的积分@有理分式积分_有理函数_20能够进一步分解成两个没有公因式的多项式的乘积,则可以再拆分成更简单的部分分式
真分式分解定理
  • 最后,有理函数的分解式中仅出现三类函数:
  1. AM@有理函数的积分@有理分式积分_因式分解_21,即多项式
  2. AM@有理函数的积分@有理分式积分_有理函数_22
  3. AM@有理函数的积分@有理分式积分_因式分解_23;其中AM@有理函数的积分@有理分式积分_多项式_24,
  • 该判别式就是判断AM@有理函数的积分@有理分式积分_多项式_25(3)是否有实根(如果没有实根AM@有理函数的积分@有理分式积分_有理分式_26,意味这个该二次多项式不可被分解,否则转换为类型2)
  • 对于一般得一元二次多项式AM@有理函数的积分@有理分式积分_多项式_27的判别式为AM@有理函数的积分@有理分式积分_有理分式_28,当AM@有理函数的积分@有理分式积分_因式分解_29时,AM@有理函数的积分@有理分式积分_有理分式_30,对应于式(3),是AM@有理函数的积分@有理分式积分_有理函数_31
  • AM@有理函数的积分@有理分式积分_积分_32为次数小于AM@有理函数的积分@有理分式积分_有理分式_33的多项式;AM@有理函数的积分@有理分式积分_有理分式_34为次数小于AM@有理函数的积分@有理分式积分_因式分解_35的多项式

相关理论参考

  • 实系数多项式因式分解定理,即
  • 每个次数大等于1的实系数多项式实数域上都可以唯一地分解为:一次因式二次不可约因式的乘积

  • AM@有理函数的积分@有理分式积分_多项式_36=AM@有理函数的积分@有理分式积分_有理分式_37=AM@有理函数的积分@有理分式积分_有理函数_38=AM@有理函数的积分@有理分式积分_积分_39
  • 由真分式分解定理,AM@有理函数的积分@有理分式积分_有理函数_40=AM@有理函数的积分@有理分式积分_有理分式_41
  • AM@有理函数的积分@有理分式积分_有理函数_42=AM@有理函数的积分@有理分式积分_多项式_43,即AM@有理函数的积分@有理分式积分_因式分解_44
  • 比较系数可知,AM@有理函数的积分@有理分式积分_积分_45,AM@有理函数的积分@有理分式积分_有理分式_46
  • 可以解得AM@有理函数的积分@有理分式积分_有理函数_47,从而AM@有理函数的积分@有理分式积分_有理函数_40=AM@有理函数的积分@有理分式积分_有理函数_49
  • AM@有理函数的积分@有理分式积分_因式分解_50=AM@有理函数的积分@有理分式积分_有理分式_51=AM@有理函数的积分@有理分式积分_因式分解_52
  • =AM@有理函数的积分@有理分式积分_因式分解_53-AM@有理函数的积分@有理分式积分_有理分式_54+AM@有理函数的积分@有理分式积分_因式分解_55
  • 部分分式和:AM@有理函数的积分@有理分式积分_有理分式_56=AM@有理函数的积分@有理分式积分_因式分解_57
  • AM@有理函数的积分@有理分式积分_积分_58=AM@有理函数的积分@有理分式积分_有理分式_59;整理得AM@有理函数的积分@有理分式积分_有理函数_60
  • AM@有理函数的积分@有理分式积分_有理分式_61;AM@有理函数的积分@有理分式积分_积分_62AM@有理函数的积分@有理分式积分_有理分式_63,解得AM@有理函数的积分@有理分式积分_因式分解_64;AM@有理函数的积分@有理分式积分_有理函数_65;AM@有理函数的积分@有理分式积分_因式分解_66
  • AM@有理函数的积分@有理分式积分_多项式_67=AM@有理函数的积分@有理分式积分_有理函数_68=AM@有理函数的积分@有理分式积分_因式分解_69=AM@有理函数的积分@有理分式积分_多项式_70=$$
  • 考虑凑微分AM@有理函数的积分@有理分式积分_因式分解_71=AM@有理函数的积分@有理分式积分_因式分解_72
  • AM@有理函数的积分@有理分式积分_积分_73=AM@有理函数的积分@有理分式积分_因式分解_74=AM@有理函数的积分@有理分式积分_因式分解_75=AM@有理函数的积分@有理分式积分_有理函数_76
  • AM@有理函数的积分@有理分式积分_有理函数_77=AM@有理函数的积分@有理分式积分_有理分式_78
  • =AM@有理函数的积分@有理分式积分_有理函数_79=AM@有理函数的积分@有理分式积分_因式分解_80-AM@有理函数的积分@有理分式积分_有理分式_81
  • =AM@有理函数的积分@有理分式积分_有理分式_82-AM@有理函数的积分@有理分式积分_多项式_83-AM@有理函数的积分@有理分式积分_有理分式_81
  • =AM@有理函数的积分@有理分式积分_因式分解_85

可化为有理函数的积分

简单根式积分

  • 一般地,若被积函数中含有简单根式AM@有理函数的积分@有理分式积分_有理函数_86AM@有理函数的积分@有理分式积分_有理函数_87,可以根式为AM@有理函数的积分@有理分式积分_积分_88
  • 这样的便函具有反函数,且反函数是AM@有理函数的积分@有理分式积分_积分_89的有理函数,因此原积分可以化为有理函数的积分

三角函数有理式

  • AM@有理函数的积分@有理分式积分_有理函数_90,AM@有理函数的积分@有理分式积分_积分_91都可以用AM@有理函数的积分@有理分式积分_有理分式_92(1),AM@有理函数的积分@有理分式积分_因式分解_93的有理式表示(半角/倍角公式推导),即AM@有理函数的积分@有理分式积分_有理分式_94(2-1);AM@有理函数的积分@有理分式积分_因式分解_95(2-2)
  • 由(1),得AM@有理函数的积分@有理分式积分_因式分解_96;AM@有理函数的积分@有理分式积分_有理分式_97=AM@有理函数的积分@有理分式积分_积分_98(3)

  • AM@有理函数的积分@有理分式积分_多项式_99=AM@有理函数的积分@有理分式积分_因式分解_100=AM@有理函数的积分@有理分式积分_多项式_101=AM@有理函数的积分@有理分式积分_有理分式_102=AM@有理函数的积分@有理分式积分_多项式_103
  • AM@有理函数的积分@有理分式积分_有理分式_104,用AM@有理函数的积分@有理分式积分_多项式_105去根号
  • AM@有理函数的积分@有理分式积分_有理函数_106,用AM@有理函数的积分@有理分式积分_有理函数_107同时消去AM@有理函数的积分@有理分式积分_积分_108的根号