17

When proving them the "modern" way (from first principles) it seems impossible to get around proving the identities $$\lim_{x\to 0}\frac{\sin x}{x} = 1$$ and the related $\cos$ limit. This itself requires some geometric reasoning and uses the definition of radians that we have today.

But surely people knew that $(\sin \theta)'=\cos \theta$ and so forth long before limits came about. Is this just obvious? How would they have justified it?

  • Originally from https://math.stackexchange.com/questions/1561138/how-were-derivatives-of-trigonometric-functions-first-discovered-sin-theta. – HDE 226868 Dec 06 '15 at 14:07
  • Think about a triangle like $\angle$ and what $\sin$ actually is, the shape should be pretty obvious. The rate of change is easily visualised. What you're talking about is more real-analysis and there's a bit of background before that really. However you can use "small angle approximations" and note that when $x$ is small $\sin(x)$ is basically $x$, then you get $\frac{x}{x}=1$ - this is A-level style, not formal. As I said for formal you need real analysis and mathematical experience. –  Dec 05 '15 at 16:25
  • But how would they have justified the small angle approximation? Did they know and use it? Did they even use radians? I know how to formally prove it, that's not what I'm asking. I'm asking how it was originally discovered. –  Dec 05 '15 at 16:29
  • By thinking about a picture of a triangle in their heads. –  Dec 05 '15 at 16:32
  • I'm sort of looking for historical references :) –  Dec 05 '15 at 16:35
  • Yeah, did you try to find any? Kids are taught trig in year 9 here which is 15 years old and what the gradient of a line is, and what a tangent line is. Imagine a triangle in your head (a right angled one) like $\angle$ and now gradually increase the angle where the two drawn lines meet, For small angles it grows more slowly, but when it's nearly $90^\circ$ it grows VERY quickly for small angle changes, YOU'VE DISCOVERED $\tan$ - historical references for actual problems are worth it, but we can safely say that good old Pythagoras knew about this! I doubt anyone thought it worthy of report. –  Dec 05 '15 at 16:38
  • By "historical references for actual problems" I mean when experts started building on each others' work and such. I've been dealing with triangles since I started playing with Knex and could estimate what rod I'd need for certain angle changes (how many sizes up/down to go relative to $45^\circ$) - this isn't worthy of report. Just like the first guy to wonder how bike gears worked isn't. The bigger sprocket can pull more chain around, the little one takes less chain to do a rotation, not worthy of report. –  Dec 05 '15 at 16:42
  • @JoelReyesNoche Thanks, did that. I'll keep this one open to see if I get any bites. –  Dec 06 '15 at 02:15
  • 2
    If instead of radians we use some other units equal to $k$ radians, we just get $(\sin kx)' = k(\cos kx)'$, i.e. the instantaneous increase in the sine at a particular angle is a constant multiple of the cosine at that angle. And this specific fact was known to Manjula (around 932) and Aryabhata II (around 950) and explicitly given with geometric reasoning by Bhaskara II (around 1150) even before the general calculus or power series of Madhava (around 1500). See Indian Journal of the History of Science 19 (2): 95–104 (1984), "Use of Calculus in Hindu Mathematics" by Datta/Singh/Shukla. – ShreevatsaR Feb 21 '16 at 18:22

4 Answers4

12

Did you try looking in any books on the history of calculus? The following is taken from "The Historical Development of the Calculus" by C. H. Edwards (p. 205 ff).

The inverse sine function (for radian angles in the first quadrant) can be related to an area under an arc of the unit circle, which is $y = \sqrt{1-x^2}$ in the first quadrant. Newton knew from his discovery of the binomial expansion for rational exponents how to write $\sqrt{1-x^2}$ as a power series, which he could then integrate termwise. In this way he found the power series for $\arcsin x$. Then he inverted that series until he recognized the pattern to "establish" the power series of $\sin x$, from which he could find the power series for $\cos x$ as the series for $\sqrt{1-\sin^2x}$ with constant term $1$. From the power series expansions of $\sin x$ and $\cos x$ it is clear that $\sin'x = \cos x$.

The power series for $\sin x$ and $\cos x$ were known in India long before they were found by Newton. See https://en.m.wikipedia.org/wiki/Madhava_series.

While the power series formulas reveal the derivatives of the sine and cosine to us, it is not the case that Newton or Leibniz in the 1600s took this step. The trigonometric functions were not systematically thought of as functions to be graphed and have a derivative. Euler, in the 1700s, was the one who first incorporated the trigonometric functions into calculus. See "The calculus of the trigonometric functions" by Victor Katz, which is available online at http://ac.els-cdn.com/0315086087900644/1-s2.0-0315086087900644-main.pdf?_tid=a15b6d9e-9c37-11e5-b17b-00000aacb35e&acdnat=1449420025_6f4ed309a5aed67668cf37b14c276280.

KCd
  • 5,517
  • 19
  • 31
