GeometryDifficulty 5.2AIME, harderProve itUnited States
Problem:
Let O and A be two points in the plane with OA=30, and let Γ be a circle with center O and radius r. Suppose that there exist two points B and C on Γ with ∠ABC=90∘ and AB=BC. Compute the minimum possible value of ⌊r⌋.
Solution
Solution:
Let f1 denote a 45∘ counterclockwise rotation about point A followed by a dilation centered at A with scale factor 1/2. Similarly, let f2 denote a 45∘ clockwise rotation about point A followed by a dilation centered at A with scale factor 1/2. For any point B in the plane, there exists a point C on Γ such that ∠ABC=90∘ and AB=BC if and only if B lies on f1(Γ) or f2(Γ). Thus, such points B and C on Γ exist if and only if Γ intersects f1(Γ) or f2(Γ). So, the minimum possible value of r occurs when Γ is tangent to f1(Γ) and f2(Γ). This happens when r/2+r=30/2, i.e., when r=2+130=302−30. Therefore, the minimum possible value of ⌊r⌋ is ⌊302−30⌋=12.
Want a route through all this instead of an archive? The track
puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.
Source: MathNet,
licensed CC-BY-4.0.
Statement reproduced verbatim; metadata (topic, difficulty) added by this project.