Cake number
{{short description|Concept in combinatorics}}
File:Cake number with 4 cutting planes.gif cut out of the middle.]]
In mathematics, the cake number, denoted by Cn, is the maximum of the number of regions into which a 3-dimensional cube can be partitioned by exactly n planes. The cake number is so called because one may imagine each partition of the cube by a plane as a slice made by a knife through a cube-shaped cake. It is the 3D analogue of the lazy caterer's sequence.
The values of Cn for {{nowrap|1=n = 0, 1, 2, ...}} are given by {{nowrap|1=1, 2, 4, 8, 15, 26, 42, 64, 93, 130, 176, 232, ...}} {{OEIS|id=A000125}}.
General formula
If n! denotes the factorial, and we denote the binomial coefficients by
:
and we assume that n planes are available to partition the cube, then the n-th cake number is:{{cite book|last1=Yaglom |first1=A. M. |authorlink1=Akiva Yaglom |last2=Yaglom |first2=I. M. |authorlink2=Isaak Yaglom |title=Challenging Mathematical Problems with Elementary Solutions |volume=1 |location=New York |publisher=Dover Publications |year=1987}}
:
C_n = {n \choose 3} + {n \choose 2} + {n \choose 1} + {n \choose 0} = \tfrac{1}{6}\!\left(n^3 + 5n + 6\right) = \tfrac{1}{6}(n+1)\left(n(n-1) + 6\right).
Properties
The cake numbers are the 3-dimensional analogue of the 2-dimensional lazy caterer's sequence. The difference between successive cake numbers also gives the lazy caterer's sequence.
{{Bernoulli_triangle_columns.svg|Cake numbers (blue)}}
The fourth column of Bernoulli's triangle (k = 3) gives the cake numbers for n cuts, where n ≥ 3.
File:cake_numbers_visual_proof.svg that summing up to the first 4 terms on each row of Pascal's triangle is equivalent to summing up to the first 2 even terms of the next row]]
The sequence can be alternatively derived from the sum of up to the first 4 terms of each row of Pascal's triangle:{{oeis|A000125}}
{{table alignment}}
:
class="wikitable defaultright col1center"
! {{diagonal split header|n|k}} !! 0 !! 1 !! 2 !! 3 ! rowspan="11" style="padding:0;"| !! Sum |
0
| 1 || — || — || — || 1 |
---|
1
| 1 || 1 || — || — || 2 |
2
| 1 || 2 || 1 || — || 4 |
3
| 1 || 3 || 3 || 1 || 8 |
4
| 1 || 4 || 6 || 4 || 15 |
5
| 1 || 5 || 10 || 10 || 26 |
6
| 1 || 6 || 15 || 20 || 42 |
7
| 1 || 7 || 21 || 35 || 64 |
8
| 1 || 8 || 28 || 56 || 93 |
9
| 1 || 9 || 36 || 84 || 130 |
Other applications
In n spatial (not spacetime) dimensions, Maxwell's equations represent different independent real-valued equations.
See also
- Dividing a circle into areas (Moser's circle problem)
- Lazy caterer's sequence
- Pizza theorem
References
{{Reflist}}
External links
- {{MathWorld |id=SpaceDivisionbyPlanes |title=Space Division by Planes |author=Eric Weisstein |access-date=January 14, 2021 |ref= }}
- {{MathWorld |id=CakeNumber |title=Cake Number |author=Eric Weisstein |access-date=January 14, 2021 |ref= }}
{{Classes of natural numbers}}
Category:Mathematical optimization
{{combin-stub}}