SMO(J) '24 Q1
(Dylan here.) I realised the general content on this blog is pitched at a rather high level. Here's an attempt to balance it. (SMOJ '24 Q1) Let $ABC$ be an isosceles right-angled triangle of area $1$. Find the length of the shortest segment that divides the triangle into $2$ parts of equal area. First, let’s draw some pictures and find out what the side lengths are: if $|AB| = |BC| = x$, then $$\text{Area}(ABC) = \frac{1}{2}x^2 = 1 \implies x = \sqrt{2}.$$ And for good measure, the length of the hypotenuse is determined by Pythagoras: $|AC| = \sqrt{x^2+x^2} = \sqrt{2} x = 2$. Okay, now let’s try to cut the triangle. I know I can divide the triangle into $2$ parts symmetrically, as in case (0). This gives us an upper bound of $1$ for the shortest segment. But more generally, the line segment can touch any two of the $3$ sides, giving us $3$ cases. And, note that cases (I) and (II) are symmetric via reflection, so it suffices to consider cases (I) and (III). And from my drawings,