Maths Olympiad Prep

Library / /308 of 377

Geometry Difficulty 5.5 AIME, harder Prove it United States

Problem:
For 0y20 \leq y \leq 2, let DyD_{y} be the half-disk of diameter 22 with one vertex at (0,y)(0, y), the other vertex on the positive xx-axis, and the curved boundary further from the origin than the straight boundary. Find the area of the union of DyD_{y} for all 0y20 \leq y \leq 2.

Solutions — 2

Solution 1

Figure 1

From the picture above, we see that the union of the half-disks will be a quarter-circle with radius 22, and therefore area π\pi. To prove that this is the case, we first prove that the boundary of every half-disk intersects the quarter-circle with radius 22, 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 OO be the origin. For a given half-disk DyD_{y}, label the vertex on the yy-axis AA and the vertex on the xx-axis BB. Let MM be the midpoint of line segment AB\overline{A B}. Draw segment OMO M, and extend it until it intersects the curved boundary of DyD_{y}. Label the intersection point CC. This construction is shown in the diagram below.

Figure 2

We first prove that CC lies on the quarter-circle, centered at the origin, with radius 22. Since MM is the midpoint of AB\overline{A B}, and AA is on the yy-axis, MM is horizontally halfway between BB and the yy-axis. Since OO and BB are on the xx-axis (which is perpendicular to the yy-axis), segments OM\overline{O M} and MB\overline{M B} have the same length. Since MM is the midpoint of AB\overline{A B}, and AB=2A B=2, OM=1O M=1. Since DyD_{y} is a half-disk with radius 11, all points on its curved boundary are 11 away from its center, MM. Then CC is 22 away from the origin, and the quarter-circle consists of all points which are 22 away from the origin. Thus, CC is an intersection of the half-disk DyD_{y} with the positive quarter-circle of radius 22.
It remains to show that the half-disk DyD_{y} is internally tangent to the quarter-circle. Since OC\overline{O C} is a radius of the quarter-circle, it is perpendicular to the tangent of the quarter-circle at CC. Since MC\overline{M C} is a radius of the half-disk, it is perpendicular to the tangent of the half-disk at CC. 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 DyD_{y} is internally tangent to the quarter-circle.
Then the union of the half-disks is a quarter-circle with radius 22, and has area π\pi.

Solution 2

Solution:
Answer: π\pi
Figure 1
From the picture above, we see that the union of the half-disks will be a quarter-circle with radius 22, and therefore area π\pi. To prove that this is the case, we first prove that the boundary of every half-disk intersects the quarter-circle with radius 22, 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 OO be the origin. For a given half-disk DyD_{y}, label the vertex on the yy-axis AA and the vertex on the xx-axis BB. Let MM be the midpoint of line segment AB\overline{A B}. Draw segment OMO M, and extend it until it intersects the curved boundary of DyD_{y}. Label the intersection point CC. This construction is shown in the diagram below.
Figure 2
We first prove that CC lies on the quarter-circle, centered at the origin, with radius 22. Since MM is the midpoint of AB\overline{A B}, and AA is on the yy-axis, MM is horizontally halfway between BB and the yy-axis. Since OO and BB are on the xx-axis (which is perpendicular to the yy-axis), segments OM\overline{O M} and MB\overline{M B} have the same length. Since MM is the midpoint of AB\overline{A B}, and AB=2A B=2, OM=1O M=1. Since DyD_{y} is a half-disk with radius 11, all points on its curved boundary are 11 away from its center, MM. Then CC is 22 away from the origin, and the quarter-circle consists of all points which are 22 away from the origin. Thus, CC is an intersection of the half-disk DyD_{y} with the positive quarter-circle of radius 22.
It remains to show that the half-disk DyD_{y} is internally tangent to the quarter-circle. Since OC\overline{O C} is a radius of the quarter-circle, it is perpendicular to the tangent of the quarter-circle at CC. Since MC\overline{M C} is a radius of the half-disk, it is perpendicular to the tangent of the half-disk at CC. 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 DyD_{y} is internally tangent to the quarter-circle.
Then the union of the half-disks is be a quarter-circle with radius 22, and has area π\pi.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.