어떤 함수의 부정적분을 구하기 위해서는 (문제에서의 계산이 아닌 미지의 함수의 부정적분을 알아내고자 할 때) 귀납적으로 계산을 해보는 수밖에 없나요? 예를 들어 cosx를 적분하면 sinx가 되는데, sinx를 미분하면 cosx가 되기 때문이라는 이유 외에 직접적으로 cosx를 적분하는 방법은 없나요? 어떤 함수의 도함수를 구하는 것은 미분법 공식이 없더라도 도함수의 정의에 의해 유도가 가능한데 공식이 밝혀지지 않은 함수의 부정적분을 구하려면 무엇을 미분해야 그 함수가 될지 일일이 확인을 해야 되는 건가요? 연역적, 직접적으로 부정적분을 구하는 방법이 없는건가요, 혹은 고등학교 과정에서 다루지 않는 건가요?