Rectilinear figures are said to be similar, when they have their several angles equal, each to each, and the sides about the equal angles proportional.
II.
Two sides of one figure are said to be reciprocally proportional to two sides of another figure when one of the sides of the first is to the second, as the remaining side of the second is to the remaining side of the first.
III.
A straight line is said to be cut in extreme and mean ratio, when the whole is to the greater segment, as the greater segment is to the less.
IV.
The altitude of any figure is the straight line drawn from its vertex perpendicular to its base, or the base produced.
Proposition I. Theorem.
Triangles and parallelograms having the same altitude are to one another as their bases.
Let the triangles and have a common vertex, and their bases, and in the same straight line.
Produce both ways, take successively on produced lines equal to it; and on produced lines successively equal to it; and draw lines from the common vertex to their extremities.
The triangles thus formed are all equal to one another, since their bases are equal. (B. 1. pr. 38.)
∴ and its base are respectively
equimultiples of and the base .
In like manner and its base are respectively
equimultiples of and the base .
∴ If m or 6 times >= or <n or 5 times then m or 6 times >= or <n or 5 times ,m and n stand for every multiple taken as in the fifth definition of the Fifth Book. Although we have only shown that this property exists when m equal 6, and n equal 5, yet it is evident that the property holds good for every multiple value that may be given to m, and to n.
Parallelograms having the same altitude are the doubles of triangles, on their bases, and are proportional to them (Part 1), and hence their doubles, the parallelograms, are as their bases. (B. 5. pr. 15.)
Q. E. D.
Proposition II. Theorem.
If a straight line be drawn parallel to any side of a triangle, it shall cut the other sides, or those sides produced, into proportional segments.
And if any straight line divide the sides of a triangle or those sides produced, into proportional segments, it is parallel to the remaining side .
Let the same construction remain,
because ::::and ::::}
(B. 6. pr. 1)
but :::: (hyp.),
∴:::: (B. 5. pr. 11.)
∴= (B. 5. pr. 9);
but they are on the same base , and at the same side of it, and
∴∥ (B. 1. pr. 39).
Q. E. D.
Proposition III. Theorem.
A right line () bisecting the angle of a triangle, divides the opposite side into segments (, ) proportional to the conterminous sides (, ).
And if a straight line () drawn from any angle of a triangle divide the opposite side () into segments (, ) proportional to the conterminous sides (, ), it bisects the angle.
In equiangular triangles ( and ) the sides about the equal angles are proportional, and the sides which are opposite to the equal angles are homologous.
Let the equiangular triangles be so placed that two sides , opposite to equal angles and may be conterminous and in the same straight line; and that the triangles lying at the same side of that straight line, may have the equal angles not conterminous,
In like manner it may be shown, that
::::; and by alternation, that
::::; but it has already been proved that
::::, and therefore, ex æquali,
:::: (B. 5. pr. 22),
therefore the sides about the equal angles are proportional, and those which are opposite to the equal angles are homologous.
Q. E. D.
Proposition V. Theorem.
If two triangles have their sides proportional ( :::: ) and ( :::: ) they are equiangular, and the equal angles are subtended by the homologous sides.
From the extremities of , draw and , making =,= (B. 1. pr. 23);
and consequently = (B. 1. pr. 32),
and since the triangles are equiangular,
:::: (B. 6. pr. 4);
but :::: (hyp.);
∴::::, and consequently = (B. 5. pr. 9).
In the like manner it may be shown that
=.
Therefore, the two triangles having a common base , and their sides equal, have also equal angles opposite to equal sides, i.e.
But = (const.)
and ∴=; for the same
reason =, and
consequently = (B. 1. 32);
and therefore the triangles are equiangular, and it is evident that the homologous sides subtend the equal angles.
Q. E. D.
Proposition VI. Theorem.
If two triangles ( and ) have one angle () of the one, equal to one angle () of the other, and the sides about the equal angles proportional, the triangles shall be equiangular, and have those angles equal which the homologous sides subtend.
From the extremities of , one of the sides
of , about , draw
and , making
=, and =; then = (B. 1. pr. 32), and two triangles being equiangular,
:::: (B. 6. pr. 4);
but :::: (hyp.);
∴:::: (B. 5. pr. 11),
and consequently = (B. 5. pr. 9);
∴= in every respect.
(B. 1. pr. 4).
But = (const.),
and ∴=; and
since also =, = (B. 1. pr. 32);
and ∴ and are equiangular, with their equal angles opposite to homologous sides.
Q. E. D.
Proposition VII. Theorem.
If two triangles ( and ) have one angle in each equal ( equal to ), the sides about two other angles proportional ( :::: ), and each of the remaining angles ( and ) either less or not less than a right angle, the triangles are equiangular, and those angles are equal about which the sides are proportional.
First let it be assumed that the angles and are each less than a right angle: then if it be supposed
that and contained by the proportional sides
are not equal, let be the greater, and make
=.
But is less than a right angle (hyp.)
∴ is less than a right angle; and ∴ must be greater than a right angle (B. 1. pr. 13), but it has been proved = and therefore less than a right angle, which is absurd. ∴ and are not unequal;
∴ they are equal, and since = (hyp.)
∴= (B. 1. pr. 32), and therefore the triangles are equiangular.
But if and be assumed to be each not less than a right angle, it may be proved as before that the triangles are equiangular, and have the sides about the equal angles proportional. (B. 6. pr. 4).
Q. E. D.
Proposition VIII. Theorem.
In a right angled triangle (), if a perpendicular () be drawn from the right angle to the opposite side, the triangles (,) on each side of it are similar to the whole triangle and to each other.
∴ and are equiangular; and consequently have their sides about the equal angles proportional (B. 6. pr. 4), and are therefore similar (B. 6. def. 1).
In like manner it may be proved that is similar to
; but has been shewn to be similar
to ;∴ and are
similar to the whole and to each other.
Q. E. D.
Proposition IX. Problem.
From a given straight line () to cut off any required part.
From either extremity of the given line draw making any angle with ; and produce till the whole produced line contains as often as contains the required part.
Draw , and draw ∥. is the required part of .
For since ∥ :::: (B. 6. pr. 2), and by composition (B. 5. pr. 18);
::::; but contains as often
as contains the required part (const.);
∴ is the required part.
Q. E. D.
Proposition X. Problem.
To divide a straight line () similarly to a given divided line ().
From either extremity of the given line
draw making any angle;
take , and equal to , and respectively (B. 1. pr. 2);
draw , and draw and ∥ to it.
Since
{}
are ∥ :::: (B. 6. pr. 2),
or :::: (const.),
and :::: (B. 6. pr. 2),
:::: (const.),
and ∴ the given line is divided similarly to .
Q. E. D.
Proposition XI. Problem.
To find a third proportional to two given straight lines ( and ).
At either extremity of the given line draw making an angle;
take =, and draw ; make =, and draw ∥; (B. 1. pr. 31.)
is the third proportional to and .
For since ∥, ∴:::: (B. 6. pr. 2);
but == (const.);
∴::::. (B. 5. pr. 7).
Q. E. D.
Proposition XII. Problem.
To find a fourth proportional to three given lines
{}.
Draw and making any angle;
take =, and =, also =, draw , and ∥; (B. 1. pr. 31);
is the fourth proportional.
On account of the parallels,
:::: (B. 6. pr. 2);
but
{}={}
(const.);
To find a mean proportional between two given straight lines {}.
Draw any straight line , make =, and =; bisect ; and from the point of bisection as a centre, and half the
line as a radius, describe a semicircle , draw ⊥: is the mean proportional required.
Draw and .
Since is a right angle (B. 3. pr. 31),
and is ⊥ from it upon the opposite side,
∴ is a mean proportional between
and (B. 6. pr. 8),
and ∴ between and (const.).
Q. E. D.
Proposition XIV. Theorem.
I.
Equal parallelograms and , which have one angle in each equal, have the sides about the equal angles reciprocally proportional ( :::: )
II.
And parallelograms which have one angle in each equal, and the sides about them reciprocally proportional, are equal.
Let and ; and and , be so placed that and may be continued right lines. It is evident that they may assume this position. (B. 1. prs. 13, 14, 15.)
Equal triangles, which have one angle in each equal (=), have the sides about the equal angles reciprocally proportional ( :::: ).
II.
And two triangles which have an angle of the one equal to an angle of the other, and the sides about the equal angles reciprocally proportional, are equal.
I.
Let the triangles be so placed that the equal angles and may be vertically opposite, that is to say, so that and may be in the same straight line. Whence also and must be in the same straight line (B. 1. pr. 14.)
If four straight lines be proportional ( :::: ), the rectangle ( × ) contained by the extremes, is equal to the rectangle ( × ) contained by the means.
Part II.
And if the rectangle contained by the extremes be equal to the rectangle contained by the means, the four straight lines are proportional.
Part I.
From the extremities of and draw and ⊥ to them and = and respectively: complete the parallelograms:
and .
And since,
:::: (hyp.)∴:::: (const.)∴= (B. 6. pr. 14),
that is, the rectangle contained by the extremes, equal to the rectangle contained by the means.
Part II.
Let the same construction remain; beause
=,= and =, ∴:::: (B. 6. pr. 14).
If three straight lines be proportional ( :::: ) the rectangle under the extremes is equal to the square of the mean.
Part II.
And if the rectangle under the extremes be equal to the square of the mean, the three straight lines are proportional.
Part I.
Assume =, andsince ::::,then ::::,∴×=× (B. 6. pr. 16).
But =, ∴×=×, or =2;
therefore, if the three straight lines are proportional, the rectangle contained by the extremes is equal to the square of the mean.
Part II.
Assume =, then
×=×. ∴:::: (B. 6. pr. 16), and
∴::::.
Q. E. D.
Proposition XVIII. Theorem.
On a given straight line () to construct a rectilinear figure similar to a given one () and similarly placed.
Resolve the given figure into triangles by drawing the lines and .
At the extremities of make
= and =: again at the extremities of make = and =: in like manner make
= and =.
Then is similar to .
It is evident from the construction and (B. 1. pr. 32) that the figures are equiangular; and since the triangles
and are equiangular; then by (B. 6. pr. 4),
In like manner it may be shown that the remaining sides of the two figures are proportional.
∴ by (B. 6. def. 1.)
is similar to and similarly situated; and on the given line .
Q. E. D.
Proposition XIX. Theorem.
Similar triangles ( and ) are to one another in the duplicate ratio of their homologous sides.
Let and be equal angles, and and let homologous sides of the similar triangles and and on the greater of these lines take a third proportional, so that
::::; draw .
:::: (B. 6. pr. 4);
∴:::: (B. 5. pr. 16, alt.),
but :::: (const.),
∴:::: consequently = for they have the sides about
the equal angles and reciprocally proportional (B. 6. pr. 15);
∴:::: (B. 5. pr. 7),
but :::: (B. 6. pr. 1),
∴::::, that is to say, the triangles are to one another in the duplicate ratio of their homologous sides
and (B. 5. def. 11).
Q. E. D.
Proposition XX. Theorem.
Similar polygons may be divided into the same number of similar triangles, each similar pair of which are proportional to the polygons; and the polygons are to each other in the duplicate ratio of their homologous sides.
Draw and , and and , resolving the polygons into triangles. Then because the polygons are similar, =, and ::::
∴ and are similar, and = (B. 6. pr. 6);
but = because they are angles of similar polygons;
therefore the remainders and are equal;
hence ::::, on account of the similar triangles,
and ::::, on account of the similar polygons,
∴::::, ex æquali (B. 5. pr. 22), and as these proportional sides
contain equal angles, the triangles and are similar (B. 6. pr. 6).
In like manner it may be shown that the
triangles and are similar.
But is to in the duplicate ratio of
to (B. 6. pr. 19), and
is to in like manner, in the duplicate
ratio of to ;
∴::::, (B. 5. pr. 11);
Again is to in the duplicate ratio of
to , and is to in
the duplicate ratio of to ,
∴:::::::;
and as one of the antecedents is to one of the consequents, so is the sum of all the antecedents to the sum of all the consequents; that is to say, the similar triangles have to one another the same ratio as the polygons (B. 5. pr. 12).
But is to in the duplicate ratio of
to ;
∴ is to in the duplicate
ratio of to .
Q. E. D.
Proposition XXI. Theorem.
Rectilinear figures ( and ) which are similar to the same figure () are similar also to each other.
Since and are similar, they are equiangular, and have the sides about the equal angles proportional (B. 6. def. 1); and since the figures and are also similar, they are equiangular, and have the sides about the equal angles proportional; therefore and are also equiangular, and have the sides about the equal angles proportional (B. 5. pr. 11), and are therefore similar.
Q. E. D.
Proposition XXII. Theorem.
Part I.
If four straight lines be proportional ( :::: ), the similar rectilinear figures similarly described on them are also proportional.
Part II.
And if four similar rectilinear figures, similarly described on four straight lines, be proportional, the straight lines are also proportional.
Part I.
Take a third proportional to and , and a third proportional
to and (B. 6. pr. 11);
since :::: (hyp.),:::: (const.)
:::: (hyp.),
∴:::: (const.)
and ∴::::. (B. 5. pr. 11).
Q. E. D.
Proposition XXIII. Theorem.
Equiangular parallelograms ( and ) are to one another in a ratio compounded of the ratios of their sides.
Let two of the sides and about the equal angles be placed so that they may form one straight line.
Since +=, and = (hyp.),
+=, and ∴ and form one straight line (B. 1. pr. 14);
complete .
Since :::: (B. 6. pr. 1),
and :::: (B. 6. pr. 1),
has to a ratio compounded of the ratios of
to , and of to .
Q. E. D.
Proposition XXIV. Theorem.
In any parallelogram () the parallelograms ( and ) which are about the diagonal are similar to the whole, and to each other.
As and have a
common angle they are equiangular;
but because ∥ and are similar (B. 6. pr. 4),
∴::::; and the remaining opposite sides are equal to those,
∴ and have the sides about the equal
angles proportional, and are therefore similar.
In the same manner it can be demonstrated that the
parallelograms and are similar.
Since, therefore, each of the parallelograms
and is similar to , they are similar to each other.
Q. E. D.
Proposition XXV. Problem.
To describe a rectilinear figure which shall be similar to a given rectilinear figure (), and equal to another ().
Upon describe =, and upon describe =, and having = (B. 1. pr. 45), and then
and will lie in the same straight line (B. 1. prs. 29, 14),
Between and find a mean proportional
(B. 6. pr. 13), and upon describe , similar to , and similarly situated.
Then =.
For since and are similar, and
:::: (const.),
:::: (B. 6. pr. 20);
but :::: (B. 6. pr. 1);
∴:::: (B. 5. pr. 11);
but = (const.),
and ∴= (B. 5. pr. 14);
and = (const.); consequently,
which is similar to is also =.
Q. E. D.
Proposition XXVI. Theorem.
If similar and similarly posited parallelograms ( and ) have a common angle, they are about the same diagonal.
For, if it be possible, let be the diagonal of and
draw ∥ (B. 1. pr. 31).
Since and are about the same
diagonal , and have common,
they are similar (B. 6. pr. 24);
∴::::; but :::: (hyp.),
∴::::, and ∴= (B. 5. pr. 9.),
which is absurd.
∴ is not the diagonal of in the same manner it can be demonstrated that no other
line is except .
Q. E. D.
Proposition XXVII. Theorem.
Of all the rectangles contained by the segments of a given straight line, the greatest is the square which is described on half the line.
Let be the given line, and unequal segments, and and equal segments;
then >.
For it has been demonstrated already (B. 2. pr. 5), that the square of half the line is equal to the rectangle contained by any unequal segments together with the square of the part intermediate between the middle point and the point of unequal section. The square described on half the line exceeds therefore the rectangle contained by any unequal segments of the line.
Q. E. D.
Proposition XXVIII. Problem.
To divide a given straight line () so that the rectangle contained by its segments may be equal to a given area, not exceeding the square of half the line.
Let the given area be =2.
Bisect , or
make =; and if 2=2, the problem is solved.
But if 2≠2, then
must > (hyp.).
Draw ⊥=; make = or ; with as radius describe a circle cutting the
given line; draw .
But 2=2+2 (B. 1. pr. 47);
∴×+2 =2+2, from both, take 2, and ×=2.
But = (const.),
and ∴ is so divided
that ×=2.
Q. E. D.
Proposition XXIX. Problem.
To produce a given straight line (), so that the rectangle contained by the segments between the extremities of the given line and the point to which it is produced, may be equal to a given area, i.e. equal to the square on .
Make =, and
draw ⊥=; draw ; and
with the radius , describe a circle
meeting produced.
∴×+2= 2+2, from both take 2, and ×=2; but =, ∴2= the given area.
Q. E. D.
Proposition XXX. Problem.
To cut a given finite straight line () in extreme and mean ratio.
On describe the square (B. 1. pr. 46);
and produce , so that
×=2 (B. 6. pr. 29);
take =,and draw ∥,meeting ∥ (B. 1. pr. 31).
Then =×, and is ∴=; and if from both these equals
be taken the common part , , which is the square of , will be =, which is =×; that is 2=×; ∴::::, and is divided in extreme and mean ratio (B. 6. def. 3).
Q. E. D.
Proposition XXXI. Theorem.
If any similar rectilinear figures be similarly described on the sides of a right angled triangle (), the figure described on the side () subtending the right angle is equal to the sum of the figures on the other sides.
From the right angle draw perpendicular to ; then :::: (B. 6. pr. 8).
If two triangles ( and ), have two sides proportional ( :::: ), and be so placed at an angle that the homologous sides are parallel, the remaining sides ( and ) form one right line.
Since ∥, = (B. 1. pr. 29);
and also since ∥, = (B. 1. pr. 29);
∴=; and since
:::: (hyp.),
the triangles are equiangular (B. 6. pr. 6);
In equal circles (,), angles, whether at the centre or circumference, are in the same ratio to one another as the arcs on which they stand (::::); so also are sectors.
Take in the circumference of any number of arcs ,, etc. each =, and also in the circumference of take any number of arcs ,, etc. each =, draw the radii to the extremities of the equal arcs.
Then since the arcs ,,, etc. are all equal, the angles ,,, etc. are also equal (B. 3. pr. 27);
∴ is the same multiple of which the arc is of ; and in the same manner is the same multiple of , which the arc is of the arc .
Then it is evident (B. 3. pr. 27),
if (or if m times ) >, =, < (or n times )
then (or m times ) >, =, < (or n times );
∴::::, (B. 5. def. 5), or the angles at the centre are as the arcs on which they stand; but the angles at the circumference being halves of the angles at the centre (B. 3. pr. 20) are in the same ratio (B. 5. pr. 15), and therefore are as the arcs on which they stand.
It is evident that sectors in equal circles, and on equal arcs are equal (B. 1. pr. 4; B. 3. prs. 24, 27, and def. 9). Hence, if the sectors be substituted for the angles in the above demonstration, the second part of the proposition will be established, that is, in equal circles the sectors have the same ratio to one another as the arcs on which they stand.
Q. E. D.
Proposition A. Theorem.
If the right line () bisecting an external angle of the triangle meet the opposite side () produced, that whole produced side (), and its external segment () will be proportional to the sides ( and ), which contain the angle adjacent to the external bisected angle.
If an angle of a triangle be bisected by a straight line, which likewise cuts the base; the rectangle contained by the sides of the triangle is equal to the rectangle contained by the segments of the base, together with the square of the straight line which bisects the angle.
Let be drawn, making =; then shall
×=×+2.
About describe (B. 4. pr. 5),
produce to meet the circle, and draw .
If from any angle of a triangle a straight line be drawn perpendicular to the base; the rectangle contained by the sides of the triangle is equal to the rectangle contained by the perpendicular and the diameter of the circle described about the triangle.
From of draw ⊥; then
shall ×=× the
diameter of the described circle.