NOTES ON THE FIRST BOOK OF THE ELEMENTS. DEFINITIONS. I. 6 In the definitions a few changes have been made, of which it is necessary to give some account. One of these changes respects the first definition, that of a point, which Euclid has said to be, That which has no parts, or which has no magnitude.' Now, it has been objected to this definition, that it contains only a negative, and that it is not convertible, as every good definition ought certainly to be. That it is not convertible is evident, for though every point is unextended, or without magnitude, yet every thing unextended or without magnitude, is not a point. To this it is impossible to reply, and therefore it becomes necessary to change the definition altogether, which is accordingly done here, a point being defined to be, that which has position but not magnitude. Here the affirmative part includes all that is essential to a point, and the negative part includes every thing that is not essential to it. I am indebted for this definition to a friend, by whose judicious and learned remarks I have often profited. II. After the second definition Euclid has introduced the following, "the "extremities of a line are points." Now, this is certainly not a definition, but an inference from the definitions of a point and of a line. That which terminates a line can have no breadth, as the line in which it is has none; and it can have no length, as it would not then be a termination, but a part of that which is supposed to terminate. The termination of a line can therefore have no magnitude, and having necessarily position, it is a point. But as it is plain, that in all this we are drawing a consequence from two definitions already laid down, and not giving a new definition, I have taken the liberty of putting it down as a corollary to the second definition, and have added, that the intersections of one line with another are points, as this affords a good illustration of the nature of a point, and is an inference exactly of the same kind with the preceding. The same thing nearly has been done with the fourth definition, where that which Euclid gave as a separate definition is made a corollary to the fourth, because it is in fact an inference deduced from comparing the definitions of a superficies and a line. As it is impossible to explain the relation of a superficies, a line, and a point to one another, and to the solid in which they all originate, better than Dr. Simson has done, I shall here add, with very little change, the illustration given by that excellent Geometer. "It is necessary to consider a solid, that is, a magnitude which has length, breadth, and thickness, in order to understand aright the definitions of a point, line and superficies; for these all arise from a solid, and exist in it; The boundary, or boundaries which contain a solid, are called superficies, or the boundary which is common to two solids which are contiguous, or which divides one solid into two contiguous parts, is called a superficies; Thus, if BCGF be one of the boundaries which contain the solid ABCDEFGH, or which is the common boundary of this solid, and the solid BKLCFNMG, and is therefore in the one as well as the other solid, it is called a superficies, and has no thickness; For if it have any, this thickness must either be a part of the thickness of the solid AG, or the solid BM, or a part of the thickness of each of them. It cannot be a part of the thickness of the solid BM; because, if this solid be removed from the solid AG, the superficies BCGF, the boundary of the solid AG, remains still the same as it was. Nor can it be a part of the thickness of the solid AG: because if this be removed from the solid BM, the superficies BCGF, the boundary of the solid BM, does nevertheless remain; therefore the superficies BCGF has no thickness, but only length and breadth. "The boundary of a superficies is called a line; or a line is the common boundary of two superficies that are contiguous, or it is that which divides one superficies into two contiguous parts: Thus, if BC be one of the boundaries which contain the superficies ABCD, or which is the common boundary of this superficies, and of the superficies KBCL, which is contiguous to it, this boundary BC is called a line, and has no breadth; For, if it have any, this must be part either of the breadth of the superficies ABCD or of the superficies KBCL, or part of each of them. It is not part of the breadth of the superficies KBCL; for if this superficies be removed from the superficies ABCD, the line BC which is the boundary of the superficies ABCD remains the same as it was. Nor can the breadth that BC is supposed to have, be a part of the breadth of the superficies ABCD; because, if this be removed from the superficies KBCL, the line BC, which is the boundary of the superficies Η G D A N D B K M KBCL, does nevertheless remain: Therefore the line BC has no breadth. And because the line BC is in a superficies, and that a superficies has no thickness, as was shown; therefore a line has neither breadth nor thickness, but only length. "The boundary of a line is called a point, or a point is a common boundary or extremity of two lines that are contiguous: Thus, if B be the ex tremity of the line AB, or the common extremity of the two lines AB, KB, this extremity is called a point, and has no length: For if it have any, this length must either be part of the length of the line AB, or of the line H G KB. It is not part of the length of KB; for if the line KB be removed from AB, the point B, which is the extremity of the line AB, remains the same as it was; Nor is it part of the length of the line AB; for if AB be removed from the line KB, the point B, which is the extremity of the line KB, does nevertheless remain : Therefore the point B has no length; And because a point is in a line, and M a line has neither breadth nor thickness, therefore a point has no length, breadth, nor thickness. And in this manner the definition of a point, line, and superficies are to be understood." III. Euclid has defined a straight line to be a line which (as we translate it) "lies evenly between its extreme points." This definition is obviously faulty, the word evenly standing as much in need of an explanation as the word straight, which it is intended to define. In the original, however, it must be confessed, that this inaccuracy is at least less striking than in our translation; for the word which we render evenly is εiov, equally, and is accordingly translated ex æquo, and equaliter by Commandine and Gregory. The definition, therefore, is, that a straight line is one which lies equally between its extreme points: and if by this we understand a line that lies between its extreme points so as to be related exactly alike to the space on the one side of it, and to the space on the other, we have a definition that is perhaps a little too metaphysical, but which certainly contains in it the essential character of a straight line. That Euclid took the definition in this sense, however, is not certain, because he has not attempted to deduce from it any property whatsoever of a straight line; and indeed, it should seem not easy to do so, without employing some reasonings of a more metaphysical kind than he has any where admitted into his Elements. To supply the defects of his definition, he has therefore introduced the Axiom, that two straight lines cannot inclose a space; on which Axiom it is, and not on his definition of a straight line, that his demonstrations are founded. As this manner of proceeding is certainly not so regular and scientific as that of laying down a definition, from which the properties of the thing defined may be logically deduced, I have substituted another definition of a straight line in the room of Euclid's. This definition of a straight line was suggested by a remark of Boscovich, who, in his Notes on the philosophical Poem of Professor Stay, says, "Rectam lineam rectæ congruere totam toti in infinitum productum si bina puncta unius binis al"terius congruant, patet ex ipsa admodum clara rectitudinis idea quam 66 "habemus." (Supplementum in lib. 3. § 550.) Now, that which Mr. Boscovich would consider as an inference from our idea of straightness, seems itself to be the essence of that idea, and to afford the best criterion for judging whether any given line be straight or not. On this principle we have given the definition above, If there be two lines which cannot coincide in two points, without coinciding altogether, each of them is called a straight line. This definition was otherwise expressed in the two former editions; it was said, that lines are straight lines which cannot coincide in part, without coinciding altogether. This was liable to an objection, viz. that it defined straight lines, but not a straight line; and though this in truth is but a mere cavil, it is better to leave no room for it. The definition in the form now given is also more simple. From the same definition, the proposition which Euclid gives as an Axiom, that two straight lines cannot inclose a space, follows as a necessary consequence. For, if two lines inclose a space, they must intersect one another in two points, and yet, in the intermediate part, must not coincide; and therefore by the definition they are not straight lines. It follows in the same way, that two straight lines cannot have a common segment, or cannot coincide in part, without coinciding altogether. After laying down the definition of a straight line, as in the first Edition, I, was favoured by Dr. Reid of Glasgow with the perusal of a MS. containing many excellent observations on the first Book of Euclid, such as might be expected from a philosopher distinguished for the accuracy as well as the extent of his knowledge. He there defined a straight line nearly as has been done here, viz. "A straight line is that which cannot meet ano"ther straight line in more points than one, otherwise they perfectly coincide, "and are one and the same." Dr. Reid also contends, that this must have been Euclid's own definition; because, in the first proposition of the eleventh Book, that author argues, "that two straight lines cannot have a common segment, for this reason, that a straight line does not meet a straight line in more points than one, otherwise they coincide." Whether this amounts to a proof of the definition above having been actually Euclid's, I will not take upon me to decide; but it is certainly a proof that the writings of that Geometer ought long since to have suggested this definition to his commentators; and it reminds me, that I might have learned from these writings what I have acknowledged above to be derived from a remoter source. There is another characteristic, and obvious property of straight lines, by which I have often thought that they might be very conveniently defined, viz. that the position of the whole of a straight line is determined by the position of two of its points, in so much that, when two points of a straight line continue fixed, the line itself cannot change its position. It might therefore be said, that a straight line is one in which, if the position of two points be determined, the position of the whole line is determined. But this definition, though it amount in fact to the same thing with that already given, is rather more abstract, and not so easily made the foundation of reasoning. I therefore thought it best to lay it aside, and to adopt the definition given in the text. V. The definition of a plane is given from Dr. Simson, Euclid's being liable to the same objections with his definition of a straight line; for, he says, that a plane superficies is one which "lies evenly between its extreme "lines." The defects of this definition are completely removed in that which Dr. Simson has given. Another definition different from both might have been adopted, viz. That those superficies are called plane, which are such, that if three points of the one coincide with three points of the other, the whole of the one must coincide with the whole of the other. This definition, as it resembles that of a straight line, already given, might, perhaps, have been introduced with some advantage; but as the purposes of demonstration cannot be better answered than by that in the text, it has been thought best to make no farther alteration. VI. In Euclid, the general definition of a plane angle is placed before that of a rectilineal angle, and is meant to comprehend those angles which are formed by the meeting of the other lines than straight lines. A plane angle is said to be "the inclination of two lines to one another which "meet together, but are not in the same direction." This definition is omitted here, because that the angles formed by the meeting of curve lines, though they may become the subject of geometrical investigation, certainly do not belong to the Elements; for the angles that must first be considered are those made by the intersection of straight lines with one another. The angles formed by the contact or intersection of a straight line and a circle, or of two circles, or two curves of any kind with one another, could produce nothing but perplexity to beginners, and cannot possibly be understood till the properties of rectilineal angles have been fully explained. On this ground, I am of opinion, that in an elementary treatise it may fairly be omitted Whatever is not useful, should, in explaining the elements of a science, be kept out of sight altogether; for, if it does not assist the progress of the understanding, it will certainly retard it. AXIOMS. AMONG the Axioms there have been made only two alterations. The 10th Axiom in Euclid is, that "two straight lines cannot inclose a space;" which, having become a corollary to our definition of a straight line, ceases of course to be ranked with self-evident propositions. It is therefore removed from among the Axioms. The 12th Axiom of Euclid is, that "if a straight line meets two straight "lines, so as to make the two interior angles on the same side of it taken "together less than two right angles, these straight lines being continually "produced, shall at length meet upon that side on which are the angles |