사다리꼴 공식

수치 해석에서 사다리꼴 공식(-公式, )은 정적분을 근사하는 한 수치적분 방법이다. 사다리꼴 공식은 적분이 나타내는 넓이를 일련의 사다리꼴들의 넓이의 합으로 근사한다. 사다리꼴 공식은 뉴턴-코츠 공식이라는 적분 근사법들의 족(族)의 특수한 경우이며, 매끄러운 함수의 경우 비슷한 계산 복잡도를 갖는 심프슨의 법칙보다 일반적으로 덜 정확하다. 반면, 주기 함수를 적분할 때 사다리꼴 공식은 특별히 더 정확한데, 이는 오일러-매클로린 합산식으로 설명이 가능하다. 반면, 비주기적이며, 매끄럽지 않을 수 있는 함수를 적분할 때에는 클렌쇼-커티스 구적법 또는 가우스 구적법 따위가 더 적합하다.

정의 
닫힌구간  위의 적분 가능 함수

 

및 수열

 

이 주어졌다고 하자. 그렇다면, 이에 대한, 적분

 

의 사다리꼴 공식 근사는 다음과 같다.

 

특히, 일 때 사다리꼴 공식 근사는 다음과 같다.

성질 
사다리꼴 공식 근사의 오차

 

를 생각하자. 만약 가  함수라면 (즉, 그 2차 도함수가 존재하며 연속 함수라면), 다음 조건을 만족시키는 가 존재한다.

 

증명:
다음과 같은 함수들을 정의하자.

 
 

즉,

 

이다. 그러면

 
 
 

이다. 즉,

 
 

를 정의하면,

 

이며, 이를 두 번 적분하면

 

가 된다. 즉,

 

이다. 가 연속 함수라고 가정하였으므로, 중간값 정리에 따라

 

인 가 존재한다.
특히, 만약 들이 산술 수열을 이룬다면,

 

가 된다. 즉, 일 때, 오차는 의 속도로 0으로 수렴한다.

특히, 만약 가 항상 양수일 때, 사다리꼴 공식 근사 는 보다 더 작으며, 반대로 가 항상 음수일 때, 사다리꼴 공식 근사 는 보다 더 크다.

참고 문헌

외부 링크 
 
 

수치적분