It has been well said that, if we would study any subject properly, we must study it as something that is alive and growing and consider it with reference to its growth in the past. As most of the vital forces and movements in modern civilization had their origin in Greece, this means that, to study them properly, we must get back to Greece. So it is with the literature of modern countries, or their philosophy, or their art; we cannot study them with the determination to get to the bottom and understand them without the way pointing eventually back to Greece.

When we think of the debt which mankind owes to the Greeks, we are apt to think too exclusively of the masterpieces in literature and art which they have left us. But the Greek genius was many-sided; the Greek, with his insatiable love of knowledge, his determination to see things as they are and to see them whole, his burning desire to be able to give a rational explanation of everything in heaven and earth, was just as irresistibly driven to natural science, mathematics, and exact reasoning in general, or logic.

To quote from a brilliant review of a well-known work: ‘To be a Greek was to seek to know, to know the primordial substance of matter, to know the meaning of number, to know the world as a rational whole. In no spirit of paradox one may say that Euclid is the most typical Greek: he would know to the bottom, and know as a rational system, the laws of the measurement of the earth. Plato, too, loved geometry and the wonders of numbers; he was essentially Greek because he was essentially mathematical.... And if one thus finds the Greek genius in Euclid and the Posterior Analytics, one will understand the motto written over the Academy, ?de?? a?e?et??t?? e?s?t?. To know what the Greek genius meant you must (if one may speak e? a????at?) begin with geometry.’

Mathematics, indeed, plays an important part in Greek philosophy: there are, for example, many passages in Plato and Aristotle for the interpretation of which some knowledge of the technique of Greek mathematics is the first essential. Hence it should be part of the equipment of every classical student that he should have read substantial portions of the works of the Greek mathematicians in the original, say, some of the early books of Euclid in full and the definitions (at least) of the other books, as well as selections from other writers. Von Wilamowitz-Moellendorff has included in his Griechisches Lesebuch extracts from Euclid, Archimedes and Heron of Alexandria; and the example should be followed in this country.

Acquaintance with the original works of the Greek mathematicians is no less necessary for any mathematician worthy of the name. Mathematics is a Greek science. So far as pure geometry is concerned, the mathematician’s technical equipment is almost wholly Greek. The Greeks laid down the principles, fixed the terminology and invented the methods ab initio; moreover, they did this with such certainty that in the centuries which have since elapsed there has been no need to reconstruct, still less to reject as unsound, any essential part of their doctrine.

Consider first the terminology of mathematics. Almost all the standard terms are Greek or Latin translations from the Greek, and, although the mathematician may be taught their meaning without knowing Greek, he will certainly grasp their significance better if he knows them as they arise and as part of the living language of the men who invented them. Take the word isosceles; a schoolboy can be shown what an isosceles triangle is, but, if he knows nothing of the derivation, he will wonder why such an apparently outlandish term should be necessary to express so simple an idea. But if the mere appearance of the word shows him that it means a thing with equal legs, being compounded of ?s??, equal, and s?e???, a leg, he will understand its appropriateness and will have no difficulty in remembering it. Equilateral, on the other hand, is borrowed from the Latin, but it is merely the Latin translation of the Greek ?s?p?e????, equal-sided. Parallelogram again can be explained to a Greekless person, but it will be far better understood by one who sees in it the two words pa?a?????? and ??a? and realizes that it is a short way of expressing that the figure in question is contained by parallel lines; and we shall best understand the word parallel itself if we see in it the statement of the fact that the two straight lines so described go alongside one another, pa?’ a????a?, all the way. Similarly a mathematician should know that a rhombus is so called from its resemblance to a form of spinning-top (???? from ?e?, to spin) and that, just as a parallelogram is a figure formed by two pairs of parallel straight lines, so a parallelepiped is a solid figure bounded by three pairs of parallel planes (pa?a??????, parallel, and ep?ped??, plane); incidentally, in the latter case, he will be saved from writing ‘parallelopiped’, a monstrosity which has disfigured not a few textbooks of geometry. Another good example is the word hypotenuse; it comes from the verb ?p?te??e?? (c. ?p? and acc. or simple acc.), to stretch under, or, in its Latin form, to subtend, which term is used quite generally for ‘to be opposite to’; in our phraseology the word hypotenuse is restricted to that side of a right-angled triangle which is opposite to the right angle, being short for the expression used in Eucl. i. 47, ? t?? ????? ????a? ?p?te????sa p?e??a, ‘the side subtending the right angle’, which accounts for the feminine participial form ?p?te????sa, hypotenuse. If mathematicians had had more Greek, perhaps the misspelt form ‘hypothenuse’ would not have survived so long.

To take an example outside the Elements, how can a mathematician properly understand the term latus rectum used in conic sections unless he has seen it in Apollonius as the erect side (????a p?e??a) of a certain rectangle in the case of each of the three conics?[3] The word ordinate can hardly convey anything to one who does not know that it is what Apollonius describes as ‘the straight line drawn down (from a point on the curve) in the prescribed or ordained manner (teta?e??? ?at??e??)’. Asymptote again comes from as?pt?t??, non-meeting, non-secant, and had with the Greeks a more general signification as well as the narrower one which it has for us: it was sometimes used of parallel lines, which also ‘do not meet’.

Again, if we take up a textbook of geometry written in accordance with the most modern Education Board circular or University syllabus, we shall find that the phraseology used (except where made more colloquial and less scientific) is almost all pure Greek. The Greek tongue was extraordinarily well adapted as a vehicle of scientific thought. One of the characteristics of Euclid’s language which his commentator Proclus is most fond of emphasizing is its marvellous exactness (a???e?a). The language of the Greek geometers is also wonderfully concise, notwithstanding all appearances to the contrary. One of the complaints often made against Euclid is that he is ‘diffuse’. Yet (apart from abbreviations in writing) it will be found that the exposition of corresponding matters in modern elementary textbooks generally takes up, not less, but more space. And, to say nothing of the perfect finish of Archimedes’s treatises, we shall find in Heron, Ptolemy and Pappus veritable models of concise statement. The purely geometrical proof by Heron of the formula for the area of a triangle, ?=v{s(s-a) (s-b) (s-c)}, and the geometrical propositions in Book I of Ptolemy’s Syntaxis (including ‘Ptolemy’s Theorem’) are cases in point.

The principles of geometry and arithmetic (in the sense of the theory of numbers) are stated in the preliminary matter of Books I and VII of Euclid. But Euclid was not their discoverer; they were gradually evolved from the time of Pythagoras onwards. Aristotle is clear about the nature of the principles and their classification. Every demonstrative science, he says, has to do with three things, the subject-matter, the things proved, and the things from which the proof starts (e? ??). It is not everything that can be proved, otherwise the chain of proof would be endless; you must begin somewhere, and you must start with things admitted but indemonstrable. These are, first, principles common to all sciences which are called axioms or common opinions, as that ‘of two contradictories one must be true’, or ‘if equals be subtracted from equals, the remainders are equal’; secondly, principles peculiar to the subject-matter of the particular science, say geometry. First among the latter principles are definitions; there must be agreement as to what we mean by certain terms. But a definition asserts nothing about the existence or non-existence of the thing defined. The existence of the various things defined has to be proved except in the case of a few primary things in each science the existence of which is indemonstrable and must be assumed among the first principles of the science; thus in geometry we must assume the existence of points and lines, and in arithmetic of the unit. Lastly, we must assume certain other things which are less obvious and cannot be proved but yet have to be accepted; these are called postulates, because they make a demand on the faith of the learner. Euclid’s Postulates are of this kind, especially that known as the parallel-postulate.

The methods of solution of problems were no doubt first applied in particular cases and then gradually systematized; the technical terms for them were probably invented later, after the methods themselves had become established.

One method of solution was the reduction of one problem to another. This was called apa????, a term which seems to occur first in Aristotle. But instances of such reduction occurred long before. Hippocrates of Chios reduced the problem of duplicating the cube to that of finding two mean proportionals in continued proportion between two straight lines, that is, he showed that, if the latter problem could be solved, the former was thereby solved also; and it is probable that there were still earlier cases in the Pythagorean geometry.

