Polinomul Erard

Polinomul Herard pentru un poliedru dat dintr-un spațiu multidimensional este un polinom a cărui valoare în orice punct întreg coincide cu numărul de puncte întregi din spațiu (în general, puncte ale oricărei rețele ) situate în interiorul poliedrului dat, crescut cu un factor de .

Volumul poliedrului însuși (cu coeficientul de omotezie ) este egal cu coeficientul de conducere al polinomului Erard, care poate fi considerat ca o variantă a generalizării multidimensionale a teoremei lui Pick .

Numit după Eugène Herard , care le-a studiat în anii 1960.

Definiție

Fie  un poliedru cu vârfuri întregi și omotezie cu coeficientul întreg . Se notează cu numărul de puncte întregi în . Se poate demonstra că un număr este exprimat ca polinom în ; acest polinom se numește polinomul Erard .

Exemple

Proprietăți

unde d  este dimensiunea lui P . unde este aria poligonului și este numărul de puncte întregi de pe granița acestuia. Înlocuind , obținem formula Peak .

Note

  1. Betke, Ulrich; Kneser, Martin (1985) Zerlegungen und Bewertungen von Gitterpolytopen, J. Reine Angew. Matematică. 358, 202-208.

Link -uri