1 幂函数的定义域

【引理】 设幂函数幂函数的拟合r语言_定义域 的定义域为幂函数的拟合r语言_概率论_02,则

(1)当 幂函数的拟合r语言_定义域_03幂函数的拟合r语言_概率论_04,且此时幂函数的拟合r语言_概率论_05

(2)当 幂函数的拟合r语言_概率论_06 是非零有理数时,可设 幂函数的拟合r语言_线性代数_07 (幂函数的拟合r语言_定义域_08幂函数的拟合r语言_定义域_09幂函数的拟合r语言_定义域_10互质),有:(以下约定幂函数的拟合r语言_几何学_11

幂函数的拟合r语言_幂函数的拟合r语言_12


【注】幂函数的拟合r语言_概率论_13时表示非零整数的情况

(3)当 幂函数的拟合r语言_概率论_06 是正无理数时,幂函数的拟合r语言_定义域_15);当幂函数的拟合r语言_概率论_06是负无理数时,幂函数的拟合r语言_概率论_17.

2 幂函数导数公式的推导

  1. 幂函数的拟合r语言_几何学_18 时:
    (1)幂函数的拟合r语言_线性代数_19
      当幂函数的拟合r语言_线性代数_19 时,幂函数的拟合r语言_线性代数_21幂函数的拟合r语言_定义域_22幂函数的拟合r语言_几何学_23.
    (2)幂函数的拟合r语言_概率论_24
      (i) 幂函数的拟合r语言_定义域_25幂函数的拟合r语言_定义域_26
      (ii) 幂函数的拟合r语言_几何学_27:根据恒等式 幂函数的拟合r语言_概率论_28(可用多项式乘法法则证明该等式),可得:
    幂函数的拟合r语言_几何学_29
  2. 幂函数的拟合r语言_概率论_30时:
    此时幂函数的拟合r语言_几何学_31
    根据之前的结论,当幂函数的拟合r语言_概率论_24时,有幂函数的拟合r语言_定义域_33
    现在幂函数的拟合r语言_概率论_30,有幂函数的拟合r语言_定义域_35
    根据复合函数的求导法则,
    幂函数的拟合r语言_定义域_36
    幂函数的拟合r语言_几何学_37
  3. 幂函数的拟合r语言_线性代数_38幂函数的拟合r语言_概率论_39时:
    (1)先求得 幂函数的拟合r语言_定义域_40 时结论成立:
      (i)当幂函数的拟合r语言_几何学_41时,幂函数的拟合r语言_概率论_42.
    幂函数的拟合r语言_几何学_43 时,幂函数的拟合r语言_定义域_44,所以幂函数的拟合r语言_几何学_45不存在;
    幂函数的拟合r语言_定义域_46 时,根据恒等式 幂函数的拟合r语言_线性代数_47(可用多项式乘法法则证明该等式)
    幂函数的拟合r语言_幂函数的拟合r语言_48
      (ii)当幂函数的拟合r语言_几何学_49时,幂函数的拟合r语言_概率论_50.
    由上一步的结论,当幂函数的拟合r语言_幂函数的拟合r语言_51时,幂函数的拟合r语言_几何学_45不存在;当幂函数的拟合r语言_概率论_53时,由幂函数的拟合r语言_线性代数_47可得
    幂函数的拟合r语言_定义域_55
    (2)设 幂函数的拟合r语言_定义域_56,p 与 q 互质)(这里与之前【引理】的 幂函数的拟合r语言_线性代数_57不一样是因为我们已将幂函数的拟合r语言_概率论_58的情况讨论完了)
    幂函数的拟合r语言_线性代数_59 是正偶数且 幂函数的拟合r语言_几何学_60 是正奇数且 幂函数的拟合r语言_定义域_61 时,幂函数的拟合r语言_幂函数的拟合r语言_62. 当 幂函数的拟合r语言_几何学_63 时,幂函数的拟合r语言_幂函数的拟合r语言_64幂函数的拟合r语言_幂函数的拟合r语言_65,所以 幂函数的拟合r语言_概率论_66. 当幂函数的拟合r语言_定义域_46,由开始的结论幂函数的拟合r语言_几何学_37幂函数的拟合r语言_概率论_69时结论成立,在根据复合函数的链式求导法则,就有:
    幂函数的拟合r语言_幂函数的拟合r语言_70
    可得幂函数的拟合r语言_幂函数的拟合r语言_71
    幂函数的拟合r语言_线性代数_59 是正偶数且 幂函数的拟合r语言_几何学_60 是正奇数且 幂函数的拟合r语言_幂函数的拟合r语言_74 时,幂函数的拟合r语言_线性代数_75. 当 幂函数的拟合r语言_幂函数的拟合r语言_51 时,幂函数的拟合r语言_幂函数的拟合r语言_77 不存在;幂函数的拟合r语言_几何学_78,所以 幂函数的拟合r语言_幂函数的拟合r语言_77不存在;当幂函数的拟合r语言_定义域_46, 由开始的结论 幂函数的拟合r语言_几何学_37幂函数的拟合r语言_概率论_69时结论成立,在根据复合函数的链式求导法则,就有:
    幂函数的拟合r语言_幂函数的拟合r语言_70
    可得幂函数的拟合r语言_概率论_84.
    幂函数的拟合r语言_线性代数_59 是正偶数且幂函数的拟合r语言_几何学_60是负奇数时,幂函数的拟合r语言_定义域_87. 由开始的结论 幂函数的拟合r语言_几何学_60是正偶数,幂函数的拟合r语言_线性代数_59是正奇数时结论成立,再根据复合函数的链式求导法则,就有:
    幂函数的拟合r语言_概率论_90
    可得幂函数的拟合r语言_概率论_84.
    幂函数的拟合r语言_线性代数_59 是奇数且 幂函数的拟合r语言_概率论_93 时,幂函数的拟合r语言_幂函数的拟合r语言_94. 同之前的结论 幂函数的拟合r语言_定义域_95;当幂函数的拟合r语言_概率论_53时,由 1 和 (1)可得
    幂函数的拟合r语言_几何学_97
    可得,幂函数的拟合r语言_线性代数_98
    幂函数的拟合r语言_线性代数_59是奇数且 幂函数的拟合r语言_线性代数_100 时,幂函数的拟合r语言_线性代数_101.由之前的结论幂函数的拟合r语言_几何学_45不存在;当幂函数的拟合r语言_概率论_53时,和(v)一样的推导得幂函数的拟合r语言_概率论_104
    可得幂函数的拟合r语言_线性代数_105.
    幂函数的拟合r语言_线性代数_59是奇数且 幂函数的拟合r语言_定义域_107时,幂函数的拟合r语言_幂函数的拟合r语言_108.根据(iv)和(v),有:
    幂函数的拟合r语言_几何学_109
    可得幂函数的拟合r语言_线性代数_110.