Next there is the method of mathematical analysis. This method is said to have been ‘communicated’ or ‘explained’ by Plato to Leodamas of Thasos; but, like reduction (to which it is closely akin), analysis in the mathematical sense must have been in use much earlier. Analysis and its correlative synthesis are defined by Pappus: ‘in analysis we assume that which is sought as if it were already done, and we inquire what it is from which this results, and again what is the antecedent cause of the latter, and so on, until by so retracing our steps we come upon something already known or belonging to the class of principles. But in synthesis, reversing the process, we take as already done that which was last arrived at in the analysis, and, by arranging in their natural order as consequences what were before antecedents and successively connecting them one with another, we arrive finally at the construction of that which was sought.’

The method of reductio ad absurdum is a variety of analysis. Starting from a hypothesis, namely the contradictory of what we desire to prove, we use the same process of analysis, carrying it back until we arrive at something admittedly false or absurd. Aristotle describes this method in various ways as reductio ad absurdum, proof per impossibile, or proof leading to the impossible. But here again, though the term was new, the method was not. The paradoxes of Zeno are classical instances.

Lastly, the Greeks established the form of exposition which still governs geometrical work, simply because it is dictated by strict logic. It is seen in Euclid’s propositions, with their separate formal divisions, to which specific names were afterwards assigned, (1) the enunciation (p??tas??), (2) the setting-out (e??es??), (3) the d????s??, being a re-statement of what we are required to do or prove, not in general terms (as in the enunciation), but with reference to the particular data contained in the setting-out, (4) the construction (?atas?e??), (5) the proof (ap?de????), (6) the conclusion (s?pe?asa). In the case of a problem it often happens that a solution is not possible unless the particular data are such as to satisfy certain conditions; in this case there is yet another constituent part in the proposition, namely the statement of the conditions or limits of possibility, which was called by the same name d????s??, definition or delimitation, as that applied to the third constituent part of a theorem.

We have so far endeavoured to indicate generally the finality and the abiding value of the work done by the creators of mathematical science. It remains to summarize, as briefly as possible, the history of Greek mathematics according to periods and subjects.

The Greeks of course took what they could in the shape of elementary facts in geometry and astronomy from the Egyptians and Babylonians. But some of the essential characteristics of the Greek genius assert themselves even in their borrowings from these or other sources. Here, as everywhere else, we see their directness and concentration; they always knew what they wanted, and they had an unerring instinct for taking only what was worth having and rejecting the rest. This is illustrated by the story of Pythagoras’s travels. He consorted with priests and prophets and was initiated into the religious rites practised in different places, not out of religious enthusiasm ‘as you might think’ (says our informant), but in order that he might not overlook any fragment of knowledge worth acquiring that might lie hidden in the mysteries of divine worship.

This story also illustrates an important advantage which the Greeks had over the Egyptians and Babylonians. In those countries science, such as it was, was the monopoly of the priests; and, where this is the case, the first steps in science are apt to prove the last also, because the scientific results attained tend to become involved in religious prescriptions and routine observances, and so to end in a collection of lifeless formulae. Fortunately for the Greeks, they had no organized priesthood; untrammelled by prescription, traditional dogmas or superstition, they could give their reasoning faculties free play. Thus they were able to create science as a living thing susceptible of development without limit.

Greek geometry, as also Greek astronomy, begins with Thales (about 624-547 B. C.), who travelled in Egypt and is said to have brought geometry from thence. Such geometry as there was in Egypt arose out of practical needs. Revenue was raised by the taxation of landed property, and its assessment depended on the accurate fixing of the boundaries of the various holdings. When these were removed by the periodical flooding due to the rising of the Nile, it was necessary to replace them, or to determine the taxable area independently of them, by an art of land-surveying. We conclude from the Papyrus Rhind (say 1700 B. C.) and other documents that Egyptian geometry consisted mainly of practical rules for measuring, with more or less accuracy, (1) such areas as squares, triangles, trapezia, and circles, (2) the solid content of measures of corn, &c., of different shapes. The Egyptians also constructed pyramids of a certain slope by means of arithmetical calculations based on a certain ratio, se-qe?, namely the ratio of half the side of the base to the height, which is in fact equivalent to the co-tangent of the angle of slope. The use of this ratio implies the notion of similarity of figures, especially triangles. The Egyptians knew, too, that a triangle with its sides in the ratio of the numbers 3, 4, 5 is right-angled, and used the fact as a means of drawing right angles. But there is no sign that they knew the general property of a right-angled triangle (= Eucl. I. 47), of which this is a particular case, or that they proved any general theorem in geometry.

No doubt Thales, when he was in Egypt, would see diagrams drawn to illustrate the rules for the measurement of circles and other plane figures, and these diagrams would suggest to him certain similarities and congruences which would set him thinking whether there were not some elementary general principles underlying the construction and relations of different figures and parts of figures. This would be in accord with the Greek instinct for generalization and their wish to be able to account for everything on rational principles.

The following theorems are attributed to Thales: (1) that a circle is bisected by any diameter (Eucl. I, Def. 17), (2) that the angles at the base of an isosceles triangle are equal (Eucl. I. 5), (3) that, if two straight lines cut one another, the vertically opposite angles are equal (Eucl. I. 15), (4) that, if two triangles have two angles and one side respectively equal, the triangles are equal in all respects (Eucl. I. 26). He is said (5) to have been the first to inscribe a right-angled triangle in a circle, which must mean that he was the first to discover that the angle in a semicircle is a right angle (cf. Eucl. III. 31). Elementary as these things are, they represent a new departure of a momentous kind, being the first steps towards a theory of geometry. On this point we cannot do better than quote some remarks from Kant’s preface to the second edition of his Kritik der reinen Vernunft.

‘Mathematics has, from the earliest times to which the history of human reason goes back, (that is to say) with that wonderful people the Greeks, travelled the safe road of a science. But it must not be supposed that it was as easy for mathematics as it was for logic, where reason is concerned with itself alone, to find, or rather to build for itself, that royal road. I believe on the contrary that with mathematics it remained for long a case of groping about—the Egyptians in particular were still at that stage—and that this transformation must be ascribed to a revolution brought about by the happy inspiration of one man in trying an experiment, from which point onward the road that must be taken could no longer be missed, and the safe way of a science was struck and traced out for all time and to distances illimitable.... A light broke on the first man who demonstrated the property of the isosceles triangle (whether his name was Thales or what you will)....’

Thales also solved two problems of a practical kind: (1) he showed how to measure the distance of a ship at sea, and (2) he found the heights of pyramids by means of the shadows thrown on the ground by the pyramid and by a stick of known length at the same moment; one account says that he chose the time when the lengths of the stick and of its shadow were equal, but in either case he argued by similarity of triangles.

In astronomy Thales predicted a solar eclipse which was probably that of the 28th May 585 B. C. Now the Babylonians, as the result of observations continued through centuries, had discovered the period of 223 lunations after which eclipses recur. It is most likely therefore that Thales had heard of this period, and that his prediction was based upon it. He is further said to have used the Little Bear for finding the pole, to have discovered the inequality of the four astronomical seasons, and to have written works On the Equinox and On the Solstice.

After Thales come the Pythagoreans. Of the Pythagoreans Aristotle says that they applied themselves to the study of mathematics and were the first to advance that science, going so far as to find in the principles of mathematics the principles of all existing things. Of Pythagoras himself we are told that he attached supreme importance to the study of arithmetic, advancing it and taking it out of the region of practical utility, and again that he transformed the study of geometry into a liberal education, examining the principles of the science from the beginning.

The very word a??ata, which originally meant ‘subjects of instruction’ generally, is said to have been first appropriated to mathematics by the Pythagoreans.

