to-day takes up their study. The number will be limited in a reasonable way, and every genuine type of application will be placed before the teacher to be used as necessity requires. But a fair amount of logic will be retained, and the effort to make of geometry an empty bauble of a listless mind will be rejected by every worthy teacher. What the propositions should be is a matter upon which opinions may justly differ; but in this chapter there is set forth a reasonable list for Book I, arranged in a workable sequence, and this list may fairly be taken as typical of what the American school will probably use for many years to come. With the list is given a set of typical applications, and some of the general information that will add to the interest in the work and that should form part of the equipment of the teacher.
An ancient treatise was usually written on a kind of paper called papyrus, made from the pith of a large reed formerly common in Egypt, but now growing luxuriantly only above Khartum in Upper Egypt, and near Syracuse in Sicily; or else it was written on parchment, so called from Pergamos in Asia Minor, where skins were first prepared in parchment form; or occasionally they were written on ordinary leather. In any case they were generally written on long strips of the material used, and these were rolled up and tied. Hence we have such an expression as "keeping the roll" in school, and such a word as "volume," which has in it the same root as "involve" (to roll in), and "evolve" (to roll out). Several of these rolls were often necessary for a single treatise, in which case each was tied, and all were kept together in a receptacle resembling a pail, or in a compartment on a shelf. The Greeks called each of the separate parts of a treatise biblion (βιβλίον), a word meaning "book." Hence we have the books of the Bible, the books of Homer, and the books of Euclid. From the same root, indeed, comes Bible, bibliophile (booklover), bibliography (list of books), and kindred words. Thus the books of geometry are the large chapters of the subject, "chapter" being from the Latin caput (head), a section under a new heading. There have been efforts to change "books" to "chapters," but they have not succeeded, and there is no reason why they should succeed, for the term is clear and has the sanction of long usage.
Theorem. If two lines intersect, the vertical angles are equal.
This was Euclid's Proposition 15, being put so late because he based the proof upon his Proposition 13, now thought to be best taken without proof, namely, "If a straight line set upon a straight line makes angles, it will make either two right angles or angles equal to two right angles." It is found to be better pedagogy to assume that this follows from the definition of straight angle, with reference, if necessary, to the meaning of the sum of two angles. This proposition on vertical angles is probably the best one with which to begin geometry, since it is not so evident as to seem to need no proof, although some prefer to rank it as semiobvious, while the proof is so simple as easily to be understood. Eudemus, a Greek who wrote not long before Euclid, attributed the discovery of this proposition to Thales of Miletus (ca. 640-548 B.C.), one of the Seven Wise Men of Greece, of whom Proclus wrote: "Thales it was who visited Egypt and first transferred to Hellenic soil this theory of geometry. He himself, indeed, discovered much, but still more did he introduce to his successors the principles of the science."
The proposition is the only basal one relating to the intersection of two lines, and hence there are no others with which it is necessarily grouped. This is the reason for placing it by itself, followed by the congruence theorems.
There are many familiar illustrations of this theorem. Indeed, any two crossed lines, as in a pair of shears or the legs of a camp stool, bring it to mind. The word "straight" is here omitted before "lines" in accordance with the modern convention that the word "line" unmodified means a straight line. Of course in cases of special emphasis the adjective should be used.
Theorem. Two triangles are congruent if two sides and the included angle of the one are equal respectively to two sides and the included angle of the other.
This is Euclid's Proposition 4, his first three propositions being problems of construction. This would therefore have been his first proposition if he had placed his problems later, as we do to-day. The words "congruent" and "equal" are not used as in Euclid, for reasons already set forth on [page 151]. There have been many attempts to rearrange the propositions of Book I, putting in separate groups those concerning angles, those concerning triangles, and those concerning parallels, but they have all failed, and for the cogent reason that such a scheme destroys the logical sequence. This proposition may properly follow the one on vertical angles simply because the latter is easier and does not involve superposition.
As far as possible, Euclid and all other good geometers avoid the proof by superposition. As a practical test superposition is valuable, but as a theoretical one it is open to numerous objections. As Peletier pointed out in his (1557) edition of Euclid, if the superposition of lines and figures could freely be assumed as a method of demonstration, geometry would be full of such proofs. There would be no reason, for example, why an angle should not be constructed equal to a given angle by superposing the given angle on another part of the plane. Indeed, it is possible that we might then assume to bisect an angle by imagining the plane folded like a piece of paper. Heath (1908) has pointed out a subtle defect in Euclid's proof, in that it is said that because two lines are equal, they can be made to coincide. Euclid says, practically, that if two lines can be made to coincide, they are equal, but he does not say that if two straight lines are equal, they can be made to coincide. For the purposes of elementary geometry the matter is hardly worth bringing to the attention of a pupil, but it shows that even Euclid did not cover every point.
Applications of this proposition are easily found, but they are all very much alike. There are dozens of measurements that can be made by simply constructing a triangle that shall be congruent to another triangle. It seems hardly worth the while at this time to do more than mention one typical case,[59] leaving it to teachers who may find it desirable to suggest others to their pupils.