Hos Euklids er setningen gjengitt i tredje bok, i avsnitt 31. Euklid gir ingen historisk bakgrunn for noen av de geometriske resultatene han presenterer.