Bible Encyclopedias
Circle

Coaxal Circles

A system of circles is coaxal when the locus of points from which tangents to the circles are equal is a straight line. Consider the case of two circles, and in the first place suppose them to intersect in two real points A and B. Then by Euclid iii. 36 it is seen that the line joining the points A and B is the locus of the intersection of equal tangents, for if P be any point on AB and PC and PD the tangents to the circles, then PAPB = PC 2 = PD 2 , and therefore PC = PD. Furthermore it is seen that AB is perpendicular to the line joining the centres, and divides it in the ratio of the squares of the radii. The line AB is termed the " radical axis." A system coaxal with the two given circles is readily constructed by describing circles through the common points on the radical axis and any third point; the minimum circle of the system is obviously that which has the common chord of intersection for diameter, the maximum is the radical axis - considered as a circle of infinite radius. In the case of two non-intersecting circles it may be shown that the radical axis has the same metrical relations to the line of centres.

There are several methods of constructing the radical axis in this case. One of the simplest is: Let P and P' (fig. 5) be the points of contact of a common tangent; drop perpen FIG. 5. diculars PL, P'L', from P and P' to 00', the line joining the centres, then the radical axis bisects LL' (at X) and is perpendicular to 00'. To prove this let AB, AB' be the tangents from any point on the line AX. Then by Euc. i. 47, AB' =AO'-0B2=AX2+0X2-0P2; and OX 2 =OD 2 - DX 2 =0P 2 +PD 2 - DX 2. Therefore AB2=AX2 - DX 2 +PD 2. Similarly AB/ 2 = AX 2 - DX 2 +DP' 2. Since PD = PD', it follows that AB =AB'.

To construct circles coaxal with the two given circles, draw the tangent, say XR, from X, the point where the radical axis intersects the line of centres, to one of the given circles, and with centre X and radius XR describe a circle. Then circles having the intersections of tangents to this circle and the line of centres for centres, and the lengths of the tangents as radii, are members of the coaxal system.

In the case of non-intersecting circles, it is seen that the minimum circles of the coaxal system are a pair of points I and I', where the orthogonal circle to the system intersects the line of centres; these points are named the " limiti,ng points." In the case of a coaxal system having real points of intersection the limiting points are imaginary. Analytically, the Cartesian equation to a coaxal system can be written in the form x 2 + y 2 + tax k 2 = o, where a varies from member to member, while k is a constant. The radical axis is x = o, and it may be shown that the length of the tangent from a point (o, h) is h 2 k 2, i.e. it is independent of a, and therefore of any particular member of the system. The circles intersect in real or imaginary points according to the lower or upper sign of k 2 , and the limiting points are real for the upper sign and imaginary for the lower sign.

The fundamental properties of coaxal systems may be summarized: 1. The centres of circles forming a coaxal system are collinear 2. A coaxal system having real points of intersection has imaginary limiting points; 3. A coaxal system having imaginary points of intersection has real limiting points; 4. Every circle through the limiting points cuts all circles of the system orthogonally; 5. The limiting points are inverse points for every circle of the system.

The theory of centres of similitude and coaxal circles affords elegant demonstrations of the famous problem: To describe a circle to touch three given circles. This problem, also termed the " Apollonian problem," was demonstrated with the aid of conic sections by Apollonius in his book on Contacts or Tangencies; geometrical solutions involving the conic sections were also given by Adrianus Romanus, Vieta, Newton and others. The earliest analytical solution appears to have been given by the princess Elizabeth, a pupil of Descartes and daughter of Frederick V. John Casey, professor of mathematics at the Catholic university of Dublin, has given elementary demonstrations founded on the theory of similitude and coaxal circles which are reproduced in his Sequel to Euclid; an analytical solution by Gergonne is given in Salmon's Conic Sections. Here we may notice that there are eight circles which solve the problem.

