Sie sind auf Seite 1von 27

Dientzenhofer Gymnasium Bamberg Kollegstufenjahrgang 1998 / 2000

Facharbeit aus dem Fach Mathematik

Thema:

Der Satz von Pick mit seiner Anwendung in den Farey-Folgen

Verfasser: Leistungskurs: Kursleiter: Abgegeben am:


(Stempel des Sekretariats)

Jochen Rinck M21 StD J. Bauer

Erzielte Note: Erzielte Punkte:


(Einfache Wertung)

_______ _______ in Worten: _____________________

Dem Direktorat vorgelegt am:


(Stempel des Sekretariats)

_____________________
(Unterschrift des Kursleiters)

Inhaltsverzeichnis (Gliederung)

Kapitel Titel 1 Einleitung: Wie ich auf das Thema meiner Facharbeit aufmerksam wurde

Seite 3

2 3 3.1 3.2 3.2.1 3.2.2

Definitionen Der Satz von Pick Erluterung der Aussage des Satzes von Pick Der Beweis des Satzes von Pick Der Beweis des Satzes von Pick fr Gitterdreiecke Der Beweis des Satzes von Pick fr Gitterpolygone mit mindestens 4 Eckpunkten

4 5 5 5 5 13

4 4.1 4.2 4.3 4.4

Die Farey-Folgen Zustandekommen der Farey-Folgen Aufflligkeiten der Farey-Folgen Zusammenhnge der Aufflligkeiten Beweis der Aufflligkeiten unter Verwendung des Satzes von Pick

17 17 18 20 21

5 6 7

Schlusswort Literaturverzeichnis Erklrung

25 26 27

1. Wie ich auf das Thema meiner Facharbeit aufmerksam wurde

ber die Schule erfuhr ich von einem Workshop am mathematischen Institut der Universitt Erlangen-Nrnberg, in welchem Probleme, die mit Gitterpunkten1 und Gitterwegen2 zu tun haben, behandelt werden sollten. Dies weckte mein Interesse, und ich fuhr am 12.06.1999 nach Erlangen, und besuchte die erste Veranstaltung. Dort wurden an diesem und den folgenden Samstagen von der leitenden Professorin Dr. Judita Cofman verschiedene Themenbereiche Gitterpunkte und Gitterwege betreffend, angerissen. Es wurde z. B. untersucht, welche regelmigen n -Ecke sich so in ein Koordinatensystem einzeichnen lassen, dass alle Eckpunkte Gitterpunkte sind, oder wieviele Mglichkeiten es gibt, zwei Gitterpunkte auf Gitterwegen zu verbinden. Am meisten faszinierte mich jedoch der Satz von Pick, mit dem man auf eine erstaunlich einfache Weise den Flcheninhalt eines Gitterpolygons3 berechnen kann. Deshalb habe ich mich entschlossen, mich mit dem Satz von Pick eingehender zu beschftigen, und ber ihn meine Facharbeit zu schreiben.

1 2

Fr die Definition Gitterpunkt siehe Seite 4! Bewegt man sich auf einem Gitterweg, so bewegt man sich nur auf den senkrechten und waagerechten Linien, die alle Gitterpunkte parallel zu x- und y-Achse verbinden. 3 Fr die Definition Gitterpolygon siehe Seite 4!

2. Definitionen

Diese Facharbeit beschftigt sich mit Gitterpunkten, weshalb kurze Definitionen vorangestellt werden sollen.

y Gitterpunkte sind Punkte mit ganzzahligen Koordinaten. So sind in nebenstehender P


R x

Zeichnung P, Q, und R mit P = (1,2), Q = (3,2) und R = (0,1) Gitterpunkte.

Demnach ist diese Figur ein sog. Gitterpolygon; ein Polygon (= Vieleck), dessen Eckpunkte Gitterpunkte sind.

3. Der Satz von Pick 3.1 Erluterung der Aussage des Satzes von Pick

