Hauptseite: Unterschied zwischen den Versionen
(Größte-Primzahl-Kriterium und Transzendenz der Eulerschen Konstante) |
(Kubensatz und Satz von Fickett) |
||
Zeile 2: | Zeile 2: | ||
= Willkommen bei MWiki = | = Willkommen bei MWiki = | ||
== Sätze des Monats == | == Sätze des Monats == | ||
− | === | + | === Kubensatz === |
− | + | Mit <math>a, b, c, n \in {}^{\omega }{\mathbb{Z}}</math> besteht <math>m \in {}^{\omega }{\mathbb{Z}}</math> genau dann aus einer Summe von drei Kuben, wenn | |
− | ==== | + | <div style="text-align:center;"><math>m=n^3 + (n + a)^3 + (n - b)^3 = 3n^3 + a - b+ 6c \ne \pm 4\mod 9</math></div> |
− | + | ||
+ | gilt. Diese implizit quadratische Gleichung liefert die für <math>n</math> zu erfüllende Formel.<math>\square</math></div> | ||
+ | |||
+ | === Satz von Fickett === | ||
+ | Für jede Lage zweier überlappender kongruenter <math>n</math>-Quader <math>Q</math> und <math>R</math> mit <math>n \in {}^{\omega }\mathbb{N}_{\ge 2}</math> und dem exakten Standardmaß <math>\mu</math> gilt, wobei <math>\mu</math> für <math>n = 2</math> durch die euklidische Weglänge <math>L</math> zu ersetzen ist: | ||
− | |||
− | |||
− | + | <div style="text-align:center;"><math>1/(2n - 1) < r := \mu(\partial Q \cap R)/\mu(\partial R \cap Q) < 2n - 1.</math></div> | |
==== Beweis: ==== | ==== Beweis: ==== | ||
− | + | Da das zugrundeliegende Extremalproblem sein Maximum für Rechtecke mit den Seitenlängen <math>s</math> und <math>s + 2d0</math> hat, gilt min <math>r = s/(3s - 2d0) \le r \le</math> max <math>r = (3s - 2d0)/s</math>. Der Beweis für <math>n > 2</math> erfolgt analog.<math>\square</math> | |
− | |||
− | |||
== Leseempfehlung == | == Leseempfehlung == | ||
Version vom 2. Oktober 2020, 15:05 Uhr
Willkommen bei MWiki
Sätze des Monats
Kubensatz
Mit [math]\displaystyle{ a, b, c, n \in {}^{\omega }{\mathbb{Z}} }[/math] besteht [math]\displaystyle{ m \in {}^{\omega }{\mathbb{Z}} }[/math] genau dann aus einer Summe von drei Kuben, wenn
gilt. Diese implizit quadratische Gleichung liefert die für [math]\displaystyle{ n }[/math] zu erfüllende Formel.[math]\displaystyle{ \square }[/math]
Satz von Fickett
Für jede Lage zweier überlappender kongruenter [math]\displaystyle{ n }[/math]-Quader [math]\displaystyle{ Q }[/math] und [math]\displaystyle{ R }[/math] mit [math]\displaystyle{ n \in {}^{\omega }\mathbb{N}_{\ge 2} }[/math] und dem exakten Standardmaß [math]\displaystyle{ \mu }[/math] gilt, wobei [math]\displaystyle{ \mu }[/math] für [math]\displaystyle{ n = 2 }[/math] durch die euklidische Weglänge [math]\displaystyle{ L }[/math] zu ersetzen ist:
Beweis:
Da das zugrundeliegende Extremalproblem sein Maximum für Rechtecke mit den Seitenlängen [math]\displaystyle{ s }[/math] und [math]\displaystyle{ s + 2d0 }[/math] hat, gilt min [math]\displaystyle{ r = s/(3s - 2d0) \le r \le }[/math] max [math]\displaystyle{ r = (3s - 2d0)/s }[/math]. Der Beweis für [math]\displaystyle{ n > 2 }[/math] erfolgt analog.[math]\displaystyle{ \square }[/math]