Mensuration of the Circle. All exact relations pertaining to the mensuration of the circle involve the ratio of the circumference to the diameter. This ratio, invariably denoted by 7r, is constant for all circles, but it does not admit of exact arithmetical expression, being of the nature of an incommensurable number. Very early in the history of geometry it was known that the circumference and area of a circle of radius r could be expressed in the forms 27rr and 7rr2. The exact geometrical evaluation of the second quantity, viz. 7r72, which, in reality, is equivalent tol determining a square equal in area to a circle, engaged the attention of mathematicians for many centuries. The history of these attempts, together with modern contributions to our knowledge of the value and nature of the number 7r, is given below (Squaring of the Circle). The following table gives the values of this constant and several expressions involving it Useful fractional approximations are 22/7 and 355/113.

A synopsis of the leading formula connected with the circle will now be given.

1. Circle

Data: radius = a. Circumference =27a. Area = ira2.

2. Arc and Sector. - Data: radius=a; 0= circular measure of angle subtended at centre by arc; c = chord of arc; c 2 = chord of semi-arc; c 4 = chord of quarter-arc.

Exact formulae are: - Arc =a0, where 8 may be given directly, or indirectly by the relation c=2a sin 28. Area of sector =100 = z radius X arc.

Approximate formulae are: - Arc=3(8c 2 - c) (Huygen's formula); arc = s (c - 40c, +256c4).

3. Segment. - Data: a, 8, c, c 2 , as in (2); height of segment, i.e. distance of mid-point of arc from chord.

Exact formulae are: - Area = 2a 2 (0 - sin 0)=1a 2 0 - 4c2 cot zB =Za 2 -2 c?1 (a 2 -4c 2). If h be given, we can use c 2 +4h 2 =8ah, zh =c tan 4B to determine 0. Approximate formulae are: - Area = 15 (6c+ 8c 2)h; = 11,/ (c2+h42)h; = i, (7 c +3 a) h, a being the true length of the arc.

From these results the mensuration of any figure bounded by circular arcs and straight lines can be determined, e.g. the area of a lune or meniscus is expressible as the difference or sum of two segments, and the circumference as the sum of two arcs. (C. E.*) Squaring of the Circle. The problem of finding a square equal in area to a given circle, like all problems, may be increased in difficulty by the imposition of restrictions; consequently under the designation there may be embraced quite a variety of geometrical problems. It has to be noted, however, that, when the " squaring " of the circle is especially spoken of, it is almost always tacitly assumed that the restrictions are those of the Euclidean geometry.

Since the area of a circle equals that of the rectilineal triangle whose base has the same length as the circumference and whose altitude equals the radius (Archimedes, KIKXou A ir , prop.i), it follows that, if a straight line could be drawn equal in length to the circumference, the required square could be found by an ordinary Euclidean construction; also, it is evident that, conversely, if a square equal in area to the circle could be obtained it would be possible to draw a straight line equal to the circumference. Rectification and quadrature of the circle have thus been, since the time of Archimedes at least, practically identical problems. Again, since the circumferences of circles are proportional to their diameters - a proposition assumed to be true from the dawn almost of practical geometry - the rectification of the circle is seen to be transformable into finding the ratio of the circumference to the diameter. This correlative numerical problem and the two purely geometrical problems are inseparably connected historically.

Probably the earliest value for the ratio was 3. It was so among the Jews (1 Kings vii. 23, 26), the Babylonians (Oppert, Journ. asiatique, August 1872, October 1874), the Chinese (Biot, Journ. asiatique, June 1841), and probably also the Greeks. Among the ancient Egyptians, as would appear from a calculation in the Rhind papyrus, the number (3) 4, i.e. 3.1605, was at one time in use.' The first attempts to solve the purely geometrical problem appear to have been made by the Greeks (Anaxagoras, &c.) 2, one of whom, Hippocrates, doubtless raised hopes of a solution by his quadrature of the so-called meniscoi or lune.3 [The Greeks were in possession of several relations pertaining to the quadrature of the lune. The following are among the more interesting. In fig. 6, ABC is an isosceles triangle right D FIG. 6. FIG. 7 angled at C, ADB is the semicircle described on AB as diameter, AEB the circular arc described with centre C and radius CA= CB. It is easily shown that the areas of the lune Adbea and the triangle ABC are equal. In fig. 7, ABC is any triangle 1 Eisenlohr, Ein math. Handbuch d. alten Agypter, fibers. u. erkldrt (Leipzig, 1877); Rodet, Bull. de la Soc. Math. de France, vi.

PP. 139-149.

2 H. Hankel, Zur Gesch. d. Math. im Alterthum, &c., chap. v (Leipzig, 1874); M. Cantor, Vorlesungen fiber Gesch. d. Math. i. (Leipzig,'1880); Tannery,Mem. de la Soc ., &c., a Bordeaux; Allman, in Hermathena. 3 Tannery, Bull. des sc. math. [2], x. pp. 213-226.

right angled at C, semicircles are described on the three sides, thus forming two lunes Afcda and Cgbec. The sum of the areas of these lunes equals the area of the triangle ABC.] As for Euclid, it is sufficient to recall the facts that the original author of prop. 8 of book iv. had strict proof of the ratio being <4, and the author of prop. 15 of the ratio being >3, and to direct attention to the importance of book x. on incommensurables and props. 2 and 16 of book xii., viz. that " circles are to one another as the squares on their diameters " and that " in the greater of two concentric circles a regular 2n-gon can be inscribed which shall not meet the circumference of the less," however nearly equal the circles may be.

With Archimedes (287-212 B.C.) a notable advance was made. Taking the circumference as intermediate between the perimeters of the inscribed and the circumscribed regular n-gons, he showed that, the radius of the circle being given and the perimeter of some particular circumscribed regular polygon obtainable, the perimeter of the circumscribed regular polygon of double the number of sides could be calculated; that the like was true of the inscribed polygons; and that consequently a means was thus afforded of approximating to the circumference of the circle. As a matter of fact, he started with a semiside AB of a circumscribed regular hexagon meeting the circle in B (see fig. 8), joined A and B with 0 the centre, bisected the angle AOB by OD, so that BD became the semi-side of a circumscribed regular 12-gon; then as AB :BO: OA :: I: d 3: 2 he sought an approximation to X 1 3 and found that AB: BO >153:265. Next he applied his theorem 4 BO+OA: AB:: OB: BD to calculate BD; from this in turn he calculated the semi-sides of the circumscribed regular 24-gon, 48-gon and 96-gon, and so finally established for the circumscribed regular 96-gon that perimeter: diameter <3+:1. In a quite analogous manner he proved for the inscribed regular 96-gon that perimeter: diameter >3+V :I. The conclusion from these therefore was that the ratio of circumference to diameter is < 34 and >34 This is a most notable piece of work; the immature condition of arithmetic at the time was the only real obstacle preventing the evaluation of the ratio to any degree of accuracy whatever.5 No advance of any importance was made upon the achievement of Archimedes until after the revival of learning. His immediate successors may have used his method to attain a greater degree of accuracy, but there is very little evidence pointing in this direction. Ptolemy (fl. 127-151), in the Great Synlaxis, gives 3.141552 as the ratio s; and the Hindus (c. A. D. 500), who were very probably indebted to the Greeks, used 62832/20000, that is, the now familiar 3.1416.7 It was not until the 15th century that attention in Europe began to be once more directed to the subject, and after the resuscitation a considerable length of time elapsed before any progress was made. The first advance in accuracy was due to a certain Adrian, son of Anthony, a native of Metz (1527), and father of the better-known Adrian Metius of Alkmaar. In refutation of Duchesne(Van der Eycke), he showed that the ratio was <31-271s and >3-, %-, and thence made the exceedingly lucky step of taking a mean between the two by the quite unjustifiable process of halving the sum of the two numerators for a new numerator and halving the sum of the two denominators for a new denominator, thus arriving at the now well-known approximation 3 6 3 - or ?? which, being equal to 3.14159 2 9. is correct to the sixth fractional place. 8 4 In modern trigonometrical notation, I +sec 0: tan 0 :: I : tan Z0.

5 Tannery, " Sur la mesure du cercle d'Archimede," in Mem ... Bordeaux [2], iv. pp. 313-339; Menge, Des Archimedes Kreismessung (Coblenz, 1874).

6 De Morgan, in Penny Cyclop, xix. p. 186.

Kern, Aryabhattiyam (Leiden, 1874), trans. by Rodet (Paris, 1879).

8 De Morgan, art. " Quadrature of the Circle, '"in' English Cyclop.; Glaisher, Mess. of Math. ii. pp. 119-128, iii. pp. 27-46; de Haan, Nieuw Archief v. Wisk. i. pp. 70-86, 206-211.

FIG. 8.

The next to advance the calculation was Francisco Vieta. By finding the perimeter of the inscribed and that of the circumscribed regular polygon of 393 216 (i.e. 6 X 2 16) sides, he proved that the ratio was > 3.1415926535 and < 3' 14159 26 537, so that its value became known (in 1579) correctly to io fractional places. The theorem for angle-bisection which Vieta used was not that of Archimedes, but that which would now appear in the form I - cos 0 = 2 sin e 20. With Vieta, by reason of the advance in arithmetic, the style of treatment becomes more strictly trigonometrical; indeed, the Universales Inspectiones, in which the calculation occurs, would now be called plane and spherical trigonometry, and the accompanying Canon mathematicus a table of sines, tangents and secants.' Further, in comparing the labours of Archimedes and Vieta, the effect of increased power of symbolical expression is very noticeable. Archimedes's process of unending cycles of arithmetical operations could at best have been expressed in his time by a " rule" in words; in the 16th century it could be condensed into a " formula." Accordingly, we find in Vieta a formula for the ratio of diameter to circumference, viz. the interminate product 2 - A/1-1-. 1 V 2+2A/ From this point onwards, therefore, no knowledge whatever of geometry was necessary in any one who aspired to determine the ratio to any required degree of accuracy; the problem being reduced to an arithmetical computation. Thus in connexion with the subject a genus of workers became possible who may be styled " ur-computers or circle-squarers " - a name which, if it connotes anything uncomplimentary, does so because of the almost entirely fruitless character of their labours. Passing over Adriaan van Roomen (Adrianus Romanus) of Louvain, who published the value of the ratio correct to 15 places in his Idea mathematica (1593),3 we come to the notable computer Ludolph van Ceulen (d. 1610), a native of Germany, long resident in Holland. His book, Van den Circkel (Delft, 1596), gave the ratio correct to 20 places, but he continued his calculations as long as he lived, and his best result was published on his tombstone in St Peter's church, Leiden. The inscription, which is not known to be now in existence, 4 is in part as follows:. ... Qui in vita sua multo labore circumferentiae circuli proximam rationem ad diametrum invenit sequentem quando diameter est I turn circuli circumferentia plus est quam 100000000000000000000000000000000000 et minus 314159265358979323846264338327950289 100000000000000000000000000000000000.. .

This gives the ratio correct to 35 places. Van Ceulen's process was essentially identical with that of Vieta. Its numerous root extractions amply justify a stronger expression than " multo labore," especially in an epitaph. In Germany the "Ludolphische Zahl " (Ludolph's number) is still a common name for the ratio.

