Set
The points strictly increase from zero to . With , the given expression is exactly the midpoint Riemann sum
for the partition of an interval of . The sine argument is precisely the midpoint tag, since it is half the sum of the consecutive endpoints.
For a fixed integration interval , append and choose the final tag . The resulting Riemann sum satisfies
This makes explicit the small final interval that the original sum omits.
We verify that the augmented partition of an interval in part i has vanishing mesh of a partition. Define for . Its derivative is
Since for , we have . The mean value theorem therefore gives
The appended interval has length , so for the augmented partition of an interval.
The sine is continuous, hence Riemann integrable on . By the Riemann sum convergence theorem, , using the fundamental theorem of calculus and the cosine antiderivative. As , the answer is

Articles by others on the same topic (0)

There are currently no matching articles.