arxiv: v1 [math.ho] 23 May 2007

Size: px

Start display at page:

Download "arxiv: v1 [math.ho] 23 May 2007"

Imogen Carroll
5 years ago
Views:

1 arxiv: v [math.ho] 3 May 007 Annotations to a certain passage of Descartes for finding the quadrature of the circle Leonhard Euler In excerpts from the Manuscripts of Descartes, a few words are given about a certain geometric construction which approaches the true measure of the circle in a very clear way, which either Descartes himself had found, or which had been communicated to be by someone else, the former preiminent in that time, which indicates brilliantly the insightful character of its discoverer. Those who later handled this same argument, as far I know at least, have not made mention of this extraordinary construction, so that it is in danger that it disappear altogether into oblivion. This demonstration, which is given with nothing added to it, can be supplied without difficulty; truly not only the elegance of this construction merits more study, but also the notable conclusions that can be derived from it would altogether by themselves be worthy of attention. This most beautiful construction is thus proposed in the words of Descartes himself: I discover nothing suitable for the squaring of the circle, aside from this: if to a given square bf is adjoined a rectangle cg contained between the lines ac and bc which is equal to a fourth part of the square bf: likewise a rectangle dh is made within the lines da, dc, equal to a fourth part of the preceeding; and in the same way a rectangle ei, and further infinite others onto x: and this line ax will be the diameter of a circle whose circumference is equal to the circumference of the square bf. Fig. The strength of this method therefore consists in that by continually adjoining rectangles of this type, cg, dh, ei,, of which the angles above the produced diagonal of the square are right, finally leading to the point x, at this is terminated the diameter ax of a circle whose periphery is equal to the perimeter of the square bf, or four times the line ab. Presented to the Berlin Academy on July 0, 758. Originally published as Annotationes in locum quendam Cartesii ad circuli quadraturam spectantem, Novi Commentarii academiae scientiarum Petropolitanae 8 (763), E75 in the Eneström index. Translated from the Latin by Jordan Bell, School of Mathematics and Statistics, Carleton University, Ottawa, Canada. jbell3@connect.carleton.ca

2 Since any of these rectangles is equal to a fourth part of the preceeding one, as is already observed by Descartes himself, it is clear for the sum of all these rectangles to be equal to a third part of the square bf; indeed this is clear because the sum of the series continued to infinity is = 3Ḋescartes further indicates the rule by which this construction may rest; he begins namely with regular polygons of 8, 6, 3, 64, sides, whose perimeters are equal to each other and to the perimeter of the square bf. Now as ab is the diameter of a circle inscribed in a square, it is thus affirmed that ac is the diameter of a circle inscribed in an octogon, and indeed that ad and ae are the diameters of circles inscribed in a 6gon and 3gon respectively, and so on. Thus one sees that ax is the diameter of a circle inscribed in a polygon of infinitely many sides, the periphery of which is also equal to the perimeter of the square. For clarity let me expand on the demonstration of this construction. I observe that what are spoken of presently as the diameters of circles can equally well serve as radii, so that ab, ac, ad, ae, may be seen to be radii of circles, in which if regular polygons of 4, 8, 6, 3, sides are inscribed, the perimeters of them will be equal. Problem. Given a circle about which a regular polygon has been circumscribed, to find another circle, about which if a regular polygon with twice as many sides is circumscribed, the perimeter of the former polygon will be equal to the perimeter of the latter polygon. Solution. Fig. Let ENM be the given circle, with center at C, and EP the half side of the circumscribing polygon; further let CF be the radius of the circle that is being sought, and FQ the half side of the polygon which is to circumscribe it. It is therefore necessary that FQ be half of EP and the angle FCQ be half of the angle ECP. Let the line CQ bisect the angle ECP, and the line QO parallel to CE bisect the line EP. Now since it is and it will be EV : CE = FQ : CF EV : CE = EP : CE + CP FQ : CF = EP : CE + CP but because FQ = EP, it will also be CF = (CE + CP). Then taking away CF one will have EF = (CP CE) from which it will be that the rectangle CF EF = 4 (CP CE ) = 4 EP, and so the point F should be defined such that the rectangle contained between CF and EF is equal to a fourth part of the square of the line EP, or to the square itself of the line FQ.

