평균값 정리

위키백과, 우리 모두의 백과사전.
이동: 둘러보기, 검색
c에서의 접선(초록색)은 a, b의 두 점을 잇는 직선(빨간색)과 평행한다. 초록색 직선은 빨간색 직선을 위로 천천히 평행이동해 곡선과 살짝만 닿게끔 한 것이다.

미적분학에서 평균값 정리(平均-定理, 영어: mean value theorem, MVT)는 대략 함수의 도중의 어떤 '순간변화율'(미분)이 '평균변화율'과 같다는 내용의 정리이다. 기하학적으로는 대략 두 끝점을 잇는 선과 기울기가 같은 접선이 두 끝점 사이에 존재한다는 의미이다.

평균값 정리는 미적분학의 뼈대를 떠받치는 중요한 정리이다. 롤의 정리로부터 유도되며, 테일러의 정리를 비롯한 많은 확장이 존재한다. 미적분학의 기본정리를 증명하는 데 쓰이며, 극값고계도함수, 볼록함수, 역함수 등의 취급에도 응용된다.

일변수 미분 형태[편집]

에서 연속, 에서 미분가능인 함수에게는, 에서의 접선이 두 끝점을 지나는 할선과 평행하게끔 하는 에 항상 존재한다.

함수 가 만약 닫힌 구간 에서 연속이고 열린 구간 에서 미분가능이라면,

를 만족하는 에 반드시 적어도 하나 존재한다.[1]

평균값의 정리는 롤의 정리를 일반화한 것으로 이해할 수 있다. 롤의 정리는 일 때의 특별한 경우이다.

증명[편집]

평균값의 정리의 증명은 롤의 정리를 이용한다.

와 같이 정의한 함수 는 롤의 정리가 적용되므로

즉 위 등식을 만족하는 가 존재한다.

따름정리[편집]

다음은 평균값의 정리로부터 간단히 유도되는 몇 가지 명제들이다.

  • 구간 에 정의된 실수값함수 가 만약 에서 연속, 내부에서 미분가능하며 항상 이라면, 에서 상수함수이다.
  • 가 만약 에서 연속, 내부에선 항상 라면, 에서 상수 차이이다.
  • 가 만약 에서 연속, 내부에선 항상 이라면, 에서 단조증가한다.

이들의 증명은 서로 비슷하다. 다음은 첫 번째 명제의 증명이다. 내부의 임의의 두 점 에 대해, 에서 평균값 정리의 전제를 만족한다. 따라서 다음을 만족하는 가 존재한다.

. 이로써 내부에서 상수이다. 연속성에 의해 전체에서 상수다.

코시의 평균값 정리[편집]

곡선의 시작과 끝을 잇는 직선과 평행하는 접선을 찾을 수 있다.

함수 가 만약 에서 연속이고 에서 미분가능하다면,

가 존재한다. 따라서 만약 추가적으로 라면,

