Maths Olympiad Prep

Library / /22 of 31

Geometry Difficulty 6.9 National Olympiad Prove it Italy

Problem:

Let ABCDABCD be a square. Describe the locus of points PP of the plane, different from A,B,C,DA, B, C, D, for which
APB^+CPD^=180. \widehat{APB} + \widehat{CPD} = 180^{\circ} \text{.}

Solution

Solution:

Let us first recall that, given two points A,BA, B of the plane and a fixed angle α\alpha, the locus of points QQ such that AQB^=α\widehat{AQB} = \alpha consists of the union of two circular arcs, one for each half-plane determined by the line ABAB.

Let us first identify our locus:

- the two diagonals of the square certainly belong to the locus, indeed if we consider PACP \in AC, then, by symmetry, we have APB^=APD^\widehat{APB} = \widehat{APD} and therefore
APB^+CPD^=APD^+CPD^=180; \widehat{APB} + \widehat{CPD} = \widehat{APD} + \widehat{CPD} = 180^{\circ} \text{;}

- considering the circumscribed circle of ABCDABCD, the arcs ABAB and CDCD belong to the locus. Indeed for these points the two angles APB^\widehat{APB} and CPD^\widehat{CPD} subtend two arcs of the same length, and since one is acute and one is obtuse, they must be supplementary.

It remains to show that there are no other points of the locus besides these. Notice that, if PP is any point of the locus, one of APB^,CPD^\widehat{APB}, \widehat{CPD} must be at least 9090^{\circ} and hence PP certainly lies inside one of the two circles having ABAB and CDCD respectively as diameter. In particular, therefore, PP belongs to the strip bounded by the lines BCBC and ADAD. Let us now distinguish between points interior to the square and points exterior:

- Let QQ be interior to the square such that AQB^=α\widehat{AQB} = \alpha and CQD^=180α\widehat{CQD} = 180^{\circ} - \alpha. However, if α<45\alpha < 45^{\circ} all the points satisfying AQB^=α\widehat{AQB} = \alpha are exterior to the square (the circle will be larger than the one circumscribed about ABCDABCD); similarly there cannot be points of the locus interior to the square such that CQD^<45\widehat{CQD} < 45^{\circ}. Thus we must certainly have 45α13545^{\circ} \leq \alpha \leq 135^{\circ}. Let us fix an angle α\alpha with this property.

Then there exist at most two points satisfying AQB^=α\widehat{AQB} = \alpha and CQD^=180α\widehat{CQD} = 180^{\circ} - \alpha; indeed these last two conditions determine (together with being interior to the square), as said at the beginning, two circular arcs, which can intersect in at most two points.

However it is easy to see that the circular arc determined by the condition AQB^=α\widehat{AQB} = \alpha, if 45<α<9045^{\circ} < \alpha < 90^{\circ}, leaves out the points CC and DD and has inside it the intersection point of the diagonals of the square OO, hence it certainly intersects the two diagonals, in two distinct points, which we know belong to the locus. Hence there cannot be any others;

- Let QQ be exterior to the square (but still in the strip of the plane determined by the lines BCBC and ADAD), say in the half-plane determined by ABAB not containing the square; let us draw the perpendicular to ABAB through QQ; it will intersect the arc ABAB of the circumscribed circle of the square in exactly one point, which we call PP. It is clear that if PP is closer to ABAB than QQ then
AQB^<APB^CQB^<CPB^ \widehat{AQB} < \widehat{APB} \quad \widehat{CQB} < \widehat{CPB}
and therefore AQB^+CQB^<APB^+CPB^=180\widehat{AQB} + \widehat{CQB} < \widehat{APB} + \widehat{CPB} = 180^{\circ} (the last equality holds because PP belongs to the locus) and similarly we get that if PP is farther than QQ then APB^+CPB^<180\widehat{APB} + \widehat{CPB} < 180^{\circ}. Hence necessarily P=QP = Q and therefore there are no other points of the locus exterior to the square that do not lie on the circumscribed circle of ABCDABCD.

Alternative solution (for the second part):

Let PP be a point of the locus located in the strip bounded by the lines ABAB and CDCD. Let us call PP' the translate of PP by the vector BC\overrightarrow{BC}; then, by construction, the quadrilateral DPCPDP'CP turns out to be cyclic; but then, since PP=CDPP' = CD, calling CPD^=α\widehat{CPD} = \alpha and CPD^=180α\widehat{CP'D} = 180^{\circ} - \alpha, two situations can occur:
PCP^=α and PDP^=180α or vice versa. \widehat{PCP'} = \alpha \text{ and } \widehat{PDP'} = 180^{\circ} - \alpha \text{ or vice versa.}
In the first case CPCP and DPDP' are parallel, hence APAP and CPCP are parallel, that is, PP lies on the diagonal ACAC. In the other case, symmetrically, PP lies on the diagonal BDBD.

If instead PP is outside the strip mentioned above, say in the half-plane determined by the line ABAB not containing the square, let us consider PP' the reflection of PP with respect to the perpendicular bisector of the segment BCBC; by construction again PAPBPAP'B turns out to be cyclic and the center of the circumscribed circle will lie on the perpendicular bisector of PPPP', which by construction is the perpendicular bisector of BCBC, and also on the perpendicular bisector of ABAB. Hence the center of this circle is the center of the square and, since AA and BB are points of the circle, so are BB and CC, by symmetry. Therefore the circle circumscribed about PAPBPAP'B is also the circle circumscribed about the square and hence PP actually lies on the circumscribed circle of ABCDABCD.

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 it; metadata (topic, difficulty) added by this project.