Illustration of an incommensurable tensor. Let BD be equal to AB, and let AC be equal to the diagonal of a square of which AB is the side. Then some tensor will bring AB to AC. Let BD be divided into 1o equal parts whereof E and F are those numbered 4 and 5. Then the tensor 1.4 stretches AB to AE, and tensor 1.5 stretches AB to AF. But the first of these is too small and the second too great, and C lies between E and F. Now, let EF be divided into 10 equal parts whereof E', F are those numbered 1 and 2. en, tensor 1.41 brings AB to AE', and tensor 1.42 brings AB to AF'; the first being too small and the second too great. Similarly by dividing E'F' into 10 equal parts we obtain two points e, f, numbered 4 and 5, which lie upon opposite sides of C and adjacent to it. Thus, however far this process be carried, C will always lie between two adjacent ones of the points last obtained. But as every new division gives interspaces one-tenth of the length of the former ones, we may obtain a point of division lying as near C as we please. Now if AB be increased in length from AB to AD it must at some period of its increase be equal to AC. Therefore the tensor which brings AB to AC is a real tensor which is inexpressible, except approximately, by the symbols of Arithmetic. The preceding illustrates the difference between magnitude and number. The segment AB in changing to AD passes through every intermediate length. But the commensurable or numerically expressible quantities lying between 1 and 2 must proceed by some unit however small, and are therefore not continuous. Hence a magnitude is a variable which, in passing from one value to another, passes through every intermediate value. 191°. The tensor of the segment AB with respect to AC, or the tensor of AB on AC is the numerical factor which brings AC to AB But according to the operative principles of Algebra, AB AC=AB, AC is the tensor which brings AC to AB. AC Hence the algebraic form of a fraction, when the parts denote segments, is interpreted geometrically by the tensor which brings the denominator to the numerator; or as the ratio of the numerator to the denominator. .. SECTION I. PROPORTION AMONGST LINE-SEGMENTS. 192°. Def.-Four line-segments taken in order form a proportion, or are in proportion, when the tensor of the first on the second is the same as the tensor of the third on the fourth. This definition gives the relation a с (A) b o ď where a, b, c, and d denote the segments taken in order. The fractions expressing the proportion are subject to all the transformations of algebraic fractions (158°), and the result is geometrically true whenever it admits of a geometric interpretation. The statement of the proportion is also written a : b=cid, ...... ..(D) where the sign : indicates the division of the quantity denoted by the preceding symbol by the quantity denoted by the following symbol. In either form the proportion is read a is to b as c is to d." 66 193°. In the form (B) a and d are called the extremes, and b and c the means; and in both forms a and c are called antecedents and b and d consequents. In the form (A) a and d, as also b and c, stand opposite each other when written in a cross, as alc с old and we shall accordingly call them the opposites of the proportion. 194°. 1. From form (A) we obtain by cross-multiplication ad=bc, which states geometrically that When four segments are in proportion the rectangle upon one pair of opposites is equal to that upon the other pair of opposites. Conversely, let ab and d'b' be equal rectangles having for adjacent sides a, b, and a', b' respectively. Then ab=a'b', and this equality can be expressed under any one of the following forms, or may be derived from any one of them, viz. : 6 a' 6 0 b a а ? 2 ' a' to a a to in all of which the opposites remain the same. Therefore 2. Two equal rectangles have their sides in proportion, a pair of opposites of the proportion coming from the same rectangle. 3. A given proportion amongst four segments may be written in any order of sequence, provided the opposites remain the same. 196o. Def.-1. Two triangles are similar when the angles of the one are respectively equal to the angles of the other. (77,4) 2. The sides opposite equal angles in the two triangles are corresponding or homologous sides. The symbol will be employed to denote similarity, and will be read “is similar to." B In the triangles ABC and A'B'C', if LA=LA' and 2B=LB', then also LC=LC' and the triangles are similar. The sides AB and A'B' are B' homologous, so also are the other pairs of sides opposite equal A' D'C' angles. Let BD through B and B'D' through B' make the LBDA=LB'D'A'. Then AABD AA'B'D' since their angles are respectively equal. In like manner ADBC AD'B'C', and BD and B'D' divide the triangles similarly. A D 3. Lines which divide similar triangles similarly are homologous lines of the triangles, and the intersections of homologous lines are homologous points. or. Evidently the perpendiculars upon homologous sides of similar triangles are homologous lines. So also are the medians to homologous sides; so also the bisectors of equal angles in similar triangles ; etc. 197o. Theorem.--The homologous sides of similar triangles are proportional. AABC - AA'B'C' B' A'B' B'C' C'A' A E C' B с Proof.—Place A' on A, and let C' fall at D. Then, since LA'=LA, A'B' will lie along AC and B' will fall at some point E. Now, AA'B'C'=AAED, and therefore LAED=LB, and B, D, E, C are concyclic. (107°) Hence AD. AB=AE. AC, (176°, 2) A'C'. AB=AB'. AC. AB AC .. (194°, 2) A'B' A'C or |