In extending this proof to parallelograms we have only to use P instead of

P.

PROP. II.—Theorem.

If a line (DE) be parallel to a side (BC) of a triangle (ABC), it divides the remaining sides, measured from the opposite angle (A), proportionally; and, conversely, If two sides of a triangle, measured from an angle, be cut proportionally, the line joining the points of section is parallel to the third side.

1. It is required to prove that AD : DB :: AE : EC.

Dem.—Join BE, CD. The triangles BDE, CED are on the same base DE, and between the same parallels BC, DE. Hence [I. xxxvii.] they are equal, and therefore [V. vii.] the triangle ADE : BDE :: ADE : CDE;

but ADE : BDE :: AD : DB [i.],
and ADE : CDE :: AE : EC [i.].
Hence AD : DB :: AE : EC.

2. If AD : DB :: AE : EC, it is required to prove that DE is parallel to BC.