Euclid's Elements Book VI, Proposition 3: Angle Bisector Theorem

The angle bisector BD of an angle in a triangle ABC divides the opposite side in the same ratio as the sides adjacent to the angle. See Proposed Problem 126. Incenter of the triangle.