4

Knowledge of the specific fact that $(\sin x)' = \cos x$ actually predates the general knowledge of calculus and derivatives. It was known in the following form: that for very small $\Delta x$, when you increase $x$ to $x + \Delta x$, the increase in value of the sine, from $\sin x$ to $\sin (x + \Delta x)$, is proportional to $\Delta x$ times $\cos x$. In other words, that $$\frac{\sin (x + \Delta x) - \sin x}{\Delta x} \approx \cos x$$ The approximation being exact in the limit as $\Delta x \to 0$ is of course the modern definition of the derivative.

This happened historically in Indian mathematics, where Muñjala (around 932), Āryabhaṭa II (around 950), Prashastidhara (around 958) all give the above rule for calculating $\sin(x + \Delta x)$, and an explicit geometric reasoning / justification is given by Bhāskara II (around 1150) in his Siddhanta Shiromani. I have not found a perfectly good reference to these, but you can start with the following article:

  • Use of Calculus in Hindu Mathematics, by Bibhutibhusan Datta and Awadhesh Narayan Singh, revised by Kripa Shankar Shukla, Indian Journal of the History of Science, 19 (2): 95–104 (1984). (PDF)

It was first pointed out by Bapu Deva Shastri in Bhaskara's knowledge of the Differential Calculus, Journal of the Asiatic Society of Bengal, Volume 27, 1858, pp. 213–6.

ShreevatsaR
  • 858
  • 7
  • 7
  • 1
    I remember having seen a paper from Pascal explaining the concept of "triangle inassignable" (in english, approximately, "vanishing triangle"), which was more or less a rectangular triangle with sides dx, dy (I use notations that will appear some 60 years later than his writing). See on the web the paper (in French):La «géométrie calculante» de Pascal, dans le traité des sinus du quart de cercle et dans le traité des trilignes rectangles (by Merker, Université de Franche-Comté). – Jean Marie Becker Feb 24 '16 at 12:58
  • @JeanMarieBecker Thank you, that's intereresting (http://epiphymaths.univ-fcomte.fr/publications/Merker-Geometrie_calculante_de_Pascal.pdf). It will take me a bit of effort to go through the French, but it is not surprising that this sort of geometric reasoning for trigonometry predates (even by centuries) a general calculus of arbitrary functions. – ShreevatsaR Feb 24 '16 at 17:02
  • The URL for the lecture by Claude Merker has changed: now at http://epiphymaths.univ-fcomte.fr/seminaire/publications/Merker-Geometrie_calculante_de_Pascal.pdf – terry-s Nov 25 '18 at 10:10
2

Formally, $(\sin x)'=\cos x$ is true only if you measure x in radians. So you need to use radians for this fact anyway. If you will to ignore this, you can say that Euclid knew that the limit of $\frac{\sin x}{x}$ is 1, at least when $x=2\pi/n$ and $n\rightarrow \infty$. Of course Euclid did not use radians, sin and lim, but he proved that the difference between the area of a circle and the area of an inscribed right polygon will become arbitrarily small as number of sides becomes large (by method of exhaustion). The area of right n-gon inscribed in a circle of radius 1 is $\frac 12 n\sin (2\pi/n)$. So using our notation, we can say that Euclid proved that $$\lim_{ n\rightarrow \infty} \frac 12 n\sin (2\pi/n) = \pi.$$ This is equivalent to $$\lim_{n\rightarrow \infty}\frac{ \sin (2\pi/n)}{2\pi/n} = 1.$$ Btw, that was used by Archimed to estimate $\pi$: he approximated $\pi$ by area of 96-gon. That is, he calculated $\sin(2\pi/96)$ and used that $2\pi/96 >\sin(2\pi/96)$. And to prove the upper bound he used $x< \tan x$.

Alexei Kopylov
  • 883
  • 4
  • 6
0

I guess the initial discovery and subsequent justification may have been done just by trying some calculations, like below. Nowadays we can use Excel for this kind of investigation.

enter image description here

ramana_k
  • 141
  • 3
  • 1
    No, it is other way around. To do this calculation you need to know the value of $\pi$. But the value of $\pi$ was calculated using the formula $\sin(\pi/n)\approx \pi/n$ for some large $n$. See my answer. – Alexei Kopylov Jul 09 '20 at 17:52
  • Alexei, so your point is that in order to calculate Sin(x), we need to use the value of pi. But Sin(x) has been used historically to calculate pi thus making the definitions of Sin(x) and pi circular. Is that right? – ramana_k Jul 09 '20 at 23:04
  • No, you don't need to calculate pi to calculate six x. For example, you can calculate sin(30°) or sin(15°) without knowing what pi is. But if you want translate 15° to radians you need pi: 15°=pi/12. And you need to use radians to estimate that sin(x)/x ≈1. – Alexei Kopylov Jul 09 '20 at 23:48