An Explication of an Obscure Passage in Albert Girard's Commentary upon Simon Stevin's Works (Vide Les Oeuvres Mathem. de Simon Stevin, à Leyde, 1634, p. 169, 170); By Mr. Simson, Professor of Mathematics at the University of Glasgow: Communicated by the Right Honourable Philip Earl Stanhope

Author(s) Mr. Simson, Honourable Philip
Year 1753
Volume 48
Pages 11 pages
Language en
Journal Philosophical Transactions (1683-1775)

Full Text (OCR)

LVI. An Explication of an obscure Passage in Albert Girard's Commentary upon Simon Stevin's Works (Vide Les Oeuvres Mathem. de Simon Stevin, à Leyde, 1634, p. 169, 170); by Mr. Simson, Professor of Mathematics at the University of Glasgow: Communicated by the Right Honourable Philip Earl Stanhope. Read Dec. 20, "PUIS que je suis entré en la matière des nombres rationaux, j'adjousteray encore deux ou trois particularitez, non encor par cy devant practiquées, comme d'expliquer les radicaux extremement pres, &c." The first thing Albert Girard gives in this place is a method of expressing the ratio of the segments of a line cut in extreme and mean proportion, by rational numbers, that converge to the true ratio. For this purpose he takes the progression 0, 1, 1, 2, 3, 5, 8, 13, 21, &c. every term of which is equal to the sum of the two terms that precede it: and says, any number in this progression has unto the following the same ratio [nearly] that any other has to that, which follows it. Thus 5 has to 8 nearly the same ratio, that 8 has to 13; consequently, any 3 numbers next one another as 8, 13, 21, nearly express the segments of a line cut in extreme and mean proportion, and the whole line; so that 13, 21, V.B. 13 is wrong printed for the second num. ad of 21) constitute stitute near enough an isosceles triangle, having the angle of a pentagon; i.e. whose angle at the vertex is subtended by the side of a pentagon in the circle described about the triangle. Now this will be plain, if it be shewn, that the squares of the numbers in this series are alternately lesser and greater by an unit, than the product of the two numbers next them upon each side. Thus, in the four numbers, 5, 8, 13, 21, the square of 8 is an unit lesser than the product of 5 and 13; but the square of 13 that next follows 8, viz. 169, is an unit greater than 8 times 21, or 168; and so on constantly. **Case 1.** If \(a, b, c\), be such numbers, that \[ \begin{align*} 1. & \quad a + b = c \\ 2. & \quad ac = bb + 1 \end{align*} \] Then, if \(d\) be taken, so that \(d = b + c\); then shall \(bd + 1 = cc\). Because \(d = b + c\); \(bd + 1\) shall be \(bb + bc + 1 = ae + bc [2]\) which is \(a + b \times c = cc [1]\): Ergo \(bd + 1 = cc\). **Case 2.** If \(a, b, c\), be such that \[ \begin{align*} 1. & \quad a + b = c \\ 2. & \quad ac + 1 = bb \end{align*} \] Then, if \(d\) be taken, so that \(d = b + c\); then shall \(bd = cc + 1\). Because \(bd = bb + bc = ac + bc + 1 [2.] = a + b \times c + 1 = cc + 1 [1.\] **Problem.** Having given the number \(a\), in Case 1. to find \(b\) and \(c\), i.e. having given \(a\) to find \(b\) such that \(bb + 1 = (ac =) aa + ab\); then is \(bb - ab = aa - 1\): A a a and and therefore \( b = \frac{a + \sqrt{5aa - 4}}{2} \). Whence, to make \( b \) a rational integer number, \( 5aa - 4 \) must be a square; which it will be, if \( a = 1 \); and then \( b \) will also be 1, and \( c \) will be 2: and having continued the series, every number will have the properties mentioned. The second thing which Albert Girard mentions, is a way of exhibiting a series of rational fractions, that converge to the square root of any number proposed, and that very fast. He tells nothing about the way of forming it, and only gives the two following examples; viz. He says, \( \sqrt{2} \) is equal nearly to \( \frac{7}{5} \): or, if you would have it nearer, to \( \frac{9}{6} \). His other example is of \( \sqrt{10} \), which, he says, is nearly equal to \( \frac{3}{2} \); i.e. to \( \frac{10}{8} \). And these are the fractions your lordship has turned, at first sight, into continued fractions of the same value *. The way of making a series of rational fractions, which converge to the square root of any number proposed, in such a manner, that the square of the numerator of any of them being lessened by an unit, or, in some cases, increased by an unit, the remainder, or sum divided by the square of the denominator, shall be exactly equal to the number proposed, depends upon the following propositions: * N.B. That the continued fraction here alluded to for expressing the square root of 10 was \( \frac{1}{8} \times 19 - \frac{1}{8} \) \[ \begin{align*} &\frac{1}{8} \\ &-\frac{1}{8} \\ &-\frac{1}{8}, \text{ &c. ad infinitum.} \end{align*} \] Let \(a\) be any number proposed, and \(\frac{b}{c}\) be such a fraction, that \(\frac{bb-1}{cc} = a\), i.e. \(bb = acc + 1\), then, if two other fractions be taken, one of which is \(\frac{b}{ac}\), the first divided by the proposed number \(a\), and the other is \(\frac{c}{b}\), the reciprocal of the first fraction; then the fraction \(\frac{bb+acc}{2bc}\), whose numerator is the sum of the products of the numerators, and of the denominators of the fractions \(\frac{b}{c}\) and \(\frac{b}{ac}\); and its denominator the sum of the products of the numerators, and of the denominators of the fractions \(\frac{b}{c}\) and \(\frac{c}{b}\), shall have the same property with the fraction \(\frac{b}{c}\), i.e. \(\frac{bb+acc}{2bc^2} - 1 = a\). Because \(bb = acc + 1\) \[bb - acc = 1,\] and squaring \[b^4 - 2ab^2c^2 + a^2c^4 = 1.\] And adding \(4ab^2c^2\) \[b^4 + 2ab^2c^2 + a^2c^4 = 4ab^2c^2 + 1.\] Whence \(\frac{b^2 + acc}{2bc^2} = a\), Prop. 2. If \(\frac{b}{c}\) be such a fraction, that \(\frac{bb+1}{cc} = a\), i.e. \(bb + 1 = acc\), all other things remaining as in Prop. 1.; then shall the fraction \(\frac{bb+acc}{2bc}\), formed as there described, be such, that \(\frac{bb+acc}{2bc^2} = a\), A a a 2 Because Because \( bb + 1 = acc \), then \( acc - bb = 1 \); and squaring \[ b^2 + 2ab^2c^2 + a^2c^4 = 1. \] Whence, as in the foregoing, it will follow, that \[ \frac{bb + acc^2 - 1}{2bc} = a. \] **Prop. 3.** Let the fraction \( \frac{b}{c} \) be such, that \( \frac{bb - 1}{cc} = a \), i.e. \( bb = acc + 1 \); also let \( \frac{d}{e} \) be another fraction, having the same property with \( \frac{b}{c} \), i.e. such, that \( dd = aee + 1 \). Then, if from the fraction \( \frac{d}{e} \), and the two others mentioned in Prop. 1, viz. \( \frac{b}{ac} \) and \( \frac{c}{b} \), a new fraction be formed, in the same manner as the fraction \( \frac{bb + acc}{2bc} \) was formed from \( \frac{b}{c} \), and the same two \( \frac{b}{ac} \) and \( \frac{c}{b} \), which fraction will be \( \frac{bd + ace}{cd + be} \); this new fraction shall have the same property with the other two \( \frac{b}{c} \) and \( \frac{d}{e} \), i.e. \[ \frac{bd + ace^2 - 1}{cd + be} = a. \] **Hypoth.** 1. \( bb = acc + 1 \) 2. \( dd = aee + 1 \) 3. \( ac^2d^2 = a^2c^2e^2 + ac^2 \) [2.] 4. \( b^2d^2 = ab^2e^2 + b^2 \) [2.] 5. \( b^2d^2 = ab^2e^2 + ac^2 + 1 \) [4, 1.] 6. \( b^2d^2 + a^2c^2e^2 = ab^2e^2 + a^2c^2e^2 + ac^2 + 1 \) [5.] 7. \( b^2d^2 + a^2c^2e^2 = ac^2d^2 + ab^2e^2 + 1 \) [6, 3] 8. \( b^2d^2 + 2abcde + a^2c^2e^2 = ac^2d^2 + 2abcde + ab^2e^2 + 1 \) [7]. i.e. \[ i.e. \frac{bd+ace^2}{cd+be^2} = a \times cd + be^2 + 1. \] 9. \[ \frac{bd+ace^2 - I}{cd+be^2} = a. \] **Prop. 4.** The same things being supposed as in Prop. 3, except that \( bb \), instead of being equal to \( acc + I \), as there, is equal to \( acc - I \), or \( bb + I = acc \); it will follow, by the like steps as in Proposition 3, that \[ \frac{bd+ace^2 + I}{cd+be^2} = a. \] **Prop. 5.** If likewise \( d^2 \) be equal to \( aee - I \), as well as \( b^2 = acc - I \), all other things remaining as in Proposition 3, then shall \( bd+ace^2 = a \times cd+be^2 + I \), i.e. \[ \frac{bd+ace^2 - I}{cd+be^2} = a. \] **Hypoth.** 1. \( b^2 + I = acc \) 2. \( d^2 + I = aee \) 3. \( b^2d^2 + b^2 = ab^2e^2 \) [2.] 4. \( ac^2d^2 + ac^2 = a^2c^2e^2 \) [2.] 5. \( b^2d^2 + ac^2 = ab^2e^2 + I \) [3, 1.] 6. \( b^2d^2 + ac^2 + ac^2d^2 = ac^2d^2 + a^2be^2 + I \) [5.] 7. \( b^2d^2 + a^2c^2e^2 = ac^2d^2 + ab^2e^2 + I \) [6, 4.] 8. \( b^2d^2 + 2abcde + a^2c^2e^2 = ac^2d^2 + 2abcde + ab^2e^2 + I \) [7.] \[ i.e. \frac{bd+ace^2}{cd+be^2} = a \times cd + be^2 + I. \] 9. \[ \frac{bd+ace^2 - I}{cd+be^2} = a. \] Prop. 6. But if $b^2 = acc + 1$, and $d^2 = aee - 1$, all other things remaining as in Prop. 3. Then shall $\frac{bd + ace}{cd + be}^2 + 1 = a \times \frac{bd + ace}{cd + be}$. i.e. $\frac{bd + ace}{cd + be}^2 = a$. which may be shewn, as the rest were. Now, let $a$ be any number proposed, and let the fraction $\frac{b}{c}$ be such, that either $\frac{bb - 1}{cc} = a$, or $\frac{bb + 1}{cc} = a$, and take the fractions $\frac{b}{ac}$ and $\frac{c}{b}$, before described; then the series of fractions converging to $\sqrt{a}$ will be as follows: $\frac{b}{ac}$ $\frac{bb + ace}{2bc}$ $\frac{bd + acc}{cd + be}$ $\frac{bf + acg}{cf + bg}$ $\&c.$ in infin. the first term of the series. the second term. the third term. the fourth term. Every term is formed from the preceding; and the 2 fractions $\frac{b}{ac}$ and $\frac{c}{b}$, in the same manner as the second from the first, and these fractions. And from the foregoing propositions it follows, 1. That if $\frac{bb - 1}{cc} = a$, then every fraction of the series shall be such. That if from the square of its numerator be taken an unit, the remainder, divided by the square of its denominator, shall be equal to $a$. For, by Prop. 1. the fraction $\frac{d}{e}$ shall be such; and by Prop. 3. the next fraction $\frac{f}{g}$ shall likewise be such; and so all the following terms. Example. Example. Let \(a = 2\); then the first fraction, i.e., that in the smallest numbers, \(\frac{b}{c}\), that makes \(\frac{bb - 1}{cc} = 2\), is when \(b = 3\), and \(c = 2\); so that \[ \begin{array}{ccc} \frac{c}{b} & \frac{b}{ac} & \frac{b}{c} \\ \end{array} \] are And the terms following the first \(\frac{3}{2}\) \[ \begin{array}{ccc} \frac{3}{2} & \frac{3}{2} & \frac{3}{2} \\ \end{array} \] are \(\frac{17}{8}, \frac{99}{40}, \frac{577}{268}, \frac{3363}{1598}, \&c.\). 2. But if \(\frac{bb + 1}{cc} = a\), i.e., if the first fraction \(\frac{b}{c}\) of the series have the square of its numerator an unit less than \(acc\), the multiple of the square of its denominator by the number \(a\); the second term shall have the square of its numerator an unit greater than the said multiple of the square of its denominator; and the third term shall have the said square an unit lesser, and so on alternately. For, by Prop. 2. the second term \(\frac{d}{e}\) shall be such, that \(\frac{dd - 1}{ee} = a\): and therefore, by Prop. 4. the third term \(\frac{f}{g}\) shall be such, that \(\frac{ff + 1}{cc} = a\). And by Prop. 5. it follows, that the next term \(\frac{b}{k}\) shall be such, that \(\frac{bb - 1}{kk} = a\); and so on alternately, by Prop. 4. and 5. Example. Let \(a = 2\); then the first fraction \(\frac{b}{c}\) that makes \(\frac{bb + 1}{cc} = 2\), is when \(b = 1\), and \(c = 1\). So that And the following terms are \( \frac{a}{b} \) \( \frac{b}{c} \) \( \frac{1}{2} \) \( \frac{1}{3} \) \( \frac{1}{4} \) \( \frac{1}{5} \) \( \frac{1}{6} \) &c. But if \( a \) be 13, then the first fraction will be \( \frac{13}{1} \). \( \frac{1}{8} \) \( \frac{1}{9} \) \( \frac{1}{10} \) \( \frac{1}{11} \) \( \frac{1}{12} \) &c. 3. But if the fraction \( \frac{b}{c} \) be such, that \( \frac{bb-1}{cc} = a \), and if the fractions \( \frac{b}{ac} \), \( \frac{c}{b} \), be taken, from which the series is to be formed, as has been described; then, if the first fraction of the series be made not \( \frac{b}{c} \), but some fraction \( \frac{d}{e} \), such that \( \frac{dd+1}{ee} = a \); then shall every term of the series be such as the fraction \( \frac{d}{e} \), i.e., the square of the numerator being increased by an unit, and the sum divided by the square of the denominator, the quotient shall be equal to \( a \). For, since \( bb = acc + 1 \), and \( dd = aee - 1 \), by Prop. 6. it follows, that the next term \( \frac{f}{g} \) shall be such, that \( \frac{ff+1}{gg} = a \); and so on for every term. Example. Let \( a = 2 \) \( \frac{b}{c} = \frac{3}{2} \); then will \( \frac{b}{ac} = \frac{3}{4} \), and \( \frac{c}{b} = \frac{2}{3} \), and let \( \frac{d}{e} = \frac{1}{1} \); then \( \frac{c}{b} \) \( \frac{b}{ac} \) \( \frac{d}{e} \) are \( \frac{2}{3} \) \( \frac{1}{1} \) And And the other terms \[ \frac{7}{5}, \frac{41}{29}, \frac{239}{169}, \frac{1393}{985}, \ldots \] To find \( b \) such as makes \( bb - 1 = acc \), i.e., \( acc + 1 = bb \), recourse must be had to Lord Brouncker's method in Dr. Wallis's *Commercium Epistolicum*. LVII. Observations upon the Electricity of the Air, made at the Chateau de Maintenon, during the Months of June, July, and October, 1753; being Part of a Letter from the Abbé Mazeas, F.R.S. to the Rev. Stephen Hales, D.D. F.R.S. Translated from the French by James Parsons, M.D. F.R.S. SIR, Read Dec. 20, 1753. BEING assured, that the electricity of the atmosphere would yet afford means of entertaining you, I spent part of this summer in observing what nature presented me upon so important a subject. On the 14th of June I accompanied the Marechal de Noailles to his castle of Maintenon. At my arrival, I set up an apparatus, which consisted of an iron wire 370 feet long, raised to 90 feet above the horizon. It came down from a very high room in the castle, where it was fastened to a silken cord six feet.