ABOUT ME

울산 옥동에 있는 더플러스수학학원블로그입니다. 수능, 교육청, 삼사, 경찰대 등의 문제 풀이 동영상, 서울대 등 심층면접문제, 수리논술문제 풀이 영상 제공, 학생이 자기주도적 학습에 도움준다. 또, 울산과고를 위해 교과서인 심화수학, 고급수학, AP Calculus 등의 수업학교프린트 풀이를 제공한다. 여기의 풀이영상은 학원의 유투브인 더플러스수학(https://youtube.com/@THEPLUSMATH)에 있다.

Today
Yesterday
Total
  • [옥동수학학원][수학의 기초] 테일러 정리 증명-평균값 정리의 일반화[더플러스수학]
    수학과 공부이야기 2020. 7. 27. 22:51

    안녕하세요. 울산과고전문 더플러스수학학원입니다.  이번엔 평균값정리의 일반화인 테일러정리를 알아 보겠습니다. 테일러정리는 울산과고 3학년이 배우는 AP미적분학에 나옵니다.  1학기 기말고사 범위에 입니다.


    테일러 정리(Taylor Theorem)


    (1) 함수 f(x)f(x)가 닫힌 구간 [a, b]에서 연속이고 열린 구간 (a, b)에서 n번 미분가능하면 f(b)=n1k=0(ba)kk!f(k)(a)+(ba)nn!f(n)(c)=f(a)+(ba)f(a)++(ba)n1(n1)!f(n1)(a)+(ba)nn!f(n)(c)
    을 만족하는 c(a, b)가 적어도 하나 존재한다.


    아래의 두번째 방법으로 증명하기 위해서는 함수 fn계 도함수인 f(n)가 연속이어야 하므로 테일러 정리를 위보다 좀 더 강하게 f(n)가 연속함수라고 하여 명제를 다시 적겠다. (참고: 서울대 미적분학교재 : 1988년도 판 (나의 학창시절ㅋㅋ))


    (2) 함수 f(x)ab를 포함하는 열린구간에서 정의된 함수이고 그 구간에서 n계 도함수까지 존재하고 f(n)(x)가 연속이라고 하자. 그러면
    f(b)=f(a)+ba1!f(a)+(ba)22!f(a)++(ba)n1(n1)!f(n1)(a)+ba(bt)n1(n1)!f(n)(t)dt
    이고 ba(bt)n1(n1)!f(n)(t)dt=f(n)(c)를 만족하는 c가 열린구간 (a, b)에 적어도 하나 존재한다.


    *참조 : 여기서 n=1일 때를 평균값의 정리(Mean Value Theorem)이라 말한다. 즉 위의 정리는 평균값의 정리의 일반화이다.
    증명하는 방법은 다음에서 보듯이 크게 세가지 정도 있다.

    (1) 롤정리를 이용하여 하는 방법이다.

    먼저 롤 정리를 알아보면


    롤의 정리(Rolles' Theorem)

    함수 f(x)가 닫힌 구간 [a, b]에서 연속이고 열린 구간 (a, b)에서 미분가능하고 f(a)=f(b)이면 f(c)=0c가 열린구간 (a, b)에 적어도 하나 존재한다.


    https://youtu.be/nfe3IShW_VU(구독과 좋아요를...)

     

     

    이제 증명해보자. 롤정리를 이용하기위해 함숫값 f(b)를 잘 잡아야 한다. 이게 어렵다. 시험에 잘 나오는데 외워야 한다. f(b)를 다음과 같이 놓자.
    f(b)=f(a)+(ba)11!f(a)+(ba)22!f(a)++(ba)n1(n1)!f(n1)(a)+k(ba)nn!=f(a)+n1m=1(ba)mm!f(m)(a)+k(ba)nn!
    이 때, k의 값이 f(n)(c) (a<c<b)임을 보이면 증명이 끝난다.
    여기서 새로운 함수 g(x)를 다음과 같이 잡으면 g(b)=g(a)가 되어 롤정리를 쓸 수 있다.
    g(x)=f(b){f(x)+(bx)11!f(x)+(bx)22!f(x)++(bx)n1(n1)!f(n1)(x)                                                                                                        +k(bx)nn!}=f(b){f(x)+n1m=1(bx)mm!f(m)(x)+k(bx)nn!}
    함수 f(x)가 닫힌 구간 [a, b]에서 연속이고 열린 구간 (a, b)에서 n번 미분가능하므로 함수 g(x)는 닫힌 구간 [a, b]에서 연속이고 열린 구간 (a, b)에서 미분가능하다. 또,
    g(a)=f(b){f(a)+(ba)11!f(a)+(ba)22!f(a)++(ba)n1(n1)!f(n1)(a)                                                                                                        +k(ba)nn!}=f(b){f(a)+n1m=1(ba)mm!f(m)(a)+k(ba)nn!}=f(b)f(b)=0g(b)=f(b)f(b)=0
    따라서 롤의 정리에 의해 g(c)=0c가 열린구간 (a, b)에 적어도 하나 존재한다. 즉 (그냥 미분해서 확인하도록 하세요. 반드시 표현하지않아도 됩니다.
    g(x)=[f(x)+n1m=1{m(bx)m1m!f(m)(x)+(bx)mm!f(m+1)(x)}_kn(bx)n1n!}=[f(x){f(x)+(bx)n1(n1)!f(n)(x)k(bx)n1(n1)!}]=(bx)n1(n1)!f(n)(x)k(bx)n1(n1)!
    *참고 위의 및출 친 파란색은 서로 이웃하는 항으로 위의 시그마는 망원급수이다.
    여기서 a<c<bc가 존재하여 g(c)=0이다. 즉 k=f(n)(c)
     

    (2) 부분적분과 사잇값 정리, 최대최소 정리를 이용하여 증명하는 방법이다.

     

    https://youtu.be/Olmbxw7nB2U(구독좋아요를....)

    우선 미적분학의 기본정리에 의해
    f(b)f(a)=baf(x)dx   (i)
    여기서 부분적분을 적용하자. 먼저 u=1, v=f(x)로 두면 u=(bx), v=f(x)이므로 (i)를 부분적분하면
    f(b)f(a)=baf(x)dx=[(bx)11!f(x)]baba(bx)11!f(x)dx=(ba)11!f(a)+ba(bx)1!f(x)dx
    또 위의 식에서 u=(bx), v=f(x)로 두면 u=(bx)22!, v=f(3)(x)에서 부분적분을 한 번 더 하면 
    f(b)f(a)=(ba)11!f(a)+ba(bx)1!f(x)dx=(ba)11!f(a)+[(bx)22!f(x)]baba(bx)22!f(3)(x)dx=(ba)11!f(a)+(ba)22!f(a)+ba(bx)22!f(3)(x)dx
    이를 정리하면
    f(b)f(a)=(ba)11!f(a)+(ba)22!f(a)+ba(bx)22!f(3)(x)dx   (ii)
    우선 n=3일 때 성립함을 최대최소정리와 사잇값정리를 이용하여 증명해보자. 이후에 이를 일반화하여 테일러정리를 증명하자.
    함수 f의 3계도함수가 닫힌 구간 [a, b]에서 연속이므로 α, β[a, b]에 대하여 최대최소정리에 의해 최댓값 M=f(3)(α), 최솟값 m=f(3)(β)이 존재하여
    mf(3)(x)M
    x[a, b]이므로 (bx)20이므로 위의 식에 양변에 (bx)2을 곱하면
    (bx)22!m(bx)22!f(3)(x)(bx)22!M
    양변을 적분( ba)하면
    (ba)33!m=[(bx)33!m]baba(bx)22!f(3)(x)dx[(bx)33!m]ba=(ba)33!M
    양변을 (ba)33!으로 나누면
    m3!(ba)3ba(bx)22!f(3)(x)dxM
    함수 f의 3계도함수가 연속하므로 사잇값 정리에 의해 
    3!(ba)3ba(bx)22!f(3)(x)dx=f(3)(c)
    를 만족하는 c가 열린구간 (a, b)에 적어도 하나 존재한다. 즉
    ba(bx)22!f(3)(x)dx=(ba)33!f(3)(c)
    (ii)을 정리하면 
    f(b)f(a)=(ba)11!f(a)+(ba)22!f(a)+(ba)33!f(3)(c)
    이제 일반화하자. (i)을 부분적분을 (n1)번하면
    f(b)f(a)=(ba)11!f(a)+(ba)22!f(a)++(ba)n1(n1)!f(n1)(a)                                                                         +ba(bx)n1(n1)!f(n)(x)dx=n1k=1(ba)kk!f(k)(a)+ba(bx)n1(n1)!f(n)(x)dx
    ba(bx)n1(n1)!f(n)(x)dx에서 함수 fn계 도함수는 연속이므로 닫힌구간 [a, b]에서 연속이므로 위에서 한 과정과 똑같이 하자.
    α, β[a, b]에 대하여 최대최소정리에 의해 최댓값 M=f(n)(α), 최솟값 m=f(n)(β)이 존재하여
    mf(n)(x)M
    x[a, b]이므로 (bx)n10이므로 위의 식에 양변에 (bx)n1을 곱하면
    (bx)n1(n1)!m(bx)n1(n1)!f(n)(x)(bx)n1(n1)!M
    양변을 적분( ba)하면
    (ba)nn!m=[(bx)nn!m]baba(bx)nn!f(n)(x)dx[(bx)nn!M]ba=(ba)nn!M
    양변을 (ba)nn!으로 나누면
    f(n)(β)=mn!(ba)nba(bx)nn!f(n)(x)dxM=f(n)(α)
    함수 fn계도함수가 연속하므로 사잇값 정리에 의해 
    n!(ba)nba(bx)nn!f(n)(x)dx=f(n)(c)
    를 만족하는 c가 열린구간 (a, b)에 적어도 하나 존재한다. 즉
    ba(bx)nn!f(n)(x)dx=(ba)nn!f(n)(c)
    (ii)을 정리하면 
    f(b)=n1k=0(ba)kk!f(k)(a)+(ba)nn!f(n)(c)=f(a)+(ba)f(a)++(ba)n1(n1)!f(n1)(a)+(ba)nn!f(n)(c)
     

    (3) 세번째 방법은 첫번째와 달리 롤정리를 여러번 사용하는 방법이다.

    테일러 다항식
    Pn1(x)=f(a)+f(a)(xa)+f(a)2!(xa)2++f(n1)(a)(n1)!(xa)n1
    이라 할 때, 상수 k에 대하여 함수 Fn1(x)를 다음과 같이 정의하자.
    Fn1(x)=f(x){Pn1(x)+k(xa)nn!}=f(x){f(a)+f(a)(xa)+f(a)2!(xa)2++f(n1)(a)(n1)!(xa)n1                                                                                                        +k(xa)nn!}
    함수 f(x)n번 미분가능하고, Pn1(x)+k(xa)n는 다항함수이므로 무한번 미분가능하고 연속이다. 또,
    Fn1(a)=f(a){Pn1(a)+k(aa)nn!}=f(a)f(a)=0
    Fn1(b)=0이 되게끔 f(b)의 값을 정하자. 즉,
    Fn1(b)=f(b){Pn1(b)+k(ba)nn!}=0
    f(b)를 다음과 같이 정의하자.
    f(b)=Pn1(b)+k(ba)nn!=f(a)+(ba)11!f(a)+(ba)22!f(a)++(ba)n1(n1)!f(n)(a)+k(ba)nn!
    Fn1(a)=0, Fn1(b)=0이므로 롤의 정리에 의해 Fn1(c1)=0c1이 열린 구간 (a, b)에 적어도 하나 존재한다.
    Fn1(x)=f(x){Pn1(x)+k(xa)n1(n1)!}=f(x){f(a)+f(a)1!(xa)+f(3)(a)2!(xa)2++f(n1)(a)(n2)!(xa)n2                                                                                      +k(xa)n1(n1)!}
    Fn1(x)x=a를 대입하면 Fn1(a)=0이다. 또, Fn1(c1)=0이고 Fn1(x)가 연속이고, 미분가능하므로 롤의 정리에 의해 Fn1(c2)=0을 만족하는 c2(a, c1)가 적어도 하나 존재한다.
    이 과정을 계속 진행하면 i=1, 2, , (n1)에 대하여 ci(a, ci1)가 적어도 하나 존재한다.
    i=n일 때, Pn1(x)(n1)차 다항식이므로 P(n)(x)=0이므로
    F(n)n(x)=f(n)(x){P(n)n(x)+k}=f(n)(x)k
    이므로
    F(n)n1(cn)=f(n)(cn)k=0,  k=f(n)(cn)
    따라서 
    f(b)=f(a)+(ba)f(a)++(ba)n1(n1)!f(n1)(a)+(ba)nn!f(n)(cn)
     
    ※ 참고: g(x)=f(b){f(x)+(bx)11!f(x)+(bx)22!f(x)++(bx)n1(n1)!f(n1)(x)                                                                                                        +k(bx)nn!}
    Fn1(x)=f(x){f(a)+f(a)(xa)+f(a)2!(xa)2++f(n1)(a)(n1)!(xa)n1                                                                                                        ++k(xa)nn!}
    위의 g(x)와 같이 함수를 놓으면 미분하는 과정이 곱미분이 되어 중간 과정이 사라지는 망원급수가 되어 한 번의 롤 정리로 해결이 된다. 반면 아래의 Fn1(x)로 놓으면 롤의 정리를 n번해야 된다. 따라서 번거롭다. 
    그러나 둘 다 f(b)의 값을 정의하는 방식은 똑같다.

    더플러스수학학원
    울산 남구 대공원입구로21번길 45-1 2층
    https://naver.me/G4I5PT
    H1

    더플러스수학학원 : 네이버

    방문자리뷰 34 · 블로그리뷰 39

    m.place.naver.com



     더플러스수학학원 신정지점
    울산 남구 문수로423번길 8 309호
    https://naver.me/xylHYoQa

    더플러스수학학원 신정지점 : 네이버

    방문자리뷰 1

    m.place.naver.com

Designed by Tistory.