수학교과실/미적분
정적분을 이용한 로그함수 y=lnx의 정의
■ 정적분을 이용한 로그함수 y=lnx의 정의 로그함수 y=lnx는 밑이 e인 로그함수 또는 지수함수 y=ex의 역함수로 정의로 로그함수를 정의 하고 있으나 적분과 미분의 관계를 학습 후에 적분을 이용하여 정의할 수 있다. 로그함수 y=lnx는 정적분을 이용하여 x>0일 때, lnx=∫x11tdt 로 정의하기도 하는데 이를 증명해 보자. ▶ 증명 함수 f(t)=1t은 구간 (0,∞)에서 연속이므로 x>0일 때, ∫x11tdt 가 존재한다. g(x)=∫x11tdt(x>0) 로 정의하면 $$g(1)..
2023. 9. 7. 20:12