Gdy cztery proste są proporcjonalne, to prostoliniowe podobne i podobnie wyrysowane na nich będą także proporcjonalne; i gdy prostoliniowe podobne i podobnie wyrysowane na nich są proporcjonalne, to te same proste będą także proporcjonalne.
Niech będą cztery proste proporcjonalne AB, CD, EF, GH, jak AB do CD, tak EF do GH, i niech z jednej strony, na AB, CD będą wyrysowane prostoliniowe podobne i podobnie położone, KAB, LCD, z drugiej zaś, na EF, GH, prostoliniowe podobne i podobnie położone, MF, NH. Twierdzę, że jak KAM jest do LCD, tak MF do NH.
E L E M E N T Y E U K L I D E S A, Księga VI.
Twierdzenia ilustrowane aktywnymi rysunkami