In saying that arithmetic began with Pythagoras we have to distinguish between the uses of that word then and now. ?????t??? with the Greeks was distinguished from ????st???, the science of calculation. It is the latter word which would cover arithmetic in our sense, or practical calculation; the term a????t??? was restricted to the science of numbers considered in themselves, or, as we should say, the Theory of Numbers. Another way of putting the distinction was to say that a????t??? dealt with absolute numbers or numbers in the abstract, and ????st??? with numbered things or concrete numbers; thus ????st??? included simple problems about numbers of apples, bowls, or objects generally, such as are found in the Greek Anthology and sometimes involve simple algebraical equations.

The Theory of Numbers then began with Pythagoras (about 572-497 B. C.). It included definitions of the unit and of number, and the classification and definitions of the various classes of numbers, odd, even, prime, composite, and sub-divisions of these such as odd-even, even-times-even, &c. Again there were figured numbers, namely, triangular numbers, squares, oblong numbers, polygonal numbers (pentagons, hexagons, &c.) corresponding respectively to plane figures, and pyramidal numbers, cubes, parallelepipeds, &c., corresponding to solid figures in geometry. The treatment was mostly geometrical, the numbers being represented by dots filling up geometrical figures of the various kinds. The laws of formation of the various figured numbers were established. In this investigation the gnomon played an important part. Originally meaning the upright needle of a sun-dial, the term was next used for a figure like a carpenter’s square, and then was applied to a figure of that shape put round two sides of a square and making up a larger square. The arithmetical application of the term was similar. If we represent a unit by one dot and put round it three dots in such a way that the four form the corners of a square, three is the first gnomon. Five dots put at equal distances round two sides of the square containing four dots make up the next square (3²), and five is the second gnomon. Generally, if we have n² dots so arranged as to fill up a square with n for its side, the gnomon to be put round it to make up the next square, (n+1)², has 2n+1 dots. In the formation of squares, therefore, the successive gnomons are the series of odd numbers following 1 (the first square), namely 3, 5, 7, ... In the formation of oblong numbers (numbers of the form n(n+1)), the first of which is 1. 2, the successive gnomons are the terms after 2 in the series of even numbers 2, 4, 6.... Triangular numbers are formed by adding to 1 (the first triangle) the terms after 1 in the series of natural numbers 1, 2, 3 ...; these are therefore the gnomons (by analogy) for triangles. The gnomons for pentagonal numbers are the terms after 1 in the arithmetical progression 1, 4, 7, 10 ... (with 3, or 5-2, as the common difference) and so on; the common difference of the successive gnomons for an a-gonal number is a-2.

From the series of gnomons for squares we easily deduce a formula for finding square numbers which are the sum of two squares. For, the gnomon 2n+1 being the difference between the successive squares n² and (n+1)², we have only to make 2n+1 a square. Suppose that 2n+1=m²; therefore n=½(m²-1), and {½(m²-1)}²+m²={½(m²+1)}², where m is any odd number. This is the formula actually attributed to Pythagoras.

Pythagoras is said to have discovered the theory of proportionals or proportion. This was a numerical theory and therefore was applicable to commensurable magnitudes only; it was no doubt somewhat on the lines of Euclid, Book VII. Connected with the theory of proportion was that of means, and Pythagoras was acquainted with three of these, the arithmetic, geometric, and sub-contrary (afterwards called harmonic). In particular Pythagoras is said to have introduced from Babylon into Greece the ‘most perfect’ proportion, namely:

a:(a+b)/2=2ab/(a+b):b,

where the second and third terms are respectively the arithmetic and harmonic mean between a and b. A particular case is 12:9=8:6.

This bears upon what was probably Pythagoras’s greatest discovery, namely that the musical intervals correspond to certain arithmetical ratios between lengths of string at the same tension, the octave corresponding to the ratio 2:1, the fifth to 3:2 and the fourth to 4:3. These ratios being the same as those of 12 to 6, 8, 9 respectively, we can understand how the third term, 8, in the above proportion came to be called the ‘harmonic’ mean between 12 and 6.

The Pythagorean arithmetic as a whole, with the developments made after the time of Pythagoras himself, is mainly known to us through Nicomachus’s Introductio arithmetica, Iamblichus’s commentary on the same, and Theon of Smyrna’s work Expositio rerum mathematicarum ad legendum Platonem utilium. The things in these books most deserving of notice are the following.

First, there is the description of a ‘perfect’ number (a number which is equal to the sum of all its parts, i.e. all its integral divisors including 1 but excluding the number itself), with a statement of the property that all such numbers end in 6 or 8. Four such numbers, namely 6, 28, 496, 8128, were known to Nicomachus. The law of formation for such numbers is first found in Eucl. IX. 36 proving that, if the sum (S_n) of n terms of the series 1, 2, 2², 2³ ... is prime, then S_n.2^n-1 is a perfect number.

Secondly, Theon of Smyrna gives the law of formation of the series of ‘side-’ and ‘diameter-’ numbers which satisfy the equations 2x²-y²=±1. The law depends on the proposition proved in Eucl. II. 10 to the effect that (2x+y)²-2(x+y)²=2x²-y², whence it follows that, if x, y satisfy either of the above equations, then 2x+y, x+y is a solution in higher numbers of the other equation. The successive solutions give values for y/x, namely 1/1, 3/2, 7/5, 17/12, 41/29, ..., which are successive approximations to the value of v2 (the ratio of the diagonal of a square to its side). The occasion for this method of approximation to v2 (which can be carried as far as we please) was the discovery by the Pythagoreans of the incommensurable or irrational in this particular case.

Thirdly, Iamblichus mentions a discovery by Thymaridas, a Pythagorean not later than Plato’s time, called the epa???a (‘bloom’) of Thymaridas, and amounting to the solution of any number of simultaneous equations of the following form:

x+x₁ + x₂ + ... + x_n-1 = s,
x + x₁ = a₁,
x + x₂ = a₂,
....
x+x_n-1 = a_n-1,

the solution being x=((a₁+a₂+...+a_n-1)-s)/(n-2).

The rule is stated in general terms, but the above representation of its effect shows that it is a piece of pure algebra.

The Pythagorean contributions to geometry were even more remarkable. The most famous proposition attributed to Pythagoras himself is of course the theorem of Eucl. I. 47 that the square on the hypotenuse of any right-angled triangle is equal to the sum of the squares on the other two sides. But Proclus also attributes to him, besides the theory of proportionals, the construction of the ‘cosmic figures’, the five regular solids.

One of the said solids, the dodecahedron, has twelve regular pentagons for faces, and the construction of a regular pentagon involves the cutting of a straight line ‘in extreme and mean ratio’ (Eucl. II. 11 and VI. 30), which is a particular case of the method known as the application of areas. This method was fully worked out by the Pythagoreans and proved one of the most powerful in all Greek geometry. The most elementary case appears in Eucl. I. 44, 45, where it is shown how to apply to a given straight line as base a parallelogram with one angle equal to a given angle and equal in area to any given rectilineal figure; this construction is the geometrical equivalent of arithmetical division. The general case is that in which the parallelogram, though applied to the straight line, overlaps it or falls short of it in such a way that the part of the parallelogram which extends beyond or falls short of the parallelogram of the same angle and breadth on the given straight line itself (exactly) as base is similar to any given parallelogram (Eucl. VI. 28, 29). This is the geometrical equivalent of the solution of the most general form of quadratic equation ax±mx²=C, so far as it has real roots; the condition that the roots may be real was also worked out (=Eucl. VI. 27). It is in the form of ‘application of areas’ that Apollonius obtains the fundamental property of each of the conic sections, and, as we shall see, it is from the terminology of application of areas that Apollonius took the three names parabola, hyperbola, and ellipse which he was the first to give to the three curves.

Another problem solved by the Pythagoreans was that of drawing a rectilineal figure which shall be equal in area to one given rectilineal figure and similar to another. Plutarch mentions a doubt whether it was this problem or the theorem of Eucl. I. 47 on the strength of which Pythagoras was said to have sacrificed an ox.

