Search Loci: Convergence:
But when great and ingenious artists behold their so inept performances, not undeservedly do they ridicule the blindness of such men; since sane judgment abhors nothing so much as a picture perpetrated with no technical knowledge, although with plenty of care and diligence. Now the sole reason why painters of this sort are not aware of their own error is that they have not learnt Geometry, without which no one can either be or become an absolute artist; but the blame for this should be laid upon their masters, who are themselves ignorant of this art.
The Art of Measurement. 1525.
A Euclidean Approach to the FTC
A Euclidean-style Statement of the FTC
For us, the FTC is about a relation between a continuous function f(x) and its indefinite integral F(x) = òxx0 f(t) dt, so it may be surprising that Gregory was able to state the result without using the language of functions. The idea behind the alternative geometric approach is simply to focus on curves like those formed by the graphs of f(x) and F(x). In particular, instead of considering a function f(x) graphed on the x- and y-axes, suppose that OA and OB are line segments perpendicular to each other at the point O and that OFL is a curve that `passes the vertical line test', so that it can be thought of as formed by the graph of a function f(x). (Following the custom of many classical Euclidean geometers, Gregory denotes an arbitrary curve by three points chosen at random on the curve. Later on, these points will each take on a specific meaning.) Next, define another curve OEK point-wise as follows: at each point I on the line segment OA the length IK of the perpendicular line segment between OA and OEK is equal to the area of the curved region OFLI.
In modern terms, the curve OEK is the graph of F(x) = òx0f(t) dt. The FTC states that F¢(x) = f(x) for each x in the interval. Since F¢(x) is the slope of the tangent line to F(x) at x, in geometrical terms this is equivalent to saying that for any I on the line segment OA, if C is the point where the tangent line KC to the curve OEK at K intersects OA, then the slope IK/IC of this tangent line equals IL. The proof will be established by showing that this relation holds between the points C, K, and L.
Leahy, Andrew, "A Euclidean Approach to the FTC," Loci (September 2004), DOI: 10.4169/loci002156
Be the first to start a discussion about this article.