Fair partitioning by straight lines

Augustin Fruchard,Alexander Magazinov

DOI: https://doi.org/10.48550/arXiv.1509.02090

2015-09-07

Abstract:A pizza is a pair of planar convex bodies $A\subseteq B$,where $B$ represents the dough and $A$ the topping of the pizza. A partition of a pizza by straight lines is a succession of double operations:a cut by a full straight line, followed by a Euclidean move of one of theresulting pieces; then the procedure is <a class="link-external link-http" href="http://repeated.The" rel="external noopener nofollow">this http URL</a> final partition is said to be fair if each resulting slice has the same amount of $A$ and the same amount of $B$.This note proves that, given an integer $n\geq2$, there exists a fair partition by straight lines of any pizza $(A,B)$ into $n$ parts if and onlyif $n$ is <a class="link-external link-http" href="http://even.The" rel="external noopener nofollow">this http URL</a> proof uses the following result:For any planar convex bodies $A, B$ with $A\subseteq B$, and any$\alpha\in\,]0,\frac12[\,$, there exists an $\alpha$-section of $A$ which is a$\beta$-section of $B$ for some $\beta\geq\alpha$. (An $\alpha$-section of $A$ is a straight line cutting $A$ into two parts, one of which has area $\alpha|A|$.)The question remains open if the word "planar" is dropped.

Metric Geometry