Maths Olympiad Prep

Library / /3 of 397

Geometry Difficulty 4.4 AIME Prove it Taiwan

Given a line LL in the plane. Suppose AA and BB are two distinct points on the same side of the line LL. Prove that: the line ABAB is not perpendicular to LL if and only if there exists a unique point RR on LL such that for any point PP on the line LL, APBARB\angle APB \le \angle ARB.

Solution

First, if ABAB is parallel to LL, draw the perpendicular bisector of ABAB meeting LL at RR, and draw the circumscribed circle CC of ABP\triangle ABP. Then, for any point PP on LL other than RR, let PBPB meet circle CC at SS, then APB<ASB=ARB\angle APB < \angle ASB = \angle ARB. Hence there exists a unique point RR satisfying the condition of the problem.

Next, if ABAB is not parallel to LL, let the line ABAB meet the line LL at KK. It is easy to see that there exist in the plane exactly two circles CC and CC', both passing through the points AA and BB, and tangent to LL. Let these two circles be tangent to LL at RR and RR' respectively.

Now, without loss of generality assume ARBARB\angle AR'B \le \angle ARB, then for any point PP on the line LL other than RR and RR',
(i) if PP is on the same side as RR, let PBPB meet circle CC at SS, then APB<ASB=ARB\angle APB < \angle ASB = \angle ARB.
(ii) if PP is on the same side as RR', let PBPB meet circle CC' at SS', then APB<ASB=ARBARB\angle APB < \angle AS'B = \angle AR'B \le \angle ARB.

Therefore, there exists a unique point RR satisfying the condition of the problem, if and only if ARBARB\angle AR'B \ne \angle ARB, if and only if ABAB is not perpendicular to LL.

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 translated into English from zh; metadata (topic, difficulty) added by this project.