Porisma

Complete reference

Definite integrals, areas and volumes

Use this page when you want the full derivations, source detail, and method notes. The main lesson keeps the shorter study path.

Lesson notes

Rectangle sums and the limiting integral

Divide [a,b][a,b] into n equal intervals of width Δx=(b−a)/n\Delta x=(b-a)/n. Each rectangle has area height times width. With the source indexing x1=ax_1=a, xn+1=bx_{n+1}=b, left heights give Ln=∑i=1nf(xi)ΔxL_n=\sum_{i=1}^nf(x_i)\Delta x and right heights give Rn=∑i=1nf(xi+1)ΔxR_n=\sum_{i=1}^nf(x_{i+1})\Delta x.

For continuous f, both sums tend to ∫abf(x) dx\int_a^bf(x)\,dx as n→∞n\to\infty and Δx→0\Delta x\to0. The finite expressions are Riemann sums; their limit is the integral. For the source curve above the axis, that limit is area A. Signed integrals need care when a curve crosses the axis.

The teacher annotations emphasise total rectangle area and taking a limit. Left endpoint i is a+(i−1)Δxa+(i-1)\Delta x; the handwritten alternative a+iΔxa+i\Delta x is its right endpoint. Sketch the region before selecting bounds, differences of areas or a solid of revolution.

The source’s historical note identifies Georg Friedrich Bernhard Riemann, a German mathematician of the nineteenth century. Its “Limits” callout links limits to the development of calculus and area under a curve; its “Diagrams” callout recommends sketching before identifying areas, formulating integrals or modelling a solid of revolution. The Teacher shades endpoint rectangles, underlines height times width and highlights the limiting step.

The source calls the displayed limit a “Riemann Sum”; here the finite sum is the Riemann sum and its limit is the definite integral.

Its right-endpoint diagram is followed by a printed ∑f(xi)Δx\sum f(x_i)\Delta x expression using the earlier left indexing; keep f(xi+1)f(x_{i+1}) for the right-endpoint sum with x1=ax_1=a.

Both converge to the same integral.

A finer partition converges for this continuous curve, but its approximation error need not decrease at every individual value of nn.

Antiderivatives and the fundamental theorem

If ff is continuous on [a,b][a,b] and F′=fF'=f, then ∫abf(x) dx=[F(x)]ab=F(b)−F(a)\int_a^bf(x)\,dx=[F(x)]_a^b=F(b)-F(a). The lower and upper limits are aa and bb. For example, an antiderivative of x2x^2 is x3/3x^3/3; the arbitrary constant cancels in the subtraction.

Five useful properties

For continuous f,gf,g and constant kk: ∫aaf=0\int_a^af=0; ∫abf=−∫baf\int_a^bf=-\int_b^af; ∫abf=∫acf+∫cbf\int_a^bf=\int_a^cf+\int_c^bf for a<c<ba<c<b; ∫ab(f±g)=∫abf±∫abg\int_a^b(f\pm g)=\int_a^bf\pm\int_a^bg; and ∫abkf=k∫abf\int_a^bkf=k\int_a^bf. The source prints k≠0k\ne0 for the last rule, but it also holds for k=0k=0.

Continuity on the whole interval matters for this version of the theorem. The source warns against evaluating ∫−11x−2 dx\int_{-1}^1x^{-2}\,dx by direct substitution: x−2x^{-2} is undefined at zero. Its improper integral diverges to positive infinity; a formal endpoint subtraction does not evaluate it.

Signed integrals and geometric area

For a nonnegative curve on [a,b][a,b], A=∫abf(x) dxA=\int_a^bf(x)\,dx. For a nonpositive curve, A=−∫abf(x) dxA=-\int_a^bf(x)\,dx. If the curve is above the axis from aa to bb and below it from bb to cc, add positive areas: A=A1+A2=∫abf(x) dx−∫bcf(x) dxA=A_1+A_2=\int_a^bf(x)\,dx-\int_b^cf(x)\,dx. Sketch first, find every zero inside the bounds, and split wherever the sign changes.

