by drawing EF parallel to BC, the angles of the quadrilateral AEFD, are made equal to those of ABCD, though the proportion between the sides is different; and, in like manner, without changing the four sides AB, BC, * CD, AD, we can make the point B approach A D or recede from it, which will change the angles. PROPOSITION XX. THEOREM. A In the two triangles ABC, DEF, let the angles A and D be equal; then, if AB : DE :: AC: DF, the two triangles will be similar. KI Scholium 2. The two preceding propositions, which in strictness form but one, together with that relating to the square of the hypothenuse, are the most important and fertile in results of any in geometry: they are almost sufficient of themselves for every application to subsequent reasoning, and for solving every problem. The reason is, that all figures may be divided into triangles, and any triangle into two right angled triangles. Thus the general properties of triangles include, by implication, those of all figures. H Two triangles, which have an angle of the one equal to an angle of the other, and the sides containing those angles proportional, are similar. B D CE I Take AG-DE, and draw GH parallel to BC. The angle AGH will be equal to the angle ABC (Book I. Prop. XX. B Cor 3.); and the triangles AGH, ABC, will be equiangular : hence we shall have AB : AG : : AC AH. But by hypothesis, we have AB : DE :: AC: DF; and by construction, AG=DE: hence AH-DF. The two triangles AGH, DEF, have an equal angle included between equal sides; therefore they are equal; but the triangle AGH is similar to ABC; therefore DEF is also similar to ABC. PROPOSITION XXI. THEOREM. Two triangles, which have their homologous sides parallel, or perpendicular to each other, are similar. Let BAC, EDF, be two triangles. First. If the side AB is parallel to DE, and BC to EF, the angle ABC will be equal to DEF (Book I. Prop. XXIV.); if AC is parallel to DF, the angle ACB will be equal to DFE, and also BAČ to EDF; hence the triangles ABC, DEF, are equiangular; consequently they are similar (Prop. XVIII.). H B IE F FD Secondly. If the side DE is perpendicular to AB, and the side DF to AC, the two angles I and H of the quadrilateral AIDH will be right angles; and since all the four angles are together equal to four right angles (Book I. Prop. XXVI. Cor. 1.), the remaining two IAH, IDH, will be together equal to two right B angles. But the two angles EDF, IDH, are also equal to two right angles: hence the angle EDF is equal to IAÏ or BAC. In like manner, if the third side EF is perpendicular to the third side BC, it may be shown that the angle DFE is equal to C, and DEF to B: hence the triangles ABC, DEF, which have the sides of the one perpendicular to the corresponding sides of the other, are equiangular and similar. G Scholium. In the case of the sides being parallel, the homologous sides are the parallel ones: in the case of their being perpendicular, the homologous sides are the perpendicular ones. Thus in the latter case DE is homologous with AB, DF with AC, and EF with BC. The case of the perpendicular sides might present a relar, tive position of the two triangles different from that exhibite in the diagram. But we might always conceive a triangle DEF to be constructed within the triangle ABC, and such that its sides should be parallel to those of the triangle compared with ABC; and then the demonstration given in the text would apply. PROPOSITION XXII. THEOREM. In any triangle, if a line be drawn parallel to the base, then, all lines drawn from the vertex will divide the base and the parallel into proportional parts. Let DE be parallel to the base BC, and the other lines drawn as in the figure; then will D F G DI: BF: : IK : FG :: KL : GH. For, since DI is parallel to BF, the triangles ADI and ABF are equiangular; and we have DI: BF : : AI : AF; and since IK is parallel to FG, B we have in like manner AI: AF :: IK FG; hence, the ratio AI: AF being common, we shall have DI BF : : IK: FG. In the same manner we shall find IK: FG :: KL : GH; and so with the other segments: hence the line DE is divided at the points I, K, L, in the same proportion, as the base BC, at the points F, G, H. A H PROPOSITION XXIII. THEOREM. Cor. Therefore if BC were divided into equal parts at the points F, G, H, the parallel DE would also be divided into equal parts at the points Ï, K, L. E If from the right angle of a right angled triangle, a perpendicu lar be let fall on the hypothenuse; then, 1st. The two partial triangles thus formed, will be similar to each other, and to the whole triangle. 2d. Either side including the right angle will be a mean proportional between the hypothenuse and the adjacent segment. 3d. The perpendicular will be a mean proportional between the two segments of the hypothenuse. Let BAC be a right angled triangle, and AD perpendicular to the hypothenuse BC. First. The triangles BAD and BAC have the common angle B, the right angle BDA BAC, and therefore the third angle BAD of the one, equal to the third angle C, of the other (Book I. Prop. XXV. Cor 2.): hence those two triangles are equiangular and D similar. In the same manner it may be shown that the triangies DAC and BAC are similar; hence all the triangles are equiangular and similar. Secondly. The triangles BAD, BAC, being similar, their homologous sides are proportional. But BD in the small triangle, and BA in the large one, are homologous sides, because they lie opposite the equal angles BAD, BCA; the hypothenuse BA of the small triangle is homologous with the hypothenuse BC of the large triangle: hence the proportion BD : BA :: BA : BC. By the same reasoning, we should find DC: AC :: AC: BC; hence, each of the sides AB, AC, is a mean proportional between the hypothenuse and the segment adjacent to that side. Thirdly. Since the triangles ABD, ADC, are similar, by comparing their homologous sides, we have BD: AD : : AĎ : DC; hence, the perpendicular AD is a mean proportional between the segments BD, DC, of the hypothenuse. Scholium. Since BD: AB:: AB: BC, the product of the extremes will be equal to that of the means, or AB2=BD.BC. For the same reason we have AC2=DC.BC; therefore AB2+ AC2=BD.BC+DC.BC= (BD+DC).BC=BC. BC=BC2; or the square described on the hypothenuse BC is equivalent to the squares described on the two sides AB, AC. Thus we again arrive at the property of the square of the hypothenuse, by a path very different from that which formerly conducted us to it: and thus it appears that, strictly speaking, the property of the square of the hypothenuse, is a consequence of the more general property, that the sides of equiangular triangles are proportional. Thus the fundamental propositions of geometry are reduced, as it were, to this single one, that equiangular triangles have their homologous sides proportional. It happens frequently, as in this instance, that by deducing consequences from one or more propositions, we are led back to some proposition already proved. In fact, the chief characteristic of geometrical theorems, and one indubitable proof of their certainty is, that, however we combine them together, provided only our reasoning be correct, the results we obtain are always perfectly accurate. The case would be different, if any proposition were false or only approximately true: it would frequently happen that on combining the propositions together, the error would increase and become perceptible. Examples of this are to be seen in all the demonstrations, in which the reductio ad absurdum is employed. In such demonstrations, where the object is to show that two quantities are equal, we proceed by showing that if there existed the smallest II* inequality between the quantities, a train of accurate reasoning would lead us to a manifest and palpable absurdity; from which we are forced to conclude that the two quantities are equal. Cor. If from a point A, in the circumference of a circle, two chords AB, AC, be drawn to the extremities of a diameter BC, the triangle BAC will be right angled at A (Book III. Prop. B D с XVIII. Cor. 2.); hence, first, the perpendicular AD is a mean proportional between the two segments BD, DC, of the diameter, or what is the same, AD2-BD.DC. Hence also, in the second place, the chord AB is a mean proportional between the diameter BC and the adjacent segment BD, or, what is the same, AB2-BD.BC. In like manner, we have AC2-CD.BC; hence AB2: AC2 :: BD: DC: and comparing AB2 and AC, to BC2, we have AB2: BC2:: BD : BC, and AC2: BC2 :: DC : BC. Those proportions between the squares of the sides compared with each other, or with the square of the hypothenuse, have already been given in the third and fourth corollaries of Prop. XI. PROPOSITION XXIV. THEOREM. Two triangles having an angle in each equal, are to each other as the rectangles of the sides which contain the equal angles. In the two triangles ABC, ADE, let the angle A be equal to the angle A; then will the triangle ABC ADE :: AB.AC: AD.AE. Draw BE. The triangles ABE, ADE, having the common vertex E, have the same altitude, and consequently are to each other as their bases (Prop. VI. Cor.): that is, ABE: ADE :: AB : AD. In like manner, ABC ABE :: AC: AE. Multiply together the corresponding terms of these proportions, omitting the common term ABE; we have ABC : ADE : AB.AC : AD.AE. |