3 Corollary. Since it is CF EF = FQ it will be CF : FQ = FQ : EF, whence having extended the line QE, the triangle FQE will be similar to the triangle FCQ, or ECV, and hence the angle FQE will be equal to the angle ECV. Corollary. Since it is CE : EV = EO : EF, the point F may also be defined thus: from the point O a line is drawn out to the normal produced from CV, and its base at CE occurs at F. Corollary 3. If the polygon inscribed in the cirlce ENM has n sides, it will be that the angle ECP = π n, where π denotes the measure of two right angles; and the angle FCQ = π n. Hence if the radius CE = r, it will be EP = r tang. π n and FQ = n r tang. π n. Corollary 4. Now because the angle FQE = π n, it will be EF = FQ tang. π n = r tang. π n tang. π n. Truly if we call CF = s, it will be FQ = s tang. π n, whence because FQ = r tang. π n, it will be s = r tang. π n cot. π n. Demonstration of the construction of Descartes Fig. 3 Here let CE be the radius of a circle inscribed in a square, CF inscribed in an octogon, CG in a regular polygon of 6 sides, CH in a polygon of 3 sides and so on. Next let EP be the half side of the square, FQ the half side of the octogon, GR the half side of the polygon with 6 sides, HS the half side of the polygon with 3 sides,, and because these polygons are assumed to be of the same perimeter, it will be FQ = EP; GR = FQ = 4 EP; HS = GR = 4 FQ = 8 EP, Now from the stated problem, it is CF EF = 4 EP = FQ ; next in the same way from it, CG FG = 4 FQ = CF EF = GR 4 CH GH = 4 GR = 4 CG FG = HS 3

4 and the points F, G, H, can be plainly be determined in the same way from it as was done in the construction of Descartes; and because the intervals EF, F G, GH, are continually smaller, are approaching the ultimate point x, Cx the radius of the circle whose periphery is equal to the perimeter of the preceeding polygon, and hence to eight times the assumed line EP. Q. E. D. Corollary. If it were put CE = a, CF = b, CG = c, CH = d,, the progression of these quantities is arranged such that, because EP = a, and so b(b a) = 4 aa; c(c b) = 4 b(b a); d(d c) = c(c b) 4 b = a + aa ; c = b + (bb ab) ; d = c + (cc bc) and the infinitesimal of these quantities is the radius of a circle whose periphery is = 8a. Corollary. Since the angle ECP is half a right angle, or ECP = π 4, it will be that the angles FCQ = π 8 ; GCR = π 6 ; HCS = π 3, Hence because EP = a; FQ = a; GR = 4 a; HS = 8a,, it will be according to cotagents CE = a cot. π 4 ; CF = a cot. π 8 ; CG = 4 a cot. π 6 ; CH = 8 a cot. π 3 Then denoting by n an infinite number, the uttermost of these lines would = n cot. π 4n. Corollary 3. But cot. π 4n = : tang. π π 4n ; and because the angle 4n is infinitely small, it will be tang. π 4n = π 4n, and hence cot. π 4n = 4n π. So were the uttermost of these lines = 4a π, then if a circle were described with this radius, its periphery will be = π 4a π = 8a. Corollary 4. 4

5 Then because from coroll. 4 of the preceeding problem it is by the same rule it will be: EF = FQ tang.fcq, FG = GR tang.gcr; GH = HS tang. HCS whence the former intervals may be expressed in the following way: EF = a tang. π 8 ; FG = 4 a tang. π 6 ; GH = 8 a tang. π 3 indeed in analogy to the former CE = a tang. π 4 = a. Corollary 5. With the preceeding collected together it will be found: CF = a(tang. π 4 + tang. π 8 ) = a cot. π 8 CG = a(tang. π 4 + tang. π tang. π 6 ) = 4 a cot. π 6 CH = a(tang. π 4 + tang. π tang. π tang. π 3 ) = 8 a cot. π 3 and thus in this way the sums of all the progressions can be assigned without difficulty. Corollary 6. Therefore by proceeding to infinity we will obtain the summation of this series: tang. π 4 + tang. π tang. π tang. π 3 + = 4 π which is therefore determined by the quadrature of the circle. I take this opportunity for the solution of the following problem. Problem. With φ denoting the arc of a circle whose radius =, to find the sum of this infinite series: tang. φ + tang. φ + 4 tang. 4 φ + 8 tang. 8 φ + 6 tang. 6 φ + 5

6 Solution. If in fig., as constructed above, one puts the angle ECP = φ, it will be FCQ = φ: now putting FQ =, it will be EP =, and hence CE = cot.φ; CF = cot. φ and EF = tang. φ, from which one has: cot.φ = cot. φ tang. φ and tang. φ = cot. φ cot.φ. and in the same way tang. φ = cot. φ cot.φ. These values of the tangents can be collected together and expressed by the cotangents from the given series tang.φ = cot. φ cot.φ tang. φ = cot. φ cot.φ 4 tang. 4 φ = 4 cot. 4 φ cot. φ 8 tang. 8 φ = 8 cot. 8 φ 4 cot. 4 φ and adding them together it will consequently be: tang. φ = tang. φ + tang. φ = tang.φ + tang. φ + 4 tang. 4 φ = tang.φ + tang. φ + 4 tang. 4 φ + 8 tang. 8 φ = cot.φ cot.φ cot. φ cot.φ 4 cot. 4 φ cot.φ 8 cot. 8 φ cot.φ If this is continued to infinity, where n denotes an infinite number, because tang. n φ = φ n and so cot. n φ = n φ, it will be: n cot. n φ = φ, and so the sum of the given series: tang. φ + tang. φ + 4 tang. 4 φ + 8 tang. 8 φ + = φ cot.φ. Whence if φ is a right angle, or φ = π 4, because cot. π = 0, the sum of the series would be = φ = 4 π, which was handled in the above case. From this series many others can be derived which are no less noteworthy. I. By the differentiation of this we obtain: cos.φ + 4 cos. + φ 4 cos. + 4 φ 4 3 cos. + 8 φ 4 4 cos. 6 φ+ = φφ + 4 sin. φ 6

