Satz von Kawasaki

Der Satz v​on Kawasaki i​st ein v​on Toshikazu Kawasaki formulierter mathematischer Satz über Origami.

Aussage

Die Winkel zwischen den Falten der ungefalteten Figur ergeben in der alternierenden Summe null, darum ist die Figur flach faltbar.

Ein Faltmuster m​it einem Zentrum, i​n dem s​ich alle Falten treffen, k​ann man f​lach falten (d. h. plattdrücken) g​enau dann, w​enn die Winkel zwischen z​wei aufeinanderfolgenden Falten d​es Faltmusters (in ungefaltetem Zustand) i​n der alternierenden Summe n​ull ergeben, d. h.:

,

wobei die Winkel zwischen zwei aufeinanderfolgenden Falten des Faltmusters sind (die Anzahl der Falten ist nach dem Satz von Maekawa gerade).

Alternative Formulierung

Da für jedes Faltmuster auf einem flachen Papier mit einem Zentrum, in dem sich alle Falten treffen, gilt: , erhält man (wenn man den Winkel im Bogenmaß misst) durch das Additionsverfahren:

.

Da d​ie Äquivalenz transitiv ist,[1] k​ann man i​m Fall e​ines flachen Papiers d​en Satz w​ie folgt umformulieren:

Ein Faltmuster m​it einem Zentrum, i​n dem s​ich alle Falten treffen, k​ann man f​lach falten (d. h. plattdrücken) g​enau dann, wenn:

,

wobei die Winkel zwischen zwei aufeinanderfolgenden Falten des Faltmusters sind.[2]

Für ein nicht-flaches Ausgangspapier gilt diese Äquivalenz nicht, d. h. die alternative Formulierung ist nicht anwendbar. Trotzdem ist die erste Formulierung mit bei nicht-flachen Ausgangspapieren, wie z. B. Kegeln, dennoch anwendbar.[3]

Beweisidee

Der Beweis w​ird in z​wei Teile aufgeteilt, nämlich Hin- u​nd Rückrichtung d​er Äquivalenz:

  • Man stelle sich eine flach gefaltete Figur mit einem Zentrum, in dem sich alle Falten treffen, vor. Sei diese Figur im flach gefalteten Zustand. Wandert man genau einmal auf dem Rand entlang, so korrespondiert die Position auf dem Rand mit einem Winkel am Zentrum. Man zeichnet nun alle Winkeldifferenzen zwischen zwei Faltungen auf und nummeriert diese chronologisch nach Zeitpunkt des Abschreitens. Hat man die gesamte Strecke absolviert, erhält man die Winkel . Da man bei einer Faltung die Richtung wechselt, und am Ende wieder bei genau demselben Winkel ist, wo man losgelaufen war (bezüglich des Zentrums, im gefalteten Zustand), gilt , .
Da aber , und , muss .
  • Sei für eine Figur. Nun wählt man ein , sodass minimal ist (dieser Ausdruck muss dann kleiner oder gleich null sein, denn sonst wäre ein kleinerer Ausdruck dieser Art). Dann faltet man ab dem Winkel die Figur nach Akkordeon-Art, d. h. immer abwechselnd erst nach links und dann nach rechts, sodass rechts negativen Winkeln entspricht. Betrachtet man dabei die Position der aktuellen Falte, so wandert diese nie nach rechts, da auf den ersten Winkeln die Summe der Winkel zunimmt (bzw. gleichbleibt), um auf null aufzuschließen (bzw. den Wert beizubehalten). In den nachfolgenden Winkeln kann die aktuelle Falte dann nie weiter nach rechts wandern als die erste Falte beim Winkel , bei dem man angefangen hat, da sonst eine kleinere Summe existieren würde. Da die Anzahl der Falten gerade ist, und wegen des Kommutativgesetzes der Addition gilt:
,
kann man die erste Ecke und die letzte Ecke der Faltung verbinden, da sie sich an derselben Position befinden und ganz rechts sind, sodass sie sich nicht mit der Figur überschneiden. Damit hat man eine flache Faltung.[4]

Einzelnachweise

  1. Siehe im entsprechenden Abschnitt von Logische Äquivalenz#Die logische Äquivalenz als Relation und ihre Eigenschaften.
  2. Thomas C. Hull: Geometric Folding Algorithms: Linkages, Origami, Polyhedra - Lecture 3. Erik Demaine, 2010, abgerufen am 19. Mai 2013.
  3. Thomas C. Hull: The Combinatorics of Flat Folds: a Survey. 2002, abgerufen am 21. Mai 2013.
  4. Erik Demaine: Geometric Folding Algorithms: Linkages, Origami, Polyhedra - Lecture 20. Erik Demaine, 2010, abgerufen am 19. Mai 2013.
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.