49
$\begingroup$

In the section establishing that integrals and derivatives are inverse to each other, James Stewart's Calculus textbook says (pp325--pp326, Sec.4.3, 8Ed):

When the French mathematician Gilles de Roberval first found the area under the sine and cosine curves in 1635, this was a very challenging problem that required a great deal of ingenuity. If we didn’t have the benefit of the Fundamental Theorem of Calculus, we would have to compute a difficult limit of sums using obscure trigonometric identities. It was even more difficult for Roberval because the apparatus of limits had not been invented in 1635.

I wonder how Gilles de Roberval did it. Wikipedia and MacTutor do not contain much info on that. How to apply the method of quadrature is exactly the real challenge I suppose.

This is mainly a history question, but I'm also curious as to how one would approach this in modern days. Thank you.

$\endgroup$
8
  • 1
    $\begingroup$ I wouldn't worry about it this time, but there is a specific history of math and science SE $\endgroup$
    – tox123
    Sep 18, 2016 at 16:26
  • 12
    $\begingroup$ There's a very easy way but it's not really mathematical. Chemists for years would plot a chart on a paper strip using instruments, cut out the curve, and weigh the piece cut out. They would also cut out a piece of known area of the same paper and weigh it. By establishing the weight per area they could covert between weight and area and back again. Of course, it's only as accurate as your method of charting, cutting skills, and weight measurement but it was still an excellent way to find the area under a curve. $\endgroup$
    – user370160
    Sep 18, 2016 at 20:37
  • $\begingroup$ Take a look at: A Century of Calculus, Part 1. The first article: Some Historical Notes on the Cycloid (E. A. Whitman). $\endgroup$
    – Red Banana
    Sep 18, 2016 at 22:30
  • $\begingroup$ @ColGraff oh yes, this is certainly good and important practical thinking. Thanks for reminding me this. $\endgroup$ Sep 19, 2016 at 1:03
  • 1
    $\begingroup$ @ColGraff, funny you should mention that... $\endgroup$ Oct 9, 2016 at 6:16

4 Answers 4

24
$\begingroup$

You can see Roberval's method in Seventeenth-Century Indivisibles Revisited, by Vincent Julien, pp. 192-194. Here is a link to the section in Google Books.

It's a complicated geometric argument, and I haven't worked through the details, but it doesn't look to me like it's the same as a Riemann sum. The proof seems to be based on constructing similar triangles with one infinitesimal side, within a circle.

$\endgroup$
3
  • 1
    $\begingroup$ Interesting book. In terms of the history this is exactly what I was looking for. Thanks a lot. $\endgroup$ Sep 18, 2016 at 14:41
  • $\begingroup$ Hope you don't mind that I transcribed the source you linked as a standalone answer. Indeed the geometric argument is complicated. Again, thank you for finding this book. $\endgroup$ Mar 16, 2018 at 2:10
  • $\begingroup$ @LeeDavidChungLin Thanks for your clear, detailed transcription and commentary. $\endgroup$ Mar 16, 2018 at 8:02
18
$\begingroup$

$\small\textit{Please reload the page at least once to allow the hyperlinks work properly.}$

In light of a recent discussion on meta regarding whether or not a short bibliographic answer is appropriate, I now put forth the supplement that makes this Q&A self-contained. For the record, in my opinion the answer by @Mitchell Spector is a legit answer.

