Warum sind Kanaldeckel (Schachtabdeckungen) auf unseren Straßen fast ausnahmslos rund? Dieses durch den Physik-Nobelpreisträger Richard Feynman und später durch Vorstellungsgespräche bei Microsoft berühmt gewordene Rätsel beruht auf einer einfachen geometrischen Ungleichung.
Wäre ein Kanaldeckel ein Quadrat der Seitenlänge \(w\), so hätte die quadratische Öffnung zwar ebenfalls die Seitenlänge \(w\), aber nach dem Satz des Pythagoras eine Diagonale der Länge \(\sqrt{2}w \approx 1.4142\,w\). Stellt man den schweren gusseisernen Deckel senkrecht auf und dreht ihn um \(45^\circ\) in die Diagonale der Öffnung, fällt er wegen \(w < \sqrt{2}w\) durch sein eigenes Loch in den Schacht hinab. Ein Kreis vom Durchmesser \(w\) besitzt hingegen in jeder Richtung dieselbe Breite \(w\) und kann niemals durch seine Öffnung fallen.
Doch stellen wir nun die tiefere mathematische Frage: Muss ein Kanaldeckel – oder eine Transportrolle, auf der ein flaches Brett ohne jedes vertikale Wackeln horizontal gleitet – zwingend kreisrund sein, um in jeder Richtung dieselbe Breite \(w\) aufzuweisen?
Die Antwort lautet Nein! In der konvexen Geometrie existieren unendlich viele nicht-kreisförmige ebene Bereiche, bei denen der Abstand paralleler Stützgeraden (Tangenten) in jeder Richtung konstant gleich \(w\) ist: sogenannte Kurven konstanter Breite (Gleichdicke). Ihr berühmtester und extremster Vertreter ist das Reuleaux-Dreieck, benannt nach dem deutschen Kinematiker Franz Reuleaux (1829–1905), Rektor der Königlichen Technischen Hochschule zu Berlin und Autor des Klassikers Theoretische Kinematik (1875).
Legt man ein Brett auf Walzen mit Reuleaux-Dreiecksquerschnitt der Breite \(w\), so gleitet das Brett auf der konstanten Höhe \(y = w\) völlig erschütterungsfrei und exakt horizontal dahin. Noch verblüffender: Spannt man einen Bohrer mit dem Querschnitt eines Reuleaux-Dreiecks in ein schwimmendes Futter nach Harry James Watts (1914) ein, so bohrt dieses rotierende Dreieck ein nahezu perfektes quadratisches Loch (mit exakt \(98{,}77005\,\%\) der Quadratfläche) direkt in massives Metall!
1. Das Roll-Paradoxon: Erschütterungsfreie Walze vs. hüpfende Radachse
1.1 Horizontales Gleiten einer Platte auf Reuleaux-Walzen
Ruht eine horizontale Platte auf Reuleaux-Dreiecken der Breite \(w\), die auf dem Boden \(y = 0\) abrollen, so berührt jedes Reuleaux-Dreieck zu jedem Drehwinkel \(\theta \in [0, 2\pi)\) gleichzeitig den Boden (\(y = 0\)) und die Unterseite der Platte. Da der Abstand paralleler horizontaler Stützgeraden definitionsgemäß konstant gleich \(w\) ist, bleibt die Platte exakt auf der Höhe \(y_{\text{Platte}}(\theta) \equiv w\).
1.2 Warum eine feste Radachse im Schwerpunkt \(G\) auf und ab springt
Montiert man das Reuleaux-Dreieck jedoch als Fahrzeugrad mit einer festen Achse im geometrischen Schwerpunkt \(G\) des zugrundeliegenden gleichseitigen Dreiecks \(\triangle ABC\) der Seitenlänge \(w\), so schwankt die Achshöhe dreimal pro Umdrehung massiv:
- Abstand vom Schwerpunkt \(G\) zu den drei Ecken \(A, B, C\) (Umkreisradius): \(R = \frac{w}{\sqrt{3}} = \frac{\sqrt{3}}{3} w \approx 0.57735\,w\)
- Abstand vom Schwerpunkt \(G\) zum Mittelpunkt des gegenüberliegenden Kreisbogens: \(r = w - R = \left(1 - \frac{\sqrt{3}}{3}\right) w \approx 0.42265\,w\)
- Vertikaler Hub der Radachse \(\Delta y_G\): \(\Delta y_G = R - r = \left(\frac{2\sqrt{3}}{3} - 1\right) w \approx 0.15470\,w\)
Während die obere Einhüllende starr auf Höhe \(w\) verharrt, oszilliert der Schwerpunkt \(G\) um \(15{,}47\,\%\) der Breite \(w\). Genau diese Entkopplung zwischen ortsfester äußerer Einhüllender und exzentrisch kreisendem Schwerpunkt ermöglicht den Quadratlochbohrer und den Wankelmotor.
2. Konvexe Geometrie und die Minkowskische Stützfunktion \(h_K(\theta)\)
2.1 Stützfunktion, Einhüllende und Krümmungsradius
Sei \(K \subset \mathbb{R}^2\) ein kompakter konvexer Körper. Für jeden Richtungswinkel \(\theta \in [0, 2\pi)\) seien \(\mathbf{u}(\theta) = (\cos\theta, \sin\theta)^\top\) der äußere Einheitsnormalenvektor und \(\mathbf{t}(\theta) = (-\sin\theta, \cos\theta)^\top\) der Einheitstangentenvektor. Die von Hermann Minkowski eingeführte Stützfunktion (Support Function) ist definiert durch
\[h_K(\theta) \triangleq \max_{(x, y) \in K} \left(x\cos\theta + y\sin\theta\right)\]
flowchart TD
A["Ebener konvexer Körper K ⊂ ℝ²"] --> B["Äußere Einheitsnormale u(θ) = (cos θ, sin θ)"]
B --> C["Minkowski-Stützfunktion h(θ) = max_{(x,y)∈K} (x cos θ + y sin θ)"]
C --> D["Gegenüberliegende Stützfunktion h(θ + π)"]
C --> E["Randkurve als Einhüllende r(θ) = h(θ)u(θ) + h'(θ)t(θ)"]
D --> F["Richtungsbreite W(θ) = h(θ) + h(θ + π)"]
E --> G["Krümmungsradius ρ(θ) = ds/dθ = h(θ) + h''(θ) ≥ 0"]
F --> H["Konstante Breite W(θ) ≡ w ⇔ Alle geraden Harmonischen verschwinden (a_{2m} = b_{2m} = 0)"]
Ist \(h(\theta) \in C^2(\mathbb{S}^1)\), so ergibt sich die Randkurve \(\partial K\) als Einhüllende (Envelope) der Stützgeradenschar \(x\cos\theta + y\sin\theta = h(\theta)\) durch Hinzunahme der Ableitung \(-x\sin\theta + y\cos\theta = h'(\theta)\) zu
\[\mathbf{r}(\theta) = \begin{pmatrix} x(\theta) \\ y(\theta) \end{pmatrix} = h(\theta)\mathbf{u}(\theta) + h'(\theta)\mathbf{t}(\theta) = \begin{pmatrix} h(\theta)\cos\theta - h'(\theta)\sin\theta \\ h(\theta)\sin\theta + h'(\theta)\cos\theta \end{pmatrix}\]Differentiation nach \(\theta\) liefert wegen \(\mathbf{u}'(\theta) = \mathbf{t}(\theta)\) und \(\mathbf{t}'(\theta) = -\mathbf{u}(\theta)\) das Bogenelement \(ds\) und den Krümmungsradius \(\rho(\theta)\):
\[\frac{d\mathbf{r}}{d\theta} = \left(h(\theta) + h''(\theta)\right)\mathbf{t}(\theta) \implies \rho(\theta) = \frac{ds}{d\theta} = h(\theta) + h''(\theta) \ge 0\]2.2 Bedingung konstanter Breite und ungerade Fourier-Reihen
Die Breite in Richtung \(\theta\) ist \(W_K(\theta) = h_K(\theta) + h_K(\theta + \pi)\). Folglich ist \(K\) genau dann ein Gleichdick der Breite \(w\), wenn gilt:
\[h_K(\theta) + h_K(\theta + \pi) = w \qquad (\forall \theta \in [0, 2\pi))\]Hieraus folgt unmittelbar \(\rho(\theta) + \rho(\theta + \pi) = w\) (die Summe der Krümmungsradien in gegenüberliegenden Stützpunkten ist konstant \(w\)) sowie die Charakterisierung durch rein ungerade Fourier-Harmonische:
\[h_K(\theta) = \frac{w}{2} + \sum_{k=1}^{\infty} \left(a_{2k-1}\cos((2k-1)\theta) + b_{2k-1}\sin((2k-1)\theta)\right)\]Wählt man etwa \(h(\theta) = \frac{w}{2} + \frac{w}{16}\cos(3\theta)\), so ist \(\rho(\theta) = \frac{w}{2}\left(1 - \cos 3\theta\right) \ge 0\), und man erhält eine völlig eckenfreie, unendlich oft differenzierbare (\(C^\infty\)), analytische nicht-kreisförmige Kurve konstanter Breite (darstellbar als algebraische Kurve 8. Grades nach Rabinowitz 1997).
3. Konstruktion und Flächeninhalt des Reuleaux-Dreiecks und ungerader Reuleaux-Polygone
Schlägt man um die drei Ecken \(A, B, C\) eines gleichseitigen Dreiecks der Seitenlänge \(w\) jeweils einen Kreisbogen vom Radius \(w\) durch die beiden anderen Ecken, entsteht das Reuleaux-Dreieck. Sein Flächeninhalt \(A_{\text{Reuleaux}}\) setzt sich aus drei \(60^\circ\)-Kreissektoren (\(\frac{\pi}{6}w^2\)) abzüglich des doppelt überdeckten gleichseitigen Dreiecks (\(\frac{\sqrt{3}}{4}w^2\)) zusammen:
\[A_{\text{Reuleaux}} = 3\left(\frac{\pi}{6}w^2\right) - 2\left(\frac{\sqrt{3}}{4}w^2\right) = \frac{1}{2}\left(\pi - \sqrt{3}\right) w^2 \approx 0.7047709\,w^2\]Dies sind \(10{,}27\,\%\) weniger Fläche als beim Kreis gleichen Durchmessers (\(A_{\text{Kreis}} = \frac{\pi}{4}w^2 \approx 0.7853982\,w^2\)). Für ein reguläres Reuleaux-\(n\)-Eck mit ungerader Eckenzahl \(n = 2k+1\) (\(n = 3, 5, 7, \dots\)) ergibt die Zerlegung in das innere reguläre \(n\)-Eck und \(n\) Kreissegmente vom Radius \(w\) die allgemeine Flächenformel:
\[A_n = \frac{w^2}{2}\left(\pi - n\tan\left(\frac{\pi}{2n}\right)\right) \qquad (n = 3, 5, 7, 9, \dots)\]| Gleichdick der Breite \(w\) | Ecken \(n\) | Umfang \(L\) | Exakte Flächenformel \(A(w)\) | Numerischer Wert | Verhältnis \(A / A_{\text{Kreis}}\) |
|---|---|---|---|---|---|
| Reuleaux-Dreieck | \(3\) | \(\pi w\) | \(\frac{1}{2}\left(\pi - \sqrt{3}\right)w^2\) | \(0.704771\,w^2\) | \(89.73\%\) (Minimum) |
| Reuleaux-Fünfeck | \(5\) | \(\pi w\) | \(\frac{1}{2}\left(\pi - 5\tan\frac{\pi}{10}\right)w^2\) | \(0.756827\,w^2\) | \(96.36\%\) |
| Reuleaux-Siebeneck (Britische 20p/50p-Münzen) | \(7\) | \(\pi w\) | \(\frac{1}{2}\left(\pi - 7\tan\frac{\pi}{14}\right)w^2\) | \(0.770921\,w^2\) | \(98.16\%\) |
| Glattes Gleichdick (\(h = \frac{w}{2} + \frac{w}{16}\cos 3\theta\)) | \(0\) (\(C^\infty\)) | \(\pi w\) | \(\frac{63\pi}{256}w^2\) | \(0.773126\,w^2\) | \(98.44\%\) |
| Kreis (Circle) | \(0\) (\(C^\infty\)) | \(\pi w\) | \(\frac{\pi}{4}w^2\) | \(0.785398\,w^2\) | \(100.00\%\) (Maximum) |
4. Zwei vollständige Beweise des Satzes von Barbier (1860) und der Satz von Blaschke–Lebesgue (1914)
\[L(\partial K) = \pi w\]
4.1 Beweis 1: Differentialgeometrie über die Stützfunktion
Integration des Bogenelements \(ds = \left(h(\theta) + h''(\theta)\right)d\theta\) über \([0, 2\pi]\) liefert wegen der \(2\pi\)-Periodizität von \(h'(\theta)\):
\[L(\partial K) = \int_0^{2\pi} h(\theta)\,d\theta + \Big[h'(\theta)\Big]_0^{2\pi} = \int_0^{\pi} \underbrace{\left(h(\theta) + h(\theta + \pi)\right)}_{= w} d\theta = \int_0^{\pi} w\,d\theta = \pi w\]Da ein Gleichdick keine geradlinigen Randstücke besitzen kann, ist \(h_K(\theta)\) stets global \(C^1(\mathbb{S}^1)\) (alternativ greift Approximation durch Faltung \(h_\varepsilon = h_K * \eta_\varepsilon\) in der Hausdorff-Metrik), sodass der Beweis auch für Kurven mit Ecken exakt gilt. \(\blacksquare\)
4.2 Beweis 2: Integralgeometrie, Cauchy-Crofton-Formel und Buffons Nudel
Im Raum aller orientierten Geraden \(\ell(p, \theta) : x\cos\theta + y\sin\theta = p\) mit dem bewegungsinvarianten kinematischen Maß \(d\ell = dp \wedge d\theta\) gilt für jede rektifizierbare Kurve \(\gamma\) der Länge \(L(\gamma)\) und ihre Schnittpunktanzahl \(n_\gamma(p, \theta) = \#(\gamma \cap \ell(p, \theta))\) aufgrund der Linearität des Erwartungswerts die Cauchy-Crofton-Formel:
\[\int_0^{2\pi} \int_{-\infty}^{\infty} n_\gamma(p, \theta)\,dp\,d\theta = 4 L(\gamma)\]Für den Rand \(\gamma = \partial K\) eines konvexen Körpers \(K\) schneidet fast jede treffende Gerade den Rand in genau \(n_{\partial K} = 2\) Punkten, und das \(p\)-Intervall treffender Geraden zur Richtung \(\theta\) hat die Länge \(W_K(\theta) = w\). Somit folgt sofort:
\[4 L(\partial K) = \int_0^{2\pi} 2 W_K(\theta)\,d\theta = 2 \int_0^{2\pi} w\,d\theta = 4\pi w \implies L(\partial K) = \pi w \quad \blacksquare\]4.3 Der Satz von Blaschke–Lebesgue (1914/1915)
Einsetzen der ungeraden Fourier-Reihe in die Blaschkesche Flächenformel \(A(K) = \frac{1}{2}\int_0^{2\pi} \left(h(\theta)^2 - h'(\theta)^2\right)d\theta\) ergibt mit der Parsevalschen Gleichung:
\[A(K) = \frac{\pi}{4} w^2 - \frac{\pi}{2} \sum_{k=2}^{\infty} \left((2k-1)^2 - 1\right)\left(a_{2k-1}^2 + b_{2k-1}^2\right)\]Hieraus folgt \(A(K) \le \frac{\pi}{4}w^2\) (Maximum genau beim Kreis), während die Minimierung des konkaven Funktionals unter \(0 \le \rho(\theta) \le w\) auf die Bang-Bang-Lösung \(\rho(\theta) \in \{0, w\}\) mit minimaler Schaltzahl \(n=3\) führt: Das Reuleaux-Dreieck minimiert eindeutig den Flächeninhalt unter allen Gleichdicken der Breite \(w\) (Henri Lebesgue 1914, Wilhelm Blaschke 1915).
5. Wie das Reuleaux-Dreieck ein quadratisches Loch bohrt: Der Bohrer von Harry Watts (1914)
Im festen Quadrat \(S = \left[-\frac{w}{2}, \frac{w}{2}\right]^2\) gleitet im Fundamentalbereich \(\theta \in \left[\frac{\pi}{6}, \frac{\pi}{3}\right]\) die Ecke \(A\) an der linken Wand \(x = -\frac{w}{2}\) und die Ecke \(B\) an der unteren Wand \(y = -\frac{w}{2}\) entlang:
\[A(\theta) = \begin{pmatrix} -\frac{w}{2} \\ -\frac{w}{2} + w\sin\theta \end{pmatrix}, \qquad B(\theta) = \begin{pmatrix} -\frac{w}{2} + w\cos\theta \\ -\frac{w}{2} \end{pmatrix}\]
flowchart TD
S["Quadratische Führungsschablone S = [-w/2, w/2]² der Seitenlänge w"] --> R["Reuleaux-Dreieck der Breite w rotiert in ständigem Kontakt mit allen 4 Wänden"]
R --> G["Schwerpunktbahn G(θ): 4 Ellipsenbögen (Durchmesser ≈ 0,07735 w, rückläufiger 3-fach-Orbit)"]
R --> V["Ecken-Hüllkurve C(θ): 73,2 % jeder Quadratseite exakt gerade + 4 kleine Ellipsenbögen"]
G --> W["Ankopplung an die Bohrspindel über schwimmende Watts-Oldham-Kupplung"]
V --> H["Fräst exakt 98,77005 % der Fläche des Quadrats frei!"]
5.1 Die Schwerpunktbahn \(G(\theta)\) und die Eckentrajektorie \(C(\theta)\)
- Schwerpunktbahn aus 4 Ellipsenbögen: Der Schwerpunkt \(G(x_G, y_G)\) erfüllt für \(\theta \in \left[\frac{\pi}{6}, \frac{\pi}{3}\right]\): \(x_G(\theta) + \frac{w}{2} = \frac{w}{\sqrt{3}}\cos\left(\theta - \frac{\pi}{6}\right), \qquad y_G(\theta) + \frac{w}{2} = \frac{w}{\sqrt{3}}\sin\left(\theta + \frac{\pi}{6}\right)\) Dies ist ein exakter Ellipsenbogen um die Quadratecke \(\left(-\frac{w}{2}, -\frac{w}{2}\right)\) mit den Halbachsen \(a_G = \frac{\sqrt{3}+1}{2\sqrt{3}}w\) und \(b_G = \frac{\sqrt{3}-1}{2\sqrt{3}}w\). Vier solche Bögen bilden eine geschlossene Bahn vom Durchmesser \(d_G = \left(\frac{2\sqrt{3}-3}{3}\right)w \approx 0.07735\,w\), die mit \(\omega_{\text{Orbit}} = -3\omega_{\text{Spin}}\) gegensinnig umläuft und durch eine Oldham-Kreuzschieberkupplung ausgeglichen wird.
- Eckentrajektorie und \(98{,}77\,\%\) Flächendeckung: Mit \(\alpha = \frac{\pi}{3} - \theta \in \left[0, \frac{\pi}{6}\right]\) beschreibt die dritte Ecke \(C\) in der rechten oberen Quadratecke den Ellipsenbogen \(x_C(\alpha) = -\frac{w}{2} + w\cos\alpha, \qquad y_C(\alpha) = -\frac{w}{2} + w\cos\left(\frac{\pi}{6} - \alpha\right)\) Auf jeder Quadratseite ist das Mittelstück der Länge \((\sqrt{3}-1)w \approx 0.73205\,w\) (\(73{,}2\,\%\) jeder Seite) mathematisch exakt geradlinig! Die ungeschnittene Fläche einer Ecke beträgt \(A_{\text{Ecke}} = w^2 \int_0^{\pi/6} \left(1 - \cos\left(\frac{\pi}{6}-\alpha\right)\right)\sin\alpha\,d\alpha = \left(1 - \frac{\sqrt{3}}{2} - \frac{\pi}{24}\right) w^2 \approx 0.0030749\,w^2\) Damit beträgt die ausgebohrte Gesamtfläche exakt: \(A_{\text{gebohrt}} = w^2 - 4 A_{\text{Ecke}} = \left(2\sqrt{3} + \frac{\pi}{6} - 3\right) w^2 \approx 0.9877005\,w^2 \quad (98{,}77\,\%!)\)
6. Technische Anwendungen und der 3D-Grenzbereich: Meissner-Körper (1911) und die offene Meissner-Vermutung (1934)
Neben dem Wankel-Kreiskolbenmotor (in einer zweibogigen Epitrochoide) und den britischen 20p/50p-Münzen (reguläre Reuleaux-Siebenecke, \(n=7\)) führt der Übergang in den \(\mathbb{R}^3\) zu einer Überraschung: Das dreidimensionale Reuleaux-Tetraeder (Schnitt von vier Kugeln vom Radius \(w\) um die Ecken eines regulären Tetraeders der Kantenlänge \(w\)) besitzt keine konstante Breite, da der Abstand der Mittelpunkte zweier gegenüberliegender gekrümmter Kanten
\[w_{\text{Kante}} = \left(\sqrt{3} - \frac{\sqrt{2}}{2}\right) w \approx 1.024944\,w > w\]beträgt! Erst Ernst Meissner und Friedrich Schilling (1911) gelang es an der ETH Zürich, durch Abrunden von jeweils drei Kanten mittels Spindeltorus-Flächenstücken die beiden echten dreidimensionalen Gleichdicke \(M_1\) und \(M_2\) (Meissner-Körper) mit dem Volumen
\[V(M_1) = V(M_2) = \pi w^3 \left(\frac{2}{3} - \frac{\sqrt{3}}{4}\arccos\left(\frac{1}{3}\right)\right) + \frac{\sqrt{2}}{12} w^3 \approx 0.419860\,w^3\]zu konstruieren. Die 1934 von Bonnesen und Fenchel aufgestellte Meissner-Vermutung, dass die Meissner-Körper unter allen 3D-Körpern konstanter Breite \(w\) das Volumen (und wegen der Blaschke-Relation \(V = \frac{1}{2}wS - \frac{\pi}{3}w^3\) zugleich die Oberfläche) minimieren, ist bis heute eines der berühmtesten ungelösten Probleme der Geometrie.