6. The common name, proposition, is applied indifferently, to theorems, problems, and lemmas. 7. A corollary is an obvious consequence, deduced from one or several propositions. 8. A scholium is a remark on one or several preceding propositions, which tends to point out their connection, their use, their restriction, or their extension. 9. A hypothesis is a supposition, made either in the enunciation of a proposition, or in the course of a demon stration. 10. A postulate grants the solution of a self-evident problem. EXPLANATION OF SIGNS 1. The sign is the sign of equality; thus, the expression A = B, signifies that A is equal to B. 2. To signify that A is smaller than B, the expression AB is used. 3. To signify that A is greater than B, the expression A > B is used; the smaller quantity being always at the vertex of the angle. 4. The sign + is called plus; it indicates addition. 5. The sign - is called minus; it indicates subtraction: Thus, A+B, represents the sum of the quantities A and B; A-B represents their difference, or what remains after B is taken from A; and A-B+C, or A+C-B, signifies that A and C are to be added together, and that B is to be subtracted from their sum. 6. The sign X indicates multiplication: thus AXB represents the product of A and B. The expression Ax(B+C-D) represents the product of 4 by the quantity B+C-D. If A+D were to be multiplied by A-B+C, the product would be indicated thus; (A+D)×(A−B+C), whatever is enclosed within the curved lines, being consid ered as a single quantity. The same thing may also be indicated by a bar: thus, A+B+C×D, denotes that the sum of A, B and C, is to be multiplied by D. 7. A figure placed before a line, or quantity, serves as a multiplier to that line or quantity; thus 3AB signifies that the line AB is taken three times; A signifies the half of the angle A. 8. The square of the line AB is designated by AB ; its cube by AB3. What is meant by the square and cube of a line, will be explained in its proper place. 9. The sign ✔ indicates a root to be extracted; thus √2 means the square-root of 2; √AXB means the square-root of the product of A and B. AXIOMS. 1. Things which are equal to the same thing, are equal to one another. 2. If equals be added to equals, the wholes will be equal. 3. If equals be taken from equals, the remainders will be equal. 4. If equals be added to unequals, the wholes will be unequal. 5. If equals be taken from unequals, the remainders will be unequal. 6. Things which are doubles of equal things, are equal to each other. 7. Things which are halves of equal things, are equal to each other. 8. The whole is greater than any of its parts. 9. The whole is equal to the sum of all its parts. 10. All right angles are equal to each other. 11. From one point to another only one straight line can be drawn. 12. A straight line is the shortest distance between two points. 13. Through the same point, only one straight line can be drawn which shall be parallel to a given line. 14. Magnitudes, which being applied the one to the other, coincide throughout their whole extent, are equal. POSTULATES. 1. Let it be granted, that a straight line may be drawn from one point to another point. 2. That a terminated straight line may be prolonged, in a straight line, to any length. 3. That if two straight lines are unequal, the length of the less may always be laid off on the greater. 4. That a given straight line may be bisected that is, divided into two equal parts. 5. That a straight line may bisect a given angle. 6. That a perpendicular may be drawn to a given straight line, either from a point without the line, or at a point of a line. 7. That a straight line may be drawn, making with a given straight line, an angle equal to a given angle. PROPOSITION I. THEOREM. If one straight line meet another straight line, the sum of the two adjacent angles will be equal to two right angles. = Let the straight line DC meet the straight line AB at C; then will the angle ACD plus the angle DCB, be equal to two right angles. E D At the point C suppose CE to be drawn perpendicular to AB: then, ACE + ECB two right angles (D. 13).* But ECB is equal to ECD + DCB (A. 9): hence, ACE ECD + DCB = two right angles. But ACE + ECD = ACD (A. 9): therefore, ACD + DCB = two right angles. A Cor. 1. If one of the angles ACD or DCB, is a right angle, the other will also be a right angle. D A -B Cor. 2. If a straight line DE is perpendicular to another straight line AB; then, reciprocally, AB will be perpendicular to DE. E For, since DE is perpendicular to AB, the angle ACD will be a right angle (D. 13). But since AC meets DE at the point C, making one angle ACD a right angle, the adjacent angle ACE will also be a right angle (c. 1). Therefore, AB is perpendicular to DE (D. 13). Cor. 3. The sum of the successive angles BAC, CAD, DAE, EAF, formed on the same side of the line BF, is equal to two right anBgles; for, their sum is equal to that of the two adjacent angles BAC and CAF. A D -B E -F *In the references, A. stands for Axiom-D. for Definition-B. for Book--P. for Proposition-C. for Corollary-S. for Scholium, and Prob. for Problem. PROPOSITION II. THEOREM. Two straight lines, which have two points common, coincide the one with the other, throughout their whole extent, and form one and the same straight line. Let A and B be the two common points of two straight lines. F In the first place, the two lines will coincide between the points A and B; for, otherwise there would be two straight lines between A and AB, which is impossible (A. 11). B с Suppose, however, that in being prolonged, these lines begin to separate at some point, as C, the one becoming CD, the other, CE. At the point C, suppose CF to be drawn, making with AC, the right angle ACF. Now, since ACD is a straight line, the angle FCD will be a right angle (P. I., C. 1): and since ACE is a straight line, the angle FCE will also be a right angle. Hence, the angle FCD is equal to the angle FCE (A. 10): that is, a whole is equal to one of its parts, which is impossible (A. 8): therefore the two straight lines which have two points, A and B, in common, cannot separate at any point, when prolonged; hence, they form one and the same straight line.* -E -D PROPOSITION III. THEOREM. If, when a straight line meets two other straight lines at a common point, the sum of the two adjacent angles which it makes with them, is equal to two right angles, the two straight lines which are met, form one and the same straight line. Let the straight line CD meet the two lines AC, CB, at their common point C, and let the sum of the two adja cent angles, DCA, DCB, be equal to two right angles: then * See Note A. It is earnestly recommended to every pupil to read and understand this Note. Also, see Logic and Utility of Mathematics, § 262. |