Euler-Ziegel

Ein Euler-Ziegel ist ein Quader, bei dem die Längen der Kanten und Flächendiagonalen ganzzahlige Werte haben. Dieses spezielle Parallelepiped wird 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:

${\displaystyle {\begin{cases}a^{2}+b^{2}=d^{2}\\a^{2}+c^{2}=e^{2}\\b^{2}+c^{2}=f^{2}\end{cases}}}$

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]:p. 106}

• Mindestens zwei Kantenlängen eines Euler-Ziegels sind durch 3 teilbar^{[3]:p. 106}, wobei mindestens eine dieser beiden Kantenlängen sogar durch 9 teilbar ist.
• Mindestens zwei Kantenlängen eines Euler-Ziegels sind durch 4 teilbar.^{[3]:p. 106}
• Mindestens eine Kantenlänge eines Euler-Ziegels ist durch 5 teilbar.
• Mindestens eine Kantenlänge eines Euler-Ziegels ist durch 11 teilbar.^{[3]:p. 106}

Generierende Formeln

Unendlich viele Euler-Ziegel können mit folgender Formel generiert werden: Sei (u, v, w) ein Pythagoreisches Tripel (das heißt, ${\displaystyle u^{2}+v^{2}=w^{2}.}$). Dann^{[3]:p. 105} hat ein Quader mit den Kanten

${\displaystyle a=u|4v^{2}-w^{2}|,\quad b=v|4u^{2}-w^{2}|,\quad c=4uvw}$

die Flächendiagonalen

${\displaystyle d=w^{3},\quad e=u(4v^{2}+w^{2}),\quad f=v(4u^{2}+w^{2}).}$

Diese Formeln wurden 1740 von Nicholas Saunderson hergeleitet.^[4]

Beispiele

Die ersten primitiven Lösungen (siehe die OEIS-Folgen OEIS A031173, A031174, A031175) sind:

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:

${\displaystyle a^{2}+b^{2}+c^{2}=g^{2},\,}$

wobei g die Raumdiagonale ist. 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·10¹² sein müsste.^[6][7] Außerdem müsste seine kleinste Kante größer als 10¹⁰ sein.^[8]

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]:p. 101}

Für abgeschwächte Bedingungen wurden Lösungen gefunden, zum Beispiel haben bei

${\displaystyle (a,b,c)=(672,153,104)\,}$

die Raumdiagonale und nur zwei der drei Flächendiagonalen ganzzahlige Längen, oder bei

${\displaystyle (a,b,c)=(18720,{\sqrt {211773121}},7800)}$

und

${\displaystyle (a,b,c)=(520,576,{\sqrt {618849}})}$

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]:p. 99}

Der Beweis,^[9] dass es keinen perfekten Euler-Ziegel gibt, ist möglicherweise unvollständig.^[10]

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,^[11] was eine offene Frage von Richard Guy beantwortete. Einige dieser Parallelepipede haben zwei rechteckige Flächen.

Literatur

• Richard K. Guy: Unsolved Problems in Number Theory. Springer-Verlag, 2004, ISBN 0-387-20860-7, S. 275–283. 
• John Leech: The Rational Cuboid Revisited. In: American Mathematical Monthly. 84. Jahrgang, Nr. 7, 1977, S. 518–533, doi:10.2307/2320014. 
• Tim Roberts: Some constraints on the existence of a perfect cuboid. In: Australian Mathematical Society Gazette. 37. Jahrgang, 2010, ISSN 1326-2297, S. 29–31. 

Einzelnachweise

1. ↑ L. Euler: Fragmenta commentationis cuiusdam maioris, de invenienda relatione enter latera triangulorum, quorum area rationaliter exprimi possit. (PDF) In: Opera posthuma. Abgerufen am 12. Juli 2015. 
2. ↑ Eric W. Weisstein: Euler Brick. In: MathWorld (englisch).
3. ↑ ^{a b c d e f g} Waclaw Sierpinski: Pythagorean Triangles. Dover Publications, 2003 (orig. ed. 1962).
4. ↑ Nicholas Saunderson, John Saunderson, Abraham de Moivre: Diophantine Problems. In: The Elements of Algebra, in Ten Books, Volume the Second. University Press, Cambridge 1740, 257. To find three square numbers such, that the sum of every two of them shall be a square, S. 429 ff. (englisch, google.com – Art. 257, Problem 27, Being a case of the thirtieth of the fifth book of Diophantus). 
5. ↑ Halcken, Paul: Deliciae mathematicae oder Mathematisches Sinnen-Confect. bestehend in Fünfhundert vier und siebentzig auserlesenen, zum Theil gar kunstreichen Algebrai- Geometri- und Astronomischen Aufgaben, mit vielen künstlichen Solutionen und Reguln gezieret ... Nicolaus Sauer, Hamburg, 1719, S. ca. 420 (mpg.de [abgerufen am 12. Juli 2015] S. 256, Problem Nr. 289, angegeben sind die Quadrate 1936, 57600, 13689). 
6. ↑ Bill Durango: The “Integer Brick” Problem.
7. ↑ Eric W. Weisstein: Perfect Cuboid. In: MathWorld (englisch).
8. ↑ Randall Rathbun: Perfect Cuboid search to 1e10 completed - none found. NMBRTHRY maillist, 28. November 2010 [abgerufen am 16. Juli 2017]
9. ↑ Walter Wyss: No Perfect Cuboid. arxiv:1506.02215
10. ↑ Ruslan Abdulovich Sharipov: On Walter Wyss’s No Perfect Cuboid Paper. arxiv:1704.00165v1
11. ↑ Jorge F. Sawyer, Clifford A. Reiter: Perfect parallelepipeds exist. In: Mathematics of Computation. 80. Jahrgang, 2011, S. 1037–1040, doi:10.1090/s0025-5718-2010-02400-7, arxiv:0907.0220.