For the source sine example, ∫−π0sin⁡x dx=−2\int_{-\pi}^0\sin x\,dx=-2 and ∫0πsin⁡x dx=2\int_0^{\pi}\sin x\,dx=2. Origin symmetry makes the two geometric areas equal to 22 each. Their combined geometric area is 44, while ∫−ππsin⁡x dx=0\int_{-\pi}^{\pi}\sin x\,dx=0.

The Teacher points out odd/even symmetry for integrals on [−k,k][-k,k]. For continuous odd ff, the integral is zero; for continuous even ff, it is 2∫0kf(x) dx2\int_0^kf(x)\,dx. The additional cosine query is ∫−ππcos⁡x dx=2∫0πcos⁡x dx=0\int_{-\pi}^{\pi}\cos x\,dx=2\int_0^\pi\cos x\,dx=0. Its zero result comes from evaluation of the even-function half-interval integral, rather than odd symmetry.

Horizontal strips and integration with respect to y

For a continuous curve x=g(y)x=g(y), bounded by the y-axis and y=cy=c, y=dy=d, use horizontal strips. A strip has width g(y)g(y) and height Δy\Delta y, so its area is g(y)Δyg(y)\Delta y when g(y)≥0g(y)\ge0. Adding strips and taking the limit gives A=∫cdx dy=∫cdg(y) dyA=\int_c^dx\,dy=\int_c^dg(y)\,dy for a region to the right of the y-axis.

For a region to the left, g(y)≤0g(y)\le0, use A=−∫cdg(y) dyA=-\int_c^dg(y)\,dy. If the curve is left of the axis on [c,d][c,d] and right on [d,e][d,e], add the positive pieces: A=A1+A2=−∫cdg(y) dy+∫deg(y) dyA=A_1+A_2=-\int_c^dg(y)\,dy+\int_d^eg(y)\,dy. Find the y-coordinate where the curve crosses the axis before splitting. Width, not height, is now the function of the integration variable.

Areas between curves

The source asks for the area between y=f(x)y=f(x) and y=g(x)y=g(x) from aa to bb. In its first picture both are above the x-axis and f(x)≥g(x)f(x)\ge g(x), so subtract the area GG under gg from the area FF under ff: A=F−G=∫abf(x) dx−∫abg(x) dx=∫ab[f(x)−g(x)] dxA=F-G=\int_a^bf(x)\,dx-\int_a^bg(x)\,dx=\int_a^b[f(x)-g(x)]\,dx.

The same upper-minus-lower strip width works anywhere in the plane, including below the x-axis. In that case do not describe each signed integral separately as an unsigned geometric area: the difference is the positive vertical distance. If the curves exchange order, find the crossings and split before adding areas.

For horizontal strips between x=f(y)x=f(y) on the right and x=g(y)x=g(y) on the left, use A=∫cd[f(y)−g(y)] dyA=\int_c^d[f(y)-g(y)]\,dy. The summary rule is upper minus lower with x bounds, or right minus left with y bounds. Find the intersection coordinates to obtain the limits. A line is another curve, so the same rule applies; a triangle or trapezium can sometimes replace one of the simpler integrals.

Volumes as limits of disc sums

A complete rotation of a plane region about a line in its plane forms a solid of revolution; the line is the axis of revolution. For a nonnegative continuous y=f(x)y=f(x) on [a,b][a,b], rotate the region down to the x-axis through 360∘360^\circ or 2π2\pi radians. Divide the interval into nn equal widths Δx=(b−a)/n\Delta x=(b-a)/n. Rotating a rectangle creates a circular disc with radius f(xi)f(x_i) and thickness Δx\Delta x. Its volume is π[f(xi)]2Δx\pi[f(x_i)]^2\Delta x, from circular area times thickness.

