Problem:
For , let be the half-disk of diameter with one vertex at , the other vertex on the positive -axis, and the curved boundary further from the origin than the straight boundary. Find the area of the union of for all .
Solutions — 2
Solution 1

From the picture above, we see that the union of the half-disks will be a quarter-circle with radius , and therefore area . To prove that this is the case, we first prove that the boundary of every half-disk intersects the quarter-circle with radius , and then that the half-disk is internally tangent to the quarter-circle at that point. This is sufficient because it is clear from the diagram that we need not worry about covering the interior of the quarter-circle.
Let be the origin. For a given half-disk , label the vertex on the -axis and the vertex on the -axis . Let be the midpoint of line segment . Draw segment , and extend it until it intersects the curved boundary of . Label the intersection point . This construction is shown in the diagram below.

We first prove that lies on the quarter-circle, centered at the origin, with radius . Since is the midpoint of , and is on the -axis, is horizontally halfway between and the -axis. Since and are on the -axis (which is perpendicular to the -axis), segments and have the same length. Since is the midpoint of , and , . Since is a half-disk with radius , all points on its curved boundary are away from its center, . Then is away from the origin, and the quarter-circle consists of all points which are away from the origin. Thus, is an intersection of the half-disk with the positive quarter-circle of radius .
It remains to show that the half-disk is internally tangent to the quarter-circle. Since is a radius of the quarter-circle, it is perpendicular to the tangent of the quarter-circle at . Since is a radius of the half-disk, it is perpendicular to the tangent of the half-disk at . Then the tangent lines of the half-disk and the quarter-circle coincide, and the half-disk is tangent to the quarter-circle. It is obvious from the diagram that the half-disk lies at least partially inside of the quarter-circle, the half-disk is internally tangent to the quarter-circle.
Then the union of the half-disks is a quarter-circle with radius , and has area .
Solution 2
Solution:
Answer: 
From the picture above, we see that the union of the half-disks will be a quarter-circle with radius , and therefore area . To prove that this is the case, we first prove that the boundary of every half-disk intersects the quarter-circle with radius , and then that the half-disk is internally tangent to the quarter-circle at that point. This is sufficient because it is clear from the diagram that we need not worry about covering the interior of the quarter-circle.
Let be the origin. For a given half-disk , label the vertex on the -axis and the vertex on the -axis . Let be the midpoint of line segment . Draw segment , and extend it until it intersects the curved boundary of . Label the intersection point . This construction is shown in the diagram below.
We first prove that lies on the quarter-circle, centered at the origin, with radius . Since is the midpoint of , and is on the -axis, is horizontally halfway between and the -axis. Since and are on the -axis (which is perpendicular to the -axis), segments and have the same length. Since is the midpoint of , and , . Since is a half-disk with radius , all points on its curved boundary are away from its center, . Then is away from the origin, and the quarter-circle consists of all points which are away from the origin. Thus, is an intersection of the half-disk with the positive quarter-circle of radius .
It remains to show that the half-disk is internally tangent to the quarter-circle. Since is a radius of the quarter-circle, it is perpendicular to the tangent of the quarter-circle at . Since is a radius of the half-disk, it is perpendicular to the tangent of the half-disk at . Then the tangents lines of the half-disk and the quarter-circle coincide, and the half-disk is tangent to the quarter-circle. It is obvious from the diagram that the half-disk lies at least partially inside of the quarter-circle, the half-disk is internally tangent to the quarter-circle.
Then the union of the half-disks is be a quarter-circle with radius , and has area .