Theorem. Triangles (ABC, DBC) on the same base (BC) and between the same parallels (AD, BC) are equal.
Dem.—Produce AD both ways. Draw BE parallel to AC, and CF parallel to BD [xxxi.] Then the figures AEBC, DBCF are parallelograms; and since they are on the same base BC, and between the same parallels BC, EF they are equal [xxxv.]. Again, the triangle ABC is half the parallelogram AEBC [xxxiv.], because the diagonal AB bisects it. In like manner the triangle DBC is half the parallelogram DBCF, because the diagonal DC bisects it, and halves of equal things are equal (Axiom vii.). Therefore the triangle ABC is equal to the triangle DBC.