|
|
OddCubeCase
Geometric Proof
In the previous article, A New Quadrature of
the Parabola, the area under the curve y = x2
was determined using nothing more than the algebra of polynomial
functions and the geometry of uniform scaling. No infinitesimals
or limits were required. In a similar fashion the area under the
cubic, y = x3, can be determined using
the same finite algebraic and geometric methods.
The Area Problem
Given a polynomial curve and an interval on the x-axis
determine the rectangle with area equal to the area between the
curve and the x-axis over the length of the interval.
In this article we offer a geometric proof for
the Area Problem in the case of a cubic. The strategy behind the
proof is simple.
 |
We consider a rectangle enclosing the
region under the curve given by y = x3.
This enclosing rectangle will be decomposed into three
parts: two "cubic" triangles and the gap
between the triangles. Unlike the case of the parabola we
establish the area of the gap directly in terms of the
area of the enclosing rectangle. We then determine the
area under the cubic as some fraction of the area of this
enclosing rectangle. We will label the following graphs
by the algebraic expressions describing them. For example
the first graph we will consider is denoted by Graph[R=2T+G].
|
 |
R = 2T
+ G
Consider the rectangle bounded
by the four lines x=0, y=0, x=b,
and y=b3. We want to determine
the area of the parabolic triangle lying within this
rectangle. We symbolize the area of this
"triangular" region by T. The area of
the enclosing rectangle (R) is equal to the area
of the two triangles (2T) plus the area of the gap
(G). |
 |
G
The area of the gap is
determined by the distance between its upper and lower
boundaries as pictured in Graph[R=2T+G].
This distance has a value zero in the lower left-hand
corner of the enclosing rectangle. It increases to three
quarters the height of the rectangle at the midpoint of
the base. The distance then diminishes to zero in the
upper right-hand corner of the rectangle. The function
just described defines a figure shaped like a hill. Since
the area of the gap only depends upon the distance
between its boundaries, the area of the hill is equal to
the area of the gap (G). Though we are considering
the area problem for the cubic the boundary of this hill
is, in this case too, quadratic. |
 |
(1/2)G
The hill is symmetric around the
midpoint of the base. Translating the hill to the left by
half the length of the base leaves the right half of the
hill within the enclosing rectangle. The area of this
figure is equal to half the area of the gap. |
 |
G = 2(1/2
G)
Horizontally scaling the half-hill by a
factor of 2 results in a figure with an area equal to
twice the area of the half-hill. Thus this figure has an
area equal to the area of the gap.
|
 |
(4/3)G = (2/3)R
Vertically scaling the figure in Graph[G=2(1/2
G)] by a factor of 4/3 results in a figure that
has an area that is two-thirds the area of the enclosing
rectangle. This is a result from the previous article, A
New Quadrature of the Parabola.
|
 |
G = ½ R
The area of the gap is thus some
fraction of the area of the rectangle. Since four-thirds
of this fraction must result in two-thirds of the
enclosing rectangle the fraction must be one-half.
Consequently the area of the gap is one-half the area of
the enclosing rectangle.
|
 |
(1/2)R
= 2T
The area of the other half of the
rectangle must be equal to the area of the two cubic
triangles.
|
 |
T = (1/4)R
Thus the area under the cubic is
one-fourth the area of the enclosing rectangle.
|
|