Cor. 7.-To divide a given right line [AB], into any requir ed number of equal parts.

Draw AH, making any angle whatever with AB, and take thereon as many equal parts AC, CD, DE, as those into which AB is required to be divided [3. 1], draw EB, and parallel thereto CF, DG [31. 1]; AB is divided as required in F and G.

For CK, DL, being drawn parallel to AB, are parallel to each other [30. 1]; and, since AH meets the parallels CK, DL, the angle EDL is equal to the internal remote on the same side DCK [29. 1]; and, since AH meets the parallels DG, EB, the angle CDK is equal to the internal remote on the same side DEL [29. 1]; therefore, in the triangles CDK, DEL, the angles DCK, CDK are severally equal to EDL, DEL, and the sides CD, DE between the equal angles are equal [Constr.], therefore CK is equal to DL [26. 1]. In like manner, AF may be proved equal to CK; but, because of the parallelogram CG, the right line FG, is equal to CK [34. 1]; whence AF, FG, being each equal to CK, arc equal to each other [Ax. 1]. In like manner FG, GB may be proved equal, and so the parts AF, FG, GB, into which the given right line is divided, are equal.

PROP. XXXV. THEOR.

Parallelograms (BD and BF), on the same base (BC), and between the same parallels (BC, AF), are equal.

Produce BC, as to G. The external angle DCG is equal to the internal remote angle ABC [29. 1]; tak-. ing from these equals, the external FCG and internal EBC, which are also equal [29. 1], the remainders DCF, ABE are equal [Ax. 3];

A

B

D

E

whence the triangles DCF, ABE, having also DC, CF, severally equal to AB, BE [34. 1], are equal [4. 1]; but the triangle DCF being taken from the quadrangle ABCF, the remains the parallelogram BD; and the triangle ABE being taken from the same quadrangle, there remains the parallelogram BF; the parallelograms BD, BF are therefore equal [Ax. 3].

Scholium. The demonstration is evidently the same, though the point E should coincide with D, or be between the points A and D.

[PROP. XXXVI. THEOR.

Parallelograms (BD, FH), on equal bases (BC, FG), and between the same parallels (BG, AH), are equal.

Join BE, CH, and because BC is equal to FG [Hyp.], and EH to FG (34. 1), BC is equal to EH (Ax. 1); and BC, EH are parallel [Hyp.], therefore BE, CH, which join them, are parallel (33. 1), and BH is a parallelogram (Def. 35), and is equal to the parallelogram BD, being on the same base BC, and between the same parallels BC, Aй (35. 1); and the parallelogram BH is also equal to FH, being on the same base EH, and between the same parallels BG, EH (35. 1); whence, the parallelograms BD and FH, being each equal to the parallelogram BH, are equal to each other.

PROP. XXXVII. THEOR.

Triangles (ABC, DBC), on the same base (BC), and between the same parallels (BC, AD), are equal.

A D

W

Through B, draw BE parallel to CD, and through C, CF parallel to BA [31. 1]; E meeting AD produced in E and F; the parallelograms EC, BF are equal, being on the same base BC, and between the same parallels BC, EF [35. 1]; but the triangles DBC, ABC are the halves of these parallelograms, because the diagonals BD, [34. 1]; therefore these triangles are equal [Ax. 7].

PROP. XXXVIII. THEOR.

B

AC bisect them

Triangles (ABC, DEF), on equal bases (BC, EF), and between the same parallels (BF, AD), are equal.

Through B, draw BG parallel to CA, and through F, FH parallel to ED [31. 1], meeting AD produced in G and H; the parallelograms GC, EH are equal, being on equal bases BC, EF, and between the same parallels BF, GH, [36. 1]; whence, the triangles ABC, DEF, being the halves of these parallelograms [34. 1], are also equal [Ãx. 7].

PROP. XXXIX. THEOR.

Equal triangles (ABC, DBC), on the same base (BC), and on the same side of it, are between the same parallels.

Join AD, which is parallel to BC; for, A if not, through A, draw AE parallel to BC [31. 1], meeting either side BD of the triangle BDC, in a point E, different from the vertex, and join EC.

B

The triangles ABC, EBC, being on the same base BC, and between the same parallels BC, AE, are equal [37. 1]; but the triangle DBC is equal to ABC [Hyp.]; therefore the triangles EBC, DBC are equal [Ax. 1], part and whole, which is absurd; therefore AE is not parallel to BC. In like manner it may be shewn, that no other right line drawn through A, except AD, is parallel to BC; therefore AD is parallel to BC.

PROP. XL. THEOR.

Equal triangles (ABC, DEF), on equal bases in the same right line (BC, EF), and towards the same part, are between the same parallels.

Join AD which is parallel to BF; for, if not, through A, draw AG parallel to BF [31. 1], cutting either side DE of the triangle DEF, in a point G different from the vertex, and join GF.

The triangles ABC, GEF, being on equal bases BC, EF, and between the same parallels BF, AG, are equal [38. 17; but the triangle DEF is equal to ABC [Hyp.]; therefore the triangles DEF, GEF are equal [Ax. 1], whole and part, which is absurd; therefore AG is not parallel to BF. In like manner it may be shewn, that no other right line drawn through A, except AD, is parallel to BF; therefore AD is parallel to BF.

PROP. XLI. THEOR.

If a parallelogram (BD), and triangle (BEC), be on the same base (BC), and between the same parallels (BC, AE), the parallelogram is double to the triangle.

Join CA. The triangle BEC is A equal to BAC, being on the same base BC, and between the same parallels BC, AE, [37. 1]; but the parallelogram BD, being bisected by the diagonal AC [34. 1], is double the triangle BAC;

therefore the parallelogram BD is also double the triangle BEC.

PROP. XLII. PROB.

To constitute a parallelogram, equal to a given triangle (ABC), and having an angle, equal to a given rectilineal angle (D).

Through A, draw AG parallel to BC [31. 1], bisect BC in E (10. 1), and at the point E, with the right line EC, make the angle CEF equal to the given angle D (23. 1); through C, draw CG parallel to EF (S1. 1), meeting AG in G, and join AE; ECGF is a parallelogram (Def. 35), and double the triangle AEC (41. 1); and since the triangles ABE, AEC are equal, being on equal bases BE. EC, and between the same parallels BC, AG (38. 1), the triangle ABC is double the triangle AEC; whence, the parallelogram EG and triangle ABC, being each of them double the triangle AEC, are equal (Ax. 6); and one angle FEC of the parallelogram is equal to the given angle D (Constr.). There is therefore constituted a parallelogram EG, equal to the given triangle ABC, and having an angle FEC, equal to the given angle D, as was required.

PROP. XLIII. THEOR.

In any parallelogram (BD), the complements (BK, KD), of the parallelograms (EH, GF), which are about the diagonal (AC), are equal.