幂函数的拟合r语言_幂函数的拟合r语言_111到这里就全部推导完了.

  1. 幂函数的拟合r语言_概率论_112
    (1)当 幂函数的拟合r语言_概率论_112 是正无理数时,幂函数的拟合r语言_概率论_42.
    (i)当幂函数的拟合r语言_概率论_112是大于1的无理数时,根据开头的结论幂函数的拟合r语言_定义域_95;当幂函数的拟合r语言_定义域_46时,由导数公式幂函数的拟合r语言_线性代数_118幂函数的拟合r语言_线性代数_119(这两个公式的推导见同系列的其它文章)及复合函数的求导法则
    幂函数的拟合r语言_概率论_120
    可得,幂函数的拟合r语言_定义域_121.
    (ii) 当 幂函数的拟合r语言_概率论_112是小于1的无理数时,根据开头的结论幂函数的拟合r语言_几何学_45不存在;当幂函数的拟合r语言_定义域_46时,由导数公式幂函数的拟合r语言_线性代数_118幂函数的拟合r语言_线性代数_119(这两个公式的推导见同系列的其它文章)及复合函数的求导法则
    幂函数的拟合r语言_概率论_120
    可得,幂函数的拟合r语言_几何学_128.
    (2)当幂函数的拟合r语言_概率论_112是负无理数时,幂函数的拟合r语言_概率论_130.
    由导数公式幂函数的拟合r语言_线性代数_118幂函数的拟合r语言_线性代数_119(这两个公式的推导见同系列的其它文章)及复合函数的求导法则
    幂函数的拟合r语言_概率论_120
    可得,幂函数的拟合r语言_几何学_128.
    幂函数的拟合r语言_几何学_135到这里就讨论完了。