The finite disc sum is Vn=π∑i=1n[f(xi)]2ΔxV_n=\pi\sum_{i=1}^n[f(x_i)]^2\Delta x. As n→∞n\to\infty and Δx→0\Delta x\to0, V=lim⁡Vn=π∫aby2 dx=π∫ab[f(x)]2 dxV=\lim V_n=\pi\int_a^by^2\,dx=\pi\int_a^b[f(x)]^2\,dx. The finite expression is a Riemann sum for volume; its limit is the integral. The Teacher highlights the squared radius and the limiting step.

For rotation about the y-axis, write x=g(y)x=g(y) first and use horizontal strips of thickness Δy\Delta y. A disc has radius ∣x∣|x| and volume approximately πx2Δy\pi x^2\Delta y, so V=π∫cdx2 dy=π∫cd[g(y)]2 dyV=\pi\int_c^dx^2\,dy=\pi\int_c^d[g(y)]^2\,dy. The printed formula is correct; a nearby Teacher handwritten π∫y2 dx\pi\int y^2\,dx does not match this y-axis setup and must not replace it. Match the radius, thickness variable and limits to the chosen axis.

Cylinders, cones and a translated axis

The source asks which solid is formed by rotating either (a) the rectangle between the x-axis, x=a,bx=a,b and y=py=p about the x-axis, or (b) the rectangle between the y-axis, y=c,dy=c,d and x=qx=q about the y-axis. Both form a cylinder, with V=πr2hV=\pi r^2h. In (a), r=∣p∣r=|p| and h=b−ah=b-a; in (b), r=∣q∣r=|q| and h=d−ch=d-c (bounds increasing).

It then asks about rotating a straight-line boundary y=mx+cy=mx+c (m≠0m\ne0) about the x-axis, or y=m1x+c1y=m_1x+c_1 (m1≠0m_1\ne0) about the y-axis. The drawn triangular regions form a cone, with V=13πr2hV=\frac13\pi r^2h.

In the source drawings the radius vanishes at an endpoint, which is essential for a full cone.

The general straight-line wording needs this qualification: if both endpoint radii are nonzero on the same side, the solid is a frustum; if the line crosses the axis inside the interval, split the region instead of applying one cone formula indiscriminately.

For an axis parallel to a coordinate axis, translate the graph and its axis together until that axis coincides with x=0 or y=0. This preserves all radii and the generated volume, as in Example 16.

Washers between two curves

For f(x)≥g(x)≥0f(x)\ge g(x)\ge0 throughout [a,b][a,b], a full x-axis turn of the region between the curves gives outer radius f(x)f(x) and inner radius g(x)g(x). A washer has area π[f(x)]2−π[g(x)]2\pi[f(x)]^2-\pi[g(x)]^2, so V=π∫ab[f(x)]2 dx−π∫ab[g(x)]2 dx=π∫ab([f(x)]2−[g(x)]2) dxV=\pi\int_a^b[f(x)]^2\,dx-\pi\int_a^b[g(x)]^2\,dx=\pi\int_a^b([f(x)]^2-[g(x)]^2)\,dx. Subtract the inner solid from the larger one. This is not π∫ab[f(x)−g(x)]2 dx\pi\int_a^b[f(x)-g(x)]^2\,dx; square the two radii separately before subtracting.

For y-axis washers with f(y)≥g(y)≥0f(y)\ge g(y)\ge0 on [c,d][c,d], rotate the region between x=f(y)x=f(y) and x=g(y)x=g(y) through a full turn. Then V=π∫cd[f(y)]2 dy−π∫cd[g(y)]2 dy=π∫cd([f(y)]2−[g(y)]2) dyV=\pi\int_c^d[f(y)]^2\,dy-\pi\int_c^d[g(y)]^2\,dy=\pi\int_c^d([f(y)]^2-[g(y)]^2)\,dy. The horizontal strip becomes an annular disc with thickness Δy\Delta y.

The Teacher’s closing summary is: for the x-axis use π∫y2 dx\pi\int y^2\,dx (or outer squared minus inner squared); for the y-axis use π∫x2 dy\pi\int x^2\,dy (or the corresponding difference); for other parallel lines, translate region and axis together. Rewrite the radius in the chosen integration variable before comparing inner and outer boundaries.