Up to this point the credit of most that had been done may be set down to Archimedes. A new departure, however, was made by Willebrord Snell of Leiden in his Cyclometria, published in 1621. His achievement was a closely approximate D geometrical solution of the FIG. 9. problem of rectification (see fig. 9): ACB being a semicircle whose centre is 0, and AC the arc to be rectified, he produced AB to D, making BD equal to the radius, joined DC, 1 Vieta, Opera math. (Leiden, 1646); Marie, Hist. des sciences math. iii. 27 seq. (Paris, 1884).

Kliigel, Math. Worterb. ii. 606, 607.

3 Kastner, Gesch. d. Math. i. (Göttingen, 1796-1800).

4 But see Les Delices de Leide (Leiden, 1712); or de Haan, Mess. of Math. iii. 24-26.

5 For minute and lengthy details regarding the quadrature of the circle in the Low Countries, see de Haan, " Bouwstoffen voor de geschiedenis, &c.," in Versl. en Mededeel. der K. Akad. van Wetensch. ix., x., xi., xii. (Amsterdam); also his "Notice sur quelques quadrateurs, &c.," in Bull. di bibliogr. e di storia delle sci. mat. e fis. vii.

99-144.

and produced it to meet the tangent at A in E; and then his assertion (not established by him) was that AE was nearly equal to the arc AC, the error being in defect. For the purposes of the calculator a solution erring in excess was also required, and this Snell gave by slightly varying the former construction. Instead of producing AB (see fig. io) so that BD was equal to r, he produced it E only so far that, when the extremity D' was joined with circle was equal to r; in C, the part D'F outside the A o FIG. 10.

