Maths Olympiad Prep

Library / Philippine Mathematical Olympiad /66 of 114

Philippine Mathematical Olympiad

Geometry Difficulty 5.5 AIME, harder Prove it Philippines

Problem:

In △ABC\triangle ABC, let DD be the point on side BCBC such that AB+BD=DC+CAAB + BD = DC + CA. The line ADAD intersects the circumcircle of △ABC\triangle ABC again at point X≠AX \neq A. Prove that one of the common tangents of the circumcircles of △BDX\triangle BDX and △CDX\triangle CDX is parallel to BCBC.

Solution

Solution:

Refer to the figure shown below:
Figure 1

Let VV and WW be the midpoints of arcs⁡BD\operatorname{arcs} BD and CDCD respectively. We claim that VWVW is the desired common tangent. To prove this, let EE and FF be the orthogonal projections of VV and WW onto BCBC. Note that EE and FF are the midpoints of BDBD and CDCD respectively. Now we claim that VE=WFVE = WF. To see this, note that
VE=BVsin⁡∠VBE=BXsin⁡∠BXVsin⁡∠BDXsin⁡∠BXD2=BXsin⁡∠BXA2sin⁡∠BDXsin⁡C2=BXsin⁡∠BDXsin⁡2C2 \begin{aligned} VE & = BV \sin \angle VBE \\ & = \frac{BX \sin \angle BXV}{\sin \angle BDX} \sin \frac{\angle BXD}{2} \\ & = \frac{BX \sin \frac{\angle BXA}{2}}{\sin \angle BDX} \sin \frac{C}{2} \\ & = \frac{BX}{\sin \angle BDX} \sin^2 \frac{C}{2} \end{aligned}
Similarly, we can prove that WF=CXsin⁡∠CDXsin⁡2B2WF = \frac{CX}{\sin \angle CDX} \sin^2 \frac{B}{2}. Thus, to prove the claim, it suffices to prove that BXCX=sin⁡2B2sin⁡2C2\frac{BX}{CX} = \frac{\sin^2 \frac{B}{2}}{\sin^2 \frac{C}{2}}. This is because
BXCX=sin⁡∠BADsin⁡∠CAD=c/BDb/CD=c(s−c)b(s−b)=sin⁡2B2sin⁡2C2 \frac{BX}{CX} = \frac{\sin \angle BAD}{\sin \angle CAD} = \frac{c / BD}{b / CD} = \frac{c(s-c)}{b(s-b)} = \frac{\sin^2 \frac{B}{2}}{\sin^2 \frac{C}{2}}
This proves the first claim.

Next, we claim that VWVW is the desired common tangent. Note that from the first claim, VWFEVWFE is a rectangle, since ∠VEF\angle VEF and ∠WFE\angle WFE are both right angles. Let O1O_1 and O2O_2 be the circumcenters of triangles BDXBDX and CDXCDX respectively. Then O1V⊥EFO_1V \perp EF, so since EF∥VWEF \parallel VW we get O1V⊥VWO_1V \perp VW. Likewise, O2W⊥VWO_2W \perp VW as well, which proves the second claim.

It then follows that VWVW is the desired common tangent parallel to BCBC, and the required conclusion follows.

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.