Eudoxus of Cnidus
アルキメデスはこのことをクニドスのエウドクソスに帰しているため、エウドクソスの定理またはエウドクソスの公理としても知られている。