If a straight line be drawn parallel to one of the sides of a triangle, it will cut the sides of the triangle proportionally; and if the sides of the triangle be cut proportionally, the line joining the points of section will be parallel to the remaining side of the triangle.
Proof
Drop a parallel DE from a point D on AB to a point E on AC,
parallel to BC. Triangles △DBC and △DCE
share the same base DE and lie between the same parallels (with
BE, DC as transversals through I.29, I.37), so they are equal in
area. Applying VI.1 to △ADE versus the equal-area
companion triangles gives AD:DB=AE:EC. The converse runs the
argument in reverse via I.39.