Mit Hilfe des Satzes von Pick lsst sich der Flcheninhalt eines Gitterpolygons berechnen, ohne es zuerst aufwendig in bekannte Flchen wie Drei- oder Vierecke zerlegen zu mssen. Die Formel dazu lautet: A =
p + i 1. 2

Fr p setzt man die Anzahl der Gitterpunkte auf dem Perimeter, und fr i die Anzahl der Gitterpunkte im Innern des Gitterpolygons ein. Das Gitterpolygon in obigem Beispiel hat 16 Gitterpunkte auf seinem Perimeter, und 10 Gitterpunkte in seinem Innern, so ergibt sich nach dem Satz von Pick ein Flcheninhalt von A =
16 + 10 1 = 17 (Flcheneinheiten). 2

3.2

Der Beweis des Satzes von Pick

Der Beweis des Satzes von Pick wird in mehreren Schritten fr zwei Flle durchgefhrt werden: 1. Das Gitterpolygon ist ein Dreieck. 2. Das Gitterpolygon hat mindestens vier Eckpunkte.

3.2.1

Der Beweis des Satzes von Pick fr Gitterdreiecke

Um den Satz von Pick fr Gitterdreiecke zu beweisen, muss als erstes gezeigt werden, dass sich jedes beliebige Gitterdreieck in sog. Elementardreiecke zerlegen lsst. y Ein Elementardreieck ist ein Dreieck, welches keine Gitterpunkte in seinem Innern hat, und die einzigen Gitterpunkte auf seinem Perimeter die Eckpunkte sind (siehe Zeichnung). x

Sei nun ein Gitterdreieck. Es ergeben sich folgende Mglichkeiten:

C (1): A B hat neben den Eckpunkten nur noch auf einer Seite weitere Gitterpunkte.

In diesem Fall verbinde man die Gitterpunkte der einen Seite mit dem gegenberliegenden Eckpunkt, und man erhlt nur Elementardreiecke, da keine Gitterpunkte im Innern oder auf den brigen Seiten hat.

(2):

hat auf allen Seiten, aber nicht im Innern Gitterpunkte.

C p C p +1 C p + 2

Ck

(nach: Honsberger, 1970, S. 37)

Die Punkte C1, C2, ..., C k seien die Gitterpunkte auf AB . Diese verbinde man mit dem gegenberliegenden Punkt C. Die dann entstehenden Dreiecke CC p C p +1 (mit p = 1 , p = 2 , ..., p = k 1 ) sind Elementardreiecke, da sich im Innern von keine Gitterpunkte befinden, weshalb auch keine in oder auf den Seiten der Dreiecke CC p C p +1 sein knnen. Fr die Dreiecke AC p C und BCC k ergibt sich eine hnliche Situation wie in (1): Sie sind Dreiecke, die neben den Eckpunkten nur noch auf einer Seite Gitterpunkte haben. Folglich muss nur noch der Punkt C p mit den Gitterpunkten auf AC , und der Punkt C k mit denen auf BC verbunden werden, wodurch man dann ausschlielich in Elementardreiecke zerlegt hat.

(3): V A B

hat auch im Innern Gitterpunkte.

Um nun in Elementardreiecke zu zerlegen, zerlegt man in Unterdreiecke, welche keine inneren Gitterpunkte haben, die dann nach obigem Muster in Elementardreiecke zerlegt werden knnen. Angenommen, htte einen Gitterpunkt V in seinem Innern, so verbinde man ihn mit den Eckpunkten A, B und C, und man erhlt drei Dreiecke ABV, BCV und AVC, die keine innere Gitterpunkte besitzen und nach obigem Verfahren in Elementardreiecke zerlegt werden knnen. Fr eine Verallgemeinerung zu Gitterdreiecken mit i Gitterpunkten im Innern verwende man das Hilfsmittel der mathematischen Induktion. Als Induktionsannahme verwendet man, dass ein Gitterdreieck mit weniger als i inneren Gitterpunkten in Elementardreiecke zerlegt werden kann. Nun whle man einen der i Gitterpunkte aus, und verbinde ihn mit den Eckpunkten A, B und C. Die dabei entstehenden Gitterdreiecke ABV, BCV und AVC haben hchstens i 1 Gitterpunkte im Innern, da der gewhlte Gitterpunkt nun Teil der Perimeter der drei entstandenen Gitterdreiecke wurde, also nicht in deren Innern liegen kann. Somit knnen alle solchen Gitterdreiecke in Elementardreiecke zerlegt werden. Folglich kann jedes beliebige Gitterdreieck in Elementardreiecke zerlegt werden.

