# Kuchenzahl

In der Mathematik nennt man eine Zahl $C_{n}$ Kuchenzahl (englisch Cake number), wenn sie die maximale Anzahl von Regionen angibt, in die ein dreidimensionaler Würfel durch genau $n$ Ebenen unterteilt werden kann. Die Zahl heißt so, weil man sich jede Teilung des Würfels durch eine Ebene als einen mit einem Messer geschnittenen Schnitt durch einen würfelförmigen Kuchen vorstellen kann. Es ist das 3D-Analogon der Zahlenreihe des faulen Kellners (auch zentralpolygonale Zahlen genannt).

## Formel zur Berechnung von Kuchenzahlen

Angenommen, es stehen $n$ Ebenen zur Verfügung, um den Würfel zu teilen. Dann ist die $n$-te Kuchennummer:
    $C_{n}={\binom {n}{3}}+{\binom {n}{2}}+{\binom {n}{1}}+{\binom {n}{0}}={\frac {1}{6}}\cdot (n^{3}+5n+6)={\frac {1}{6}}\cdot (n+1)\cdot (n\cdot (n-1)+6)$
Dabei ist $n!$ die Fakultät und ${\binom {n}{k}}={\frac {n!}{k!\cdot (n-k)!}}$ der Binomialkoeffizient.

## Beispiele

Die kleinsten Kuchenzahlen $C_{n}$ mit $n=0,1,2,\ldots$ lauten:
       1, 2, 4, 8, 15, 26, 42, 64, 93, 130, 176, 232, 299, 378, 470, 576, 697, 834, 988, … (Folge A000125 in OEIS)

## Eigenschaften

* Die einzige prime Kuchenzahl ist $C_{1}=2$.
       Beweis:
          Es ist $C_{n}={\frac {1}{6}}\cdot (n+1)\cdot (n\cdot (n-1)+6)$. Damit $C_{n}$ ganzzahlig ist, muss $(n+1)\cdot (n\cdot (n-1)+6)$ durch $6$ teilbar, also ein Vielfaches von $6=2\cdot 3$ sein. Wenn $C_{n}$ zusätzlich prim sein soll, muss $(n+1)\cdot (n\cdot (n-1)+6)=2\cdot 3\cdot p$ sein, wobei $p$ eine Primzahl ist.
          Es ist $n\cdot (n-1)$ als Produkt einer geraden und einer ungeraden Zahl immer gerade. Zählt man $6$ dazu, bleibt die Zahl gerade. Es ist also, wenn $C_{n}$ prim sein soll, $(n\cdot (n-1)+6)$ immer eine gerade Zahl der Form $2$, $2\cdot 3$, $2\cdot p$ oder $2\cdot 3\cdot p$. Man betrachte alle möglichen vier Fälle von $n\cdot (n-1)+6\,\,(\,=n^{2}-n+6)$:
             Fall 1: $n\cdot (n-1)+6=2$
                Es ist $n\cdot (n-1)+6=n^{2}-n+6$. Die quadratische Gleichung $n^{2}-n+6=2$ hat die Lösungen $n_{1,2}={\frac {1}{2}}\cdot (-1\pm {\sqrt {-15}})$ und hat somit keine reellen Lösungen. Somit existiert dieser Fall nicht.
             Fall 2: $n\cdot (n-1)+6=2\cdot 3$
                Es ist $n\cdot (n-1)+6=n^{2}-n+6$. Die quadratische Gleichung $n^{2}-n+6=6$ hat die Lösungen $n_{0}=0$ und $n_{1}=1$. Es ist $C_{0}=1\not \in \mathbb {P}$ keine Primzahl und $C_{1}=2\in \mathbb {P}$ die bisher erste (und auch letzte) gefundene prime Kuchenzahl.
             Fall 3: $n\cdot (n-1)+6=2\cdot p$
                Unter dieser Voraussetzung muss, weil $(n+1)\cdot (n\cdot (n-1)+6)=2\cdot 3\cdot p$ ist, $(n+1)=3$ sein. Somit ist $n=4$. Es ist aber $C_{4}=8\not \in \mathbb {P}$ keine Primzahl.
             Fall 4: $n\cdot (n-1)+6=2\cdot 3\cdot p$
                Unter dieser Voraussetzung muss, weil $(n+1)\cdot (n\cdot (n-1)+6)=2\cdot 3\cdot p$ ist, $(n+1)=1$ sein. Somit ist $n=0$. Es ist aber $C_{0}=1\not \in \mathbb {P}$ keine Primzahl.
          Da es nicht mehr Möglichkeiten für gerade $(n\cdot (n-1)+6)$ gibt, sodass $(n+1)\cdot (n\cdot (n-1)+6)=2\cdot 3\cdot p$ und in weiterer Folge $C_{n}$ prim ist, bleibt $C_{1}=2$ die einzige Primzahl. $\Box$
* Die Kuchenzahlen sind das dreidimensionale Analogon der zweidimensionalen zentralpolygonalen Zahlen. Die Differenz $C_{n}-C_{n-1}$ zweier aufeinanderfolgender Kuchenzahlen ergibt eben diese zentralpolygonalen Zahlen.
       Beweis:
          Der Beweis funktioniert mittels vollständiger Induktion:
             Induktionsanfang: Es wird bewiesen, dass die Aussage für die kleinste Differenz, den Startwert, gilt.
                $C_{1}-C_{0}={\frac {1}{6}}\cdot (1^{3}+5\cdot 1+6)-{\frac {1}{6}}\cdot (0^{3}+5\cdot 0+6)={\frac {12}{6}}-{\frac {6}{6}}={\frac {6}{6}}=1$, die erste zentralpolygonale Zahl für $n=0$.
                $C_{2}-C_{1}={\frac {1}{6}}\cdot (2^{3}+5\cdot 2+6)-{\frac {1}{6}}\cdot (1^{3}+5\cdot 1+6)={\frac {24}{6}}-{\frac {12}{6}}={\frac {12}{6}}=2$, die zweite zentralpolygonale Zahl für $n=1$. Die Aussage gilt somit auch für die zweitkleinste Differenz.
             Induktionsschritt: Es wird angenommen, dass die Aussage für $n$ gilt. Es muss gezeigt werden, dass sie auch für $n+1$ gilt. Ist dies der Fall, ist die Aussage bewiesen.
                $C_{n+1}-C_{n}={\frac {1}{6}}\cdot ((n+1)^{3}+5\cdot (n+1)+6)-{\frac {1}{6}}\cdot (n^{3}+5\cdot n+6)={\frac {n^{3}+3n^{2}+3n+1+5n+5+6}{6}}-{\frac {n^{3}+5n+6}{6}}={\frac {3n^{2}+3n+6}{6}}={\frac {n^{2}+n+2}{2}}$, die $n$-te zentralpolygonale Zahl.
          Somit ist die Aussage bewiesen. $\Box$
* Die vierte Spalte des Bernoulli-Dreiecks (für $k=3$) gibt die Kuchenzahlen für n Schnitte an.
* Summiert man die ersten vier Terme jeder Reihe des Pascalschen Dreiecks, so erhält man die Kuchenzahlen.
       n $\downarrow \,$ k $\to$0123Summe 11---1 211--2 3121-4 413318 5146415 615101026 716152042 817213564 918285693 10193684130