imported>Boobarkee: /* Literatur */ Autor ist Georg Pick

2025-07-21T14:07:20Z

Literatur: Autor ist Georg Pick

Neue Seite

[[Datei:Gitterpolygon.svg|mini|hochkant=1.5|Gitterpolygon]]
Der '''Satz von Pick''', benannt nach dem österreichischen Mathematiker [[Georg Alexander Pick]], beschreibt eine fundamentale Eigenschaft von einfachen Gitterpolygonen. Dies sind [[Vieleck]]e, deren sämtliche Eckpunkte ganzzahlige Koordinaten haben. (Man denke sich ein Vieleck, welches auf Rechenpapier gemalt wird, mit den Eckpunkten nur in den Schnittpunkten des Gitters.)

== Aussage des Satzes ==

Sei <math>A</math> der [[Flächeninhalt]] des [[Polygon]]s, <math>I</math> die Anzahl der Gitterpunkte im Inneren des Polygons und <math>R</math> die Anzahl der Gitterpunkte auf dem Rand des Polygons, dann gilt:

:<math>A = I + \frac R 2 - 1</math>

In dem nebenstehenden Beispiel ist <math>R = 12</math> und <math>I = 40</math>. Die Fläche dieses Polygons beträgt somit <math>\textstyle 40 + \frac{12}{2} - 1 = 45</math> Gitterquadrateinheiten.

Der Satz von Pick kann dazu benutzt werden, um die [[eulersche Polyederformel]] zu beweisen und umgekehrt folgt der Satz von Pick aus der Eulerschen Polyederformel, so dass beide Sätze äquivalent sind.

Betrachtet man nicht nur ''einfache'' Polygone, sondern auch solche mit „Löchern“, so muss in obiger Formel der Summand „<math>-1</math>“ durch „<math>-\chi(P)</math>“ ersetzt werden, wobei <math>\chi(P)</math> die [[Euler-Charakteristik]] des Polygons <math>P</math> ist. Man erhält somit:

:<math>A = I + \frac R 2 - \chi(P)</math>

== 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 [[Kathete]]n, da es sich hier um halbe Rechtecke handelt.
* Ebenso gilt er für [[Trapez (Geometrie)|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 (Geometrie)|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 <math>\tfrac 1 2</math> hat. Sind <math>ABC</math> und <math>A'\!B'\!C'</math> zwei solche Dreiecke, so bildet die [[affine Abbildung]], die <math>ABC</math> in <math>A'\!B'\!C'</math> überführt, das [[Gitter (Mathematik)|Gitter]] (gemeint sind hier nur die Gitter''punkte'') auf sich selbst ab.

== Verallgemeinerung ==
Der Satz von Pick wird durch [[Ehrhart-Polynom]]e auf drei und mehr Dimensionen verallgemeinert. Vereinfacht ausgedrückt: Für ein <math>d</math>-dimensionales [[Polytop (Geometrie)|Polytop]] <math>P</math> des Volumens <math>V</math> betrachtet man eine um einen Faktor <math>k</math> skalierte Kopie <math>k \cdot P</math>; für große <math>k</math> überdeckt <math>k \cdot P</math> in erster Näherung <math>k^d \cdot V</math> 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 [[Simplex (Mathematik)|Simplizes]], die von den vier Punkten <math>(0, 0, 0)</math>, <math>(1, 0, 0)</math>, <math>(0, 1, 0)</math> und <math>(1, 1, r)</math> aufgespannt werden, jeweils das Volumen <math>\tfrac r 6</math>, enthalten aber außer den Eckpunkten keinen weiteren ganzzahligen Punkt.

== Literatur ==

* Georg Pick: ''Geometrisches zur Zahlenlehre.'' (Bearbeitung eines in der deutschen mathematischen Gesellschaft zu Prag gehaltenen Vortrags.) In: Sitzungsberichte des deutschen naturwissenschaftlich-medizinischen Vereines für Böhmen „Lotos“ in Prag 19 (1899), S. 311–319. ([https://archive.org/details/sitzungsberichte4748deut/page/n325/mode/2up Online verfügbar])

== Weblinks ==
* [https://www.zhb-flensburg.de/fileadmin/content/spezial-einrichtungen/zhb/dokumente/dissertationen/schmitz/dissertation-schmitz.pdf Michael Schmitz, Strukturgenetische didaktische Analysen zum Satz von Georg Pick und zu Gleichungen vom Grad größer als zwei, Dissertation, Universität Flensburg, 2014] (PDF; 8,7 MB)
[[Kategorie:Satz (Ebene Geometrie)|Pick]]

Satz von Pick - Versionsgeschichte

imported>Boobarkee: /* Literatur */ Autor ist Georg Pick