Als nchstes zeigt man, dass man ein beliebiges Elementardreieck mit einem Rechteck, dessen Eckpunkte Gitterpunkte sind, und dessen Seiten parallel zur x- oder y-Achse verlaufen, umschreiben kann. Dass dies leicht mglich ist, veranschaulicht folgende Zeichnung:

y M C R B Sei ABC das Elementardreieck, so ist KLBM das Rechteck R, welches das Elementardreieck umschreibt. K A L x

Aufgrund der Tatsache, dass der y-Wert bei B bzw. A ganzzahlig ist, muss dies auch bei M bzw. K und L der Fall sein. Der x-Wert bei B bzw. C ist ganzzahlig, weshalb er bei L bzw. M und K auch nur ganzzahlig sein kann. Es ist mglich, R in Elementardreiecke zu zerlegen: Das ABC ist bereits eines, und die anderen (KAC, CBM, ALM) lassen sich nach obigem Muster in Elementardreiecke zerlegen.

Der nchste Schritt besteht darin, zu zeigen, dass eine Zerlegung von R immer dieselbe Anzahl von Elementardreiecken liefert. Dazu nehme man an, man htte eine Zerlegung von R in Elementardreiecke, und stelle einen Zusammenhang zwischen deren der Anzahl n , und der Anzahl von Gitterpunkten p auf dem Perimeter und i im Innern von R her. Um dies zu erreichen, bestimme man die Summe s aller Winkel in allen Elementardreiecken der Zerlegung. Einerseits gilt (wegen der Winkelsumme im Dreieck von 180): (I)
s = n 180

360

180
(nach: Honsberger, 1970, S.29)

90

Die Summe der Winkel mit Scheitel an einem inneren Gitterpunkt betrgt 360, die der Winkel mit Scheitel an einem Gitterpunkt auf dem Perimeter (abgesehen von den vier Eckpunkten) 180 und die der Winkel mit Scheitel an einem der vier Eckpunkte 90. Deshalb gilt andererseits: (II)
s = i 360 + ( p 4) 180 + 4 90

Gleichsetzen von I und II liefert:

n 180 = i 360 + ( p 4) 180 + 4 90 n = 2i + p 2

: 180

Demnach liefert eine Zerlegung eines Rechtecks immer 2i + p 2 Elementardrecke, welche nicht von der Art der Zerlegung, sondern nur von
p und i abhngig ist.

10

Wendet man den Satz von Pick auf ein Elementardreieck an, erhlt man fr den Flcheninhalt eines Elementardreiecks A =
3 1 + 0 1 = . Um diese 2 2

Eigenschaft zu bewiesen, zeigt man zuerst, dass der Flcheninhalt mindestens


1 sein muss. Dazu betrachte man ein beliebiges 2

Elementardreieck, welches man so verschiebt, dass es den Ursprung als einen Eckpunkt hat, und berechne dessen Flcheninhalt. Sei nebenstehendes Dreieck OAB ein B( d , c ) c-a A( b, a ) Elementardreieck, der Flcheninhalt berechnet sich daher wie folgt: AOAB = AOBB + A
BBAA

- AOAA

b-d

(nach: Cofman, 1999)

1 1 1 cd + (c + a )(b d ) ab 2 2 2 1 = (cd + bc + ab cd ad ab) 2 1 = (bc ad ) 2

