Browse · MathNet
PrintIX OBM
Brazil geometry
Problem
and wish to divide a cake into two pieces. Each wants the largest piece he can get. The cake is a triangular prism with the triangular faces horizontal. chooses a point on the top face. then chooses a vertical plane through the point to divide the cake. chooses which piece to take. Which point should choose in order to secure as large a slice as possible?


Solution
Given any triangle , we have to find the point inside the triangle, such that any line through divides the triangle into two pieces which are as equal as possible. We take to be the centroid . We show first that in that case the smallest piece is at least of the total area. If we take a line through parallel to one of the sides, then the triangular piece has area of the total area.
Take any other line through , say as shown above. We claim that . Take to be the point obtained by rotating through about . Then and are congruent and is parallel to . So cannot coincide with (because the lines and are not parallel, they meet at ). If , then and will meet on the wrong side of . So we must have and hence . The triangles and have the same height (), so area area . Hence area area area .
Let be the midpoint of . As we move towards , moves towards . When reaches , reaches . So lies between and . Now consider the triangles , . has the larger base, because , and the larger height because , so . So area area and hence area area . So area area . Thus is the smaller piece but its area is bigger than area . It remains to show that no other choice of is better than .
Take lines through parallel to the sides. That gives three overlapping triangles which cover . If is not at , then it must lie inside at least one of these triangles, say . Now take a line through parallel to . Then area area area , so is a worse choice than (from 's point of view).
Take any other line through , say as shown above. We claim that . Take to be the point obtained by rotating through about . Then and are congruent and is parallel to . So cannot coincide with (because the lines and are not parallel, they meet at ). If , then and will meet on the wrong side of . So we must have and hence . The triangles and have the same height (), so area area . Hence area area area .
Let be the midpoint of . As we move towards , moves towards . When reaches , reaches . So lies between and . Now consider the triangles , . has the larger base, because , and the larger height because , so . So area area and hence area area . So area area . Thus is the smaller piece but its area is bigger than area . It remains to show that no other choice of is better than .
Take lines through parallel to the sides. That gives three overlapping triangles which cover . If is not at , then it must lie inside at least one of these triangles, say . Now take a line through parallel to . Then area area area , so is a worse choice than (from 's point of view).
Final answer
Choose the centroid of the triangular face (this guarantees at least 4/9 of the cake).
Techniques
Triangle centers: centroid, incenter, circumcenter, orthocenter, Euler line, nine-point circleRotationOptimization in geometry