3장 도 함 수 의 응 용

3.1 접선의 방정식, 법선의 방정식

①      위의 점     에서의 접선의 기울기 : ′  
=>      위의 점     에서의 접선의방정식
<=>      ′   

②     위의 점     에서의 법선의 기울기 :  
′  
=>     위의 점    에서의 법선의방정식

<=>           
′  

  위의 점   에서의 접선의 방정식


(예) (1)   tan  


(2) sin        위의 점    에서의 법선의 방정식

3.2 함수의 최대 최소 1
(정의)함수의 극값
(1)    ≤     ∈         <=>   : 극댓값
(2)    ≤     ∈         <=>    : 극솟값

(정의)    : 임계점 <=> ① ′     이거나

②    에서 미분 불가능
(정리 3.2)     가   에서 극값을 가지면,
′    이거나    에서 미분 불가능이다

(예) 다음 함수의 임계점을 구하여라.

 
 
(1)       

- 1 -
 

(2)        

(3)   sin    sin   ≤  ≤  

3.4 평균값 정리 (75쪽)

(정리 3.6) Rolle의 정리

 :     에서 연속,     에서 미분 가능
=>          이면,  ′      이 되는 점  ∈     가 적어도 하나 존재한다.

(정리 3.7) 평균값 정리

 :     에서 연속,     에서 미분 가능
      
=>  ′      를 만족하는  ∈     가 존재한다


(평균값 정리의 기하학적 의미)

(예)      이고 모든  에 대해 ′   ≤  일 때,   의 가능한 최댓값을

구하시오.
(풀이)  :    에서 연속,    에서 미분 가능
=> 평균값 정리에 의해
       
 ′      를 만족하는  ∈     가 존재한다

     
=> ′   ≤ 이므로 ′   ≤  =>  ′      ≤ 

=>    ≤  이므로   의 가능한 최댓값=5

(예) 모든 실수   에 대하여 sin   sin  ≤     임을 보이시오.

(증명) i)    =>  sin   sin    ,     
=>  sin   sin     ∴ 성립

- 2 -
ii)    =>     sin  :   에서 연속,     에서 미분 가능
=> 평균값 정리에 의해
      
 ′     를 만족하는  ∈     가 존재

sin   sin 
=> cos  

sin   sin 
=>      cos ≤ 

=>  sin   sin  ≤   

3.2 함수의 최대 최소 2

(1)  : 상수함수
<=> 임의의      ∈  에 대해       ⇒            .
(2)  : 증가함수
<=> 임의의      ∈  에 대해       ⇒            .
(3)  : 감소함수
<=> 임의의     ∈  에 대해       ⇒            .

정리 3.3 [ 증가와 감소에 대한 1계 도함수 판정 ](62쪽)

 :      에서 연속,      에서 미분가능
==> (1)  ′      ,  ∈    <=>  :    에서 상수함수
(2)  ′      ,  ∈  <=>  :    에서 증가함수
(3)  ′      ,  ∈    <=>  :  에서 감소함수
(증명) (1)  ′      ,  ∈    라 하자
=>임의의      ∈  에 대해  :       에서 연속,       에서 미분 가능
=> 평균값 정리에 의해
        
 ′      를 만족하는 ∈       가 존재
  

=>  ′      ,  ∈    이므로  ′     

        
=>    ′      =>            ∴  :    에서 상수함수
  

(2)  ′      ,  ∈    라 하자
=>임의의      ∈    에 대해  :     에서 연속,     에서 미분 가능
=> 평균값 정리에 의해
        
 ′      를 만족하는 ∈       가 존재
  

=>  ′      ,  ∈    이므로  ′      ,  ∈      

- 3 -
         
=>  ′        =>            ∴  :    에서 증가함수
  

(3)  ′      ,  ∈    라 하자
=>임의의      ∈    에 대해  :      에서 연속,      에서 미분 가능
=> 평균값 정리에 의해
        
 ′      를 만족하는 ∈     가 존재
  

=>  ′      ,  ∈    이므로  ′     

        
=>  ′        =>           ∴  :    에서 감소함수
  


(예) sin     cos      임을 보이시오. (       )


(증명)       일 때,     sin     cos   라 하자.

 
′    
    이므로 정리3.3. (1)에 의해     : 상수 함수

   
   
 
=> sin     cos      이고       sin     cos          이므로
 

sin     cos     


(정리 3.4) 극값에 대한 1계 도함수 판정(63쪽)

   :     의 임계점
=> (1)

=>    : 극댓값

(2)

<=>    : 극솟값

 
 
(예)       

- 4 -
 

(예)       

(예)   sin    sin   ≤  ≤  

3.3. 그래프의 개형
(1)      : ∈  아래로 볼록
<=> 각점 에서의 접선의 기울기가 증가
<=> ″     , ∈ 

(2)      : ∈  위로 볼록
<=> 각점 에서의 접선의 기울기가 감소
<=> ″     , ∈ 

***   : 변곡점 <=> ″의 부호가 양에서 음으로 혹은 음에서 양으로 바뀌는 연속인 점



(예)    

(예)    

- 5 -
   
(예)    의 변곡점과 아래로 볼록인 구간


 
(예)      의 변곡점과 아래로 볼록인 구간
 

- 6 -