other words, by a non-Euclidean construction he trisected the angle AOC, for it is readily seen that, since FD' = FO = OC, the angle FOB = 2 AOC. 6 This couplet of constructions is as important from the calculator's point of view as it is interesting geometrically. To compare it on this score with the fundamental proposition of Archimedes, the latter must be put into a form similar to Snell's. AMC being an arc of a circle (see fig. II) whose centre is 0, AC its chord, and HK the tangent drawn at the middle point of the arc and bounded by OA, OC produced, then, according to Archimedes, AMC< HK, but > AC. In modern trigonometrical notation the propositions to be compared stand as follows: 2 tan 20 >2 sin 28 (Archimedes); tan 10+2 sin 3B>0> 3 sin B (Snell). 2-}-cos B It is readily shown that the latter gives the best approximation to 0; but, while the former requires for its application a knowledge of the trigonometrical ratios of only one angle (in other words, the ratios of the sides of only one right-angled triangle), the latter requires the same for two angles, 0 and 3B. FIG. II.

Grienberger, using Snell's method, calculated the ratio correct to 39 fractional places. ? C. Huygens, in his De Circuli Magnitudine Inventa, 1654, proved the propositions of Snell, giving at the same time a number of other interesting theorems, for example, two inequalities which may be written as follows 8 - chd B }- 4 chd Bsin a (chd 0-sin >chd 8+3 (chd 0-sin 0). 2 MG 3sin 0 As might be expected, a fresh view of the matter was taken by Rene Descartes. The problem he set himself was the exact converse of that of Archimedes. A given straight line being viewed as equal in length to the circumference of a circle, he sought to find the diameter of the circle. His construction is as follows (see fig. 12). Take AB equal to one-fourth of the given line; on AB describe a square ABCD; join AC; in AC produced find, by a known process, a point C 1 such that, when C 1 B 1 is drawn perpendicular to AB produced and C 1 D 1 perpendicular to BC produced, the rectangle BC,. will be equal to 4AB CD; by the same process find a point C2 such that the rectangle B 1 C 2 will be equal to 1B C I; and so on ad infinitum. The diameter sought is the straight line from A to the limiting position of the series of B's, say the straight line AB co. As in the case of the process of 6 It is thus manifest that by his first construction Snell gave an approximate solution of two great problems of antiquity.

