Maths Olympiad Prep

Track / Stage 8 / 86 of 180 #1786 of 1964

Problem 1786

IMO Shortlist mid-range; USAMO P2/P5
Geometry Difficulty 8.3 Prove it

Above the segments ABAB and BCBC we drew a semicircle at each. F1F_1 bisects ABAB and F2F_2 bisects BCBC. Above the segments AF2AF_2 and F1CF_1C we also drew a semicircle at each. Segments PQP Q and RSRS touch the corresponding semicircles as shown in the figure. Prove that PQRSP Q \parallel RS and PQ=2RS|P Q| = 2 \cdot |RS|.
[img]https://cdn.artofproblemsolving.com/attachments/8/2/570e923b91e9e630e3880a014cc6df4dc33aa2.png[/img]

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Official solution

1. Define the coordinates and semicircles:

Given points A(0,0) A(0,0) , B(2b,0) B(2b,0) , and C(2c,0) C(2c,0) , the midpoints F1 F_1 and F2 F_2 are:
F1(b,0)andF2(b+c,0) F_1(b,0) \quad \text{and} \quad F_2(b+c,0)

2. Equations of the semicircles:

The semicircle above segment AB AB with center F1 F_1 and radius b b is:
(xb)2+y2=b2 (x-b)^2 + y^2 = b^2

The semicircle above segment BC BC with center F2 F_2 and radius cb c-b is:
(xbc)2+y2=(cb)2 (x-b-c)^2 + y^2 = (c-b)^2

3. **Coordinates of points P P and Q Q :**

Points P P and Q Q are the points of tangency of the line segment PQ PQ with the semicircles. Using the properties of tangents and symmetry, we find:
P(2b2c,2bb(cb)c)andQ(2b(2cb)c,2(cb)b(cb)c) P\left(\frac{2b^2}{c}, \frac{2b\sqrt{b(c-b)}}{c}\right) \quad \text{and} \quad Q\left(\frac{2b(2c-b)}{c}, \frac{2(c-b)\sqrt{b(c-b)}}{c}\right)

4. **Slope and distance of line PQ PQ :**

The slope mPQ m_{PQ} of the line PQ PQ is calculated as:
mPQ=2(cb)b(cb)c2bb(cb)c2b(2cb)c2b2c=2(cb)2b2b(2cb)2b2=c2b2b(cb) m_{PQ} = \frac{\frac{2(c-b)\sqrt{b(c-b)}}{c} - \frac{2b\sqrt{b(c-b)}}{c}}{\frac{2b(2c-b)}{c} - \frac{2b^2}{c}} = \frac{2(c-b) - 2b}{2b(2c-b) - 2b^2} = \frac{c-2b}{2\sqrt{b(c-b)}}

The distance PQ PQ is:
PQ=2b(cb) PQ = 2\sqrt{b(c-b)}

5. **Equations of the semicircles above AF2 AF_2 and F1C F_1C :**

The semicircle above segment AF2 AF_2 with center (b+c2,0)\left(\frac{b+c}{2}, 0\right) and radius b+c2\frac{b+c}{2} is:
(xb+c2)2+y2=(b+c2)2 \left(x - \frac{b+c}{2}\right)^2 + y^2 = \left(\frac{b+c}{2}\right)^2

The semicircle above segment F1C F_1C with center (b+2c2,0)\left(\frac{b+2c}{2}, 0\right) and radius 2cb2\frac{2c-b}{2} is:
(xb+2c2)2+y2=(2cb2)2 \left(x - \frac{b+2c}{2}\right)^2 + y^2 = \left(\frac{2c-b}{2}\right)^2

6. **Coordinates of points R R and S S :**

Points R R and S S are the points of tangency of the line segment RS RS with the semicircles. Using the properties of tangents and symmetry, we find:
R(b(b+c)c,(b+c)b(cb)c)andS(b(3cb)c,(2cb)b(cb)c) R\left(\frac{b(b+c)}{c}, \frac{(b+c)\sqrt{b(c-b)}}{c}\right) \quad \text{and} \quad S\left(\frac{b(3c-b)}{c}, \frac{(2c-b)\sqrt{b(c-b)}}{c}\right)

7. **Slope and distance of line RS RS :**

The slope mRS m_{RS} of the line RS RS is calculated as:
mRS=(2cb)b(cb)c(b+c)b(cb)cb(3cb)cb(b+c)c=(2cb)(b+c)b(3cb)b(b+c)=c2b2b(cb) m_{RS} = \frac{\frac{(2c-b)\sqrt{b(c-b)}}{c} - \frac{(b+c)\sqrt{b(c-b)}}{c}}{\frac{b(3c-b)}{c} - \frac{b(b+c)}{c}} = \frac{(2c-b) - (b+c)}{b(3c-b) - b(b+c)} = \frac{c-2b}{2\sqrt{b(c-b)}}

The distance RS RS is:
RS=b(cb) RS = \sqrt{b(c-b)}

8. Conclusion:

Since the slopes of PQ PQ and RS RS are equal, PQRS PQ \parallel RS . Additionally, the distance PQ PQ is twice the distance RS RS :
PQ=2RS PQ = 2 \cdot RS

\blacksquare

The final answer is PQRS \boxed{ PQ \parallel RS } and PQ=2RS |PQ| = 2 \cdot |RS|

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.