Da a, b, c und d natrliche Zahlen sind, kann der Ausdruck (bc ad ) auch nur eine natrliche Zahl liefern, der Flcheninhalt des Elementardreiecks muss deswegen mindestens
1 1 1 , also mindestens sein. 2 2

11

Dass jedes Elementardreieck einen Flcheninhalt von genau

1 hat, zeigt 2

man, indem man zwei verschiedene Zerlegungen von R betrachtet. y Einerseits betrachte man eine Zerlegung von R, die das R Elementardreieck, welches es umschreibt, bereits enthlt, x

andererseits eine Zerlegung, in welcher man zuerst alle Gitterpunkte mit waagerechten und senkrechten R Linien verbindet, und die entstehenden Quadrate schlielich mit einer Diagonalen in x Elementardreiecke teilt.

Wie bereits bewiesen, ist bei beiden Zerlegungen die Anzahl der entstehenden Elementardreiecke gleich (hier:
n = 2i + p 2 = 2 2 + 10 2 = 12 ).

Der Flcheninhalt von R der ersteren Zerlegung berechnet sich aus der Addition der Flcheninhalte der entstandenen Elementardreiecke: (I) A R = A1 + A 2 + ... + An .

Weil jedes beliebige Elementardreieck wie weiter oben gezeigt einen Flcheninhalt von mindestens (II) 1 hat, gilt: 2

1 A1 + A 2 + ... + An n . 2

12

Bei der anderen Zerlegung lsst sich der Flcheninhalt von R wie folgt berechnen: Die entstandenen Elementardreiecke sind alle gleich gro, haben nach der Formel fr den Flcheninhalt von Dreiecken A = Flcheninhalt von genau 1 gh einen 2

1 , weil deren Grundlinie und Hhe die Lnge 1 2

haben. R enthlt n Elementardreiecke, deshalb gilt fr den Flcheninhalt von R andererseits: (III) AR = n 1 . 2

Da die beiden Gleichungen I und III dasselbe Rechteck R beschreiben, kann man sie gleichsetzen: (IV) 1 A1 + A 2 + ... + An = n . 2

Betrachtet man die Gleichung IV, so folgt, dass der Flcheninhalt eines Elementardreiecks 1 sein muss, da man wei, dass die Flcheninhalte der 2 1 sein mssen, in der 2

Elementardreiecke A1 , A 2 , ..., An mindestens Summe jedoch nur n

1 ergeben drfen. Auerdem sind alle 2

Elementardreiecke der zweiten Zerlegung gleich gro, und deren Summe der Flcheninhalte in II kann nicht grer sein als in IV.

Mit diesem Schritt ist der Satz von Pick fr Gitterdreiecke bewiesen, weil eine Zerlegung eines solchen immer die gleiche Anzahl an Elementardreiecken liefert, die alle einen Flcheninhalt von 1 haben. Daraus ergibt sich fr 2

Gitterdreiecke, die n Elementardreiecke beinhalten, ein Flcheninhalt von A= n p = + i 1 , wie es der Satz von Pick behauptet. 2 2

13

3.2.2

Der Beweis des Satzes von Pick fr Gitterpolygone mit mindestens 4 Eckpunkten

Im Folgenden soll gezeigt werden, dass man jedes Gitterpolygon, dessen Begrenzungslinien sich nicht schneiden, in Gitterdreiecke und somit in Elementardreiecke zerlegen kann. Dazu gebrauche man wiederum das Hilfsmittel der mathematischen Induktion fr die Anzahl der Eckpunkte v der Polygone. Als Induktionsannahme verwende man die Tatsache, dass fr v = 4 die Behauptung man knne ein Polygon durch eine vollstndig im Innern des Polygons verlaufende Diagonale in Unterpolygone zerlegen erfllt ist, weil sie sich schnell und einfach zeichnerisch zeigen lsst:

