B E Describe the circle ACB about the triangle, (IV. 5.) and draw its diameter AE, and join EC. Because the right angle BDA is equal to the angle ECA in a semicircle, (III. 31.) and the angle ABD equal to the angle AEC in the same segment; (III. 21.) the triangles ABD, AEC are equiangular: therefore as BA to AD, so is EA to AC; (vI. 4.) and consequently the rectangle BA, AC is equal to the rectangle EA, AD. (vI. 16.) If therefore from any angle, &c. PROPOSITION D. THEOREM. Q.E. D. The rectangle contained by the diagonals of a quadrilateral figure inscribed in a circle, is equal to both the rectangles contained by its opposite sides. Let ABCD be any quadrilateral figure inscribed in a circle, and join AC, BD. The rectangle contained by AC, BD shall be equal to the two rectangles contained by AB, ČD, and by AD, BC. Make the angle ABE equal to the angle DBC: (I. 23.) then the angle ABD is equal to the angle EBC: and the angle BDA is equal to the angle BCE, because they are in the same segment: (III. 21.) therefore the triangle ABD is equiangular to the triangle BCE: wherefore, as BC is to CE, so is BD to DA; (VI. 4.) B E and consequently the rectangle BC, AD is equal to the rectangle BD, CE: (VI. 16.) again, because the angle ABE is equal to the angle DBC, and the angle BAE to the angle BDC, (III. 21.) the triangle ABE is equiangular to the triangle BCD: wherefore the rectangle BA, DC is equal to the rectangle BD, AE: therefore the whole rectangle AC, BD is equal to the rectangle AB, DC, together with the rectangle AD, BC. (II. 1.) Therefore the rectangle, &c. Q. E. D. This is a Lemma of Cl. Ptolemæus, in page 9 of his Mɛyáλn Eúvtažis. NOTES TO BOOK VI. In this Book, the theory of proportion exhibited in the Fifth Book, is applied to the comparison of the sides and areas of plane rectilineal figures, both of those which are similar, and of those which are not similar. Def. 1. In defining similar triangles, one condition is sufficient, namely, that similar triangles are those which have their three angles respectively equal; as in Prop. 4, Book vi, it is proved that the sides about the equal angles of equiangular triangles are proportionals. But in defining similar figures of more than three sides, both of the conditions stated in Def. 1, are requisite, as it is obvious, for instance, in the case of a square and a rectangle, which have their angles respectively equal, but have not their sides about their equal angles proportionals. The following definition has been proposed: "Similar rectilineal figures of more than three sides, are those which may be divided into the same number of similar triangles." This definition would, if adopted, require the omission of a part of Prop. 20, Book vi. Def. III. To this definition may be added the following: A straight line is said to be divided harmonically, when it is divided into three parts, such that the whole line is to one of the extreme segments, as the other extreme segment is to the middle part. Three lines are in harmonical proportion, when the first is to the third, as the difference between the first and second, is to the difference between the second and third; and the second is called a harmonic mean between the first and third. The expression 'harmonical proportion' is derived from the following fact in the Science of Acoustics, that three musical strings of the same material, thickness and tension, when divided in the manner stated in the definition, or numerically as 6, 4, and 3, produce a certain musical note, its fifth, and its octave. Def. iv. The term altitude, as applied to the same triangles and parallelograms, will be different according to the sides which may be assumed as the base, unless they are equilateral. Prop. I. In the same manner may be proved, that triangles and parallelograms upon equal bases, are to one another as their altitudes. Prop. A. When the triangle ABC is isosceles, the line which bisects the exterior angle at the vertex is parallel to the base. In all other cases, if the line which bisects the angle BAC cut the base BC in the point G, then the straight line BD is harmonically divided in the points G, C. For BG is to GC as BA is to AC; (vI. 3.) and BD is to DC as BA is to AC, (VI. A.) BD DG, and GC = GD-DC. Hence BD, DG, DC, are in harmonical proportion. Prop. Iv is the first case of similar triangles, and corresponds to third case of equal triangles, Prop. 26, Book 1. Sometimes the sides opposite to the equal angles in two equiangular triangles, are called the corresponding sides, and these are said to be proportional, which is simply taking the proportion in Euclid alternately. The term homologous (oμóλoyos), has reference to the places the sides of the triangles have in the ratios, and in one sense, homologous sides may be considered as corresponding sides. The homologous sides of any two similar rectilineal figures will be found to be those which are adjacent to two equal angles in each figure. Prop. v, the converse of Prop. Iv, is the second case of similar triangles, and corresponds to Prop. 8, Book 1, the second case of equal triangles. Prop. vi is the third case of similar triangles, and corresponds to Prop. 4, Book 1, the first case of equal triangles. The property of similar triangles, and that contained in Prop. 47, Book I, are the most important theorems in Geometry. Prop. vII is the fourth case of similar triangles, and corresponds to the fourth case of equal triangles demonstrated in the note to Prop. 26, Book 1. Prop. IX. The learner here must not forget the different meanings of the word part, as employed in the Elements. The word here has the same meaning as in Euc. v. def. 1. It may be remarked, that this proposition is a more simple case of the next, namely, Prop. x. Prop. xI. This proposition is that particular case of Prop. XII, in which the second and third terms of the proportion are equal. These two problems exhibit the same results by a Geometrical construction, as are obtained by numerical multiplication and division. Prop. xiii. The difference in the two propositions Euc. II. 14, and Euc. vi. 13, is this: in the Second Book, the problem is, to make a rectangular figure or square equal in area to an irregular_rectilinear figure, in which the idea of ratio is not introduced. In the Prop. in the Sixth Book, the problem relates to ratios only, and it requires to divide a line into two parts, so that the ratio of the whole line to the greater segment may be the same as the ratio of the greater segment to the less. The result in this proposition obtained by a Geometrical construction, is analogous to that which is obtained by the multiplication of two numbers, and the extraction of the square root of the product. It may be observed, that half the sum of AB and BC is called the Arithmetic mean between these lines; also that BD is called the Geometric mean between the same lines. To find two mean proportionals between two given lines is impossible by the straight line and circle. Pappus has given several solutions of this problem in Book III, of his Mathematical Collections; and Eutocius has given, in his Commentary on the Sphere and Cylinder of Archimedes, ten different methods of solving this problem. Prop. XIV depends on the same principle as Prop. xv, and both may easily be demonstrated from one diagram. Join DF, FE, EG in the fig. to Prop. XIV, and the figure to Prop. xv is formed. We may add, that there does not appear any reason why the properties of the triangle and parallelogram should be here separated, and not in the first proposition of the Sixth Book. Prop. xv holds good when one angle of one triangle is equal to the defect from what the corresponding angle in the other wants of two right angles. This theorem will perhaps be more distinctly comprehended by the learner, if he will bear in mind, that four magnitudes are reciprocally proportional, when the ratio compounded of these ratios is a ratio of equality. Prop. XVII is only a particular case of Prop. XVI, and more properly, might appear as a corollary: and both are cases of Prop. XIV. Algebraically, Let AB, CD, E, F, contain a, b, c, d units respectively. Then, since a, b, c, d are proportionals, .. a с = d' Multiply these equals by bd, . ad = bc, or, the product of the extremes is equal to the product of the means. And conversely, If the product of the extremes be equal to the product of the means, or ad = bc, α с then, dividing these equals by bd, :.=, d or the ratio of the first to the second number, is equal to the ratio of the third to the fourth. Prop. XVIII. Similar figures are said to be similarly situated, when their homologous sides are parallel, as when the figures are situated on the same straight line, or on parallel lines: but when similar figures are situated on the sides of a triangle, the similar figures are said to be similarly situated when the homologous sides of each figure have the same relative position with respect to one another; that is if the bases on which the similar figures stand, were placed parallel to one another, the remaining sides of the figures, if similarly situated, would also be parallel to one another. Prop. xx. It may easily be shewn, that the perimeters of similar polygons, are proportional to their homologous sides. Prop. xxi. This proposition must be so understood as to include all rectilineal figures whatsoever, which require for the conditions of similarity another_condition than is required for the similarity of triangles. See note on Euc. vi. Def. I. Prop. xxIII. The doctrine of compound ratio, including duplicate and triplicate ratio, in the form in which it was propounded and practised by the ancient Geometers, has been almost wholly superseded. However satisfactory for the purposes of exact reasoning the method of expressing the ratio of two surfaces, or of two solids by two straight lines, may be in itself, it has not been found to be the form best suited for the direct application of the results of Geometry. Almost all modern writers on Geometry and its applications to every branch of the Mathematical Sciences, have adopted the algebraical notation of a quotient AB : BC; or of a AB fraction ; for expressing the ratio of two lines AB, BC: as well as that BC of a product AB × BC, or AB. BC, for the expression of a rectangle. The want of a concise and expressive method of notation to indicate the proportion of Geometrical Magnitudes in a form suited for the direct application of the results, has doubtless favoured the introduction of Algebraical symbols into the language of Geometry. It must be admitted, however, that such notations in the language of pure Geometry are liable to very serious objections, chiefly on the ground that pure Geometry does not admit the Arithmetical or Algebraical idea of a product or a quotient into its reasonings. On the other hand, it may be urged, that it is not the employment of symbols which renders a process of reasoning peculiarly Geometrical or Algebraical, but the ideas which are expressed by them. If symbols be employed in Geometrical reasonings, and be understood to express the magnitudes themselves and the conception of their Geometrical ratio, and not any measures, or numerical values of them, there would not appear to be any very great objections to their use, provided that the notations employed were such as are not likely to lead to misconception. It is, however, desirable, for the sake of avoiding confusion of ideas in reasoning on the properties of number and of magnitude, that the language and notations employed both in Geometry and Algebra should be rigidly defined and strictly adhered to, in all cases. At the commencement of his Geometrical studies, the student is recommended not to employ the symbols of Algebra in Geometrical demonstrations. How far it may be necessary or advisable to employ them when he fully understands the nature of the subject, is a question on which some difference of opinion exists. Prop. xxv. There does not appear any sufficient reason why this proposition is placed between Prop. xxiv. and Prop. xxvi. Prop. XXVII. To understand this and the three following propositions more easily, it is to be observed: 1. "That a parallelogram is said to be applied to a straight line, when it is described upon it as one of its sides. Ex. gr. the parallelogram AC is said to be applied to the straight line AB. 2. But a parallelogram AE is said to be applied to a straight line AB, deficient by a parallelogram, when AD the base of AE is less than AB, and therefore AE is less than the parallelogram AC described upon AB in the same angle, and between the same parallels, by the parallelogram DC; and DC is therefore called the defect of AE. 3. And a parallelogram AG is said to be applied to a straight line AB, exceeding by a parallelogram, when AF the base of AG is greater than AB, and therefore AG exceeds AC the parallelogram described upon AB in the same angle, and between the same parallels, by the parallelogram BG."-Simson. Both among Euclid's Theorems and Problems, cases occur in which the hypotheses of the one, and the data or quæsita of the other, are restricted within certain limits as to magnitude and position. The determination of these limits constitutes the doctrine of Maxima and Minima. Thus:-The theorem Euc. vI. 27 is a case of the maximum value which a figure fulfilling the other conditions can have; and the succeeding proposition is a problem involving this fact among the conditions as a part of the data, in truth, perfectly analogous to Euc. I. 20, 22; wherein the limit of possible diminution of the sum of the two sides of a triangle described upon a given base, is the magnitude of the base itself: the limit of the side of a square which shall be equal to the rectangle of the two parts into which a given line may be divided, is half the line, as it appears from Euc. 11. 5-the greatest line that can be drawn from a given point within a circle, to the circumference, Euc. III. 7, is the line which passes through the center of the circle; and the least line which can be so drawn from the same point, is the part produced, of the greatest line between the given point and the circumference. Euc. 11. 8, also affords another instance of a maximum and a minimum when the given point is outside the given circle. |