The main particular applications of the theorem of the square on the hypotenuse, e. g. those in Euclid, Book II, were also Pythagorean; the construction of a square equal to a given rectangle (Eucl. II. 14) is one of them, and corresponds to the solution of the pure quadratic equation x²=ab.

The Pythagoreans knew the properties of parallels and proved the theorem that the sum of the three angles of any triangle is equal to two right angles.

As we have seen, the Pythagorean theory of proportion, being numerical, was inadequate in that it did not apply to incommensurable magnitudes; but, with this qualification, we may say that the Pythagorean geometry covered the bulk of the subject-matter of Books I, II, IV and VI of Euclid’s Elements. The case is less clear with regard to Book III of the Elements; but, as the main propositions of that Book were known to Hippocrates of Chios in the second half of the fifth century B. C., we conclude that they, too, were part of the Pythagorean geometry.

Lastly, the Pythagoreans discovered the existence of the incommensurable or irrational in the particular case of the diagonal of a square in relation to its side. Aristotle mentions an ancient proof of the incommensurability of the diagonal with the side by a reductio ad absurdum showing that, if the diagonal were commensurable with the side, it would follow that one and the same number is both odd and even. This proof was doubtless Pythagorean.

A word should be added about the Pythagorean astronomy. Pythagoras was the first to hold that the earth (and no doubt each of the other heavenly bodies also) is spherical in shape, and he was aware that the sun, moon and planets have independent movements of their own in a sense opposite to that of the daily rotation; but he seems to have kept the earth in the centre. His successors in the school (one Hicetas of Syracuse and Philolaus are alternatively credited with this innovation) actually abandoned the geocentric idea and made the earth, like the sun, the moon, and the other planets, revolve in a circle round the ‘central fire’, in which resided the governing principle ordering and directing the movement of the universe.

The geometry of which we have so far spoken belongs to the Elements. But, before the body of the Elements was complete, the Greeks had advanced beyond the Elements. By the second half of the fifth century B. C. they had investigated three famous problems in higher geometry, (1) the squaring of the circle, (2) the trisection of any angle, (3) the duplication of the cube. The great names belonging to this period are Hippias of Elis, Hippocrates of Chios, and Democritus.

Hippias of Elis invented a certain curve described by combining two uniform movements (one angular and the other rectilinear) taking the same time to complete. Hippias himself used his curve for the trisection of any angle or the division of it in any ratio; but it was afterwards employed by Dinostratus, a brother of Eudoxus’s pupil Menaechmus, and by Nicomedes for squaring the circle, whence it got the name tet?a???????sa, quadratrix.

Hippocrates of Chios is mentioned by Aristotle as an instance to prove that a man may be a distinguished geometer and, at the same time, a fool in the ordinary affairs of life. He occupies an important place both in elementary geometry and in relation to two of the higher problems above mentioned. He was, so far as is known, the first compiler of a book of Elements; and he was the first to prove the important theorem of Eucl. XII. 2 that circles are to one another as the squares on their diameters, from which he further deduced that similar segments of circles are to one another as the squares on their bases. These propositions were used by him in his tract on the squaring of lunes, which was intended to lead up to the squaring of the circle. The essential portions of the tract are preserved in a passage of Simplicius’s commentary on Aristotle’s Physics, which contains substantial extracts from Eudemus’s lost History of Geometry. Hippocrates showed how to square three particular lunes of different kinds and then, lastly, he squared the sum of a circle and a certain lune. Unfortunately the last-mentioned lune was not one of those which can be squared, so that the attempt to square the circle in this way failed after all.

Hippocrates also attacked the problem of doubling the cube. There are two versions of the origin of this famous problem. According to one story an old tragic poet had represented Minos as having been dissatisfied with the size of a cubical tomb erected for his son Glaucus and having told the architect to make it double the size while retaining the cubical form. The other story says that the Delians, suffering from a pestilence, consulted the oracle and were told to double a certain altar as a means of staying the plague. Hippocrates did not indeed solve the problem of duplication, but reduced it to another, namely that of finding two mean proportionals in continued proportion between two given straight lines; and the problem was ever afterwards attacked in this form. If x, y be the two required mean proportionals between two straight lines a, b, then a:x=x:y=y:b, whence b/a=(x/a)³, and, as a particular case, if b=2a, x³=2a³, so that, when x is found, the cube is doubled.

Democritus wrote a large number of mathematical treatises, the titles only of which are preserved. We gather from one of these titles, ‘On irrational lines and solids’, that he wrote on irrationals. Democritus realized as fully as Zeno, and expressed with no less piquancy, the difficulty connected with the continuous and the infinitesimal. This appears from his dilemma about the circular base of a cone and a parallel section; the section which he means is a section ‘indefinitely near’ (as the phrase is) to the base, i. e. the very next section, as we might say (if there were one). Is it, said Democritus, equal or not equal to the base? If it is equal, so will the very next section to it be, and so on, so that the cone will really be, not a cone, but a cylinder. If it is unequal to the base and in fact less, the surface of the cone will be jagged, like steps, which is very absurd. We may be sure that Democritus’s work on ‘The contact of a circle or a sphere’ discussed a like difficulty.

Lastly, Archimedes tells us that Democritus was the first to state, though he could not give a rigorous proof, that the volume of a cone or a pyramid is one-third of that of the cylinder or prism respectively on the same base and having equal height, theorems first proved by Eudoxus.

We come now to the time of Plato, and here the great names are Archytas, Theodoras of Cyrene, Theaetetus, and Eudoxus. Archytas (about 430-360 B. C.) wrote on music and the numerical ratios corresponding to the intervals of the tetrachord. He is said to have been the first to write a treatise on mechanics based on mathematical principles; on the practical side he invented a mechanical dove which would fly. In geometry he gave the first solution of the problem of the two mean proportionals, using a wonderful construction in three dimensions which determined a certain point as the intersection of three surfaces, (1) a certain cone, (2) a half-cylinder, (3) an anchor-ring or tore with inner diameter nil.

Theodorus, Plato’s teacher in mathematics, extended the theory of the irrational by proving incommensurability in certain particular cases other than that of the diagonal of a square in relation to its side, which was already known. He proved that the side of a square containing 3 square feet, or 5 square feet, or any non-square number of square feet up to 17 is incommensurable with one foot, in other words that v3, v5 ... v17 are all incommensurable with 1. Theodorus’s proof was evidently not general; and it was reserved for Theaetetus to comprehend all these irrationals in one definition, and to prove the property generally as it is proved in Eucl. X. 9. Much of the content of the rest of Euclid’s Book X (dealing with compound irrationals), as also of Book XIII on the five regular solids, was due to Theaetetus, who is even said to have discovered two of those solids (the octahedron and icosahedron).

Plato (427-347 B. C.) was probably not an original mathematician, but he ‘caused mathematics in general and geometry in particular to make a great advance by reason of his enthusiasm for them’. He encouraged the members of his school to specialize in mathematics and astronomy; e. g. we are told that in astronomy he set it as a problem to all earnest students to find ‘what are the uniform and ordered movements by the assumption of which the apparent motions of the planets may be accounted for’. In Plato’s own writings are found certain definitions, e. g. that of a straight line as ‘that of which the middle covers the ends’, and some interesting mathematical illustrations, especially that in the second geometrical passage in the Meno (86E-87C). To Plato himself are attributed (1) a formula (n²-1)²+(2n)²=(n²+1)² for finding two square numbers the sum of which is a square number, (2) the invention of the method of analysis, which he is said to have explained to Leodamas of Thasos (mathematical analysis was, however, certainly, in practice, employed long before). The solution, attributed to Plato, of the problem of the two mean proportionals by means of a frame resembling that which a shoemaker uses to measure a foot, can hardly be his.

Eudoxus (408-355 B. C.), an original genius second to none (unless it be Archimedes) in the history of our subject, made two discoveries of supreme importance for the further development of Greek geometry.

