Difference between revisions of "The Logarithms, Its Discovery and Development"
Line 24: | Line 24: | ||
[[Image:Ancientsine.png|center|400px]] | [[Image:Ancientsine.png|center|400px]] | ||
− | Note that Sine was not defined as the ratio of opposite over hypotenuse as we know it today. It was defined as the length of that semi-chord of a circle of given radius which subtends the angle at the center. Refer to the diagram above, AB is the cord and AC is the semi-cord and we have the relation <math>AC = sin \frac {\theta}{2}</math>. Napier took the radius to be <math>10^7</math> units and thus <math>\sin 0^\circ = 0</math> and <math>\sin 90^\circ = 10^7</math>, a result we are all familiar with. | + | Note that Sine was not defined as the ratio of opposite over hypotenuse as we know it today. It was defined as the length of that semi-chord of a circle of given radius which subtends the angle at the center. Refer to the diagram above, <math>AB</math> is the cord and <math>AC</math> is the semi-cord and we have the relation <math>AC = sin \frac {\theta}{2}</math>. Napier took the radius to be <math>10^7</math> units and thus <math>\sin 0^\circ = 0</math> and <math>\sin 90^\circ = 10^7</math>, a result we are all familiar with. |
===Arithmetic Progression, Geometric Progression and Napier Logarithms=== | ===Arithmetic Progression, Geometric Progression and Napier Logarithms=== | ||
Line 42: | Line 42: | ||
<blockquote> | <blockquote> | ||
{{{!}} | {{{!}} | ||
− | {{!}}''Article 23. To increase arithmetically is, in equal times, to be augmented by a quantity always the same. | + | {{!}}'''''Article 23. To increase arithmetically is, in equal times, to be augmented by a quantity always the same. |
{{!}}- | {{!}}- | ||
− | {{!}}''Article 24. To decrease geometrically is this, that in equal times, first the whole quantity then each of its successive remainders is diminished , always by a like proportional part. | + | {{!}}'''''Article 24. To decrease geometrically is this, that in equal times, first the whole quantity then each of its successive remainders is diminished , always by a like proportional part. |
{{!}}- | {{!}}- | ||
− | {{!}}''Article 25. Whence a geometrically moving point approaching a fixed one has its velocities proportionate to its distances from the fixed one. | + | {{!}}'''''Article 25. Whence a geometrically moving point approaching a fixed one has its velocities proportionate to its distances from the fixed one. |
{{!}}- | {{!}}- | ||
− | {{!}}''Article 26. The logarithms of a given sine is that number which has increased arithmetically with the same velocity throughout as that with which radius began to decrease geometrically, and in the same time as radius has decreased to the given sine. | + | {{!}}'''''Article 26. The logarithms of a given sine is that number which has increased arithmetically with the same velocity throughout as that with which radius began to decrease geometrically, and in the same time as radius has decreased to the given sine. |
{{!}}} | {{!}}} | ||
</blockquote> | </blockquote> | ||
Line 54: | Line 54: | ||
[[Image:23.png|center|800px]] | [[Image:23.png|center|800px]] | ||
− | ''Article 23'' means that if we have a point moving with constant velocity, <math>v</math>, then in equal time interval, <math>t</math>, it will move equal amount of distance. Refer to the diagram above. <math>AB=BC=CD=DE=EF=vt</math> and hence, the lengths AB,AC,AD,AE,AF...form an arithmetic series. | + | '''''Article 23''''' means that if we have a point moving with constant velocity, <math>v</math>, then in equal time interval, <math>t</math>, it will move equal amount of distance. Refer to the diagram above. <math>AB=BC=CD=DE=EF=vt</math> and hence, the lengths <math>AB,AC,AD,AE,AF...</math> form an arithmetic series. |
Line 60: | Line 60: | ||
[[Image:24.png|center|800px]] | [[Image:24.png|center|800px]] | ||
− | ''Article 24'' means that if we have a distance of <math>TS=10^7</math> and a point moving in such a way that in equal time interval, <math>t</math>, it will move a distance that is of a fixed portion of the distance the point has yet to travel. Say we choose that constant portion as <math>\frac {1}{8}</math> and refer to the diagram above. <math>\frac {TG}{TS}=\frac {GH}{GS}=\frac {HI}{HS}=\frac {IJ}{IS}=\frac {1}{8}</math>. As a result, the lengths <math>TS,GS,HS,IS,JS...</math>form a decreasing geometric series. | + | '''''Article 24''''' means that if we have a distance of <math>TS=10^7</math> and a point moving in such a way that in equal time interval, <math>t</math>, it will move a distance that is of a fixed portion of the distance the point has yet to travel. Say we choose that constant portion as <math>\frac {1}{8}</math> and refer to the diagram above. <math>\frac {TG}{TS}=\frac {GH}{GS}=\frac {HI}{HS}=\frac {IJ}{IS}=\frac {1}{8}</math>. As a result, the lengths <math>TS,GS,HS,IS,JS...</math>form a decreasing geometric series. |
− | ''Article 25'' needs a leap in the understanding. JN claimed that the ratio between successive velocities of the particle at T,G,H,I,J...are the same as the successive distances that the particle has yet to travel, i.e. <math>\frac {v_T}{v_G}=\frac {v_G}{v_H}=\frac {v_H}{v_I}=\frac {v_I}{v_J}=\frac {TS}{GS}=\frac {GS}{HS}=\frac {HS}{IS}=\frac {IS}{JS}</math>. How so | + | '''''Article 25''''' needs a leap in the understanding. JN claimed that the ratio between successive velocities of the particle at <math>T,G,H,I,J...</math> are the same as the successive distances that the particle has yet to travel, i.e. <math>\frac {v_T}{v_G}=\frac {v_G}{v_H}=\frac {v_H}{v_I}=\frac {v_I}{v_J}=\frac {TS}{GS}=\frac {GS}{HS}=\frac {HS}{IS}=\frac {IS}{JS}</math>. How so? This is JN's argument. |
− | <blockquote>''For we observe that a moving point is declared more or less swift, according as it is seen to be borne over a greater or less space in equal times. Hence the ratio of the spaces traversed is necessarily the same as that of the velocities. But the ratio of the spaces traversed in equal times, T1,12,23,34,45,&c (we used TG,GH,HI,IJ), is that of the distances TS,1S,2S,3S,4S,&c(we used TS,GS,HS,IS,JS). Hence it follows that the ratio to one another of the distances of G (the particle) from S, namely TS,1S,2S,3S,4S,&c., is the same as that of the velocities of G at the points T,1,2,3,4,&c.,respectively.' | + | <blockquote>'''''For we observe that a moving point is declared more or less swift, according as it is seen to be borne over a greater or less space in equal times. Hence the ratio of the spaces traversed is necessarily the same as that of the velocities. But the ratio of the spaces traversed in equal times, T1,12,23,34,45,&c (we used TG,GH,HI,IJ), is that of the distances TS,1S,2S,3S,4S,&c(we used TS,GS,HS,IS,JS). Hence it follows that the ratio to one another of the distances of G (the particle) from S, namely TS,1S,2S,3S,4S,&c., is the same as that of the velocities of G at the points T,1,2,3,4,&c.,respectively.'''''</blockquote> |
− | |||
− | |||
+ | In notation language, he means that | ||
+ | {{{!}} | ||
+ | {{!}}since <math>\frac {v_T}{v_G}=\frac {v_G}{v_H}=\frac {v_H}{v_I}=\frac {v_I}{v_J}=\frac {TG}{GH}=\frac {GH}{HI}=\frac {HI}{IJ} \cdots\cdots Eqt1</math>, | ||
+ | {{!}}- | ||
+ | {{!}}and also <math>\frac {TS}{GS}=\frac {GS}{HS}=\frac {HS}{IS}=\frac {IS}{JS} \cdots\cdots Eqt2</math>. | ||
+ | {{!}}- | ||
+ | {{!}}Therefore, <math>\frac {v_T}{v_G}=\frac {v_G}{v_H}=\frac {v_H}{v_I}=\frac {v_I}{v_J} = \frac {TS}{GS}=\frac {GS}{HS}=\frac {HS}{IS}=\frac {IS}{JS} \cdots\cdots Eqt3</math>. | ||
+ | {{!}}} | ||
+ | <math>Eqt2</math> is an easy argument to buy. Using the results from '''''Article 24''''', both sides of <math>Eqt2</math> equals <math>\frac {8}{7}</math>. <math>Eqt1</math> is an argument that is difficult to understanding. It is correct to say that in equal time interval, a particle with higher velocity will have a larger displacement compared to the particle with lower velocity and hence the ratio of the displacements will be equal to the ratio of the velocities. But the velocity of the particle on the line <math>TS</math> changes constantly and how can we compare then? As a matter of fact, JN did not prove that because calculus was not invented yet and intuitively assumed the validity of his argument. <font color=red> How can we use calculus to do this? </font> | ||
[[Image:Logdef.png|center|800px]] | [[Image:Logdef.png|center|800px]] | ||
− | ''Article 26'' gives the definition of Napier's logarithm. Say we have two particles moving in the ways stipulated by ''Article 23'' and ''Article 24''. At point <math>A</math> and point <math>T</math>, the two particles have the same velocities. In a certain time period, particle <math>\alpha</math> has moved to point <math>B</math> and <math>\beta</math> has moved to point <math>G</math>. Hence <math>Nap \log GS=AB</math>. As a result, <math>Nap \log 10^7=0</math> which is the result from ''Article 27''. | + | '''''Article 26''''' gives the definition of Napier's logarithm. Say we have two particles moving in the ways stipulated by '''''Article 23''''' and '''''Article 24'''''. At point <math>A</math> and point <math>T</math>, the two particles have the same velocities. In a certain time period, particle <math>\alpha</math> has moved to point <math>B</math> and <math>\beta</math> has moved to point <math>G</math>. Hence <math>Nap \log GS=AB</math>. As a result, <math>Nap \log 10^7=0</math> which is the result from '''''Article 27'''''. Using calculus, if <math>x=GS</math>, we have <math>{\operatorname{d}x\over\operatorname{d}t}=-\frac{vx}{10^7}</math>, where <math>v</math> denotes the velocities of <math>\alpha</math> and <math>\beta</math> at <math>A</math> and <math>T</math>; and if <math>y = AB</math>, <math>{\operatorname{d}y\over\operatorname{d}t}=v</math>; thus <math>{\operatorname{d}y\over\operatorname{d}x}=-\frac{10^7}{x}</math>. Hence, <math>y=-10^7 \ln x+c</math> where <math>c</math> is a constant. <font color=red>I have questions about this. I got is from a book.</font> |
− | |||
− | |||
===The limits of a logarithm=== | ===The limits of a logarithm=== | ||
Having defined what logarithm is, JN still have no method to approximate with accuracy the values them. However, with his great intuition and ingenuity, he proposed that, | Having defined what logarithm is, JN still have no method to approximate with accuracy the values them. However, with his great intuition and ingenuity, he proposed that, | ||
− | <blockquote>''Article 28. Whence also it follows that the logarithms of any given sine is greater than the difference between radius and the given sine, and less than the difference between radius and the quantity which exceeds it in the ratio of radius to the given sine. And these differences are therefore called the limits of the logarithms.''</blockquote> | + | <blockquote>'''''Article 28. Whence also it follows that the logarithms of any given sine is greater than the difference between radius and the given sine, and less than the difference between radius and the quantity which exceeds it in the ratio of radius to the given sine. And these differences are therefore called the limits of the logarithms.'''''</blockquote> |
Line 97: | Line 102: | ||
|e3r=\frac {(TS)^2}{GS} | |e3r=\frac {(TS)^2}{GS} | ||
|e4l=NT | |e4l=NT | ||
− | |e4r=\frac {(TS)^2}{GS}-TS | + | |e4r=\frac {(TS)^2}{GS}-TS |
− | + | </template> | |
− | + | Therefore <math>NT=\frac {(10^7)^2}{x}-10^7</math> | |
− | + | ||
Now we have the limits that JN proposed <math>10^7-x<Nap \log x< \frac {(10^7)^2}{x}-10^7</math>. Furthermore, JN proposed that, | Now we have the limits that JN proposed <math>10^7-x<Nap \log x< \frac {(10^7)^2}{x}-10^7</math>. Furthermore, JN proposed that, | ||
− | <blockquote>''Article 39. The difference of the logarithms of two sines lies between two limits; the greater limit being to radius as the difference of the sines to the less sine, and the less limit being to radius as the difference of the sines to the greater sine.''</blockquote> | + | <blockquote>'''''Article 39. The difference of the logarithms of two sines lies between two limits; the greater limit being to radius as the difference of the sines to the less sine, and the less limit being to radius as the difference of the sines to the greater sine.'''''</blockquote> |
[[Image:Differencelimits.png|center|800px]] | [[Image:Differencelimits.png|center|800px]] | ||
− | Why is that? JN used the same geometric argument. Say we still have TS as the radius of <math>10^7</math> and let <math>BS=x</math> and <math>CS=y</math> where <math>x>y</math>. Now suppose we have a point, V, on the left of T such that <math>\frac {TS}{TV}=\frac{CS}{BC} \cdots \cdots Eqt4</math>. Furthermore, let there be a point, A, on the right of T such that <math>\frac {TS}{TA}=\frac {BS}{BC}</math>. Now, two simple conclusions follow which are <math>\frac {VS}{TS}=\frac {TS}{AS}</math> and <math>\frac {TS}{AS}=\frac {BS}{CS}</math>. | + | Why is that? JN used the same geometric argument. Say we still have <math>TS</math> as the radius of <math>10^7</math> and let <math>BS=x</math> and <math>CS=y</math> where <math>x>y</math>. Now suppose we have a point, <math>V</math>, on the left of <math>T</math> such that <math>\frac {TS}{TV}=\frac{CS}{BC} \cdots \cdots Eqt4</math>. Furthermore, let there be a point, <math>A</math>, on the right of T such that <math>\frac {TS}{TA}=\frac {BS}{BC}</math>. |
+ | |||
+ | |||
+ | Now, two simple conclusions follow which are <math>\frac {VS}{TS}=\frac {TS}{AS}</math> and <math>\frac {TS}{AS}=\frac {BS}{CS}</math>. As a result, <math>Nap \log CS - Nap \log BS = Nap \log AS - Nap \log TS</math>. Since <math>Nap \log TS = 0</math>, then <math>Nap \log y - Nap \log x = Nap \log AS</math>. Then the argument comes full circle as we know that <math>TA < Nap \log AS < VT</math> and what are <math>TA</math> and <math>VT</math> but <math>TS \frac {BC}{BS}</math> and <math>TS \frac {BC}{CS}</math>! In all, <math>10^7\frac {x-y}{x}<Nap \log y - Nap \log x<10^7\frac {x-y}{y}</math>. | ||
+ | |||
As of now, we have three important conclusions, | As of now, we have three important conclusions, | ||
Line 122: | Line 131: | ||
</blockquote> | </blockquote> | ||
+ | Now we take a break and play with some three tables. | ||
+ | |||
+ | {{{!}} class="wikitable" border="1" cellpadding="20" cellspacing="0" | ||
+ | {{!}}+Table 1 | ||
+ | {{!}}<math>10^7</math> | ||
+ | {{!}}- | ||
+ | {{!}} | ||
+ | {{!}}- | ||
+ | {{!}} | ||
+ | {{!}}} | ||
==Henry Briggs and the Logarithms to the Base 10== | ==Henry Briggs and the Logarithms to the Base 10== |
Revision as of 10:55, 6 July 2010
Two Pages from John Napier's Logarithmic Table |
---|
Two Pages from John Napier's Logarithmic Table
- These are the two pages from John Napier's original Mirifici logarithmorum cannonis descriptio (The Description of the Wonderful Canon of Logarithms) which started with the following
which is translated intoHic liber est minimus, si spectes verba, sed usum. Sid spectes, Lector, maximus hic liber est. Disce, scies parvo tantum debere libello. Te, quantum magnis mille voluminibus.
The use of this book is quite large, my dear friend. No matter how modest it looks, You study it carefully and find that it gives As much as a thousand big books.
Contents
Basic Description
During the initial creation of the page Logarithmic Scale and the Slide Rule, I found a very thin but immensely interesting volume, John Napier and the Invention of Logarithms, 1614 --- A Lecture, by Ernest William Hobson. Fascinated by logarithm's history and its subsequent development into what we know today, I decided to have a separate page dedicated to explaining and imparting this knowledge, not only for my own learning but also for the learning of others. The book was a very concise and succinct volume that presented how John Napier delivered his original ideas. It was absolutely a pleasure to read because it translated Napier's arguments and thoughts into relatively modern mathematical symbols and notations and at the same time preserved and revealed Napier's ingenuity. Much of the ideas here are from the above mentioned book, another wonderful book by Lancelot Hogben, Mathematics for the Million: How to Master the Magic of Numbers and a relatively modern translation of the Mirifici Logarithmorum Canonis Constructio (The Construction of the Wonderful Canon of Logarithms). In addition, I have supplied some additional proofs and necessary information to aid understanding. Though a thorough understanding of the original publication requires some careful thoughts and deliberate ruminations, in the end, you will find that you will appreciate logarithms a lot more than you did before.
As you can see, the logarithms given in the tables are those of the sines of asgles from to at intervals of one minute, to seven or eight figures. The table is arranged semi-quadrantlly, so that the logarithms of the sine and the cosine of an angle appear on the same line, their difference being given in the table of differentials which thus forms a table of logarithmic tangents. Why? Well and taking logarithms of both sides we will have = . So, the difference forms the logarithmic tangents. Therefore, it is safe to assume that he invented logarithms to aid calculation in astronomy and geometry (in Descriptio, he gave the application of logarithms in solution of plane and spherical triangles).
A More Mathematical Explanation
- Note: understanding of this explanation requires: *A little Algebra and Kinematics
Introduction: Why is John Napier's Discovery so Extraordinary ?
Today, we regard taking logarith [...]Introduction: Why is John Napier's Discovery so Extraordinary ?
Today, we regard taking logarithms as nothing but the inverse of calculating exponential. i.e. obtaining knowing . It seems that taking logarithms is as natural as operations involving indices. Just punch the calculator and we can have the answer. What if we don't have a calculator? How would you calculate ? Apparently, the definition of logarithms is a lot easier than it real calculation. Taking the argument further, what if you are neither aware of the notion of index as we now accept as a basic algebraic operation nor the exponential notation? Not only that, what if the decimal notation was not even in use? How would you even come up with the definition and a table of logarithms. Well, it is impossible you would say because what we take to be facts and the basics were even available. It is like trying to calculus before we even know how to add and subtract. Well those were the narrowness of the means available to John Napier who predated Isaac Newton and Leibniz so calculus and subsequently calculation by means of infinite series were not available him as well. While these obstacles in mathematics were daunting enough, those in society were even greater. The period from 16th to early 17th century was full of transformation and turmoil in religion and politics of the British Islands. In spite of all those difficulties, Napier had accomplished what few even in better condition could not have accomplished.
Seeing there is nothing that is so troublesome to mathematical practice, nor that doth more molest and hinder calculators, than the multiplications, divisions, square and cubical extractions of great numbers ... I began therefore to consider in my mind by what certain and ready art I might remove those hindrances. --- Descriptio
Napier published the Descriptio in 1614 which did not contain an account of the methods by which the "wonderful canon" was constructed. It was not until after his death, Constructio was published by his son Robert Napier in 1619. In the forward by him, it was mentioned that Constructio was actually written before the Descriptio.
John Napier's Mirifici Logarithmorum Canonis Constructio and a Step-by-Step Explanation
A Definition of Sine We Don't Know
Note that Sine was not defined as the ratio of opposite over hypotenuse as we know it today. It was defined as the length of that semi-chord of a circle of given radius which subtends the angle at the center. Refer to the diagram above, is the cord and is the semi-cord and we have the relation . Napier took the radius to be units and thus and , a result we are all familiar with.
Arithmetic Progression, Geometric Progression and Napier Logarithms
As mentioned earlier, JN's conception of logarithms was not that of the clearly exact reserve process of taking exponential. However, people are familiar with two series, the arithmetic and geometric progressions. In an arithmetic progression, consecutive numbers differ by a constant amount. For example, 1,2,3,4,5....... In a geometric progression, consecutive numbers are of the same ratio. For example, 2,4,8,16,32....... The faster of you lot will realize that for a number, say 2, its consecutive exponentials are geometric while the powers are arithmetic.
Arithmetic | 1 | 2 | 3 | 4 | 5 | 6 | ... | Logarithms |
---|---|---|---|---|---|---|---|---|
... | ||||||||
Geometric | 2 | 4 | 8 | 16 | 32 | 64 | ... | Antilogarithms |
You should have realized that multiplication and division done in the geometric series can be translated into addition and subtraction in the arithmetic series. For example, we want to calculate . We go up to find the number that corresponds to 4 and that corresponds to 16 on the first row of the table above, which are 2 and 4, and add them together, which gives up 6, and then come down to find the answer directly below, which is 64. This operation is a direct result of which JN did not explicitly know. Instead, he ingeniously defined logarithms in terms of the continuous motions of two particles. Below is how he defined it originally. He presented his argument in separate articles.
Article 23. To increase arithmetically is, in equal times, to be augmented by a quantity always the same. Article 24. To decrease geometrically is this, that in equal times, first the whole quantity then each of its successive remainders is diminished , always by a like proportional part. Article 25. Whence a geometrically moving point approaching a fixed one has its velocities proportionate to its distances from the fixed one. Article 26. The logarithms of a given sine is that number which has increased arithmetically with the same velocity throughout as that with which radius began to decrease geometrically, and in the same time as radius has decreased to the given sine.
Article 23 means that if we have a point moving with constant velocity, , then in equal time interval, , it will move equal amount of distance. Refer to the diagram above. and hence, the lengths form an arithmetic series.
Article 24 means that if we have a distance of and a point moving in such a way that in equal time interval, , it will move a distance that is of a fixed portion of the distance the point has yet to travel. Say we choose that constant portion as and refer to the diagram above. . As a result, the lengths form a decreasing geometric series.
Article 25 needs a leap in the understanding. JN claimed that the ratio between successive velocities of the particle at are the same as the successive distances that the particle has yet to travel, i.e. . How so? This is JN's argument.
For we observe that a moving point is declared more or less swift, according as it is seen to be borne over a greater or less space in equal times. Hence the ratio of the spaces traversed is necessarily the same as that of the velocities. But the ratio of the spaces traversed in equal times, T1,12,23,34,45,&c (we used TG,GH,HI,IJ), is that of the distances TS,1S,2S,3S,4S,&c(we used TS,GS,HS,IS,JS). Hence it follows that the ratio to one another of the distances of G (the particle) from S, namely TS,1S,2S,3S,4S,&c., is the same as that of the velocities of G at the points T,1,2,3,4,&c.,respectively.
In notation language, he means that
since , |
and also . |
Therefore, . |
is an easy argument to buy. Using the results from Article 24, both sides of equals . is an argument that is difficult to understanding. It is correct to say that in equal time interval, a particle with higher velocity will have a larger displacement compared to the particle with lower velocity and hence the ratio of the displacements will be equal to the ratio of the velocities. But the velocity of the particle on the line changes constantly and how can we compare then? As a matter of fact, JN did not prove that because calculus was not invented yet and intuitively assumed the validity of his argument. How can we use calculus to do this?
Article 26 gives the definition of Napier's logarithm. Say we have two particles moving in the ways stipulated by Article 23 and Article 24. At point and point , the two particles have the same velocities. In a certain time period, particle has moved to point and has moved to point . Hence . As a result, which is the result from Article 27. Using calculus, if , we have , where denotes the velocities of and at and ; and if , ; thus . Hence, where is a constant. I have questions about this. I got is from a book.
The limits of a logarithm
Having defined what logarithm is, JN still have no method to approximate with accuracy the values them. However, with his great intuition and ingenuity, he proposed that,
Article 28. Whence also it follows that the logarithms of any given sine is greater than the difference between radius and the given sine, and less than the difference between radius and the quantity which exceeds it in the ratio of radius to the given sine. And these differences are therefore called the limits of the logarithms.
It is indeed a mouthful. This is how he thought about it. If the two particles have the same velocities at point and , then a certain moment later, say seconds, then since moves with constant velocity while is subjected to deceleration. What about seconds previously? Well, will be at with . On the other hand, will be at with I know this is obvious but why?
Given , we have by definition. We know that and . Therefore, . On the other hand we know that and as a result . How do we express in terms of and ? We go back to the original relation below. <template>AlignEquals
Teaching Materials
- There are currently no teaching materials for this page. Add teaching materials.
Related Links
Additional Resources
Leave a message on the discussion page by clicking the 'discussion' tab at the top of this image page.