가 성립한다. (코시의 평균값 정리, 영어: Cauchy's mean value theorem, 확장된 평균값 정리, 영어: extended mean value theorem)

기하학적으로, 이는 매개변수 방정식으로 표현한 곡선

에 두 점 에 의해 결정되는 직선에 평행하는 접선이 있다는 의미가 될 수 있겠지만, 코시의 평균값 정리가 이를 무조건적으로 보장하지는 않는다. , 즉 가 곡선의 정류점일 때에만 위 등식이 성립하는 경우가 있기 때문이다. 이러한 예로는 다음 곡선이 있다.

양끝 의 연결선은 수평이나, 수평 접선은 없다. 정류점(동시에 첨점)이 하나 존재한다.

평균값 정리는 코시의 평균값 정리의 인 특별한 경우이다. 코시의 평균값 정리는 로피탈의 정리의 증명에 쓰인다.

코시의 평균값 정리 증명[편집]

롤의 정리가 적용되는 함수

를 만들면 다음이 어떤 에 대해 성립하므로 정리가 증명된다.

일변수 적분 형태[편집]

적분의 평균값 정리[편집]

함수 가 만약 에서 연속이라면,

가 존재한다. (적분의 평균값 정리)

이는 중간값 정리에 의해 평균값

이 치역에 속하기 때문이다.

일반화된 적분의 평균값 정리[편집]

이를 함수의 '가중평균'에 대한 결론으로 일반화할 수 있다. 두 함수 에 대해, 만약 에서 연속, 는 부호가 일정하고(즉 항상 또는 항상 ) 적분가능하다면,

가 존재한다. (일반화된 적분의 평균값 정리)

일반화된 적분의 평균값 정리 증명[편집]

일반성을 잃지 않고 라고 가정하고, 최대최소정리에 따라 존재하는 의 최댓값, 최솟값을 이라고 하면, 다음이 성립한다.

로 두고, 라면, 를 임의로 취해도 원하는 조건을 만족한다. 이라면, 의 가중평균

가 치역에 속하므로 정리가 성립한다.

상술 증명은 가 닫힌 구간 에 존재한다는 것에 대한 증명이며, 열린 구간 에서의 존재성은 가 연속이라는 추가적 조건이 있으면 성립한다.

적분의 제2 평균값 정리[편집]

함수 에 대해, 에서 적분가능할 때,

  • 만약 에서 단조감소하고 항상 이라면, 다음이 성립하도록 하는 가 존재한다.
  • 만약 에서 단조롭다면, 다음이 성립하도록 하는 가 존재한다.
    (적분의 제2 평균값 정리)

적분의 제2 평균값 정리 증명[편집]

다음은 두 번째 명제의 가 항상 이거나 항상 인 경우에 대한 증명이다.

를 편의상 단조증가로 가정하면

가 성립한다. 이것을

로 놓고 다시 쓰면

와 같다. 미적분학의 기본정리에 의하여 연속함수이다. 따라서 여기에 중간값의 정리를 적용하면 증명이 끝난다.

다변수 미분 형태[편집]

  • 정리 : n차 유클리드 공간 속의 열린집합 G에서 으로 가는, G 위에서 미분가능한 함수 f를 생각하자. 둘 사이를 잇는 선분이 G의 부분집합인 두 원소 에 대하여 임의의 내의 원소 가 주어졌을 때,
를 만족하는 를 잇는 선분 상의 가 존재한다.
  • 증명 : 실수값 함수 g를 와 같이 정의하자. 연쇄 법칙에 따라서, 가 성립한다. 또 함수 F를 로 정의하고, G는 열린집합이므로 실수축에서 적당한 길이의 길이 1인 [a, b]를 포함하는 구간 L을 선택하여, 함수 g와 F의 정의역을 L로 한정시킨다. 그러면 F는 L 위에서 미분가능하여 를 만족한다. 이제 실 1변수 함수의 평균값 정리에 의해, 가 성립하는 가 구간 [a, b]내에 존재하므로, 라 두면 증명이 끝난다.

볼록집합의 경우[편집]

특히 볼록집합에 대해서는 보다 1변수의 경우와 유사한 평균값 정리의 따름정리가 성립한다.

  • n차원 유클리드 공간 속의 열린집합 G에서 로 가는, G 위에서 미분가능한 함수 f를 생각하자. 만약 G가 볼록집합이라면, G의 원소 a+h, a에 대하여 적당한 t가 (0, 1)에 존재하여 다음을 만족한다.

볼록집합이 아닌 경우 이상의 꼴은 일반적으로 성립하지 않는다.

복소 적분 형태[편집]

  • 정리 : 복소평면 상에서 어떤 점 을 중심으로 하는 반지름 내에서 정칙인 함수 에 대하여,
가 성립한다. 이것을 가우스의 평균값 정리라고 한다.

일 때, 양변에 실수부를 취한 다음 형태는 조화함수에 대한 가우스의 평균값 정리라고 한다.

역사[편집]

이 정리의 최초의 입안자는 인도바타세리 파라메슈바라(Vatasseri Parameshvara)로 기록되어 있으며[2] 처음으로 공식화한 사람은 오귀스탱 루이 코시이다.

같이 보기[편집]

각주[편집]

  1. Eric Wolfgang Weisstein. “평균값 정리”. 《Wolfram MathWorld》 (영어). Wolfram Research. 
  2. J. J. O'Connor, E. F. Robertson (2000). 영어: Paramesvara를 보라

참고 문헌[편집]

  • 고석구, 『복소해석학개론(2판)』, 경문사, 2005
  • 김락중; 박종안; 이춘호; 최규흥 (2007). 《해석학 입문》 3판. 경문사. ISBN 978-8-96-105054-8. 
  • Robert G. Bartle, 『실해석학개론(3판)』, 범한서적주식회사, 2006
  • James Stewart (2009). 《Calculus(Metric International Version, 6th Edition)》. Brooks/Cole, Cengage Learning. ISBN 0-495-38362-7.