(1) As we have seen, the discovery of the incommensurable rendered inadequate the Pythagorean theory of proportion, which applied to commensurable magnitudes only. It would no doubt be possible, in most cases, to replace proofs depending on proportions by others; but this involved great inconvenience, and a slur was cast on geometry generally. The trouble was remedied once for all by Eudoxus’s discovery of the great theory of proportion, applicable to commensurable and incommensurable magnitudes alike, which is expounded in Euclid’s Book V. Well might Barrow say of this theory that ‘there is nothing in the whole body of the elements of a more subtile invention, nothing more solidly established’. The keystone of the structure is the definition of equal ratios (Eucl. V, Def. 5); and twenty-three centuries have not abated a jot from its value, as is plain from the facts that Weierstrass repeats it word for word as his definition of equal numbers, and it corresponds almost to the point of coincidence with the modern treatment of irrationals due to Dedekind.

(2) Eudoxus discovered the method of exhaustion for measuring curvilinear areas and solids, to which, with the extensions given to it by Archimedes, Greek geometry owes its greatest triumphs. Antiphon the Sophist, in connexion with attempts to square the circle, had asserted that, if we inscribe successive regular polygons in a circle, continually doubling the number of sides, we shall sometime arrive at a polygon the sides of which will coincide with the circumference of the circle. Warned by the unanswerable arguments of Zeno against infinitesimals, mathematicians substituted for this the statement that, by continuing the construction, we can inscribe a polygon approaching equality with the circle as nearly as we please. The method of exhaustion used, for the purpose of proof by reductio ad absurdum, the lemma proved in Eucl. X. 1 (to the effect that, if from any magnitude we subtract not less than half, and then from the remainder not less than half, and so on continually, there will sometime be left a magnitude less than any assigned magnitude of the same kind, however small): and this again depends on an assumption which is practically contained in Eucl. V, Def. 4, but is generally known as the Axiom of Archimedes, stating that, if we have two unequal magnitudes, their difference (however small) can, if continually added to itself, be made to exceed any magnitude of the same kind (however great).

The method of exhaustion is seen in operation in Eucl. XII. 1-2, 3-7 Cor., 10, 16-18. Props. 3-7 Cor. and Prop. 10 prove that the volumes of a pyramid and a cone are one-third of the prism and cylinder respectively on the same base and of equal height; and Archimedes expressly says that these facts were first proved by Eudoxus.

In astronomy Eudoxus is famous for the beautiful theory of concentric spheres which he invented to explain the apparent motions of the planets and, particularly, their apparent stationary points and retrogradations. The theory applied also to the sun and moon, for each of which Eudoxus employed three spheres. He represented the motion of each planet as produced by the rotations of four spheres concentric with the earth, one within the other, and connected in the following way. Each of the inner spheres revolves about a diameter the ends of which (poles) are fixed on the next sphere enclosing it. The outermost sphere represents the daily rotation, the second a motion along the zodiac circle; the poles of the third sphere are fixed on the latter circle; the poles of the fourth sphere (carrying the planet fixed on its equator) are so fixed on the third sphere, and the speeds and directions of rotation so arranged, that the planet describes on the second sphere a curve called the hippopede (horse-fetter), or a figure of eight, lying along and longitudinally bisected by the zodiac circle. The whole arrangement is a marvel of geometrical ingenuity.

Heraclides of Pontus (about 388-315 B. C.), a pupil of Plato, made a great step forward in astronomy by his declaration that the earth rotates on its own axis once in 24 hours, and by his discovery that Mercury and Venus revolve about the sun like satellites.

Menaechmus, a pupil of Eudoxus, was the discoverer of the conic sections, two of which, the parabola and the hyperbola, he used for solving the problem of the two mean proportionals. If a:x=x:y=y:b, then x²=ay, y²=bx and xy=ab. These equations represent, in Cartesian co-ordinates, and with rectangular axes, the conics by the intersection of which two and two Menaechmus solved the problem; in the case of the rectangular hyperbola it was the asymptote-property which he used.

We pass to Euclid’s times. A little older than Euclid, Autolycus of Pitane wrote two books, On the Moving Sphere, a work on Sphaeric for use in astronomy, and On Risings and Settings. The former work is the earliest Greek textbook which has reached us intact. It was before Euclid when he wrote his Phaenomena, and there are many points of contact between the two books.

Euclid flourished about 300 B. C. or a little earlier. His great work, the Elements in thirteen Books, is too well known to need description. No work presumably, except the Bible, has had such a reign; and future generations will come back to it again and again as they tire of the variegated substitutes for it and the confusion resulting from their bewildering multiplicity. After what has been said above of the growth of the Elements, we can appreciate the remark of Proclus about Euclid, ‘who put together the Elements, collecting many of Eudoxus’s theorems, perfecting many of Theaetetus’s and also bringing to irrefragable demonstration the things which were only somewhat loosely proved by his predecessors’. Though a large portion of the subject-matter had been investigated by those predecessors, everything goes to show that the whole arrangement was Euclid’s own; it is certain that he made great changes in the order of propositions and in the proofs, and that his innovations began at the very beginning of Book I.

Euclid wrote other books on both elementary and higher geometry, and on the other mathematical subjects known in his day. The elementary geometrical works include the Data and On Divisions (of figures), the first of which survives in Greek and the second in Arabic only; also the Pseudaria, now lost, which was a sort of guide to fallacies in geometrical reasoning. The treatises on higher geometry are all lost; they include (1) the Conics in four Books, which covered almost the same ground as the first three Books of Apollonius’s Conics, although no doubt, for Euclid, the conics were still, as with his predecessors, sections of a right-angled, an obtuse-angled, and an acute-angled cone respectively made by a plane perpendiular to a generator in each case; (2) the Porisms in three Books, the importance and difficulty of which can be inferred from Pappus’s account of it and the lemmas which he gives for use with it; (3) the Surface-Loci, to which again Pappus furnishes lemmas; one of these implies that Euclid assumed as known the focus-directrix property of the three conics, which is absent from Apollonius’s Conics.

In applied mathematics Euclid wrote (1) the Phaenomena, a work on spherical astronomy in which ? ?????? (without ?????? or any qualifying words) appears for the first time in the sense of horizon; (2) the Optics, a kind of elementary treatise on perspective: these two treatises are extant in Greek; (3) a work on the Elements of Music. The Sectio Canonis, which has come down under the name of Euclid, can, however, hardly be his in its present form.

In the period between Euclid and Archimedes comes Aristarchus of Samos (about 310-230 B. C.), famous for having anticipated Copernicus. Accepting Heraclides’s view that the earth rotates about its own axis, Aristarchus went further and put forward the hypothesis that the sun itself is at rest, and that the earth, as well as Mercury, Venus, and the other planets, revolve in circles about the sun. We have this on the unquestionable authority of Archimedes, who was only some twenty-five years later, and who must have seen the book containing the hypothesis in question. We are told too that Cleanthes the Stoic thought that Aristarchus ought to be indicted on the charge of impiety for setting the Hearth of the Universe in motion.

One work of Aristarchus, On the sizes and distances of the Sun and Moon, which is extant in Greek, is highly interesting in itself, though it contains no word of the heliocentric hypothesis. Thoroughly classical in form and style, it lays down certain hypotheses and then deduces therefrom, by rigorous geometry, the sizes and distances of the sun and moon. If the hypotheses had been exact, the results would have been correct too; but Aristarchus in fact assumed a certain angle to be 87° which is really 89° 50', and the angle subtended at the centre of the earth by the diameter of either the sun or the moon to be 2°, whereas we know from Archimedes that Aristarchus himself discovered that the latter angle is only ½°. The effect of Aristarchus’s geometry is to find arithmetical limits to the values of what are really trigonometrical ratios of certain small angles, namely

1/18 > sin 3° > 1/20, 1/45 > sin 1° > 1/60, 1 > cos 1° > 89/90.

The main results obtained are (1) that the diameter of the sun is between 18 and 20 times the diameter of the moon, (2) that the diameter of the moon is between 2/45ths and 1/30th of the distance of the centre of the moon from our eye, and (3) that the diameter of the sun is between 19/3rds and 43/6ths of the diameter of the earth. The book contains a good deal of arithmetical calculation.