Vincent Julien is the editor of the book Seventeenth-Century Indivisibles Revisited , and it seems that he also wrote pp.192~194 that is relevant to our discussion. It took a surprising amount of effort to understand his description (of how/why Roberval's derivation is valid).

Below is my translation of Julien's translation of Roberval's method.

The left figure below is Roberval's original diagram in Traité des Indivisibles, reprinted on p.193 in Julien' book. The right figure is my rendition of the left, somewhat exaggerated for clarity. I will follow Roberval's poor choice of labels.

Left: Roberval's original diagram.  Right: remake with GeoGebra.

Consider a circle with radius $r$. Draw the horizontal diameter $\overline{AB}$ so that there's the upper semicircle and the lower semicircle.

On the upper semicircle, select an arbitrary starting point $D$ (green) and an arbitrary end point $C$ (blue).

In our modern language, denote the (central) angles of these points as $\theta_D$ and $\theta_C$, where $0 < \theta_D < \theta_C < \pi$. The objective is to show $$ \int_{\theta_D}^{ \theta_C} \sin\theta \,\mathrm{d}\theta = \cos\theta_D - \cos\theta_C$$

Split the big arc $\widetilde{DC}$ into $n$ smaller arcs. Construct this common arc size as $\widetilde{A8}$, where point `$8$' (purple) is the right angle of the prototype triangle (thick dashed) $\triangle A8B$.

In our notation, this is equivalent to defining $$\widetilde{A8} \equiv r\Delta\theta~, \qquad \Delta\theta \equiv \frac{ \theta_c - \theta_d}n$$ This basic arc unit $\Delta\theta$ will be taken to the limit $n \to \infty$ to have a Riemann sum with $\Delta\theta \to \mathrm{d}\theta$.

To be explicit, the figure below is the drastically exaggerated diagram of such construct: $\widetilde{CG} = \widetilde{GH} = \cdots = \widetilde{LM} = \widetilde{MD} = \color{purple}{\widetilde{A8} = \Delta \theta}$

The points in the lower semicircle (left to right: $N,O,P,Q,R,S,T$) are mirror images of the points in the upper half ($C,G,H,I,L,M,D$), and the lines connecting them are vertical.

All the "sharp angles" are of the same size, because by construction they are inscribed angles of the same arc. All the triangles in the upper and lower half are similar to the prototype $\triangle A8B$. Namely, from left to right: $$\triangle 2EC \sim \triangle 2VO \sim\triangle 3VG \sim \triangle 3XP \sim \cdots \sim \triangle 7KM \sim \triangle 7FT \color{purple}{\sim \triangle A8B}$$

Exaggerated diagram of circle with many similar triangles

$\color{magenta}{\text{Given the construct above, here comes the derivation:}}$

\begin{align*} &\text{For the prototype:}\qquad \frac{ 2r }{ r\Delta\theta } = \frac{ \overline{AB} }{ \widetilde{8A} } = \frac{ \text{hypotenuse} }{ \text{tiny arc} } \approx \frac{ \text{long leg} }{ \text{tiny leg} }\\ &\begin{aligned} \text{For any triangle inside:}\qquad \frac{ \text{long leg} }{ \text{tiny leg} } &= \frac{ \text{vertical leg} }{ \text{horizontal leg} } \\ &= \frac{ | \text{sine} | }{ \text{horizontal segment along the diameter} } \end{aligned} \end{align*} Since the ratio "long leg/ tiny leg" is the same for each of the triangles inside ($\triangle 2EC \ldots \triangle 7FT$), we can add the numerators in each of the fractions together, divide this by the sum of the denominators, and still end up with the same ratio: \begin{align*} \frac{ 2r }{ r\Delta\theta } &\approx \frac{ \text{sum of lengths of upper and lower sines} }{ \text{ sum of legs} } \notag \\ &= \frac{ 2 \sum\text{upper sines} }{ \overline{EF} } \tag*{Eq.(1)} \label{Eq01} \end{align*}

On the other hand, we have an exact ratio from a totally separate consideration. $$ \frac{ r }{ r\Delta\theta } = \frac{ r }{ \widetilde{A8} } = \frac{ r }{ \widetilde{CG} } = \frac{ r }{ \widetilde{GH} } = \ldots \quad\qquad \text{$\because$ each arc is the same as $\widetilde{A8}$ by definition} $$ Again, the ratio remains the same when the numerators and denominators are summed respectively: $$ \frac{ r }{ r\Delta\theta } = \frac{ \sum r }{ \sum \text{arcs} } = \frac{ n \cdot r }{ \widetilde{CD} } \tag*{Eq.(2)} \label{Eq02} $$ Putting the approximation \ref{Eq01} and the exact \ref{Eq02} together we have $$ \frac{ \sum\text{upper sines} }{ \overline{EF} } \approx \frac{ r }{ r\Delta\theta } = \frac{ nr }{ \widetilde{CD} } \qquad \implies \quad \frac{ \sum\text{upper sines} }{ nr } \approx \frac{ \overline{EF} }{ \widetilde{CD} } \tag*{Eq.(3)} \label{Eq03} $$ As quoted by Julien, Roberval basically stopped here.

In modern notation, we have $\overline{EF} = r | \cos\theta_c - \cos\theta_d |~$ and $~\widetilde{CD} = r(\theta_c - \theta_d)$, and \ref{Eq03} can be rewritten into the desired familiar form: \begin{align*} &\frac{ \sum\text{upper sines} \cdot (\theta_c - \theta_d ) / n }{ r (\theta_c - \theta_d) } \approx \frac{ EF }{ \widetilde{CD} } = \frac{ -r ( \cos\theta_c - \cos\theta_d ) }{ r(\theta_c - \theta_d) } \\ &\implies \sum \mathrm{sine} \cdot \Delta\theta \approx -r ( \cos\theta_c - \cos\theta_d ) \end{align*}

This is where Vincent Julien confirmed on p.194 that "the claim is valid", referring to an earlier work by another historian named Walker stating that Roberval derived $\int \sin\theta \,\mathrm{d}\theta = - \cos\theta$.

My Personal Comment on Roberval's Derivation

Note that in Roberval's work:

  1. There's no notion of circular arc as a function $y = f(x)=\sqrt{r^2 - x^2}$
  2. There's no notion of sine as a function of the angle $f(\theta)=\sin\theta$. Namely, no such thing as a "sinusoidal curve", let alone the "area under the curve".
  3. Actually there's no explicitly use of the (central) angle $\theta$ and the origin (center of circle).
  4. There's not even the notion of area as the product of two quantities that are geometrically perpendicular: height (sine) and width ($\Delta\theta$).
  5. It seems like magic (geometrically unmotivated) to arrive at the punch line expression \ref{Eq03} by swapping $\overline{EF}$ as the denominator on the left and $nr$ as numerator on the right.

It can be argued that Roberval got lucky (perhaps the same can be said about some other works of quadrature throughout the centuries) when he was summing the sines, that he somehow was taking the correct combination of arguments for the "sine as a curve". That is, he unintentionally arrived at the multiplication of two quantities that are "functionally orthogonal" and not oblique.

I guess Roberval's brilliance is that, even though he was operating under a framework totally different from "functions" etc and Fundamental Theorem of Calculus, he recognized the importance of this particular result (among the various stuff that came out when playing around with the geometry).

$\endgroup$
17
$\begingroup$

Let us show that $$ I(a,b)=\int_{a}^{b}\cos(x)\,dx = \sin(b)-\sin(a) \tag{1}$$ through Riemann sums. We have to compute: $$ \lim_{n\to +\infty}\frac{b-a}{n}\sum_{k=1}^{n}\cos\left(a+\frac{(b-a)k}{n}\right) \tag{2}$$ but the RHS of $(2)$ is a telescopic sum in disguise, hence $(1)$ boils down to proving $$ \lim_{n\to +\infty}\frac{(b-a)}{n}\,\cos\left(\frac{(b-a)+(a+b) n}{2 n}\right)\frac{\sin\left(\frac{b-a}{2}\right)}{\sin\left(\frac{b-a}{2 n}\right)}=\sin(b)-\sin(a)\tag{3}$$ which is not that difficult. This is my guess on de Roberval's method.

$\endgroup$
7
  • 5
    $\begingroup$ This is a plausible guess only if the scenario was: no Fundamental theorem calculus, but limits are known. Am I right? $\endgroup$
    – Priyatham
    Sep 18, 2016 at 14:30
  • $\begingroup$ @Priyatham: exactly. $\endgroup$ Sep 18, 2016 at 14:33
  • 2
    $\begingroup$ Wow I'm totally schooled and this telescoping sum is amazing! I should read more posts ha : ) $\endgroup$ Sep 18, 2016 at 14:35
  • $\begingroup$ This is a very nice argument, but I'm not convinced it's equivalent to Roberval's. Maybe it is the same, but it's not obvious to me, skimming through Roberval's proof. Look at the link in my answer. $\endgroup$ Sep 18, 2016 at 14:39
  • 1
    $\begingroup$ I applaud this answer nonetheless. Unique in my book. $\endgroup$ Sep 19, 2016 at 12:36
8
$\begingroup$

Well, if you have an accurate scale handy...

  1. Cut out 1 square centimeter of paper and weigh it
  2. Draw or print the curve accurately on the same kind of paper
  3. Cut away the area above the curve for positive areas, and below the curve for negative areas
  4. Weigh the curve, then convert the mass to square centimeters using your measurement in the first step.
$\endgroup$
3
  • 2
    $\begingroup$ Not really a math answer, but I like it anyways. A better way is to use a "planimeter". A tool to measure surface areas from a more civilized time. $\endgroup$
    – user125313
    Sep 18, 2016 at 22:06
  • 1
    $\begingroup$ Amusing. +1 $\,$ $\endgroup$ Sep 18, 2016 at 23:17
  • 1
    $\begingroup$ Useful input. Thanks. Some guy mentioned about the same time that it was `chemists' who practice this routine. I guess I can benefit from learning this kind of experimental/engineering (?) thinking, to solve a problem with different angles. $\endgroup$ Sep 19, 2016 at 1:24

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.