Maths Olympiad Prep

Library / /398 of 520

Geometry Difficulty 7.3 National olympiad, round 2 Prove it

Rectangle ABCDABCD is inscribed in circle OO. Let the projections of a point PP on minor arc CDCD onto AB,AC,BDAB,AC,BD be K,L,MK,L,M, respectively. Prove that LKM=45\angle LKM=45if and only if ABCDABCD is a square.

Solution

1. Given: Rectangle ABCDABCD is inscribed in circle OO. Let the projections of a point PP on minor arc CDCD onto AB,AC,BDAB, AC, BD be K,L,MK, L, M, respectively. We need to prove that LKM=45\angle LKM = 45^\circ if and only if ABCDABCD is a square.

2. Concyclic Points: Since PP is on the minor arc CDCD, and K,L,MK, L, M are projections of PP onto AB,AC,BDAB, AC, BD respectively, the points PAKL,PBKM,PLOMPAKL, PBKM, PLOM are concyclic. This is because the projections of a point onto the sides of a rectangle inscribed in a circle form right angles with the sides, making the quadrilaterals cyclic.

3. Angle Calculation:
LKM=PKL+PKM \angle LKM = \angle PKL + \angle PKM
Since PAKLPAKL and PBKMPBKM are cyclic quadrilaterals, we have:
PKL=PALandPKM=PBM \angle PKL = \angle PAL \quad \text{and} \quad \angle PKM = \angle PBM
Therefore,
LKM=PAL+PBM \angle LKM = \angle PAL + \angle PBM

4. Central Angles:
PALandPBM \angle PAL \quad \text{and} \quad \angle PBM
are half of the central angles subtended by the arcs PLPL and PMPM respectively. Let POL\angle POL and POM\angle POM be the central angles subtended by arcs PLPL and PMPM:
PAL=12POLandPBM=12POM \angle PAL = \frac{1}{2} \angle POL \quad \text{and} \quad \angle PBM = \frac{1}{2} \angle POM
Thus,
LKM=12(POL+POM) \angle LKM = \frac{1}{2} (\angle POL + \angle POM)

5. **Angle LOM\angle LOM**:
Since LL and MM are projections of PP onto ACAC and BDBD, LOM\angle LOM is the angle subtended by the arc LMLM at the center OO. Therefore,
LKM=12LOM \angle LKM = \frac{1}{2} \angle LOM

6. **Condition for LKM=45\angle LKM = 45^\circ**:
For LKM=45\angle LKM = 45^\circ,
12LOM=45    LOM=90 \frac{1}{2} \angle LOM = 45^\circ \implies \angle LOM = 90^\circ

7. **Rectangle ABCDABCD is a Square**:
The angle LOM=90\angle LOM = 90^\circ implies that the diagonals of the rectangle ABCDABCD are perpendicular. This is a property of a square. Therefore, ABCDABCD must be a square if LOM=90\angle LOM = 90^\circ.

8. Conclusion:
LKM=45    LOM=90    ABCD is a square \angle LKM = 45^\circ \iff \angle LOM = 90^\circ \iff ABCD \text{ is a square}

\blacksquare

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.