삼각함수중의 하나인 sec^2 x 를 적분하는 공식에 대한 증명을 찾아보았는데,
구하는 과정을 나타내면서 증명을 하는 다른 삼각함수의 적분과는 달리
sec^2 x의 적분은:
이런 식으로 cot의 미분식을 역으로 취한 형태로 나타나 있었습니다.
여기서 저는 궁금한 점이 하나 생겼는데, 그것은 왜 공식을 풀어나가면서
증명을 하는 방식이 아닌, 미분식을 역으로 취한 것으로 설명하여 증명을
하였는지에 대한 것 입니다.
직접 공식을 풀어나가면서 설명을 하는 방식은 어렵고 비효율적이기에
그런 것인가요? 아니면 증명을 할 수 있는 공식을 세우기가 어려워서
인가요? 자세한 답변을 주시면 대단히 감사드리겠습니다.
P.S : 만일 공식을 풀어나가면서 증명을 하는 방법이 있다면, 해당 공식에 대해서도
직접 써 주시기를 부탁드립니다.
( 공식출처 : http://www.ramapodesign.com/Bruce/math/math.cfm?f=csc_n.html )
첫댓글 저건 증명이라고 하면, 사실상 -cotx의 미분한 함수가 csc^2x니까 부정적분의 정의인 역도함수(anti-derivative)가 -cotx이고 여기에 적분상수를 붙여서 저렇게 된다라고 설명하면 되겠네요. 그리고 이게 삼각치환이랑 무슨 관련이 있나요.. 제가 보긴 단지 삼각함수의 부정적분으로 밖에 안보이는데요..
아, 죄송합니다. 작성을 하면서 삼각함수의 적분으로 써야 되는 것을 잘못썼군요!