' Elementa trigonometrica (Rome, 1630); Glaisher, Messenger of Math. iii. 35 seq.

See Kiessling's edition of the De Circ. Magn. Inv. (Flensburg, 1869); or Pirie's tract on Geometrical Methods of Approx. to the Value of in (London, 1877).

quam Archimedes, we may direct our attention either to the infinite series of geometrical operations or to the corresponding infinite series of arithmetical operations. Denoting the number of units in AB by 4c, we can express BB 1j B 1 B 2,. .. in terms of 4c, and the identity AB, =AB+BB,+B,B 2 +. .. gives us at once an expression for the diameter in terms of the circumference by means of an infinite series.' The proof of the correctness of the construction is seen to be involved in the following theorem, which serves likewise to throw new light on the subject: - AB being any straight line whatever, and the above construction being made, then AB is the diameter of the circle circumscribed by the square AB CD (self-evident), AB, is the diameter of the circle circumscribed by the regular 8-gon having the same perimeter as the square, AB, is the diameter of the circle circumscribed by the regular 16-gon having the same perimeter as the square, and so on. Essentially, therefore, Descartes's process is that known later as the process of isoperimeters, and often attributed wholly to Schwab.2 In 16J5 appeared the Arithmetica Infinitorum of John Wallis, where numerous problems of quadrature are dealt with, the curves being now represented in Cartesian co-ordinates, and algebra playing an important part. In a very curious manner, by viewing the circle y= (1 - x2): as a member of the series of curves y= (I -x 2 )', y = (I -x 2) 2, &c., he was led to the proposition that four times the reciprocal of the ratio of the circumference to the diameter, i.e. 4/7r, is equal to the infinite product 3.3.5.5.7.7.9...

