Eudoxus of Cnidus
, а доказал Евдокс Книдский. Древнегреческий математик Евклид систематизировал знания о пирамиде в XII томе своих «Начал», а также вывел первое определение пирамиды: телесная фигура, ограниченная плоскостями, которые от одной плоскости сходятся в одной точке (книга XI, определение 12).