Sowohl konvexe als auch konkave Vierecke kann man mit einer vollstndig im Innern verlaufenden Diagonalen, in zwei Polygone mit v < 4 teilen. Deshalb wird es gengen zu beweisen, dass ein Polygon mit v Eckpunkten eine Diagonale, die vollstndig im Innern des Polygons verluft, besitzt, die das Polygon in zwei Unterpolygone teilt, welche dann hchstens v 1 Eckpunkte haben, und die Behauptung fr Polygone mit weniger als v Eckpunkten laut Induktionsannahme wahr ist.

Dazu zeichnet man eine Gerade g so, dass sie vllig auerhalb des Polygons liegt, also keinen einzigen Punkt mit ihm gemein hat. Danach fhrt man eine Parallelverschiebung der Geraden g auf das Polygon zu durch, bis sie es in einem einzigen Punkt berhrt, welchen man A nenne, und an welchem der Scheitel eines Winkels mit weniger als 180 anliegt. Seien B und C nun die Nachbareckpunkte von A. Es ergeben sich dadurch folgende 3 Mglichkeiten:

14

BC ist eine Diagonale, die das Polygon


C g B A
(nach: Honsberger, 1970, S.36)

vollstndig im Innern verlaufend teilt. Im ersten Fall hat man somit die gewnschte Diagonale.

Auf BC existieren weitere Eckpunkte des Polygons, aber nicht im Innern von C V B A
(nach: Honsberger, 1970, S.36)

ABC. Im zweiten Fall ist die gewnschte g Diagonale die Strecke BV , vom Eckpunkt B des Polygons bis zum ersten Eckpunkt des Polygons V auf BC .

Es liegt noch mindestens ein weiterer Eckpunkt des Polygons im Innern des C X V B A
(nach: Honsberger, 1970, S.36)

Dreiecks ABC. Fr Fall 3 lsst man einen Punkt X von B aus auf BC wandern, bis g er schlielich auf der Verlngerung der Geraden AV liegt, wobei V den ersten Eckpunkt des Polygons auf AX reprsentiert. AX kann man in zwei Teile teilen: In AV vom Eckpunkt A des Polygons bis zum ersten Eckpunkt auf AX und VX , die verbleibende Stecke.

AV ist dann die Diagonale, die das


Polygon wie gewnscht teilt.

15

Somit ist es auch mglich, ein beliebiges Gitterpolygon in Elementardreiecke zu zerlegen. Dass eine solche Zerlegung immer die gleiche Anzahl von Elementardreiecken liefert, zeigt man anhand derselben Methode, wie sie bei der Zerlegung von R gebraucht worden war. Angenommen, das zu zerlegende Gitterpolygon htte v Eckpunkte, p Gitterpunkte auf seinem Perimeter und i Gitterpunkte in seinem Innern. Zwischen diesen Gren wird ein Zusammenhang hergestellt, indem man wiederum die Winkelsumme

s aller Elementardreiecke einer Zerlegung berechnet. Diese ergibt sich


einerseits (wegen der Winkelsumme von 180 im Dreieck) durch: (I) s = n 180 .

16

Die Summe der Winkel, deren Scheitel an einem inneren Gitterpunkt anliegt ergibt 360; die derer mit Scheitel an einem Gitterpunkt auf dem Perimeter (abgesehen von den v Eckpunkten) 180. Die Winkelsumme eines Polygons errechnet sich nach der Formel 180 (v 2) , und somit auch die Summe der Winkel, deren Scheitel an einem Eckpunkt anliegt. Also ergibt sich fr s andererseits: (II) s = 360 i + 180 ( p v) + 180 (v 2) .

Gleichsetzen von I und II liefert:


180 n = 360 i + 180 ( p v) + 180 (v 2) n = 2i + p v + v 2 n = 2i + p 2 : 180

Die Anzahl der bei einer Zerlegung eines Gitterpolygons entstehenden Elementardreiecke ist unabhngig von der Art der Zerlegung und von der Anzahl der Eckpunkte. Sie ist auch hier nur abhngig von p und i .

