オイラーの多面体定理の技術書