원시함수

미분이 주어진 함수가 되는 함수. `F'(x) = f(x)`이면 `F`는 `f`의 _어떤_ 원시함수 — 무한히 많고, 모두 상수만큼 차이 난다 — `F(x) + C`도 임의의 상수 `C`에 대해 원시함수다. 원시함수는 미분이 _되돌리는_ 대상; 미적분학의 기본정리에 따르면 정적분이 _계산하는_ 대상이기도 하다 — `∫_a^b f(x) dx = F(b) − F(a)`. 상수 `C`는 적분이 `F`의 두 값을 빼면서 사라진다. 교과서에서는 _부정적분_ (표기 `∫ f(x) dx`) 이라 부르기도 하는데, "원시함수"는 *함수 자체*를 더 정확히 가리키고, "부정적분"은 *연산*을 강조한다.