파이썬으로 미분할 때 Sympy를 사용하면 아주 편리합니다. 정의대로 미분 먼저 정의대로 되는지 구해보겠습니다. 미분의 정의는 순간속력을 알아내기 위한 방법으로 고안했습니다. 속력 = 거리/시간 인데 이를 그래프로 보면 속력은 기울기와 같게 됩니다. 예를 들어, a에서 b 시점까지의 평균속력은 a와 b 사이의 평균 기울기가 됩니다. 즉, 평균속력 = $ \frac{f(b)-f(a)}{b-a} $ 이 됩니다. 관심을 갖는 건 a에서의 순간 속력입니다. 그러니 저 기울기가 a만 지나가야 하는 접선의 형태로 나타난다면 a의 순간속력이 될 것입니다. 이를 위해 limit를 도입합니다. 왜냐하면 속력 = 거리/시간 인데 b=a 가 되면 분수는 성립하지 않아서 속력을 구할 수 없게 됩니다. 그래서 a는 아니지만 a..