Olympiad Maths Prep

Library / /6 of 6

, 2011

Geometry Difficulty 7.5 National olympiad, round 2 Prove it Czech-Polish-Slovak Mathematical Match

Points AA, BB, CC, DD lie on a circle in this order, where ABAB and CDCD are not parallel. The length of the arc AB^\widehat{AB} that contains points CC, DD is twice as large as the length of the arc CD^\widehat{CD} that does not contain points AA, BB. Point EE is chosen such that AC=AEAC = AE and BD=BEBD = BE and EE lies on the same side of the line ABAB as CC and DD. Assuming that the perpendicular line from the point EE to the line ABAB bisects the arc CD^\widehat{CD} not containing points AA, BB, prove that ACB=108\angle ACB = 108^\circ.

Solution

We use the following lemma

LEMMA. Given two circles Γ1\Gamma_1, Γ2\Gamma_2 with the centre S2S_2 of Γ2\Gamma_2 lying on the circle Γ1\Gamma_1. The circles intersect in two points KK and LL. Let MM be the point on the circle Γ1\Gamma_1 (different from KK and LL) and the line KMKM meets Γ2\Gamma_2 again in NN. Then MN=MLMN = ML.

*Proof.*
Figure 1
Fig. 1a
Figure 2
Fig. 1b
For this lemma it is sufficient to prove that the line MS2MS_2 bisects the angle NML\angle NML. Then in the reflection with respect to the line MS2MS_2, MLML is the image of MNMN. The circle Γ2\Gamma_2 and the point MM reflect to themselves, the point LL reflects to the point NN (the intersection point of MLML and Γ2\Gamma_2). So the triangle MLN\triangle MLN is isosceles (some considerations are needed according to the position of the point MM).

Firstly, let MM lie on the arc KL^\widehat{KL} not containing the point S2S_2. As S2K=S2LS_2K = S_2L, we directly have KMS2=S2ML\angle KMS_2 = \angle S_2ML. Secondly, let MM lie on the arc KL^\widehat{KL} containing point S2S_2. Let RR be an arbitrary point on the arc KL^\widehat{KL} not containing the point S2S_2. Similarly as before KRS2=S2RL\angle KRS_2 = \angle S_2RL, then using identical angles in the cyclic quadrilaterals RS2MKRS_2MK and RLS2MRLS_2M we obtain NMS2=KRS2=S2RL=S2ML\angle NMS_2 = \angle KRS_2 = \angle S_2RL = \angle S_2ML. \blacksquare

Let the perpendicular line from the point EE to the line ABAB intersect the arc BC^\widehat{BC} in the point SS, k1k_1 be the circle centered in AA passing through CC, k2k_2 be the circle centered in BB passing through DD, kk be the circle passing through AA, BB, CC, DD. The line SCSC intersects k1k_1 again in CC' and the line SDSD intersects k2k_2 again in DD'. Circles k1k_1 and kk meet in CC, CC'' and circles k2k_2 and kk meet in DD, DD''. Using the lemma we have SC=SCSC' = SC'' and SD=SDSD' = SD''. Let the circles k1k_1 and k2k_2 meet again in EE'. Using a contradiction, we shall prove that C=D=EC'' = D'' = E'.

The point SS lies on the chord EEABEE' \perp AB of the circles k1k_1 and k2k_2. That means its powers to these two circles are equal. We know that SS bisects the arc CD^\widehat{CD}, so SD=SCSD = SC and consequently SC=SC=SD=SDSC'' = SC' = SD' = SD''. If DD'' and CC'' are different points then the triangle SDC\triangle SD''C'' is isosceles and its altitude from SS passes through the circumcentre of kk and consequently (by the symmetry) the quadrilateral CDDCCDD''C'' is isosceles trapezoid (SC=SDSC = SD). We can find points AA and BB as the intersection points of the axes of the segments CCCC'' and DDDD'' with kk. But then also ABCDABCD is an isosceles trapezoid, ABCDAB \parallel CD, which is a contradiction to the given ABCDAB \nparallel CD.
Figure 3

If we denote DES=SEC=α\angle DE'S = \angle SE'C = \alpha and AED=β\angle AE'D = \beta then CED=2αβ\angle CE'D = 2\alpha - \beta because 2CD^=AB^2|\widehat{CD}| = |\widehat{AB}|. Using BD=BEBD = BE' and AC=AEAC = AE' we compute the angles in the triangle ABEABE':
2α+β=AEC=ACE=ABE4αβ=BED=BDE=BAE \begin{aligned} 2\alpha + \beta &= \angle AE'C = \angle ACE' = \angle ABE' \\ 4\alpha - \beta &= \angle BE'D = \angle BDE' = \angle BAE' \end{aligned}
which yields to
180=2α+β+4αβ+4α=10α 180^\circ = 2\alpha + \beta + 4\alpha - \beta + 4\alpha = 10\alpha
and ACB=180AEB=1804α=108\angle ACB = 180^\circ - \angle AE'B = 180^\circ - 4\alpha = 108^\circ.

Looking for a route rather than 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 and solution reproduced as published; topic and difficulty added by this site.