Hiermit wre der Satz von Pick vollstndig bewiesen, weil gezeigt wurde, dass jede Zerlegung eines Gitterpolygons dieselbe Anzahl von Elementardreiecken liefert, welche alle einen Flcheninhalt von
1 haben. 2

Daraus ergibt sich fr den Flcheninhalt eines Gitterpolygons, welches n Elementardreiecke enthlt, A = behauptet.
n p = + i 1 , wie es der Satz von Pick 2 2

17

4. Die Farey-Folgen

In den sog. Farey-Folgen findet der eben bewiesene Satz von Pick Anwendung.

4.1

Zustandekommen der Farey-Folgen

Man lsst einen Lichtstrahl aus dem Ursprung um 45 (von (0, n) (n,n)

(0,n)

bis (n, n) ) wandern, und notiert alle Gitterpunkte, auf die der Lichtstrahl trifft. Diese Gitterpunkte der Form ( x, y ) werden dann zu Brchen der Form x
x umgeformt. y

So entstehen die folgenden Farey-Folgen Fn: F1: F2: F3: F4: F5: F6: F7: Fn:
0 1 , 1 1 0 1 1 , , 1 2 1 0 1 1 2 1 , , , , 1 3 2 3 1 0 1 1 1 2 3 1 , , , , , , 1 4 3 2 3 4 1 0 1 1 1 2 1 3 2 3 4 1 , , , , , , , , , , 1 5 4 3 5 2 5 3 4 5 1 0 1 1 1 1 2 1 3 2 3 4 5 1 , , , , , , , , , , , , 1 6 5 4 3 5 2 5 3 4 5 6 1 0 1 1 1 1 2 1 2 3 1 4 3 2 5 3 4 5 6 1 , , , , , , , , , , , , , , , , , , 1 7 6 5 4 7 3 5 7 2 7 5 3 7 4 5 6 7 1

etc.

18

4.2

Aufflligkeiten der Farey-Folgen

1. Jede Folge beginnt mit

0 1 und endet mit . 1 1

2. Alle vorkommenden Brche sind vollstndig gekrzt. 3. Betrachtet man zwei benachbarte Brche
bc ad = 1 ergibt. (Beispiel: a c und , so fllt auf, dass b d

1 2 , 3 2 1 5 = 1 ) 3 5 e a c , und b d f

4. Beim Betrachten von drei aufeinanderfolgenden Brchen fllt auf dass

a+e c 2 1 2 2+2 4 1 = ist. (Beispiel: , , = = ) b+ f d 7 3 5 7 + 5 12 3

zu 1. und 2.: An dieser Stelle bietet es sich an, eine Unterscheidung zwischen sichtbaren und unsichtbaren Gitterpunkten durchzufhren.

Dazu soll ein Punkt Q (a, b) , auf den der Lichtstrahl aus dem P (c, d ) Q (a, b) x
(nach: Honsberger, 1970, S. 27)

Ursprung trifft, und P (c, d ) , der hinter ihm auf der Verlngerung der Geraden OQ liegt betrachtet werden.

Als sichtbar werden diejenigen Punkte bezeichnet, welche vom Ursprung aus gesehen werden knnen, bzw. auf welche der Lichtstrahl vom Ursprung aus trifft. Unsichtbar heien hingegen die Punkte, welche vom Ursprung aus nicht gesehen werden knnen, bzw. auf welche der Lichtstrahl vom Ursprung aus nicht trifft, weil er von einem sichtbaren Punkt verdeckt ist. So lsst sich erkennen, dass P (ka, kb) mit k > 1 und k lN vom Punkt Q (a, b) verdeckt ist, welcher nher am Ursprung liegt als P.

19

Aus obiger Zeichnung geht hervor, dass gilt: c > a , d > b und jedoch auch
a c = . Somit knnen c und d nicht paarweise teilerfremd bzw. der Bruch b d c kann nicht vollstndig gekrzt sein. Es folgt also, wenn a und d b paarweise teilerfremd sind bzw. der Bruch a vollstndig gekrzt ist, so ist b

