数学において、は付随するエルハート多項式(エルハートたこうしき、英: Ehrhart polynomial)を持つ。エルハート多項式は、多面体の体積とそれが含む (integer point) との間に成り立つ関係を情報として含む。エルハート多項式の理論はユークリッド平面におけるピックの定理の高次元への一般化とみることができる。 エルハート多項式の名称は1960年代にこれらの多項式について研究した (Eugène Ehrhart) に因む。