Satz von Pick

Der Satz v​on Pick, benannt n​ach dem österreichischen Mathematiker Georg Alexander Pick, beschreibt e​ine fundamentale Eigenschaft v​on einfachen Gitterpolygonen. Dies s​ind Vielecke, d​eren sämtliche Eckpunkte ganzzahlige Koordinaten haben. (Man d​enke sich e​in Vieleck, welches a​uf Rechenpapier gemalt wird, m​it den Eckpunkten n​ur in d​en Schnittpunkten d​es Gitters.)

Gitterpolygon

Aussage des Satzes

Sei der Flächeninhalt des Polygons, die Anzahl der Gitterpunkte im Inneren des Polygons und die Anzahl der Gitterpunkte auf dem Rand des Polygons, dann gilt:

In dem nebenstehenden Beispiel ist und . Die Fläche dieses Polygons beträgt somit Gitterquadrateinheiten.

Der Satz v​on Pick k​ann dazu benutzt werden, u​m die eulersche Polyederformel z​u beweisen u​nd umgekehrt f​olgt der Satz v​on Pick a​us der Eulerschen Polyederformel, s​o dass b​eide Sätze äquivalent sind.

Betrachtet man nicht nur einfache Polygone, sondern auch solche mit „Löchern“, so muss in obiger Formel der Summand „“ durch „“ ersetzt werden, wobei die Euler-Charakteristik des Polygons ist. Man erhält somit:

Beweisidee

  • Das Theorem ist additiv: Wenn man zwei Polygone mit ganzzahligen Ecken, die sich in einer gemeinsamen Strecke schneiden, zu einem Polygon mit ganzzahligen Eckpunkten verschmilzt, dann addieren sich die realen Flächen und auch die Flächen nach der Formel in dem Satz. Denn die Randpunkte im Innern der Strecke werden zu inneren Punkten, und die Endpunkte der Strecke werden zu zwei Randpunkten.
  • Der Satz lässt sich für achsenparallele Rechtecke unmittelbar verifizieren.
  • Wegen der Additivität gilt der Satz dann auch für rechtwinklige Dreiecke mit achsenparallelen Katheten, da es sich hier um halbe Rechtecke handelt.
  • Ebenso gilt er für Trapeze mit drei achsparallelen Seiten (rechtwinkliges Dreieck plus Rechteck). Betrachtet man zu jeder Seite des gegebenen Polygons das Trapez, das von dieser Seite, zwei vertikalen Linien durch die Endpunkte und einer fernen, aber fest gewählten horizontalen Geraden begrenzt wird, so ist die gegebene Fläche als vorzeichenbehaftete Summe dieser Trapeze darstellbar. Aus der Additivität folgt dann die Behauptung.
  • Alternativ zum letzten Schritt kann man auch nachweisen, dass der Satz für beliebige Dreiecke gilt, indem man sie durch rechtwinklige Dreiecke zu einem achsenparallelen Rechteck ergänzt. Anschließend folgt der Satz durch Induktion, da man jedes einfache Polygon mit mehr als drei Ecken durch eine ganz im Inneren des Polygons verlaufende Diagonale in zwei einfache Polygone mit weniger Ecken zerlegen kann.

Folgerungen

Eine Folge des Satzes von Pick ist, dass ein ebenes Dreieck mit ganzzahligen Eckpunkten, das außer diesen Eckpunkten keine ganzzahligen Punkte enthält, die Fläche hat. Sind und zwei solche Dreiecke, so bildet die affine Abbildung, die in überführt, das Gitter (gemeint sind hier nur die Gitterpunkte) auf sich selbst ab.

Verallgemeinerung

Der Satz von Pick wird durch Ehrhart-Polynome auf drei und mehr Dimensionen verallgemeinert. Vereinfacht ausgedrückt: Für ein -dimensionales Polytop des Volumens betrachtet man eine um einen Faktor skalierte Kopie ; für große überdeckt in erster Näherung Gitterpunkte.

Eine einfache Formel, die die Anzahl der ganzzahligen Punkte eines höherdimensionalen Polytops mit dessen Volumen verbindet, ist nicht greifbar. So besitzen etwa im dreidimensionalen Fall die Simplizes, die von den vier Punkten , , und aufgespannt werden, jeweils das Volumen , enthalten aber außer den Eckpunkten keinen weiteren ganzzahligen Punkt.

Literatur

  • Georg Alexander Pick: Geometrisches zur Zahlenlehre. (Bearbeitung eines in der deutschen mathematischen Gesellschaft zu Prag gehaltenen Vortrags.) In: Sitzungsberichte des deutschen naturwissenschaftlich-medicinischen Vereines für Böhmen „Lotos“ in Prag 19 (1899), S. 311–319.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. The authors of the article are listed here. Additional terms may apply for the media files, click on images to show image meta data.