本文主要介绍了一类被积函数为
本文主要介绍了一类被积函数为 c o s x ⋅ c o s 2 x 的不定积分问题的求解方法并证明了在不同的方法求解下所得到的任意两个原函数之间只相差一个常数；有效地回答了在适当的假设下，任意两个原函数是等价的结论。最后，我们给出了被积函数为 c o s x ⋅ c o s n x ( n ≥ 2 ) 情形下不定积分的原函数的表达式。
第一换元积分法，第二换元积分法，分部积分法
Dongdong Gao, Hong Jin, Shiquan Jiang
Department of Mathematics and Computer Science, Tongling University, Tongling Anhui
Received: Jul. 23rd, 2021; accepted: Aug. 15th, 2021; published: Aug. 26th, 2021
This paper mainly introduces the solution of a class of indefinite integral problems with the integrable function c o s x ⋅ c o s 2 x , and proves that there is only one constant difference between any two arbitrary functions obtained by different methods. The conclusion that any two arbitrary functions are equivalent under the appropriate assumption is effectively answered. Finally, we give the expression of the original function of indefinite integral when the integrable function is c o s x ⋅ c o s n x ( n ≥ 2 ) .
Keywords:The First Integration by Substitution, The Second Integration by Substitution, Integration by Parts
Copyright © 2021 by author(s) and beplay安卓登录
This work is licensed under the Creative Commons Attribution International License (CC BY 4.0).
http://creativecommons.org/licenses/by/4.0/
在文献 [
1) 第一换元积分法
解1：
∫ cos x ⋅ cos 2 x d x = 1 2 ∫ ( cos x + cos 3 x ) d x = 1 2 [ ∫ cos x d x + ∫ cos 3 x d x ] = 1 2 ∫ cos x d x + 1 6 ∫ cos 3 x d ( 3 x ) = 1 2 sin x + 1 6 sin 3 x + C 1 (1)
解2：
∫ cos x ⋅ cos 2 x d x = ∫ cos x ( 1 − 2 sin 2 x ) d x = ∫ ( 1 − 2 sin 2 x ) d sin x = ∫ d sin x − 2 ∫ sin 2 x d sin x = sin x − 2 3 sin 3 x + C 2 (2)
2) 分部积分法
解1：
∫ cos x ⋅ cos 2 x d x = 1 2 ∫ cos x d sin 2 x = 1 2 [ sin 2 x ⋅ cos x − ∫ sin 2 x d cos x ] = 1 2 sin 2 x cos x + 1 2 ∫ sin 2 x ⋅ sin x d x = 1 2 sin 2 x cos x + 1 2 ∫ 2 sin x cos x ⋅ sin x d x = 1 2 sin 2 x cos x + ∫ sin 2 x d sin x = 1 2 sin 2 x cos x + 1 3 sin 3 x + C 3 (3)
解2：
∫ cos x ⋅ cos 2 x d x = ∫ cos 2 x d sin x = cos 2 x ⋅ sin x − ∫ sin x d cos 2 x = cos 2 x ⋅ sin x + ∫ sin x ⋅ 2 sin 2 x d x = cos 2 x ⋅ sin x + ∫ sin x ⋅ 4 sin x cos x d x = cos 2 x ⋅ sin x + 4 ∫ sin 2 x d sin x = cos 2 x ⋅ sin x + 4 3 sin 3 x + C 4 (4)
3) 第二换元积分法
解：令 t = cos x , t ∈ [ 0 , π ] (这是存在反函数 x = arccos t 的一个单调区间)且 d x = − 1 1 − t 2 d x ，则
∫ cos x ⋅ cos 2 x d x = ∫ cos x ⋅ ( 2 cos 2 x − 1 ) d x = ∫ 2 cos 3 x d x − ∫ cos x d x = − 2 ∫ t 3 1 − t 2 d t + ∫ t 1 − t 2 d t = − ∫ t 2 1 − t 2 d t 2 + ∫ t 1 − t 2 d t
= − ∫ 1 − t 2 − 1 1 − t 2 d ( 1 − t 2 ) − 1 2 ∫ 1 1 − t 2 d ( 1 − t 2 ) = ∫ ( − 1 − t 2 + 1 1 − t 2 − 1 2 1 1 − t 2 ) d ( 1 − t 2 ) = 1 − t 2 − 2 3 ( 1 − t 2 ) 3 2 + C 5 = sin x − 2 3 sin 3 x + C 5 (5)
这一部分我们将证明上述计算结果(1)~(5)任意两个之间只是相差一个常数C且在适当的假设下，任意两个结果是等价的。
1) 从结果(2)和(5)易知，不定积分 ∫ cos x ⋅ cos 2 x d x 的两个原函数只相差一个常数C。若 C 2 = C 5 ，结果(2)与(5)等价。
2) 证明结果(1)与(2)等价。
证明：
1 2 sin x + 1 6 sin 3 x + C 1 = 1 2 sin x + 1 6 sin ( x + 2 x ) + C 1 = 1 2 sin x + 1 6 [ sin x cos 2 x + cos x sin 2 x ] + C 1 = 1 2 sin x + 1 6 [ sin x ( 1 − 2 sin 2 x ) + 2 sin x cos 2 x ] + C 1 = 1 2 sin x + 1 6 [ sin x − 2 sin 3 x + 2 sin x ( 1 − sin 2 x ) ] + C 1 = 1 2 sin x + 1 6 [ 3 sin x − 4 sin 3 x ] + C 1 = sin x − 2 3 sin 3 x + C 1
此结果表明不定积分 ∫ cos x ⋅ cos 2 x d x 的两个原函数只相差一个常数C。若 C 1 = C 2 ，结果(1)与(2)等价。
3) 证明结果(3)与(2)等价。
证明：
1 2 sin 2 x cos x + 1 3 sin 3 x + C 3 = sin x cos 2 x + 1 3 sin 3 x + C 3 = sin x [ 1 − sin 2 x ] + 1 3 sin 3 x + C 3 = sin x − 2 3 sin 3 x + C 3
此结果表明不定积分 ∫ cos x ⋅ cos 2 x d x 的两个原函数只相差一个常数C。若 C 3 = C 2 ，结果(3)与(2)等价。
4) 证明结果(4)与(2)等价。
证明：
cos 2 x ⋅ sin x + 4 3 sin 3 x + C 4 = ( 1 − 2 sin 2 x ) sin x + 4 3 sin 3 x + C 4 = sin x − 2 3 sin 3 x + C 4
此结果表明不定积分 ∫ cos x ⋅ cos 2 x d x 的两个原函数只相差一个常数C。若 C 4 = C 2 ，结果(4)与(2)等价。
这一部分我们将被积函数为 cos x ⋅ cos 2 x 的不定积分推广为被积函数为 cos x ⋅ cos n x ( n ≥ 2 ) 不定积分，即计算不定积分 ∫ cos x ⋅ cos n x d x ( n ≥ 2 ) 。
1) 第一换元积分法
解：
∫ cos x ⋅ cos n x d x = 1 2 ∫ [ cos ( n − 1 ) x + cos ( n + 1 ) x ] d x = 1 2 [ ∫ cos ( n − 1 ) x d x + ∫ cos ( n + 1 ) x d x ] = 1 2 ( n − 1 ) ∫ cos ( n − 1 ) x d ( n − 1 ) x + 1 2 ( n + 1 ) ∫ cos ( n + 1 ) x d ( n + 1 ) x = 1 2 ( n − 1 ) sin ( n − 1 ) x + 1 2 ( n + 1 ) sin ( n + 1 ) x + C 6 (6)
2) 分部积分法
解1：
∫ cos x ⋅ cos n x d x = ∫ cos n x d sin x = sin x cos n x − ∫ sin n x d cos n x = sin x cos n x + n ∫ sin x ⋅ sin n x d x = sin x cos n x − n 2 ∫ [ cos ( n + 1 ) x − cos ( n − 1 ) x ] d x = sin x cos n x − n 2 ( n + 1 ) sin ( n + 1 ) x + n 2 ( n − 1 ) sin ( n − 1 ) x + C 7 (7)
解2：
∫ cos x ⋅ cos n x d x = ∫ cos x d ( 1 n sin n x ) = 1 n sin n x cos x − 1 n ∫ sin n x d cos n x = 1 n sin n x cos x + 1 n ∫ sin n x ⋅ sin x d x = 1 n sin n x cos x − 1 2 n ∫ [ cos ( n + 1 ) x − cos ( n − 1 ) x ] d x = 1 n sin n x cos x − 1 2 n ( n + 1 ) sin ( n + 1 ) x + 1 2 n ( n − 1 ) sin ( n − 1 ) x + C 8 (8)
这里，我们通过第一换元积分法和部分积分法得到了不定积分 ∫ cos x ⋅ cos n x d x 的三个原函数(6)、(7)和(8)，经过简单的变形，我们亦能得到(6)和(7)，(6)和(8)只相差一个常数C，即
sin x cos n x − n 2 ( n + 1 ) sin ( n + 1 ) x + n 2 ( n − 1 ) sin ( n − 1 ) x + C 7 = [ sin ( n + 1 ) x − sin ( n − 1 ) x ] 2 − n 2 ( n + 1 ) sin ( n + 1 ) x + n 2 ( n − 1 ) sin ( n − 1 ) x + C 7 = [ n 2 ( n − 1 ) − 1 2 ] sin ( n − 1 ) x + [ 1 2 − n 2 ( n + 1 ) ] sin ( n + 1 ) x + C 7 = 1 2 ( n − 1 ) sin ( n − 1 ) x + 1 2 ( n + 1 ) sin ( n + 1 ) x + C 7
此结果表明不定积分 ∫ cos x ⋅ cos n x d x 的两个原函数只相差一个常数C。若 C 6 = C 7 ，结果(6)与(7)等价；
1 n sin n x cos x − 1 2 n ( n + 1 ) sin ( n + 1 ) x + 1 2 n ( n − 1 ) sin ( n − 1 ) x + C 8 = 1 n ⋅ [ sin ( n + 1 ) x + sin ( n − 1 ) x ] 2 − 1 2 n ( n + 1 ) sin ( n + 1 ) x + 1 2 n ( n − 1 ) sin ( n − 1 ) x + C 8 = [ 1 2 n − 1 2 n ( n + 1 ) ] sin ( n + 1 ) x + [ 1 2 n ( n − 1 ) − 1 2 n ] sin ( n − 1 ) x + C 8 = 1 2 ( n − 1 ) sin ( n − 1 ) x + 1 2 ( n + 1 ) sin ( n + 1 ) x + C 8
此结果表明不定积分 ∫ cos x ⋅ cos n x d x 的两个原函数只相差一个常数C。若 C 6 = C 8 ，结果(6)与(8)等价。
本文主要以一类被积函数为 cos x ⋅ cos 2 x 的不定积分问题为例，分别用第一换元积分法、分部积分法和第二换元积分法得到了此不定积分原函数的存在形式，证明了任意两个原函数之间只相差一个常数C的结论并且在适当的假设下，得到了任意两个原函数是等价的结论；随后，又将此类不定积分问题进行了推广，得到了相同的结论。通过上面对被积函数为 cos x ⋅ cos 2 x 的不定积分问题的探讨，能给在学习微积分的学生提供一些帮助，使其明白在求某个初等函数的原函数的时候，有时我们通过不同的方法求得的原函数可能存在各种各样的形式，但是这些各种各样的形式之间确实经过某些简单的化简处理，我们都能得到任意两个原函数之间只相差一个常数C。换句话说，求不定积分的答案不唯一，我们不能完全按照书上的答案来定义自己的结果，只要我们对自己所求原函数进行求导计算，如果它等于被积函数，那么我们的答案就是正确的。
安徽省高校学科(专业)拔尖人才学术资助项目(gxbjZD2020016)；安徽省教学研究重点项目“财经类高校数学与应用数学专业教学体系与能力培养研究”(2017jyxm0464)；安徽省质量工程项目“安徽省高水平教学团队：数学建模教学团队”(2018jxtd008)。
高冬冬,金 红,蒋诗泉. 一类被积函数为cosx·cos2x的不定积分问题的探讨Discussion on a Class of Indefinite Integral Problems Whose Integrand Is cosx·cos2x[J]. 应用数学进展, 2021, 10(08): 2875-2880. https://doi.org/10.12677/AAM.2021.108300