7 or since cos. φ = sec. φ it will also be (sec.φ) + 4 (sec. φ) + 4 (sec. 4 φ) + 4 3(sec. 8 φ) + = sin. φ cos.φ φφ II. Next, because cos.φ = divided by it will be: +cos. φ, and sin. φ cos. 4φ =, with everything + cos.φ + 4( + cos.φ) + 4 ( + cos. φ) ( + cos. + 8φ) = cos.4φ φφ or by writing φ for φ + cos.φ + 4( + cos. φ) + 4 ( + cos. 4 φ) ( + cos. + 8φ) = cos.φ φφ. III. If the series which has been found were multiplied by dφ and integrated, because dφtang. φ = dφsin. φ cos. φ = l cos.φ, and dφcot. φ = l sin. φ, one would have l cos.φ l cos. φ l cos. 4 φ l cos. φ l cos. φ = lφ l sin. φ+const. 8 6 To define this constant let us put φ = 0, and because l cos.0 = l = 0, from the first part we will have 0, and from the second part because sin. φ = φ we will indeed have lφ lφ + Const. = l + Const., whence Const. = l. Hence the numbers will proceed as: φ cos.φcos. φcos. 4 φcos. 8 φcos. = 6Φ sin. φ IV. Since it is one will have: cos. φ = sec.φ, by the previous Theorem according to secants sec.φsec. φsec. 4 φsec. 8 φsec. φ φ = 6 sin. φ where if the ratio of the diameter to the periphery is put = : π and q denotes a right angle, if we set φ = q = π it will be: sec. q sec. 4 q sec. 8 q sec. 6 q sec. 3 q = π. 7

8 Problem. To find a series of quantities: a, b, c, d, e, f, a property of which is that: c(c b) = 4 b(b a); d(d c) = 4 c(c b); e(e d) = d(d c) 4 or such that the quantities derived here b(b a); c(c b); d(d c); e(e d); f(f e), decrease in square ratio. Solution. Since it is tang. φ = cot. φ cot.φ, if we multiply each side by cot. φ, because tang. φcot. φ = it will be cot. φ(cot. φ cot.φ) =. Therefore if it were set a = r cot.φ; b = r cot. φ; c = 4 r cot. 4 φ; d = 8 r cot. 8φ, it will be whence this series b r (b r a r ) = then b(b a) = rr 4 4c r (4c r 4b r ) = then rr c(c b) = 4 8d r (8d r 8c r ) = then rr d(d c) = r 3 a = r cotφ; b = r cot. φ; c = 4 r cot. 4 φ; d = 8 r cot. φ; 8 has the former property, that the quantities formed here decrease in square ratio. b(b a); c(c b); d(d c); e(e d); Corollary. Given the first two terms a and b, all the remaining c, d, e, f can be successively determined from them, such that c = b + (bb ab) ; d = d + (ce bc) ; e = d + (dd cd) and thus assuming that the initial two terms are available, the whole series can be exhibited by these formulae. 8

9 Corollary. Moreover, given the terms a and b, from them an angle φ along with a quantity r may be defined, so that it would be: tang. φ = (bb ab) a and r = (bb ab) whence having found the angle φ all the remaining terms can also be expressed, so that: c = 4 r cot. 4 φ; d = 8 r cot. 8 φ; e = 6 r cot. 6 φ Corollary 3. Hence the infinitesimal terms of this series will be = r φ, to which value the terms of the series converge fairly quickly. Of course if in a circle of radius = an arc is looked for whose tangent = (bb ab), this angle would be = φ, and the infinitesimal terms of our series will be = (bb ab) φ. Scholion. Fig. 3 It will be useful to note here that the points P, Q, R, S, x are situated on the quadratrix of antiquity, because the joins EP, FQ, GR, HS hold among themselves the same ratio as the angles ECP, FCQ, GCR, HCS, And since x, which is where the base of this curve falls, here as previously has been found to indicate the quadrature of the circle, as it was for this that it was defined. The construction of Descartes agrees singularly with this quadrature of antiquity; but it is more convenient and accurate that one produce the points E, F, G, H, succesively than what one could hope for by the continual bisection of angles. 9

10 Fig. o g h i f a b c d e x Fig. P M O Q N V C E F 0

11 Fig. 3 P Q R S x C E F GH

arxiv: v1 [math.ho] 30 Nov 2007

arxiv: v1 [math.ho] 30 Nov 2007 arxiv:07.4986v [math.ho] 30 Nov 007 On highly transcendental quantities which cannot be expressed by integral formulas Leonhard Euler. Integral formulas, whose integration cannot be obtained in terms of