consequently the triangles are similar; and the homologous sides. give the proportion BA: AE:: AD: AC; whence BAX AC = AE × AD; but AE = AD + DE, and, by -2 multiplying each by AD, we have AE × AD = AD + AD × DE ; besides, ADX DE = BD × DC (224); therefore --2 BAX AC=AD+BD × DC. THEOREM. 230. In every triangle ABC (fig. 134) the rectangle of two of Fig. 131 the sides AB, AC, is equal to the rectangle contained by the diameter CE of the circumscribed circle and the perpendicular AD, let fall upon the third side BC. Demonstration. Join AE, and the triangles ABD, AEC, are right-angled, the one at D and the other at A; moreover the angle BE; consequently the triangles are similar; and they give the proportion, AB: CE:: AD: AC; whence ABX ACCE× AD. 231. Corollary. If these equal quantities be multiplied by BC, we shall have AB × AC × BC = CE × AD × BC. Now ADX BC is double the surface of the triangle (176); therefore the product of the three sides of a triangle is equal to the surface multiplied by double the diameter of the circumscribed circle. The product of three lines is sometimes called a solid, for a reason that will be given hereafter. The value of this product. is easily conceived by supposing the three lines reduced to numbers and these numbers multiplied together. 232. Scholium. It may be demonstrated also, that the surface of a triangle is equal to its perimeter multiplied by half of the radius of the inscribed circle. For the triangles AOB, BOC, AOC (fig. 87), which have their Fig $7. common vertex in O, have for their common altitude the radius of the inscribed circle; consequently the sum of these triangles will be equal to the sum of the bases AB, BC, AC, multiplied by half of the radius OD; therefore the surface of the triangle ABC is equal to the product of its perimeter by half of the radius of the inscribed circle. Fig. 135. THEOREM. 233. In every inscribed quadrilateral figure ABCD (fig. 135), the rectangle of the two diagonals AC, BD, is equal to the sum of the rectangles of the opposite sides; that is, ACX BD = AB x CD + AD × BC. Demonstration. Take the arc CO= AD, and draw BO meeting the diagonal AC in I. The angle ABD = CBI, since one has for its measure half of the arc AD, and the other half of CO equal to AD. The angle ADB=BCI, because they are inscribed in the same segment AOB; consequently the triangle ABD is similar to the triangle IBC, and AD: CI :: BD: BC; whence AD × BC= CI × BD. Again, the triangle ABI is similar to the triangle BDC; for the arc AD being equal to CO, if we add to each of these OD we shall have the arc AO= DC; consequently the angle ABI is equal to DBC; moreover the angle BA1 = BDC, because they are inscribed in the same segment; therefore the triangles ABI, BDC, are similar, and the homologous sides give the proportion AB: BD:: AI: CD; whence, ABX CDAI × BD. Adding the two results above found, and observing that AI × BD + CI × BD=(Al + CI) × BD = AC× BD, we have AD × BC+AB × CD = AC × BD. 234. Scholium. We may demonstrate, in a similar manner, another theorem with respect to an inscribed quadrilateral figure. The triangle ABD being similar to BIC, BD : BC : : AB ; B1, whence BIX BD=BC × AB. If we join CO, the triangle ICO, similar ABI, is similar to BDC, and gives the proportion BD: CO:: DC: OI, whence we have OIX BD=CO× DC, or CO being equal to AD, OIX BD=AD × DC. Adding these two results, and observing that BI × BD +OI × BD reduces itself to BOX BD, we obtain BOX BD=AB × BC+AD × DC. = If we had taken BP AD, and had drawn CKP, we should have found by similar reasoning CP CA=AB × AD + BC × CD. But the arc BP being equal to CO, if we add to each BC, we shall have the arc CBP = BCO; consequently the chord CP is equal to the chord BO, and the rectangles BO × BD and CP X CA, are to each other as BD is to CA; therefore BD: CA:: AB × BC+AD × DC : AB × AD + BC × CD ; that is, the two diagonals of an inscribed quadrilateral figure are to each other as the sums of the rectangles of the sides adjacent to their extremities. By means of these two theorems the diagonals may be found, when the sides are known. THEOREM. 235. Let P (fig. 136) be a given point within a circle in the Fig. 136. radius AC, and let there be taken a point Q without the circle in the same radius produced such that CP: CA :: CA: CQ; if, from any point M of the circumference, straight lines MP, MQ, be drawn to the points P and Q, these straight lines will always be in the same ratio, and we shall have MP: MQ :: AP AQ. Demonstration. By hypothesis CP: CA :: CA: CQ; putting CM in the place of CA we shall have CP: CM:: CM: CQ; consequently the triangles CPM, CQM, having an angle of the one equal to an angle of the other and the sides about the equal angles proportional, are similar (208); therefore Fig. 137. Fig. 138. Problems relating to the Third Section. PROBLEM. 236. To divide a given straight line into any number of equal parts, or into parts proportional to any given lines. Solution. 1. Let it be proposed to divide the line AB (fig. 137) into five equal parts; through the extremity A draw the indefinite straight line AG, and take AC of any magnitude whatever, and apply it five times upon AG; through the last point of the division G draw GB, and through C draw CI parallel to GB; Al will be a fifth part of the line AB, and, by applying Al five times upon AB, the line AB will be divided into five equal parts. For, since CI is parallel to GB, the sides AG, AB, are cut proportionally in C and I (196). But AC is a fifth part of AG, therefore AI is a fifth part of AB. 2. Let it be proposed to divide the line AB (fig. 138) into parts proportional to the given lines P, Q, R. Through the extremity A draw the indefinite straight line AG, and take AC = P, CD=Q, DE=R; join EB, and through the points C, D, draw CI, DK, parallel to EB; the line AB will be divided at I and K into parts proportional to the given lines P, Q, R. For, on account of the parallels CI, DK, EB, the parts AI, IK, KB, are proportional to the parts AC, CD, DE (196); and, by construction, these are equal to the given lines P, Q, R. PROBLEM. 237. To find a fourth proportional to three given lines A, B, C Fig. 139. (fig. 139). = Solution. Draw the two indefinite lines DE, DF, making any angle with each other. On DE take DA = A, DB = B; and upon DF take DC C; join AC, and through the point B draw BX parallel to AC; DX will be the fourth proportional required. For, since BX is parallel to AC, DA: DB:: DC: DX; but the three first terms of this proportion are equal to the three given lines, therefore DX is the fourth proportional required. 238. Corollary. We might find in the same manner a third proportional to two given lines A, B ; for it would be the same as the fourth proportional to the three lines A, B, B. PROBLEM. 239. To find a mean proportional between two given lines A and B (fig. 140). Solution. On the indefinite line DF take DE = A, and EF = B; on the whole line DF, as a diameter, describe the semicircumference DGF; at the point E erect upon the diameter the perpendicular EG meeting the circumference in G; EG will be the mean proportional sought. For the perpendicular GE, let fall from the point in the circumference upon the diameter, is a mean proportional between the two segments of the diameter DE, EF (215), and these two segments are equal to the two given lines A and B. PROBLEM. Fig. 140 240. To divide a given line AB (fig. 141) into two parts in such Fig. 141 a manner, that the greater shall be a mean proportional between the whole line and the other part. Solution. At the extremity B of the line AB erect the perpendicular BC equal to half of AB; from the point C as a centre, and with the radius CB, describe a circle; draw AC cutting the circumference in D, and take AF AD; the line AB will be divided at the point F in the manner required; that is, AB: AF:: AF: FB. For AB, being a perpendicular to the radius CB at its extremity CB, is a tangent; and, if AC be produced till it meet the circumference in E, we shall have AE: AB:: AB: AD (228), and hence AE-AB: AB :: AB-AD: AD (IV): But, since the radius BC is half of AB, the diameter DE is equal and by inversion -- AF: AB:: FB: AD or AF, AB: AF:: AF: FB. 241. Scholium. When a line is divided in this manner, it is said to be divided in extreme and mean ratio. Its application will be seen hereafter. It may be remarked, that the secant AE is divided in extreme and mean ratio at the point D; for since AB = DE, AE: DE: DE: AD. |