Notes
semi-circle in a square solution

Solution to the Semi-Circle in a Square Puzzle

Semi-Circle in a Square

Is more of this square pink or blue? How would you prove it?

Solution by Angle Between a Radius and Tangent, Isosceles Right-Angled Triangles, Area of a Circle, and Area of a Square

SemiCircleinaSquareLabelled.png

In the above diagram, the point labelled OO is the centre of the semi-circle. The point labelled HH is where the semi-circle touches the top edge of the square, so as the angle between a radius and tangent is 90 90^\circ, HCH C is perpendicular to IGI G. Similarly, JEJ E is perpendicular to IAI A.

The line segments OHO H and OJO J are radii of the circle, so are of the same length. Therefore, OEO E and OCO C are of the same length. Triangles OEFO E F and BCOB C O are congruent since JEJ E is parallel to ADA D and so angles CB^OC \hat{B} O and EO^FE \hat{O} F are corresponding angles, and OBO B and OFO F have the same length. So OEO E and EFE F have the same length so triangle OEFO E F is isosceles.

Let rr be the radius of the semi-circle. Then as OEFO E F is an isosceles right-angled triangle with hypotenuse of length rr, its shorter sides both have length r2\frac{r}{\sqrt{2}}. The side length of the square is therefore r(1+12)r\left(1 + \frac{1}{\sqrt{2}}\right). Its area is thus

r 2(1+12) 2 r^2 \left(1 + \frac{1}{\sqrt{2}} \right)^2

The area of the semi-circle is 12πr 2\frac{1}{2} \pi r^2.

To compare these two, consider the decimal representations of the circle area and half the area of the square, since if the blue area is larger than the pink then it will be over half the square and vice-versa:

π2 1.5708 12(1+12) 2 1.4571 \begin{aligned} \frac{\pi}{2} &\simeq 1.5708 \\ \frac{1}{2}\left(1 + \frac{1}{\sqrt{2}}\right)^2 &\simeq 1.4571 \end{aligned}

Therefore the blue area is larger.