Euler-Ziegel
Ein Euler-Ziegel ist ein Quader, bei dem die Längen der Kanten und Flächendiagonalen ganzzahlige Werte haben. Dieses spezielle Parallelepiped wurde nach Leonhard Euler benannt. Es wird von drei Dreiecken aufgespannt, deren Kantenlängen Pythagoreische Tripel sind, und deren rechte Winkel an einer Ecke zusammenstoßen.
Definition
Ein Euler-Ziegel ist primitiv, wenn die drei Kantenlängen keinen gemeinsamen Teiler haben.
Die geometrische Definition des Euler-Ziegels ist äquivalent zu einer Lösung des folgenden Systems von diophantischen Gleichungen:
wobei a, b, c die Kanten und d, e, f die Flächendiagonalen sind. Euler fand mindestens zwei parametrische Lösungen des Problems[1], aber keine liefert alle Lösungen.[2]
Eigenschaften
Wenn (a, b, c) eine Lösung ist, dann ist auch (ka, kb, kc) eine Lösung für irgendein k. Folglich erhält man die Lösungen in rationalen Zahlen durch Multiplikation von ganzzahligen Lösungen mit einem Faktor k.
Für einen Euler-Ziegel mit den Kantenlängen (a, b, c) liefert das Tripel (bc, ac, ab) ebenfalls einen Euler-Ziegel.[3]Vorlage:Rp
- Mindestens zwei Kantenlängen eines Euler-Ziegels sind durch 3 teilbar[3]Vorlage:Rp, wobei mindestens eine dieser beiden Kantenlängen sogar durch 9 teilbar ist.
- Mindestens zwei Kantenlängen eines Euler-Ziegels sind durch 4 teilbar.[3]Vorlage:Rp
- Mindestens eine Kantenlänge eines Euler-Ziegels ist durch 5 teilbar.
- Mindestens eine Kantenlänge eines Euler-Ziegels ist durch 11 teilbar.[3]Vorlage:Rp
Generierende Formeln
Unendlich viele Euler-Ziegel können mit folgender Formel generiert werden: Sei (u, v, w) ein Pythagoreisches Tripel (das heißt, ). Dann[3]Vorlage:Rp hat ein Quader mit den Kanten
die Flächendiagonalen
Diese Formeln wurden 1740 von Nicholas Saunderson hergeleitet.[4]
Beispiele
Die ersten primitiven Lösungen (siehe die OEIS-Folgen OEIS A031173, A031174, A031175) sind:
| (a, b, c) | (d, e, f) |
|---|---|
| (44, 117, 240) | (125, 244, 267)Vorlage:FN |
| (85, 132, 720) | (157, 725, 732) |
| (140, 480, 693) | (500, 707, 843) |
| (160, 231, 792) | (281, 808, 825) |
| (187, 1020, 1584) | (1037, 1595, 1884) |
| (195, 748, 6336) | (773, 6339, 6380) |
| (240, 252, 275) | (348, 365, 373) |
| (429, 880, 2340) | (979, 2379, 2500) |
| (495, 4888, 8160) | (4913, 8175, 9512) |
| (528, 5796, 6325) | (5820, 6347, 8579) |
Perfekter Euler-Ziegel
Ein Euler-Ziegel heißt perfekt, wenn zusätzlich auch die Raumdiagonale eine ganzzahlige Länge hat, das heißt dem obigen System wird noch folgende diophantische Gleichung hinzugefügt:
wobei g die Raumdiagonale ist.[A 1] Es wurde bisher noch kein Beispiel für einen perfekten Euler-Ziegel gefunden, und es wurde auch nicht bewiesen, dass keiner existiert. Computergestützte Suchen zeigen, dass bei einem perfekten Euler-Ziegel eine der Kanten größer als 3·1012 sein müsste.[5][6] Außerdem müsste seine kleinste Kante größer als 1010 sein.[7]
Ein primitiver perfekter Euler-Ziegel, falls er denn existierte, müsste folgende Eigenschaften haben:
- Die Längen einer Kante, zweier Flächendiagonalen und die der Raumdiagonalen müssen ungerade sein; eine Kantenlänge und die Länge der verbleibenden Flächendiagonale müssen durch 4 teilbar sein, und die Länge der dritten Kante muss durch 16 teilbar sein.
- Zwei Kantenlängen müssen durch 3 teilbar sein, und wenigstens eine dieser Kantenlängen muss durch 9 teilbar sein.
- Eine Kantenlänge muss durch 5 teilbar sein.
- Eine Kantenlänge muss durch 7 teilbar sein.
- Eine Kantenlänge muss durch 11 teilbar sein.
- Eine Kantenlänge muss durch 19 teilbar sein.
- Eine Kantenlänge oder die Länge der Raumdiagonalen muss durch 13 teilbar sein.
- Eine Kanten-, Flächendiagonalen- oder Raumdiagonalenlänge muss durch 17 teilbar sein.
- Eine Kanten-, Flächendiagonalen- oder Raumdiagonalenlänge muss durch 29 teilbar sein.
- Eine Kanten-, Flächendiagonalen- oder Raumdiagonalenlänge muss durch 37 teilbar sein.
- Die Raumdiagonalenlänge kann keine Zweierpotenz oder das fünffache einer Zweierpotenz sein.[3]Vorlage:Rp
Für abgeschwächte Bedingungen wurden Lösungen gefunden, zum Beispiel haben bei
die Raumdiagonale und nur zwei der drei Flächendiagonalen ganzzahlige Längen, oder bei
und
haben zwar alle vier Diagonalen, aber nur zwei der drei Kanten ganzzahlige Längen.
Es gibt keinen Quader mit ganzzahliger Raumdiagonallänge und aufeinanderfolgenden Kantenlängen.[3]Vorlage:Rp
Der Beweis,[8] dass es keinen perfekten Euler-Ziegel gibt, ist möglicherweise unvollständig.[9]
Perfektes Parallelepiped
Ein perfektes Parallelepiped ist ein Parallelepiped mit ganzzahligen Längen der Kanten, Flächendiagonalen und Raumdiagonalen, das aber nicht unbedingt lauter rechte Winkel hat. Ein perfekter Euler-Ziegel ist ein Spezialfall eines perfekten Parallelepipeds. 2009 wurde gezeigt, dass Dutzende perfekter Parallelepipede existieren,[10] was eine offene Frage von Richard Guy beantwortete. Einige dieser Parallelepipede haben zwei rechteckige Flächen.
Literatur
Einzelnachweise
- ↑ Vorlage:Internetquelle
- ↑ Vorlage:MathWorld
- ↑ 3,0 3,1 3,2 3,3 3,4 3,5 3,6 Waclaw Sierpinski: Pythagorean Triangles. Dover Publications, 2003 (orig. ed. 1962).
- ↑ Vorlage:Literatur
- ↑ Bill Durango: The “Integer Brick” Problem.
- ↑ Vorlage:MathWorld
- ↑ Randall Rathbun: Perfect Cuboid search to 1e10 completed - none found. NMBRTHRY maillist, 28. November 2010 [abgerufen am 16. Juli 2017]
- ↑ Walter Wyss: No Perfect Cuboid. Vorlage:ArXiv
- ↑ Ruslan Abdulovich Sharipov: On Walter Wyss’s No Perfect Cuboid Paper. Vorlage:ArXiv
- ↑ Vorlage:Cite journal
Anmerkungen
- ↑ Man spricht dann auch von einem perfekten Quader.