4강 클레로의 정리 (Clairaudt’s Thm)

기호 여러 번 편미분하기?

     

어떤 함수를 에 관해 편미분한 후, 에 관해 편미분을 한 함수와

에 관해 편미분한 후, 에 관해 편미분을 한 함수는 항상 같을까? 클레로의 정리 (Clairaudt’s Theorem)은 어떤

조건을 만족할 때 함수가 같다는 것을 알려준다.

정리 클레로의 정리 (Clairaudt’s Theorem)

점   의 한 근방에서             가 존재하고, 연속이면

           이다.

클레로의 정리를 활용하면 여러 번 편미분을 할 때 간단하게 계산할 수 있다.


예4-1> 함수        에 대하여      의 값을 구하시오.
  

예4-1> 함수              에 대하여    를 구하시오.

클레로의 정리는 ‘일변수 함수     에 관한 평균값정리 ’로 증명할 수 있다.

※ 영상으로 홍쌤의 설명을 들어보시면 더 잘 이해가 될겁니다!

ⅰ) 함수    만들기 &                   임을 보이기

              

              
라 하면

                                    

                                     이므로

                  이다.
ⅱ)  에 평균값 정리 두 번 적용하기

      
    인 가 와    사이에 존재한다. (편도함수들이 존재하고 연속이므로)

             이다.

         라 두면              이므로

                           
 
    이다. 평균값 정리에 의해     인 가 와
   

   사이에 존재한다.         이므로

      이다.

               
 
즉,        이므로 lim        이다. (   가 연속이므로)
 → 


ⅲ) 에 평균값 정리 두 번 적용하기

        
    인  가 와    사이에 존재한다. (편도함수들이 존재하고 연속이므로)


                이다.

       라 두면,             이므로

                             
 
    이다. 평균값 정리에 의해      인 가 와
   

   사이에 존재한다.        이므로

        이다.

                 
즉,       이므로 lim      이다. (  가 연속이므로)
 →


                 
ⅰ)에 의해                   이므로 lim 
 lim 
이다.
→  → 
따라서          이다. ■