der Punkt Q (a, b) sichtbar.

Demnach erfordern diese beiden Eigenschaften keinen komplizierten Beweis, weil es offensichtlich ist, dass die zugehrigen Gitterpunkte zu den Brchen
0 0 0 0 2 3 4 n 0 1 , , ,..., bzw. , , ,..., immer vom Gitterpunkt des Bruchs bzw. 2 3 4 n 2 3 4 n 1 1

verdeckt sind, da sie hinter ihm auf einer Linie vom Ursprung liegen, der Lichtstrahl sie also nicht treffen kann. hnlich verhlt es sich mit der Tatsache, dass alle Brche der Farey-Folgen vollstndig gekrzt sind. Die zugehrigen Gitterpunkte aller krzbaren Brche (z. B.
2 ) sind durch vor ihnen liegende Gitterpunkte aller vollstndig 4 1 ) verdeckt. 2

gekrzten Brche (hier

zu 3. und 4.: Dass die Eigenschaften 3 und 4 fr alle Bruchpaare und Bruchtripel in allen Farey-Folgen gelten, soll im Folgenden bewiesen werden.

20

4.3

Zusammenhnge der Aufflligkeiten der Farey-Folgen

Wenn man zeigen kann, dass die beiden Eigenschaften 3 und 4 sich voneinander ableiten lassen bzw. zusammenhngen, ist nur noch der Beweis einer Eigenschaft ntig, um letztlich beide zu beweisen. Dazu wird ein Bruchtripel
e a c , und aus der Farey-Folge Fn betrachtet. b d f

Aus Eigenschaft 3 ergeben sich folgende Beziehungen: (I) (II)


bc ad = 1 und de cf = 1 .

Gleichsetzten von I und II liefert:


bc ad = de cf bc + cf = de + ad c(b + f ) = d (a + e) c a+e = d b+ f

Die beiden Eigenschaften hngen also zusammen, weshalb nur der Beweis einer Eigenschaft ntig ist, hier soll Eigenschaft 3 betrachtet werden.

21

4.4

Beweis der Aufflligkeiten unter Verwendung des Satzes von Pick

Jedem Bruch einer Farey-Folge ist ein Gitterpunkt zugeordnet. Alle diese Brche reprsentieren sichtbare Punkte, da sie vollstndig gekrzt sind. Man betrachtet zunchst die Farey-Folge F4:
0 1 1 1 2 3 1 , , , , , , . Beim Eintragen 1 4 3 2 3 4 1

und nach dem Verbinden der Gitterpunkte mit dem Ursprung ergibt sich folgender Fcher:

(0,4)

(1,4)

(3,4)

(1,3)

(2,3)

(3,3)

(1,2)

(0,1)

(1,1)

(0,0) x
(nach: Honsberger, 1970, S.32)

22

Folgende Eigenschaften lassen sich erkennen: 1. Bei der Betrachtung des Bruchs
a fllt auf, dass b 4 und a 3 ist. b

2. Alle Gitterpunkte liegen innerhalb des Vierecks V mit den Eckpunkten (0,0), (3,3), (3,4) und (0,4). 3. Alle Gitterpunkte liegen (mit Ausnahme von (1,1)) ber der Geraden
y = x.

Es ist nun zu zeigen, dass nur die sichtbaren Punkte in oder auf dem Perimeter von V liegen, deren zugehrige Brche in der Farey-Folge vorkommen. Man nehme an, der Punkt T (u , v) htte die Eigenschaften, kme in der Farey-Folge vor, und liege in V. Liegt T auf der y-Achse, muss T der Punkt (0,1) sein, entsprechend dem Bruch
0 , mit welchem F4 beginnt. Liegt 1

T auf der Geraden y = x , muss T der Punkt (1,1) sein, entsprechend dem Bruch
1 , mit welchem F4 endet. Befindet sich der Punkt woanders, so muss 1

gelten:

u < v , da T ber der Geraden y = x liegt,


u 4 , da T auf oder unter der Geraden y = 4 liegt, und

u und v mssen paarweise teilerfremd sein, da T sichtbar ist.


Also liegt T (u , v) in V und
u kommt in F4 vor. v

23

Nun ist eine Verallgemeinerung von F4 zu Fn ntig. y Da die Eigenschaft bc ad = 1 M (c, d ) L (a, b) beweisen werden soll, whlt man zwei aufeinanderfolgende Brche
a c und aus der Farey-Folge Fn b d

aus. Demnach sind L (a, b) und M (c, d ) die zugehrigen O(0,0)


(nach: Honsberger, 1970, S.33)

sichtbaren Gitterpunkte.

Aufgrund der Tatsachen, dass sich auf den Strecken OL und OM zwischen O und L bzw. M keine Gitterpunkte befinden, weil die Brche vollstndig gekrzt sind, und dass die beiden Brche
a c und b d

a c und in Fn direkt b d

aufeinander folgen, sind die beiden Linien zu den Punkten L und M im Fcher nebeneinander. Deswegen kann sich kein weiterer sichtbarer oder unsichtbarer Gitterpunkt im Innern OLM befinden. Desweiteren sind die einzigen Gitterpunkte, die auf dem Perimeter von liegen, die Eckpunkte, was bedeutet, dass ein Elementardreieck ist.

24

y M (c, d ) d-b L (a, b)

Sei nebenstehendes OAB ein Elementardreieck, dessen Flcheninhalt berechnet sich daher wie folgt: AOLM = AOLL + A
LLMM

- AOMM

O(0,0) a L c-a

1 1 1 cd + (c + a )(b d ) ab 2 2 2 1 = (cd + bc + ab cd ad ab) 2 1 = (bc ad ) 2

Beim Beweis des Satzes von Pick wurde bereits gezeigt, dass der Flcheninhalt eines Elementardreiecks
1 ist, was nur der Fall ist, wenn der 2 1 1 1 (bc ad ) = 1 = ergibt. Damit 2 2 2

Ausdruck (bc ad ) = 1 liefert, weil dann

wre bewiesen, dass die beiden Eigenschaften


bc ad = 1 a+e c = b+ f d

fr zwei in den Farey-Folgen Fn nebeneinander stehende Brche und fr drei in den Farey-Folgen Fn aufeinanderfolgende Brche gelten, da sich letztere von der ersten ableiten lasst, welche gerade bewiesen wurde.

25

5. Schlusswort

Nachdem es Pick gelungen war, eine einfache Formel zur Flchenberechnung von Gitterpolygonen aufzustellen, mehrten sich die Wnsche nach einer hnlich einfachen Formel zur Berechnung von Volumina. Deshalb setzten sich viele bedeutende Mathematiker der letzten Jahrhunderte zum Ziel, diese Formel zu finden. Das aufwendige Zerlegen von unregelmigen Krpern in bekannte Krper wie Quader, Pyramiden, Kegel oder Prismen, deren Volumen berechenbar ist, wre damit berflssig. Doch bis heute ist es keinem Mathematiker gelungen, eine solche Formel zu entwickeln.

26

6. Literaturverzeichnis (Quellenangabe)

(1)

Vortrge in Mathematik ber Gitterpunkte und Gitterwege von Prof. Dr. Judita Cofman, Erlangen, Juni und November 1999

(2)

Ingenuity in Mathematics by Ross Honsberger, Essay Five: The Farey-Series, Mathematical Association of America, 1970

(3)

Pons Kompaktwrterbuch, Ernst Klett Verlag fr Wissen und Bildung GmbH, Stuttgart, 1994

27

7. Erklrung

Ich erklre hiermit, dass ich die Facharbeit ohne fremde Hilfe angefertigt, und nur die im Literaturverzeichnis angefhrten Quellen und Hilfsmittel bentzt habe. Hirschaid, den 01.02.2000 ___________________ Jochen Rinck