MIT 18.01 Single Variable Calculus（单变量微积分）课堂笔记【3】——求导四则运算和三角函数求导

求导四则运算和三角函数求导

本节重点讲解了两个三角函数求导公式的证明：
$$f^{\prime }(\sin (x))=\cos (x)$$
$$f^{\prime }(\cos (x))=-\sin (x)$$
其中用到了两个辅助证明的公式：
$$\underset{\Delta x\to 0}{\lim }\frac{\cos \Delta x-1}{\Delta x}=0$$
$$\underset{\Delta x\to 0}{\lim }\frac{\sin \Delta x}{\Delta x}=1$$

编程证明一下上面两个式子

证明第一个式子：

#include <cmath>
#include <iostream>

int main()
{
	double delta_x = 0.5;	
	for (int i = 0; i < 10; ++i, delta_x /= 10.0) {
		double rst = (cos(delta_x) - 1) / delta_x;
		std::cout << "delta_x: " << delta_x << "\t(cos(delta_x) - 1) / delta_x = " << rst << std::endl;
	}
	return 0;
}

输出：

证明第二个式子：

#include <cmath>
#include <iostream>

int main()
{
	double delta_x = 0.5;	
	for (int i = 0; i < 10; ++i, delta_x /= 10.0) {
		double rst = sin(delta_x) / delta_x;
		std::cout << "delta_x: " << delta_x << "\tsin(delta_x) / delta_x = " << rst << std::endl;
	}
	return 0;
}

输出：