2.4.4.6.6.8.8...' and, the result having been communicated to Lord Brouncker, the latter discovered the equally curious equivalent continued fraction 12325 2 72 I-}-2+2+2 + 2..

The work of Wallis had evidently an important influence on the next notable personality in the history of the subject, James Gregory, who lived during the period when the higher algebraic analysis was coming into power, and whose genius helped materially to develop it. He had, however, in a certain sense one eye fixed on the past and the other towards the future. His first contribution 3 was a variation of the method of Archimedes. The latter, as we know, calculated the perimeters of successive polygons, passing from one polygon to another of double the number of sides; in a similar manner Gregory calculated the areas. The general theorems which enabled him to do this, after a start had been made, are A2n = 11A„A ' n (Snell's Cyclom.), P 2A„A' n - 2A' „AZ, Gre o A 2 ” - A n +A2n or A' n +A2„ (g r1') where A „, A'„ are the areas of the inscribed and the circumscribed regular n-gons respectively. He also gave approximate rectifications of circular arcs after the manner of Huygens; and, what is very notable, he made an ingenious and, according to J. E. Montucla, successful attempt to show that quadrature of the circle by a Euclidean construction was impossible.' Besides all this, however, and far beyond it in importance, was his use of infinite series. This merit he shares with his contemporaries N. Mercator, Sir I. Newton and G. W. Leibnitz, and the exact dates of discovery are a little uncertain. As far as the circlesquaring functions are concerned, it would seem that Gregory was the first (in 1670) to make known the series for the arc in terms of the tangent, the series for the tangent in terms of the arc, and the secant in terms of the arc; and in 1669 Newton showed to Isaac Barrow a little treatise in manuscript containing the series for the arc in terms of the sine, for the sine in terms of the arc, and for the cosine in terms of the arc. These discoveries 1 See Euler, ” Annotationes in locum quendam Cartesii," in Nov. Comm. Acad. Petrop. viii.

2 Gergonne, Annales de math. vi.

' See Vera Circuli et Hyperbolae Quadratura (Padua, 1667); and the Appendicula to the same in his Exercitationes geometricae (London, 1668).

4 Penny Cyclop. xix. 187.

formed an epoch in the history of mathematics generally, and had, of course, a marked influence on after investigations regarding circle-quadrature. Even among the mere computers the series =tan -a tan' 0+1 tan' 0-..., specially known as Gregory's series, has ever since been a necessity of their calling.