Archimedes was born about 287 B. C. and was killed at the sack of Syracuse by Marcellus’s army in 212 B. C. The stories about him are well known, how he said ‘Give me a place to stand on, and I will move the earth’ (pa ? ?a? ???? ta? ?a?; how, having thought of the solution of the problem of the crown when in the bath, he ran home naked shouting ?????a, ?????a; and how, the capture of Syracuse having found him intent on a figure drawn on the ground, he said to a Roman soldier who came up, ‘Stand away, fellow, from my diagram.’ Of his work few people know more than that he invented a tubular screw which is still used for pumping water, and that for a long time he foiled the attacks of the Romans on Syracuse by the mechanical devices and engines which he used against them. But he thought meanly of these things, and his real interest was in pure mathematical speculation; he caused to be engraved on his tomb a representation of a cylinder circumscribing a sphere, with the ratio 3/2 which the cylinder bears to the sphere: from which we infer that he regarded this as his greatest discovery.

Archimedes’s works are all original, and are perfect models of mathematical exposition; their wide range will be seen from the list of those which survive: On the Sphere and Cylinder I, II, Measurement of a Circle, On Conoids and Spheroids, On Spirals, On Plane Equilibriums I, II, the Sandreckoner, Quadrature of the Parabola, On Floating Bodies I, II, and lastly the Method (only discovered in 1906). The difficult Cattle-Problem is also attributed to him, and a Liber Assumptorum which has reached us through the Arabic, but which cannot be his in its present form, although some of the propositions in it (notably that about the ‘Salinon’, salt-cellar, and others about circles inscribed in the a?????, shoemaker’s knife) are quite likely to be of Archimedean origin. Among lost works were the Catoptrica, On Sphere-making, and investigations into polyhedra, including thirteen semi-regular solids, the discovery of which is attributed by Pappus to Archimedes.

Speaking generally, the geometrical works are directed to the measurement of curvilinear areas and volumes; and Archimedes employs a method which is a development of Eudoxus’s method of exhaustion. Eudoxus apparently approached the figure to be measured from below only, i. e. by means of figures successively inscribed to it. Archimedes approaches it from both sides by successively inscribing figures and circumscribing others also, thereby compressing them, as it were, until they coincide as nearly as we please with the figure to be measured. In many cases his procedure is, when the analytical equivalents are set down, seen to amount to real integration; this is so with his investigation of the areas of a parabolic segment and a spiral, the surface and volume of a sphere, and the volume of any segments of the conoids and spheroids. The newly-discovered Method is especially interesting as showing how Archimedes originally obtained his results; this was by a clever mechanical method of (theoretically) weighing infinitesimal elements of the figure to be measured against elements of another figure the area or content of which (as the case may be) is known; it amounts to an avoidance of integration. Archimedes, however, would only admit that the mechanical method is useful for finding results; he did not consider them proved until they were established geometrically.

In the Measurement of a Circle, after proving by exhaustion that the area of a circle is equal to a right-angled triangle with the perpendicular sides equal respectively to the radius and the circumference of the circle, Archimedes finds, by sheer calculation, upper and lower limits to the ratio of the circumference of a circle to its diameter (what we call p). This he does by inscribing and circumscribing regular polygons of 96 sides and calculating approximately their respective perimeters. He begins by assuming as known certain approximate values for v3, namely 1351/780 > v3 > 265/153, and his calculations involve approximating to the square roots of several large numbers (up to seven digits). The text only gives the results, but it is evident that the extraction of square roots presented no difficulty, notwithstanding the comparative inconvenience of the alphabetic system of numerals. The result obtained is well known, namely 3-1/7 > p > 3-10/71.

The Plane Equilibriums is the first scientific treatise on the first principles of mechanics, which are established by pure geometry. The most important result established in Book I is the principle of the lever. This was known to Plato and Aristotle, but they had no real proof. The Aristotelian Mechanics merely ‘refers’ the lever ‘to the circle’, asserting that the force which acts at the greater distance from the fulcrum moves the system more easily because it describes a greater circle. Archimedes also finds the centre of gravity of a parallelogram, a triangle, a trapezium and finally (in Book II) of a parabolic segment and of a portion of it cut off by a straight line parallel to the base.

The Sandreckoner is remarkable for the development in it of a system for expressing very large numbers by orders and periods based on powers of myriad-myriads (10,000²). It also contains the important reference to the heliocentric theory of the universe put forward by Aristarchus of Samos in a book of ‘hypotheses’, as well as historical details of previous attempts to measure the size of the earth and to give the sizes and distances of the sun and moon.

Lastly, Archimedes invented the whole science of hydrostatics. Beginning the treatise On Floating Bodies with an assumption about uniform pressure in a fluid, he first proves that the surface of a fluid at rest is a sphere with its centre at the centre of the earth. Other propositions show that, if a solid floats in a fluid, the weight of the solid is equal to that of the fluid displaced, and, if a solid heavier than a fluid is weighed in it, it will be lighter than its true weight by the weight of the fluid displaced. Then, after a second assumption that bodies which are forced upwards in a fluid are forced upwards along the perpendiculars to the surface which pass through their centres of gravity, Archimedes deals with the position of rest and stability of a segment of a sphere floating in a fluid with its base entirely above or entirely below the surface. Book II is an extraordinary tour de force, investigating fully all the positions of rest and stability of a right segment of a paraboloid floating in a fluid according (1) to the relation between the axis of the solid and the parameter of the generating parabola, and (2) to the specific gravity of the solid in relation to the fluid; the term ‘specific gravity’ is not used, but the idea is fully expressed in other words.

Almost contemporary with Archimedes was Eratosthenes of Cyrene, to whom Archimedes dedicated the Method; the preface to this work shows that Archimedes thought highly of his mathematical ability. He was indeed recognized by his contemporaries as a man of great distinction in all branches, though the names Beta and Pentathlos[4] applied to him indicate that he just fell below the first rank in each subject. Ptolemy Euergetes appointed him to be tutor to his son (Philopator), and he became librarian at Alexandria; he recognized his obligation to Ptolemy by erecting a column with a graceful epigram. In this epigram he referred to the earlier solutions of the problem of duplicating the cube or finding the two mean proportionals, and advocated his own in preference, because it would give any number of means; on the column was fixed a bronze representation of his appliance, a frame with right-angled triangles (or rectangles) movable along two parallel grooves and over one another, together with a condensed proof. The Platonicus of Eratosthenes evidently dealt with the fundamental notions of mathematics in connexion with Plato’s philosophy, and seems to have begun with the story of the origin of the duplication problem.

The most famous achievement of Eratosthenes was his measurement of the earth. Archimedes quotes an earlier measurement which made the circumference of the earth 300,000 stades. Eratosthenes improved upon this. He observed that at the summer solstice at Syene, at noon, the sun cast no shadow, while at the same moment the upright gnomon at Alexandria cast a shadow corresponding to an angle between the gnomon and the sun’s rays of 1/50th of four right angles. The distance between Syene and Alexandria being known to be 5,000 stades, this gave for the circumference of the earth 250,000 stades, which Eratosthenes seems later, for some reason, to have changed to 252,000 stades. On the most probable assumption as to the length of the stade used, the 252,000 stades give about 7,850 miles, only 50 miles less than the true polar diameter.

In the work On the Measurement of the Earth Eratosthenes is said to have discussed other astronomical matters, the distance of the tropic and polar circles, the sizes and distances of the sun and moon, total and partial eclipses, &c. Besides other works on astronomy and chronology, Eratosthenes wrote a Geographica in three books, in which he first gave a history of geography up to date and then passed on to mathematical geography, the spherical shape of the earth, &c., &c.

Apollonius of Perga was with justice called by his contemporaries the ‘Great Geometer’, on the strength of his great treatise, the Conics. He is mentioned as a famous astronomer of the reign of Ptolemy Euergetes (247-222 B. C.); and he dedicated the fourth and later Books of the Conics to King Attalus I of Pergamum (241-197 B. C.).

The Conics, a colossal work, originally in eight Books, survives as to the first four Books in Greek and as to three more in Arabic, the eighth being lost. From Apollonius’s prefaces we can judge of the relation of his work to Euclid’s Conics, the content of which answered to the first three Books of Apollonius. Although Euclid knew that an ellipse could be otherwise produced, e. g. as an oblique section of a right cylinder, there is no doubt that he produced all three conics from right cones like his predecessors. Apollonius, however, obtains them in the most general way by cutting any oblique cone, and his original axes of reference, a diameter and the tangent at its extremity, are in general oblique; the fundamental properties are found with reference to these axes by ‘application of areas’, the three varieties of which, application (pa?a???), application with an excess (?pe????) and application with a deficiency (e??e????), give the properties of the three curves respectively and account for the names parabola, hyperbola, and ellipse, by which Apollonius called them for the first time. The principal axes only appear, as a particular case, after it has been shown that the curves have a like property when referred to any other diameter and the tangent at its extremity, instead of those arising out of the original construction. The first four Books constitute what Apollonius calls an elementary introduction; the remaining Books are specialized investigations, the most important being Book V (on normals) and Book VII (mainly on conjugate diameters). Normals are treated, not in connexion with tangents, but as minimum or maximum straight lines drawn to the curves from different points or classes of points. Apollonius discusses such questions as the number of normals that can be drawn from one point (according to its position) and the construction of all such normals. Certain propositions of great difficulty enable us to deduce quite easily the Cartesian equations to the evolutes of the three conics.

Several other works of Apollonius are described by Pappus as forming part of the ‘Treasury of Analysis’. All are lost except the Sectio Rationis in two Books, which survives in Arabic and was published in a Latin translation by Halley in 1706. It deals with all possible cases of the general problem ‘given two straight lines either parallel or intersecting, and a fixed point on each, to draw through any given point a straight line which shall cut off intercepts from the two lines (measured from the fixed points) bearing a given ratio to one another’. The lost treatise Sectio Spatii dealt similarly with the like problem in which the intercepts cut off have to contain a given rectangle.

The other treatises included in Pappus’s account are (1) On Determinate Section; (2) Contacts or Tangencies, Book II of which is entirely devoted to the problem of drawing a circle to touch three given circles (Apollonius’s solution can, with the aid of Pappus’s auxiliary propositions, be satisfactorily restored); (3) Plane Loci, i. e. loci which are straight lines or circles; (4) ?e?se??, Inclinationes (the general problem called a ?e?s?? being to insert between two lines, straight or curved, a straight line of given length verging to a given point, i. e. so that, if produced, it passes through the point, Apollonius restricted himself to cases which could be solved by ‘plane’ methods, i. e. by the straight line and circle only).

Apollonius is also said to have written (5) a Comparison of the dodecahedron with the icosahedron (inscribed in the same sphere), in which he proved that their surfaces are in the same ratio as their volumes; (6) On the cochlias or cylindrical helix; (7) a ‘General Treatise’, which apparently dealt with the fundamental assumptions, &c., of elementary geometry; (8) a work on unordered irrationals, i. e. irrationals of more complicated form than those of Eucl. Book X; (9) On the burning-mirror, dealing with spherical mirrors and probably with mirrors of parabolic section also; (10) ???t????? (‘quick delivery’). In the last-named work Apollonius found an approximation to p closer than that in Archimedes’s Measurement of a Circle; and possibly the book also contained Apollonius’s exposition of his notation for large numbers according to ‘tetrads’ (successive powers of the myriad).

In astronomy Apollonius is said to have made special researches regarding the moon, and to have been called e (Epsilon) because the form of that letter is associated with the moon. He was also a master of the theory of epicycles and eccentrics.

With Archimedes and Apollonius Greek geometry reached its culminating point; indeed, without some more elastic notation and machinery such as algebra provides, geometry was practically at the end of its resources. For some time, however, there were capable geometers who kept up the tradition, filling in details, devising alternative solutions of problems, or discovering new curves for use or investigation. Nicomedes, probably intermediate in date between Eratosthenes and Apollonius, was the inventor of the conchoid or cochloid, of which, according to Pappus, there were three varieties. Diocles (about the end of the second century B. C.) is known as the discoverer of the cissoid which was used for duplicating the cube. He also wrote a book pe?? p??e???, On burning-mirrors, which probably discussed, among other forms of mirror, surfaces of parabolic or elliptic section, and used the focal properties of the two conics; it was in this work that Diocles gave an independent and clever solution (by means of an ellipse and a rectangular hyperbola) of Archimedes’s problem of cutting a sphere into two segments in a given ratio. Dionysodorus gave a solution by means of conics of the auxiliary cubic equation to which Archimedes reduced this problem; he also found the solid content of a tore or anchor-ring.

Perseus is known as the discoverer and investigator of the spiric sections, i. e. certain sections of the spe??a, one variety of which is the tore. The spire is generated by the revolution of a circle about a straight line in its plane, which straight line may either be external to the circle (in which case the figure produced is the tore), or may cut or touch the circle.

Zenodorus was the author of a treatise on Isometric figures, the problem in which was to compare the content of different figures, plane or solid, having equal contours or surfaces respectively.

Hypsicles (second half of second century B. C.) wrote what became known as ‘Book XIV’ of the Elements containing supplementary propositions on the regular solids (partly drawn from Aristaeus and Apollonius); he seems also to have written on polygonal numbers. A mediocre astronomical work (??af??????) attributed to him is the first Greek book in which we find the division of the zodiac circle into 360 parts or degrees.

Posidonius the Stoic (about 135-51 B. C.) wrote on geography and astronomy under the titles On the Ocean and pe?? ete????. He made a new but faulty calculation of the circumference of the earth (240,000 stades). Per contra, in a separate tract on the size of the sun (in refutation of the Epicurean view that it is as big as it looks), he made assumptions (partly guesswork) which give for the diameter of the sun a figure of 3,000,000 stades (39-1/4 times the diameter of the earth), a result much nearer the truth than those obtained by Aristarchus, Hipparchus, and Ptolemy. In elementary geometry Posidonius gave certain definitions (notably of parallels, based on the idea of equidistance).

Geminus of Rhodes, a pupil of Posidonius, wrote (about 70 B. C.) an encyclopaedic work on the classification and content of mathematics, including the history of each subject, from which Proclus and others have preserved notable extracts. An-Nairizi (an Arabian commentator on Euclid) reproduces an attempt by one ‘Aganis’, who appears to be Geminus, to prove the parallel-postulate.

But from this time onwards the study of higher geometry (except sphaeric) seems to have languished, until that admirable mathematician, Pappus, arose (towards the end of the third century A. D.) to revive interest in the subject. From the way in which, in his great Collection, Pappus thinks it necessary to describe in detail the contents of the classical works belonging to the ‘Treasury of Analysis’ we gather that by his time many of them had been lost or forgotten, and that he aimed at nothing less than re-establishing geometry at its former level. No one could have been better qualified for the task. Presumably such interest as Pappus was able to arouse soon flickered out; but his Collection remains, after the original works of the great mathematicians, the most comprehensive and valuable of all our sources, being a handbook or guide to Greek geometry and covering practically the whole field. Among the original things in Pappus’s Collection is an enunciation which amounts to an anticipation of what is known as Guldin’s Theorem.

It remains to speak of three subjects, trigonometry (represented by Hipparchus, Menelaus, and Ptolemy), mensuration (in Heron of Alexandria), and algebra (Diophantus).

Although, in a sense, the beginnings of trigonometry go back to Archimedes (Measurement of a Circle), Hipparchus was the first person who can be proved to have used trigonometry systematically. Hipparchus, the greatest astronomer of antiquity, whose observations were made between 161 and 126 B. C., discovered the precession of the equinoxes, calculated the mean lunar month at 29 days, 12 hours, 44 minutes, 2½ seconds (which differs by less than a second from the present accepted figure!), made more correct estimates of the sizes and distances of the sun and moon, introduced great improvements in the instruments used for observations, and compiled a catalogue of some 850 stars; he seems to have been the first to state the position of these stars in terms of latitude and longitude (in relation to the ecliptic). He wrote a treatise in twelve Books on Chords in a Circle, equivalent to a table of trigonometrical sines. For calculating arcs in astronomy from other arcs given by means of tables he used propositions in spherical trigonometry.

The Sphaerica of Theodosius of Bithynia (written, say, 20 B. C.) contains no trigonometry. It is otherwise with the Sphaerica of Menelaus (fl. A. D. 100) extant in Arabic; Book I of this work contains propositions about spherical triangles corresponding to the main propositions of Euclid about plane triangles (e.g. congruence theorems and the proposition that in a spherical triangle the three angles are together greater than two right angles), while Book III contains genuine spherical trigonometry, consisting of ‘Menelaus’s Theorem’ with reference to the sphere and deductions therefrom.

Ptolemy’s great work, the Syntaxis, written about A. D. 150 and originally called ?a??at??? s??ta???, came to be known as ?e?a?? s??ta???; the Arabs made up from the superlative e??st?? the word al-Majisti which became Almagest.

Book I, containing the necessary preliminaries to the study of the Ptolemaic system, gives a Table of Chords in a circle subtended by angles at the centre of ½° increasing by half-degrees to 180°. The circle is divided into 360 ???a?, parts or degrees, and the diameter into 120 parts (t?ata); the chords are given in terms of the latter with sexagesimal fractions (e. g. the chord subtended by an angle of 120° is 103^p 53' 23). The Table of Chords is equivalent to a table of the sines of the halves of the angles in the table, for, if (crd. 2 a) represents the chord subtended by an angle of 2 a (crd. 2 a)/120 = sin a. Ptolemy first gives the minimum number of geometrical propositions required for the calculation of the chords. The first of these finds (crd. 36°) and (crd. 72°) from the geometry of the inscribed pentagon and decagon; the second (‘Ptolemy’s Theorem’ about a quadrilateral in a circle) is equivalent to the formula for sin (?-f), the third to that for sin ½ ?. From (crd. 72°) and (crd. 60°) Ptolemy, by using these propositions successively, deduces (crd. 1½°) and (crd. ¾°), from which he obtains (crd. 1°) by a clever interpolation. To complete the table he only needs his fourth proposition, which is equivalent to the formula for cos (?+f).

Ptolemy wrote other minor astronomical works, most of which survive in Greek or Arabic, an Optics in five Books (four Books almost complete were translated into Latin in the twelfth century), and an attempted proof of the parallel-postulate which is reproduced by Proclus.

Heron of Alexandria (date uncertain; he may have lived as late as the third century A. D.) was an almost encyclopaedic writer on mathematical and physical subjects. He aimed at practical utility rather than theoretical completeness; hence, apart from the interesting collection of Definitions which has come down under his name, and his commentary on Euclid which is represented only by extracts in Proclus and an-Nairizi, his geometry is mostly mensuration in the shape of numerical examples worked out. As these could be indefinitely multiplied, there was a temptation to add to them and to use Heron’s name. However much of the separate works edited by Hultsch (the Geometrica, Geodaesia, Stereometrica, Mensurae, Liber geËponicus) is genuine, we must now regard as more authoritative the genuine Metrica discovered at Constantinople in 1896 and edited by H. SchÖne in 1903 (Teubner). Book I on the measurement of areas is specially interesting for (1) its statement of the formula used by Heron for finding approximations to surds, (2) the elegant geometrical proof of the formula for the area of a triangle ? = v{s (s-a) (s-b) (s-c)}, a formula now known to be due to Archimedes, (3) an allusion to limits to the value of p found by Archimedes and more exact than the 3-1/7 and 3-10/71 obtained in the Measurement of a Circle.

Book I of the Metrica calculates the areas of triangles, quadrilaterals, the regular polygons up to the dodecagon (the areas even of the heptagon, enneagon, and hendecagon are approximately evaluated), the circle and a segment of it, the ellipse, a parabolic segment, and the surfaces of a cylinder, a right cone, a sphere and a segment thereof. Book II deals with the measurement of solids, the cylinder, prisms, pyramids and cones and frusta thereof, the sphere and a segment of it, the anchor-ring or tore, the five regular solids, and finally the two special solids of Archimedes’s Method; full use is made of all Archimedes’s results. Book III is on the division of figures. The plane portion is much on the lines of Euclid’s Divisions (of figures). The solids divided in given ratios are the sphere, the pyramid, the cone and a frustum thereof. Incidentally Heron shows how he obtained an approximation to the cube root of a non-cube number (100). Quadratic equations are solved by Heron by a regular rule not unlike our method, and the Geometrica contains two interesting indeterminate problems.

Heron also wrote Pneumatica (where the reader will find such things as siphons, Heron’s Fountain, penny-in-the-slot machines, a fire-engine, a water-organ, and many arrangements employing the force of steam), Automaton-making, BelopoeÏca (on engines of war), Catoptrica, and Mechanics. The Mechanics has been edited from the Arabic; it is (except for considerable fragments) lost in Greek. It deals with the puzzle of ‘Aristotle’s Wheel’, the parallelogram of velocities, definitions of, and problems on, the centre of gravity, the distribution of weights between several supports, the five mechanical powers, mechanics in daily life (queries and answers). Pappus covers much the same ground in Book VIII of his Collection.

We come, lastly, to Algebra. Problems involving simple equations are found in the Papyrus Rhind, in the Epanthema of Thymaridas already referred to, and in the arithmetical epigrams in the Greek Anthology (Plato alludes to this class of problem in the Laws, 819 B, C); the Anthology even includes two cases of indeterminate equations of the first degree. The Pythagoreans gave general solutions in rational numbers of the equations x²+y²=z² and 2x²-y²=±1, which are indeterminate equations of the second degree.

The first to make systematic use of symbols in algebraical work was Diophantus of Alexandria (fl. about A. D. 250). He used (1) a sign for the unknown quantity, which he calls a?????, and compendia for its powers up to the sixth; (2) a sign (symbol-minus.png) with the effect of our minus. The latter sign probably represents ??, an abbreviation for the root of the word ?e?pe?? (to be wanting); the sign for a????? (symbol-arithmos.png) is most likely an abbreviation for the letters a?; the compendia for the powers of the unknown are ?^? for d??a??, the square, ?^? for ????, the cube, and so on. Diophantus shows that he solved quadratic equations by rule, like Heron. His Arithmetica, of which six books only (out of thirteen) survive, contains a certain number of problems leading to simple equations, but is mostly devoted to indeterminate or semi-determinate analysis, mainly of the second degree. The collection is extraordinarily varied, and the devices resorted to are highly ingenious. The problems solved are such as the following (fractional as well as integral solutions being admitted): ‘Given a number, to find three others such that the sum of the three, or of any pair of them, together with the given number is a square’, ‘To find four numbers such that the square of the sum plus or minus any one of the numbers is a square’, ‘To find three numbers such that the product of any two plus or minus the sum of the three is a square’. Diophantus assumes as known certain theorems about numbers which are the sums of two and three squares respectively, and other propositions in the Theory of Numbers. He also wrote a book On Polygonal Numbers of which only a fragment survives.

With Pappus and Diophantus the list of original writers on mathematics comes to an end. After them came the commentators whose names only can be mentioned here. Theon of Alexandria, the editor of Euclid, lived towards the end of the fourth century A. D. To the fifth and sixth centuries belong Proclus, Simplicius, and Eutocius, to whom we can never be grateful enough for the precious fragments which they have preserved from works now lost, and particularly the History of Geometry and the History of Astronomy by Aristotle’s pupil Eudemus.

Such is the story of Greek mathematical science. If anything could enhance the marvel of it, it would be the consideration of the shortness of the time (about 350 years) within which the Greeks, starting from the very beginning, brought geometry to the point of performing operations equivalent to the integral calculus and, in the realm of astronomy, actually anticipated Copernicus.

T. L. Heath.