Maths Olympiad Prep

Library / /440 of 520

Geometry Difficulty 7.4 National olympiad, round 2 Prove it

In triangle ABC ABC the bisector of ACB \angle ACB intersects AB AB at D D. Consider an arbitrary circle O O passing through C C and D D, so that it is not tangent to BC BC or CA CA. Let OBC\equal{M} O\cap BC \equal{} \{M\} and OCA\equal{N} O\cap CA \equal{} \{N\}.
a) Prove that there is a circle S S so that DM DM and DN DN are tangent to S S in M M and N N, respectively.
b) Circle S S intersects lines BC BC and CA CA in P P and Q Q respectively. Prove that the lengths of MP MP and NQ NQ do not depend on the choice of circle O O.

Solution

### Part (a)
1. **Identify the intersection point X X **:
- Let X X be the intersection point of the perpendiculars from M M and N N to the lines DM DM and DN DN , respectively.

2. Prove cyclic quadrilaterals:
- Since O O is a circle passing through C C and D D , and intersects BC BC at M M and CA CA at N N , the quadrilateral MCND MCND is cyclic.
- Therefore, MCD=MND \angle MCD = \angle MND and NCD=NMD \angle NCD = \angle NMD .

3. Angle relationships:
- In the cyclic quadrilateral DMXN DMXN , we have:
MXD=MCD=C2 \angle MXD = \angle MCD = \frac{\angle C}{2}
DXN=DCN=C2 \angle DXN = \angle DCN = \frac{\angle C}{2}
- Thus, MXD=DXN \angle MXD = \angle DXN .

4. Congruence of triangles:
- The triangles DMX DMX and DNX DNX are congruent by the Angle-Side-Angle (ASA) criterion:
MXD=DXN,DM=DN,andDX is common. \angle MXD = \angle DXN, \quad DM = DN, \quad \text{and} \quad DX \text{ is common}.
- Therefore, XM=XN XM = XN .

5. **Circle S S **:
- The circle with center X X and radius XM=XN XM = XN is tangent to the lines DM DM and DN DN at points M M and N N , respectively.

This completes the proof for part (a).

### Part (b)
1. Congruence of triangles:
- Consider the triangles MXC MXC and QXC QXC :
XM=XQ,XMC=XQC,andXC is common. XM = XQ, \quad \angle XMC = \angle XQC, \quad \text{and} \quad XC \text{ is common}.
- Therefore, MXCQXC \triangle MXC \cong \triangle QXC , which implies MC=QC MC = QC .

2. Congruence of triangles:
- Similarly, consider the triangles XCP XCP and XCN XCN :
XP=XN,XCP=XCN,andXC is common. XP = XN, \quad \angle XCP = \angle XCN, \quad \text{and} \quad XC \text{ is common}.
- Therefore, XCPXCN \triangle XCP \cong \triangle XCN , which implies CP=CN CP = CN .

3. Equality of segments:
- Since MP=NQ MP = NQ , it suffices to prove that MC+CN MC + CN is constant.

4. Application of Ptolemy's theorem:
- Applying Ptolemy's theorem to the cyclic quadrilateral MCND MCND :
MCND+CNMD=CDMN MC \cdot ND + CN \cdot MD = CD \cdot MN
- Given MD=DN MD = DN from the congruence of triangles DMX DMX and DNX DNX , we have:
MC+CN=CDMNMD MC + CN = CD \cdot \frac{MN}{MD}
- Since MNMD=2cos(C2) \frac{MN}{MD} = 2 \cos \left( \frac{\angle C}{2} \right) , the expression MC+CN MC + CN is constant.

This completes the proof for part (b).

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.