The calculator's work having now become easier and more mechanical, calculation went on apace. In 1699 Abraham Sharp, on the suggestion of Edmund Halley, took Gregory's series, and, putting tan 0=11/3, found the ratio equal to 1 112 (I { 5 32 - 7 33 +...), from which he calculated it correct to 71 fractional places.' About the same time John Machin calculated it correct to Ioo places, and, what was of more importance, gave for the ratio the rapidly converging expression 4 _ I I 5 I 3152+ 5 1 54 - 7 1 5b?. -2 39 I 3. 239 2+ 5.239 4) which long remained without explanation.' Fautet de Lagny, still using tan 30°, advanced to the 127th place.' Leonhard Euler took up the subject several times during his life, effecting mainly improvements in the theory of the various series. 8 With him, apparently, began the usage of denoting by 71 the ratio of the circumference to the diameter.' The most important publication, however, on the subject in the 18th century was a paper by J. H. Lambert, 1 " read before the Berlin Academy in 1761, in which he demonstrated the irrationality of 7r. The general test of irrationality which he established is that, if a l a, a, be an interminate continued fraction, a l , a2,

., b,, b,. .. be integers, a l ib i, a 2 /b 2,. .. be proper fractions, and the value of every one of the interminate continued fractions l!1 a2. .. be < 1, then the given continued fraction repre b 2 ?. .' sents an irrational quantity. If this be applied to the right-hand side of the identity m m m 2 m2 tan-=- - n n -3n-5n" it follows that the tangent of every arc commensurable with the radius is irrational, so that, as a particular case, an arc of 45 having its tangent rational, must be incommensurable with the radius; that is to say, 3r/4 is an incommensurable number." This incontestable result had no effect, apparently, in repressing the 7r-computers. G. von Vega in 1789, using series like Machin's, viz. Gregory's series and the identities 7 r /4 =5 tan1 + + 2 tan-',A (Euler, 1779), 7r/4 = tani ++2 tan-' s (Hutton, 1776), neither of which was nearly so advantageous as several found by Charles Hutton, calculated 7r correct to 136 places." This achievement was anticipated or outdone by an unknown calculator, whose manuscript was seen in the Radcliffe library, Oxford, by Baron von Zach towards the end of the century, and contained the ratio correct to 152 places. More astonishing still have been the deeds of the 7r-computers of the 19th century.

See Sherwin's Math. Tables (London, 1705), p. 59.

6 See W. Jones, Synopsis Palmariorum Matheseos (London, 1706); Maseres, Scriptores Logarithmici (London, 1791-1796), iii. 159 seq.; Hutton, Tracts, I. 266.

7 See Hist. de l'Acad. (Paris, 1719); 7 appears instead of 8 in the 113th place.

Comment. Acad. Petrop. ix., xi.; Nov. Comm. Ac. Pet. xvi.; Nova Acta Acad. Pet. xi.

9 Introd. in Analysin Infin. (Lausanne, 1748), chap. viii.

10 Mem. sur quelques proprietes remarquables des quantitis transcen- dantes, circulaires, et to>garithmiques. n See Legendre, Elements de ge'ometrie (Paris, 1794), note iv.; Schlomilch, Handbuch d. algeb. Analysis (Jena, 1851), chap. xiii.

Nova Acta Petrop. ix. 41; Thesaurus Logarithm. Completus, 633 A condensed record compiled by J. W. L. Glaisher (Messenger of Math. ii. 122) is as follows: - it/4 = tan 12 +tan '; +tan 1 s (Dase, 1844), 7r/4=4tan 1 - tan 11 +tan Ys (Rutherford), and Gregory's series were employed.' A much less wise class than the 7r-computers of modern times are the pseudo-circle-squarers, or circle-squarers technically so called, that is to say, persons who, having obtained by illegitimate means a Euclidean construction for the quadrature or a finitely expressible value for 7r, insist on using faulty reasoning and defective mathematics to establish their assertions. Such persons have flourished at all times in the history of mathematics; but the interest attaching to them is more psychological than mathematical.2 It is of recent years that the most important advances in the theory of circle-quadrature have been made. In 1873 Charles Hermite proved that the base of the Napierian logarithms cannot be a root of a rational algebraical equation of any degree.3 To prove the same proposition regarding 7r is to prove that a Euclidean construction for circle-quadrature is impossible. For in such a construction every point of the figure is obtained by the intersection of two straight lines, a straight line and a circle, or two circles; and as this implies that, when a unit of length is introduced, numbers employed, and the problem transformed into one of algebraic geometry, the equations to be solved can only be of the first or second degree, it follows that the equation to which we must be finally led is a rational equation of even degree. Hermite 4 did not succeed in his attempt on 7r; but in 1882 F. Lindemann, following exactly in Hermite's steps, accomplished the desired result.' (See also TRIGONOMETRY.) REFERENCES. - BeSideS the various writings mentioned, see for the history of the subject F. Rudio, Geschichte des Problems von der Quadratur des Zirkels M. Cantor, Geschichte der Mathematik (1894-1901);Montucla, Hist. des. math. (6 vols., Paris, 1758, 2nd ed. 1799-1802); Murhard, Bibliotheca Mathematica, ii. 106-123 (Leipzig, 1798); Reuss, Repertorium Comment. vii. 42-44 (Göttingen, 1808). For a few approximate geometrical solutions, see Leybourn's Math. Repository, vi. 151-154; Grunert's Archiv, xii. 98, xlix. 3; Nieuw Archief v. Wisk. iv. 200-204. For experimental determinations of 7, dependent on the theory of probability, see Mess. of Math. ii. 113, 119; Casopis pro pistovdni math. a fys. Analyst, ix. 176. (T. Mu.)