Difference between revisions of "The Logarithms, Its Discovery and Development"

From Math Images
Jump to: navigation, search
m
 
(35 intermediate revisions by 3 users not shown)
Line 2: Line 2:
 
|ImageName=Two Pages from John Napier's Logarithmic Table
 
|ImageName=Two Pages from John Napier's Logarithmic Table
 
|Image=Napier logtable.jpg
 
|Image=Napier logtable.jpg
|ImageIntro=These are the two pages from John Napier's original '''''Mirifici logarithmorum cannonis descriptio''''' which started with the following <blockquote>''Hic 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.''</blockquote> which is translated into <blockquote>''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.'' </blockquote>
+
|ImageIntro=These are two pages from John Napier's original '''''Mirifici Logarithmorum Cannonis Descriptio (The Description of the Wonderful Canon of Logarithms)''''' which started with the following <blockquote>''Hic 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.''</blockquote> which translates into <blockquote>''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.''<ref>The MacTutor History of Mathematics archive, 2006</ref></blockquote>
|ImageDescElem=During the initial creation of the page [[Logarithmic Scale and the Slide Rule]], I have found a very thin but immensely interesting volume, [http://www.archive.org/details/johnnapierinvent00hobsiala ''John Napier and the Invention of Logarithms, 1614 --- A Lecture''], by [http://en.wikipedia.org/wiki/E._W._Hobson 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 is a very concise and succinct volume that presented how John Napier delivered his original ideas. It is an absolute 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, [http://books.google.com/books?id=0ms4xyvhxbQC&printsec=frontcover&dq=mathematics+for+the+million&source=bl&ots=kBvshhk9k6&sig=RQ1bJOSi1ByS_Ep-gpK6kSkG2_0&hl=en&ei=m5UbTMPeNML88AakvNijCQ&sa=X&oi=book_result&ct=result&resnum=4&ved=0CDIQ6AEwAw#v=onepage&q&f=false 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.
+
|ImageDescElem=During the initial creation of the page [[Logarithmic Scale and the Slide Rule]], I found a very thin but immensely interesting volume, [http://www.archive.org/details/johnnapierinvent00hobsiala ''John Napier and the Invention of Logarithms, 1614 --- A Lecture''], by [http://en.wikipedia.org/wiki/E._W._Hobson 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 some if John Napier's original key ideas. The book 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, [http://books.google.com/books?id=0ms4xyvhxbQC&printsec=frontcover&dq=mathematics+for+the+million&source=bl&ots=kBvshhk9k6&sig=RQ1bJOSi1ByS_Ep-gpK6kSkG2_0&hl=en&ei=m5UbTMPeNML88AakvNijCQ&sa=X&oi=book_result&ct=result&resnum=4&ved=0CDIQ6AEwAw#v=onepage&q&f=false 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 and like Napier said, "find that it gives as much as a thousand big books"
|ImageDesc===An Interesting Introduction==
 
  
As you can see, the logarithms given in the tables are those of the sines of asgles from <math>0^\circ</math> to <math>90^\circ</math> 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 <math>\tan \theta = \frac {\sin \theta}{\cos \theta}</math> and taking logarithms of both sides we will have <math>log \tan \theta</math> = <math>log \sin \theta - log \cos \theta</math>. 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 '''''Mirifici Logarithmorum Canonis Descriptio''''', he gave the application of logarithms in solution of plane and spherical triangles).
 
  
 +
As you can see, the logarithms given in the tables are those of the sines of angles from <math>0^\circ</math> to <math>90^\circ</math> 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 <math>\tan \theta = \frac {\sin \theta}{\cos \theta}</math> and taking logarithms of both sides we will have <math>\log \tan \theta</math> = <math>\log \sin \theta - \log \cos \theta</math>. So, the difference forms the logarithmic tangents. Therefore, it is safe to assume that Napier invented logarithms to aid calculation in astronomy and geometry (in '''''Descriptio''''', he gave the application of logarithms in solution of plane and spherical triangles).
  
  
Since people knew how to do <math>x^y</math> where <math>x,y \in \mathbb{R}</math>, it was natural for people to come up with an operation that tells us the power, knowing the base and the result, i.e. obtain <math>x</math> in <math>a^x=b</math>. The solution, of course, is <math>x=log_ab</math> as we know today.
+
=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 <math>x=\log_ab</math> knowing <math>a^x=b</math>. We learn how to take powers before learning how to operate with logarithms and how to differentiate before integrate because that is only natural. However, the order (which is best for understanding and learning) in which we learn mathematical knowledge is not necessarily the order in which they were discovered. That is why we still find JN's discovery as wonderful as it was some 396 years ago.
  
Today, we regard taking logarithms as nothing but the inverse of calculating exponential. i.e. <math>x=log_ab</math> knowing <math>a^x=b</math>. It seems that taking logarithms is as natural as operations involving indices. Then it should come at a huge surprise that at the time of Napier, the notion of index, in its generality, was no part of the stock of ideas of a mathematician, and that the exponential notation was not yet in use. In addition to that, Napier predated Isaac Newton and Leibniz so calculus and subsequently calculation by means of infinite series was not available him as well. It was with these difficulties that Napier invented and calculated the logarithms.
+
Consider the following questions: What if we don't have a calculator? How would you calculate <math>\log_57</math>? 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 popular use? Eventually, 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. 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.
  
 +
Towards the end of the sixteenth century, further progress of science was greatly impeded by the continually increasing complexity and labor of numerical calculation. Thus it was Napier's intention that <blockquote>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''''' </blockquote>
  
Napier published the '''''Mirifici Logarithmorum Canonis Descriptio (The Description of the Wonderful Canon of Logarithms)''''' 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, '''''Mirifici Logarithmorum Canonis Constructio (The Construction of the Wonderful Canon of Logarithms)''''' was published in 1619. It was later found out that the "Constructio" was written before the "Descriptio".
 
  
It should be noted that Napier did not try to obtain the logarithms of natural numbers. Instead, he was trying to obtain the logarithms of sines of angles. Note that Sine was not defined as the ratio 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. Hence we have the relation <math>crd \theta = 2sin \frac {\theta}{2}</math>. Napier took the radius to be <math>10^7</math> units. Therefore, Napier was actually looking for the logarithms of the numbers between <math>0</math> and <math>10^7</math>, not for equidistant numbers, but for the numbers corresponding to equidistant angles. It also should be observed that the logarithms  in Napier's table are not what we know under the name of natural logarithms. Therefore, to
+
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'''''.<ref>Macdonald, 1888, p. xi-xix</ref>
 +
 
 +
 
 +
=John Napier's '''''Mirifici Logarithmorum Canonis Constructio''''' and a Step-by-Step Explanation =
 +
 
 +
==A Definition of Sine We Don't Know==
 +
[[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, <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==
 +
 
 +
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.
 +
 
 +
{{{!}} class="wikitable" border="1" cellpadding="20" cellspacing="0"
 +
! Arithmetic  {{!}}{{!}} 1 {{!}}{{!}} 2 {{!}}{{!}} 3 {{!}}{{!}} 4 {{!}}{{!}} 5 {{!}}{{!}} 6 {{!}}{{!}} ...{{!}}{{!}} Logarithms
 +
{{!}}-
 +
{{!}}        {{!}}{{!}} <math>2^1</math> {{!}}{{!}} <math>2^2</math> {{!}}{{!}} <math>2^3</math> {{!}}{{!}} <math>2^4</math> {{!}}{{!}} <math>2^5</math> {{!}}{{!}} <math>2^6</math> {{!}}{{!}} ...{{!}}{{!}} 
 +
{{!}}-
 +
! 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 <math>4 \times 16</math>. 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 <math>2^a + a^b = 2 ^{a+b}</math> 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.
 +
 
 +
<blockquote>
 +
{{{!}}
 +
{{!}}'''''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.
 +
{{!}}}
 +
</blockquote>
 +
 
 +
[[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 <math>AB,AC,AD,AE,AF...</math> form an arithmetic series.
 +
 
 +
 
 +
 
 +
[[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 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>
 +
 
 +
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 </math>{{!}}{{!}}{{EquationRef2|Eqt. 1}},
 +
{{!}}-
 +
{{!}}and also <math>\frac {TS}{GS}=\frac {GS}{HS}=\frac {HS}{IS}=\frac {IS}{JS}\cdots \cdots</math>{{!}}{{!}}{{EquationRef2|Eqt. 2}}.
 +
{{!}}-
 +
{{!}}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</math>{{!}}{{!}}{{EquationRef2|Eqt. 3}}. 
 +
{{!}}}
 +
 
 +
{{EquationNote|Eqt. 2}} is an easy argument to buy. Using the results from '''''Article 24''''', both sides of {{EquationNote|Eqt. 2}} equals <math>\frac {8}{7}</math>. {{EquationNote|Eqt. 1}} 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]]
 +
'''''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.<ref>Hobson, 1914, p. 26</ref> I got is from a book.</font>
 +
 
 +
==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,
 +
 
 +
<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>
 +
 
 +
 
 +
[[Image:Loglimit.png|center|800px]]
 +
It is indeed a mouthful. This is how he thought about it. If the two particles have the same velocities at point <math>A</math> and <math>T</math>, then a certain moment later, say <math>t</math> seconds, then <math>AB>TG</math> since <math>\alpha</math> moves with constant velocity while <math>\beta</math> is subjected to deceleration. What about <math>t</math> seconds previously? Well, <math>\alpha</math> will be at <math>M</math> with <math>MA=AB</math>. On the other hand, <math>\beta</math> will be at <math>N</math> with <math>NT > MA</math> <font color=red>I know this is obvious but why?</font>
 +
 
 +
Given <math>GS=x</math>, we have <math>Nap \log x=AB</math> by definition. We know that <math>AB>TG</math> and <math>TG=10^7-x</math>. Therefore, <math>Nap \log x>10^7-x</math>. On the other hand we know that <math>AB=MA</math> and as a result <math>Nap \log x< NT</math>. How do we express <math>NT</math> in terms of <math>10^7</math> and <math>x</math>? We go back to the original relation below.
 +
<template>AlignEquals
 +
|e1l=\frac {NS}{TS}
 +
|e1r=\frac {TS}{GS}
 +
|e2l=\frac {NT+TS}{TS}
 +
|e2r=\frac {TS}{GS}
 +
|e3l=NT+TS
 +
|e3r=\frac {(TS)^2}{GS}
 +
|e4l=NT
 +
|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,
 +
 
 +
<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]]
 +
 
 +
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,
 +
<blockquote>
 +
{{{!}}
 +
{{!}}'''1. The definition of Napier's Logarithms{{!}}{{!}}
 +
{{!}}-
 +
{{!}}'''2. <math>10^7-x<Nap \log x< \frac {(10^7)^2}{x}-10^7</math>{{!}}{{!}}{{EquationRef2|Relation. 1}}     
 +
{{!}}-
 +
{{!}}'''3. <math>10^7\frac {x-y}{x}<Nap \log y - Nap \log x<10^7\frac {x-y}{y}</math> where <math>x>y</math>{{!}}{{!}}{{EquationRef2|Relation. 2}}
 +
{{!}}}
 +
</blockquote>
 +
 
 +
 
 +
==Numbers Which We Can Work With==
 +
Now we take a break and play with three tables that JN created. The first table is a 1 by 101 matrix, <math>A</math>, starting with <math>10^7</math> and each entry below is <math>1-\frac{1}{10^7}</math> of the previous entry. Thus we have the matrix below. The ratio of the last entry to the first, <math>10^7</math>, is approximately <math>1-\frac{1}{10^5}</math> by binomial expansion
 +
 
 +
 
 +
{{{!}} class="wikitable" border="1"
 +
{{!}}+'''Table 1'''
 +
{{!}}rowspan="8"{{!}}[[Image:Originaltable1 copy.png|200px]]<ref>Macdonald, 1888, p. 13</ref>{{!}}{{!}}<math>i=1...101</math>{{!}}{{!}}<math>10^7(1-\frac{1}{10^7})^{i-1}</math>
 +
{{!}}- 
 +
{{!}}<math>i=1</math>{{!}}{{!}}<math>10^7</math>
 +
{{!}}-
 +
{{!}}<math>i=2</math>{{!}}{{!}}<math>10^7(1-\frac{1}{10^7})=9999999</math>       
 +
{{!}}-
 +
{{!}}<math>i=3</math>{{!}}{{!}}<math>10^7(1-\frac{1}{10^7})^2=9999998.0000001</math>
 +
{{!}}-
 +
{{!}}<math>i=4</math>{{!}}{{!}}<math>10^7(1-\frac{1}{10^7})^3=9999997.00000029999999 \approx 9999997.0000003</math>
 +
{{!}}-
 +
{{!}}<math>i=5</math>{{!}}{{!}}<math>10^7(1-\frac{1}{10^7})^4=9999996.000000599999960000001 \approx 9999996.0000006</math>  
 +
{{!}}-
 +
{{!}}<math>i=...</math>{{!}}{{!}}<math>...</math>
 +
{{!}}-
 +
{{!}}<math>i=101</math>{{!}}{{!}}<math>10^7(1-\frac{1}{10^7})^{100} \approx 9999900.00049505</math>
 +
{{!}}}
 +
 
 +
 
 +
 
 +
The second table is a 1 by 51 matrix, <math>B</math>, with first entry <math>10^7</math> and subsequent ones <math>1-\frac{1}{10^5}</math> of the previous ones. The ratio of the last entry to the first,<math>10^7</math>, is <math>1-\frac {1}{2000}</math> approximately by binomial expansion.
 +
 
 +
 
 +
 
 +
{{{!}} class="wikitable" border="1"
 +
{{!}}+'''Table 2'''
 +
{{!}}rowspan="8"{{!}}[[Image:Originaltable2 copy.png|200px]]<ref>Macdonald, 1888, p. 13</ref>{{!}}{{!}}<math>i=1...51</math>{{!}}{{!}}<math>10^7(1-\frac{1}{10^5})^{i-1}</math>
 +
{{!}}- 
 +
{{!}}<math>i=1</math>{{!}}{{!}}<math>10^7</math>
 +
{{!}}-
 +
{{!}}<math>i=2</math>{{!}}{{!}}<math>10^7(1-\frac{1}{10^5})=9999900</math>       
 +
{{!}}-
 +
{{!}}<math>i=3</math>{{!}}{{!}}<math>10^7(1-\frac{1}{10^5})^2=9999800.001</math>
 +
{{!}}-
 +
{{!}}<math>i=4</math>{{!}}{{!}}<math>10^7(1-\frac{1}{10^5})^3=9999700.00299999 \approx 9999700.00300000</math>
 +
{{!}}-
 +
{{!}}<math>i=5</math>{{!}}{{!}}<math>10^7(1-\frac{1}{10^5})^4=9999600.0059999600001 \approx 9999600.00599996</math> 
 +
{{!}}-
 +
{{!}}<math>i=...</math>{{!}}{{!}}<math>...</math>
 +
{{!}}-
 +
{{!}}<math>i=51</math>{{!}}{{!}}<math>10^7(1-\frac{1}{10^5})^{50} \approx 9995001.22480404</math>
 +
{{!}}}
 +
 
 +
 
 +
The third table is a 21 by 69 matrix, <math>C</math>, with <math>C(1,1)=10^7</math>. Each subsequent entry in a row is <math>1-\frac {1}{100}</math> of the previous one. Each subsequent entry in a column is <math>1-\frac {1}{2000}</math> of the previous one. Thus the entry in <math>i^{th}</math> row and <math>j^{th}</math> column is <math>10^7(1-\frac {1}{100})^{j-1}(1-\frac {1}{2000})^{i-1}</math>. It is clear by now that Matrix <math>B</math> is the result of subdividing the difference between <math>C(1,1)</math> and <math>C(2,1)</math>, and Matrix <math>A</math> is the result of subdividing the difference between <math>B(1,1)</math> and <math>B(1,2)</math>.
 +
 
 +
 
 +
 
 +
 
 +
{{{!}} class="wikitable" border="1"
 +
{{!}}+'''Table 3'''
 +
{{!}}colspan="6"{{!}}[[Image:Table3 copy.png|800px]]<ref>Macdonald, 1888, p. 15-16</ref>
 +
{{!}}-
 +
{{!}}                {{!}}{{!}}<math>j=1</math>{{!}}{{!}}<math>j=2</math>{{!}}{{!}}<math>j=\cdots</math>{{!}}{{!}}<math>j=69</math>
 +
{{!}}- 
 +
{{!}}<math>i=1</math>{{!}}{{!}}<math>10^7</math>{{!}}{{!}}<math>9900000</math>{{!}}{{!}}<math>\cdots</math>{{!}}{{!}}<math>5048858.88787070</math> 
 +
{{!}}- 
 +
{{!}}<math>i=2</math>{{!}}{{!}}<math>9995000</math>{{!}}{{!}}<math>9895050</math> {{!}}{{!}}<math>\cdots</math>{{!}}{{!}}<math>5046334.45842676</math>
 +
{{!}}-
 +
{{!}}<math>i=3</math>{{!}}{{!}}<math>9990002.5</math>{{!}}{{!}}<math>9890102.475</math>{{!}}{{!}}<math>\cdots</math>{{!}}{{!}}<math>5043811.29119755</math>         
 +
{{!}}-
 +
{{!}}<math>i=4</math>{{!}}{{!}}<math>9985007.49875</math>{{!}}{{!}}<math>9885157.4237625</math>{{!}}{{!}}<math>\cdots</math>{{!}}{{!}}<math>5041289.38555195</math>
 +
{{!}}-
 +
{{!}}<math>i=5</math>{{!}}{{!}}<math>9980014.995000625</math>{{!}}{{!}}<math>9880214.84505061875</math>{{!}}{{!}}<math>\cdots</math>{{!}}{{!}}<math>5038768.74085917</math>
 +
{{!}}-
 +
{{!}}<math>i=\cdots</math>{{!}}{{!}}<math>\cdots</math>          {{!}}{{!}}<math>\cdots</math>            {{!}}{{!}}<math>\cdots</math>{{!}}{{!}}<math>\cdots</math>
 +
{{!}}-
 +
{{!}}<math>i=21</math>{{!}}{{!}}<math>9900473.57802330</math>{{!}}{{!}}<math>9801468.84224306</math>{{!}}{{!}}<math>\cdots</math>{{!}}{{!}}<math>4998609.40185319</math>
 +
{{!}}}
 +
 
 +
The above three tables were generated by Matlab. To see the complete table, download the plaint text [[Image:Tables.txt here]]. For Matlab M-script to generate your own table, click [[here]]. <font color=red> How can I upload a regular file and link it? </font>
 +
 
 +
==A Matter of Arithmetics==
 +
So now JN had the numbers in geometric progression and the two theorems on the limits of logarithms, he had to start making the table. It was an enormous undertaking considering there was no computer available. But he did!
 +
 
 +
Using {{EquationNote|Relation. 1}}, he managed to find the logarithms of the numbers in the Table 1 with sufficient approximation. For example, for the second number, <math>9999999</math>, in Table 1, its logarithms lies between <math>10^7-9999999<Nap \log 9999999< \frac {(10^7)^2}{9999999}-10^7</math> which is <math>1.0000000 <Nap \log 9999999< 1.0000001</math>. The difference between the limits are really "insensible" so Napier took the average of the two and thus <math>Nap \log 9999999 = 1.00000005</math>. Repeat the process 100 times, we will have the answer.
 +
 
 +
{{{!}} class="wikitable" border="1"
 +
{{!}}+'''<math>Nap \log</math> of numbers in Table 1'''
 +
{{!}}                      {{!}}{{!}}align="center" colspan="2"{{!}}<math><Nap \log x< </math>{{!}}{{!}}
 +
{{!}}-
 +
{{!}}<math>i=1...101</math>{{!}}{{!}}<math>10^7-x</math>{{!}}{{!}} <math>\frac {(10^7)^2}{x}-10^7</math>{{!}}{{!}}<math>Nap \log x</math>
 +
{{!}}- 
 +
{{!}}<math>i=1</math>{{!}}{{!}}<math>1.0000000</math>{{!}}{{!}}<math>1.0000001</math>{{!}}{{!}}<math>1.00000005</math>
 +
{{!}}-                           
 +
{{!}}<math>i=2</math>{{!}}{{!}}<math>1.99999990</math>{{!}}{{!}}<math>2.00000030</math>{{!}}{{!}}<math>2.00000010</math>
 +
{{!}}-                             
 +
{{!}}<math>i=3</math>{{!}}{{!}}<math>2.99999970</math>{{!}}{{!}}<math>3.00000060</math>{{!}}{{!}}<math>3.00000015</math>
 +
{{!}}-                             
 +
{{!}}<math>i=4</math>{{!}}{{!}}<math>3.99999940</math>{{!}}{{!}}<math>4.00000100</math>{{!}}{{!}}<math>4.00000020</math>
 +
{{!}}-                         
 +
{{!}}<math>i=5</math>{{!}}{{!}}<math>4.99999900</math>{{!}}{{!}}<math>5.00000150</math>{{!}}{{!}}<math>5.00000025</math>
 +
{{!}}-
 +
{{!}}<math>i=...</math>{{!}}{{!}}<math>...</math>{{!}}{{!}}<math>...</math>{{!}}{{!}}<math>...</math>
 +
{{!}}-                             
 +
{{!}}<math>i=101</math>{{!}}{{!}}<math>99.99950495</math>{{!}}{{!}}<math>100.00050495</math>{{!}}{{!}}<math>100.00000495</math>
 +
{{!}}}
 +
 
 +
Next, he proceeded to Table 2. The nearest number to 9999900, the second number of Table 2, in Table 1 is 9999900.00049505 whose limits are 100.00050495 and 100.00000495. Using {{EquationNote|Relation. 2}}, he found that <math>Nap \log 9999900.00049505 - Nap \log 9999900 = 0.0004950569156743573</math> and thus <math>100.00000495+0.0004950569156743573<Nap \log 9999900.00049505<100.00050495+0.0004950569156743573</math> which gives him <math>Nap \log 9999900.00049505 = 1.000005000050325</math>. The next logarithm has double the limits of the previous one. Thus using this method, he managed to get all the logarithms of the numbers in the second table.
 +
 
 +
<font color=red> there is a little problem here. JN used the 7 decimals for calculation for table 1 and Matlab used something different which I cannot change. so small deviation in table 1 to the 8th decimal place and that results in subsequent difference in the limits and logarithms</font>
 +
A number, <math>y</math>, that is near to a number, <math>x</math>, of table 2 is found this way: say <math>y<x</math>, find <math>z</math> such that <math>\frac {z}{10^7}=\frac {y}{x}</math> then we have <math>Nap \log z = Nap \log y - Nap \log x</math> {{EquationRef2|Relation. 3}}. Find the limits of <math>Nap \log z</math> from table 1 and <math>Nap \log x</math> from table 2, adding them together gives the limits of <math>Nap \log y</math> from where the mean can be calculated and JN took that as the true value of the logarithm. Then the logarithm of the next number in the column has double the limits of <math>Nap \log y</math>. In this way, logarithms of all the numbers in the first column of table 3 are found. The logarithms of the first number of the second column is found by using {{EquationNote|Relation. 3}} with the last number of first column. Then all logarithms are found.
 +
 
 +
[[Image:Originaltable3.png|600px]]<ref>Macdonald, 1888, p. 34-35</ref>
 +
 
 +
The new table with all logarithms of the numbers in third table is called the radical table. Now the first two tables can be discarded as they have served the purpose. For a number that is within the limits of the radical table, its logarithm can be obtained using {{EquationNote|Relation. 2}} with a table number that is nearest to it. For a number beyond the limits of the table, there is a way to do it. JN created a table of radios. A number is multiplied by 2 repeated until it is with in limits of the table. Then the new number's logarithm is found as per normal but the original number's logarithm is found by adding that number and the difference.
 +
 
 +
[[Image:Ratiotable.png|600px]]<ref>Macdonald, 1888, p. 39</ref>
 +
 
 +
==Back to Square One==
 +
 
 +
What good is all those logarithms? I though he wanted logarithms of sines and cosines? Of course, let's not get distracted into the petty detail so much that we actually forget what we are doing here. Now the argument comes full swing.
 +
 
 +
==What is the point of all these?==
 +
 
 +
Then with those tools, logarithms of all sines between 0 and 90 can be obtained.
  
==John Napier's '''''Mirifici Logarithmorum Canonis Constructio''''' and a Step-by-Step Explanation ==
 
  
 
==Henry Briggs and the Logarithms to the Base 10==
 
==Henry Briggs and the Logarithms to the Base 10==
 +
 +
I don't have time for this.
  
 
==Logarithms to the Base e==
 
==Logarithms to the Base e==
  
will talk about this if time allows.
+
I don't have time for this.
  
 
==Conclusion==
 
==Conclusion==
 
==References and Notes==
 
 
zzz
 
zzz
|other=A little Algebra
+
|other=A little Algebra, Kinematics, Matrix and Algorithms
 
|AuthorName=John Napier
 
|AuthorName=John Napier
 
|SiteName=Milestones in the history of thematic cartography, statistical graphics, and data visualization
 
|SiteName=Milestones in the history of thematic cartography, statistical graphics, and data visualization
Line 38: Line 273:
 
|Field=Algebra
 
|Field=Algebra
 
|FieldLinks=:*)http://www-groups.dcs.st-and.ac.uk/~history/Quotations/Napier.html
 
|FieldLinks=:*)http://www-groups.dcs.st-and.ac.uk/~history/Quotations/Napier.html
 +
:*)http://en.wikipedia.org/wiki/Double_precision_floating-point_format
 +
=Notes=
 +
<references/>
 +
|References=
 +
#Hobson, E. W. (1914). John Napier and the invention of logarithms, 1614; a lecture. Cambridge: Cambridge University Press.
 +
#Macdonald, W. R. (1888). The Construction of The Wonderful Canon of Logarithms And A Catalogue. Edinburgh and London: William Blackwood and Sons.
 +
#The MacTutor History of Mathematics archive. (2006, February). Quotations by John Napier. Retrieved from The MacTutor History of Mathematics archive, School of Mathematics, University of St Andrews Scotland: http://www-groups.dcs.st-and.ac.uk/~history/Quotations/Napier.html
 +
 +
|ToDo=Finish up the last part and do the Henry Briggs part. 
 +
|Pre-K=No
 +
|Elementary=No
 +
|MiddleSchool=Yes
 +
|HighSchool=Yes
 
|InProgress=Yes
 
|InProgress=Yes
 
}}
 
}}

Latest revision as of 12:15, 1 June 2011

Inprogress.png
Two Pages from John Napier's Logarithmic Table
Napier logtable.jpg
Field: Algebra
Image Created By: John Napier
Website: Milestones in the history of thematic cartography, statistical graphics, and data visualization

Two Pages from John Napier's Logarithmic Table

These are two pages from John Napier's original Mirifici Logarithmorum Cannonis Descriptio (The Description of the Wonderful Canon of Logarithms) which started with the following

Hic 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.

which translates into

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.[1]



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 some if John Napier's original key ideas. The book 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 and like Napier said, "find that it gives as much as a thousand big books"


As you can see, the logarithms given in the tables are those of the sines of angles from 0^\circ to 90^\circ 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 \tan \theta = \frac {\sin \theta}{\cos \theta} and taking logarithms of both sides we will have \log \tan \theta = \log \sin \theta - \log \cos \theta. So, the difference forms the logarithmic tangents. Therefore, it is safe to assume that Napier invented logarithms to aid calculation in astronomy and geometry (in Descriptio, he gave the application of logarithms in solution of plane and spherical triangles).


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 x=\log_ab knowing a^x=b. We learn how to take powers before learning how to operate with logarithms and how to differentiate before integrate because that is only natural. However, the order (which is best for understanding and learning) in which we learn mathematical knowledge is not necessarily the order in which they were discovered. That is why we still find JN's discovery as wonderful as it was some 396 years ago.

Consider the following questions: What if we don't have a calculator? How would you calculate \log_57? 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 popular use? Eventually, 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. 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.

Towards the end of the sixteenth century, further progress of science was greatly impeded by the continually increasing complexity and labor of numerical calculation. Thus it was Napier's intention that

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.[2]


John Napier's Mirifici Logarithmorum Canonis Constructio and a Step-by-Step Explanation

A Definition of Sine We Don't Know

Ancientsine.png

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 AC = sin \frac {\theta}{2}. Napier took the radius to be 10^7 units and thus \sin 0^\circ = 0 and \sin 90^\circ = 10^7, 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
2^1 2^2 2^3 2^4 2^5 2^6 ...
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 4 \times 16. 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 2^a + a^b = 2 ^{a+b} 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.
23.png

Article 23 means that if we have a point moving with constant velocity, v, then in equal time interval, t, it will move equal amount of distance. Refer to the diagram above. AB=BC=CD=DE=EF=vt and hence, the lengths AB,AC,AD,AE,AF... form an arithmetic series.


24.png

Article 24 means that if we have a distance of TS=10^7 and a point moving in such a way that in equal time interval, t, 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 \frac {1}{8} and refer to the diagram above. \frac {TG}{TS}=\frac {GH}{GS}=\frac {HI}{HS}=\frac {IJ}{IS}=\frac {1}{8}. As a result, the lengths TS,GS,HS,IS,JS...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. \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}. 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 \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
Eqt. 1        ,
and also \frac {TS}{GS}=\frac {GS}{HS}=\frac {HS}{IS}=\frac {IS}{JS}\cdots \cdots
Eqt. 2        .
Therefore, \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
Eqt. 3        .

Eqt. 2 is an easy argument to buy. Using the results from Article 24, both sides of Eqt. 2 equals \frac {8}{7}. Eqt. 1 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 TS 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?


Logdef.png

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 A and point T, the two particles have the same velocities. In a certain time period, particle \alpha has moved to point B and \beta has moved to point G. Hence Nap \log GS=AB. As a result, Nap \log 10^7=0 which is the result from Article 27. Using calculus, if x=GS, we have {\operatorname{d}x\over\operatorname{d}t}=-\frac{vx}{10^7}, where v denotes the velocities of \alpha and \beta at A and T; and if y = AB, {\operatorname{d}y\over\operatorname{d}t}=v; thus {\operatorname{d}y\over\operatorname{d}x}=-\frac{10^7}{x}. Hence, y=-10^7 \ln x+c where c is a constant. I have questions about this.[3] 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.


Loglimit.png

It is indeed a mouthful. This is how he thought about it. If the two particles have the same velocities at point A and T, then a certain moment later, say t seconds, then AB>TG since \alpha moves with constant velocity while \beta is subjected to deceleration. What about t seconds previously? Well, \alpha will be at M with MA=AB. On the other hand, \beta will be at N with NT > MA I know this is obvious but why?

Given GS=x, we have Nap \log x=AB by definition. We know that AB>TG and TG=10^7-x. Therefore, Nap \log x>10^7-x. On the other hand we know that AB=MA and as a result Nap \log x< NT. How do we express NT in terms of 10^7 and x? 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

Notes

  1. The MacTutor History of Mathematics archive, 2006
  2. Macdonald, 1888, p. xi-xix
  3. Hobson, 1914, p. 26

References

  1. Hobson, E. W. (1914). John Napier and the invention of logarithms, 1614; a lecture. Cambridge: Cambridge University Press.
  2. Macdonald, W. R. (1888). The Construction of The Wonderful Canon of Logarithms And A Catalogue. Edinburgh and London: William Blackwood and Sons.
  3. The MacTutor History of Mathematics archive. (2006, February). Quotations by John Napier. Retrieved from The MacTutor History of Mathematics archive, School of Mathematics, University of St Andrews Scotland: http://www-groups.dcs.st-and.ac.uk/~history/Quotations/Napier.html

Future Directions for this Page

Finish up the last part and do the Henry Briggs part.




If you are able, please consider adding to or editing this page!


Have questions about the image or the explanations on this page?
Leave a message on the discussion page by clicking the 'discussion' tab at the top of this image page.