을 이용해 을 위합·아래합으로 증명하세요.
증명 보기
균등분할 에서 은 증가하므로, 아래합은 왼쪽 끝점, 위합은 오른쪽 끝점을 씁니다: , .
제곱합 공식을 대입하면 , 입니다.
일 때 둘 다 으로 갑니다.
이것이 임의의 분할이 아닌 균등분할만으로 충분한 이유: 하적분과 상적분은 모든 분할에 대한 하한·상한이므로, 각 마다 입니다.
양쪽 끝이 모두 으로 가므로 조임에 의해 하적분과 상적분이 모두 이고, 적분값은 입니다.
곡선 아래에 직사각형을 채워 넓이를 재는 씬입니다. 아래합과 위합이 진짜 넓이를 양쪽에서 조여옵니다.
낮게 채운 값과 높게 채운 값 사이에 답이 있습니다. 분할을 잘게 할수록 두 값의 틈이 좁혀집니다. 틈이 사라지면 그 값이 적분입니다.
예를 들면, 🍰 케이크의 곡선 모양을 네모난 조각들로 채우는 것과 같아요. 조각을 잘게 자를수록 빈틈이 줄고 모양에 딱 맞아요.
을 이용해 을 위합·아래합으로 증명하세요.
균등분할 에서 은 증가하므로, 아래합은 왼쪽 끝점, 위합은 오른쪽 끝점을 씁니다: , .
제곱합 공식을 대입하면 , 입니다.
일 때 둘 다 으로 갑니다.
이것이 임의의 분할이 아닌 균등분할만으로 충분한 이유: 하적분과 상적분은 모든 분할에 대한 하한·상한이므로, 각 마다 입니다.
양쪽 끝이 모두 으로 가므로 조임에 의해 하적분과 상적분이 모두 이고, 적분값은 입니다.
디리클레 함수는 리만 적분 불가능함을, 모든 분할에 대해 임을 보여 증명하세요.
임의의 구간에는 유리수와 무리수가 모두 있으므로, 디리클레 함수 에 대해 모든 소구간에서 , 입니다.
따라서 어떤 분할 에 대해서도 , 입니다.
이므로 리만 적분 가능성의 필요충분조건을 만족하지 않습니다.
분할을 세분하면 이 절대 증가하지 않음을 증명하세요.
소구간 하나에 점을 추가해 둘로 나누면, 각 조각의 상한은 원래 구간의 상한 이하이므로 위합은 감소(또는 유지)합니다.
마찬가지로 하한은 증가(또는 유지)하므로 아래합은 증가합니다.
따라서 은 세분할수록 단조감소합니다 — 위합과 아래합이 서로를 향해 조여옵니다.