• Emily Zhang
  • Fiddler

Can You Fairly Cut the Birthday Cake?

2024 Mar 12024 March 1 Problem Back

This Week's Fiddler

Let's orient the cake such that it spans 20 inches right of the origin along the x-axis and 10 inches above the origin along the y-axis.

We can then find a center point (10,y)(10,y)(10,y) with cuts at (0,10)(0,10)(0,10), (20,10)(20,10)(20,10), and (10,0)(10,0)(10,0) such that the areas are equal. There are two equally sized trapezoids formed, each with an area of 10(10+y2)10(\frac{10+y}{2})10(210+y​), and one triangle of area 12(20)(10−y)\frac{1}{2}(20)(10-y)21​(20)(10−y). Setting the areas equal, we find that 50+5y=100−10y50+5y=100-10y50+5y=100−10y, hence y=103y=\frac{10}{3}y=310​.

Checking our work, we note that the total cake is 20⋅10=20020\cdot10=20020⋅10=200 square inches, and each piece comes out to 2003\frac{200}{3}3200​ square inches, which is correct. Thus one valid solution would be...

Answer: Cake oriented from 0 in. to 20 in. along the x-axis and 0 in. to 10 in. along the y-axis. Center of cut at (10 in., 10/3 in.), piece boundaries at (0 in., 10 in.), (20 in., 10 in.), and (10 in., 0 in.).


Extra Credit

We note that after we determine a center (x,y)(x,y)(x,y), we only need to determine one of the cuts; the other two cuts are predetermined to be 20 inches away along the perimeter in either direction. Additionally, we can consider one cut on one of the long sides, as (aside from the boundary cases) will always have exactly one cut. Let's say 0≤t≤200\le t\le200≤t≤20 is where we perform the cut along the x-axis.

If t≤10t\le10t≤10, then the shapes are as follows: ((t,0),(20,0),(20,t),(x,y))((t, 0), (20, 0), (20, t), (x, y))((t,0),(20,0),(20,t),(x,y)), ((20,t),(20,10),(10−t,10),(x,y))((20, t), (20, 10), (10-t, 10), (x, y))((20,t),(20,10),(10−t,10),(x,y)), and ((10−t,10),(0,10),(0,0),(t,0),(x,y))((10-t, 10), (0, 10), (0, 0), (t, 0), (x, y))((10−t,10),(0,10),(0,0),(t,0),(x,y)).

An example, where t=3.14t=3.14t=3.14:

Desmos visualization

Full interactive Desmos visualization will be below!

As we know each piece should have an area of 2003\frac{200}{3}3200​, we can derive three equations. The first two pieces are quadrilaterals that can be split into two triangles, while the third piece is a pentagon which can be split into two trapezoids.

SymPy code for solving the linear equation:

import sympy

x, y, t = sympy.symbols('x y t')
eqs = [
    sympy.Eq(400, 3 * ((20 - t) * y + t * (20 - x))),
    sympy.Eq(400, 3 * ((10 - t) * (20 - x) + (10 + t) * (10 - y))),
    sympy.Eq(200, 3 * (y * (t + x) / 2 + (10 - y) * (10 - t + x) / 2)),
]
print(sympy.solve(eqs))

Output:

[{x: 5*(3*t**2 - 30*t + 200)/(t**2 - 10*t + 100), y: 5*(3*t**2 - 50*t + 400)/(3*(t**2 - 10*t + 100))}]

Now we have a parametric equation of one half of the locus, which looks like this when plotted.

We observe that yyy strictly decreases as ttt increases, and there is a point of reflection about t=5t=5t=5. Thus, with a few integrals, we can find the area of the locus.

If we assign x=f(t)x=f(t)x=f(t) and y=g(t)y=g(t)y=g(t), then we can say the area under yyy for the top half of the arc is ∫50g(t)⋅f′(t) dt\int_5^0{g(t)\cdot f'(t)}\ dt∫50​g(t)⋅f′(t) dt. Note that we integrate from t=5t=5t=5 to t=0t=0t=0 to go rightwards with xxx and get a positive area. We can then subtract this with ∫510g(t)⋅f′(t) dt\int_5^{10}{g(t)\cdot f'(t)\ dt}∫510​g(t)⋅f′(t) dt. Finally, we double the area to account for the reflection of the locus not captured by this arc (i.e., the case when 10≤t≤2010\le t\le2010≤t≤20).

Hence, the area:

2(∫50g(t)⋅f′(t) dt−∫510g(t)⋅f′(t) dt)2\biggl(\int_5^0{g(t)\cdot f'(t)\ dt}-\int_5^{10}{g(t)\cdot f'(t)\ dt}\biggl)2(∫50​g(t)⋅f′(t) dt−∫510​g(t)⋅f′(t) dt)

We find that f′(t)=1000(t−5)(t2−10t+100)2f'(t)=\frac{1000(t-5)}{(t^2-10t+100)^2}f′(t)=(t2−10t+100)21000(t−5)​.

So:

∫50g(t)⋅f′(t) dt∫5053t2−50t+4003t2−30t+300⋅1000(t−5)(t2−10t+100)2 dt25162(45+43π)\int_5^0{g(t)\cdot f'(t)\ dt} \\ \int_5^0{5\frac{3t^{2}-50t+400}{3t^{2}-30t+300}\cdot\frac{1000(t-5)}{(t^2-10t+100)^2}\ dt} \\ \frac{25}{162}(45+4\sqrt3\pi)∫50​g(t)⋅f′(t) dt∫50​53t2−30t+3003t2−50t+400​⋅(t2−10t+100)21000(t−5)​ dt16225​(45+43​π)

And:

∫510g(t)⋅f′(t) dt∫51053t2−50t+4003t2−30t+300⋅1000(t−5)(t2−10t+100)2 dt25162(63−43π)\int_5^{10}{g(t)\cdot f'(t)\ dt} \\ \int_5^{10}{5\frac{3t^{2}-50t+400}{3t^{2}-30t+300}\cdot\frac{1000(t-5)}{(t^2-10t+100)^2}\ dt} \\ \frac{25}{162}(63-4\sqrt3\pi)∫510​g(t)⋅f′(t) dt∫510​53t2−30t+3003t2−50t+400​⋅(t2−10t+100)21000(t−5)​ dt16225​(63−43​π)

Making the total area:

2(25162(45+43π)−25162(63−43π))2581(83π−18)2\biggl(\frac{25}{162}(45+4\sqrt3\pi)-\frac{25}{162}(63-4\sqrt3\pi)\biggl) \\ \frac{25}{81}(8\sqrt3\pi-18)2(16225​(45+43​π)−16225​(63−43​π))8125​(83​π−18)

...or about 7.88 square inches.

Animated Desmos visualization of valid cuts! (only from t=0t=0t=0 to t=10t=10t=10)

Answer: 25/81*(8*sqrt(3)*pi-18) square inches (about 7.88 sq. in.)

Back to Fiddler list
© 2024 Emily Bradon Zhang·Support Gaza Recovery