多面体欧拉定理的发现