Olympiad Maths Prep

Library / /8 of 18

Geometry Difficulty 6.0 AIME, harder Prove it Ukraine

In the convex quadrilateral ABCDABCD with angles ABCABC and BCDBCD equal 120120^\circ, OO is the intersection of diagonals, MM is the midpoint of BCBC, KK is the point of intersection of MOMO and ADAD. It happens that BKC=60\angle BKC = 60^\circ. Prove that BKA=CKD=60\angle BKA = \angle CKD = 60^\circ.

(Serduk Nazar)

Solutions — 2

Solution 1

Let lines ABAB and CDCD intersect at EE. We have that BKC=60\angle BKC = 60^\circ. Let us prove that BK>12BCBK > \frac{1}{2}BC. Indeed, one of the angles KBC\angle KBC or KCB\angle KCB is at least 6060^\circ. WLOG, this angle is KBC\angle KBC (Fig. 35). Then in BMK\triangle BMK KBM60=BKC>BKM\angle KBM \ge 60^\circ = \angle BKC > \angle BKM. So MK>BMMK > BM, hence on the segment BKBK there is point OO', such that MKMO=BM2=MC2MK \cdot MO' = BM^2 = MC^2. Then circumcircles of BOK\triangle BO'K and COK\triangle CO'K are tangent to BCBC. Hence, BKM=OBC\angle BKM = \angle O'BC, CKM=OCB\angle CKM = \angle O'CB. So BOC=180OBCOCB=180BKMMKC=18060=120\angle BO'C = 180^\circ - \angle O'BC - \angle O'CB = 180^\circ - \angle BKM - \angle MKC = 180^\circ - 60^\circ = 120^\circ

Figure 1

Fig. 35

Then point OO' is on circumcircle of EBC\triangle EBC. Let line BOBO' intersect CECE at DD', COCO' intersect BEBE at AA'. From the fact that BECOBECO' is cyclic we conclude that (Fig. 36)
BOE=BCE=60=EBC=EOC. \angle BO'E = \angle BCE = 60^\circ = \angle EBC = \angle EO'C.
Consider OEB\triangle O'EB and EBD\triangle EBD'. Two pairs of angles are equal. Hence BEO=EDB\angle BEO' = \angle ED'B. Then BEO=BCO=CKO=EDB\angle BEO' = \angle BCO' = \angle CKO' = \angle ED'B. So point DD' is on circumcircle of KOC\triangle KO'C. Similarly, point AA' is on the circle BKO\triangle BKO'. Then AKB=AOB=60=COD=CKD\angle A'KB = \angle A'O'B = 60^\circ = \angle CO'D' = \angle CKD'. It follows that points AA', KK and DD' are on the same line.

Point OO lies on segment MKMK. If this point is inside MOMO', then AA lies inside ABA'B, DD' inside CDCD'. Then KK lies strictly outside EAD\triangle EAD, but by the problem KK is inside ADAD, a contradiction. Similarly, if point OO is outside MOMO', then AA, DD are outside EAEA' and EDED', so KK is strictly inside EAD\triangle EAD, again a contradiction. Hence O=OO = O'. Then A=AA = A' and D=DD = D'. But this is already proved that AKB=CKD=60\angle A'KB = \angle CKD' = 60^\circ, which is needed, because A=AA = A' and D=DD = D'.

Solution 2

Let us draw external bisector of BKC\angle BKC. Let it intersect lines BABA and CDCD at AA' and DD' (Fig. 36). We draw on sides BKC\triangle BKC outside equilateral triangles BPCBPC, BRKBRK and CQKCQK. Obviously RR and QQ are on ADA'D', and PP is an intersection of ABAB and CDCD.

Consider BKC\triangle BKC. We saw, that
Figure 2

CBR=CBK+60=180(120CBK)=KBA \angle CBR = \angle CBK + 60^\circ = 180^\circ - (120^\circ - \angle CBK) = \angle KBA'

It implies that BRBR and BABA' are isogonal, also KRKR is external bisector. So AA' and RR are isogonal, hence CACA' and CRCR are isogonal. Similarly we have that segments BDBD' and BQBQ are isogonal. It is easy to see that PP - the point of intersection of tangents to circumcircle of BKC\triangle BKC, so PBC=BKC=PCB=60\angle PBC = \angle BKC = \angle PCB = 60^\circ. For this KPKP is symmedian of BKC\triangle BKC, so KPKP and KMKM are isogonal. As it is known KPKP, BQBQ and CRCR intersect in the same point, namely at Fermat point, so as lines KMKM, BDBD' and CACA' intersect in the same point. Let this be point OO'. Assume that MO>MOMO > MO' (Fig. 37). Then points AA' and DD' are on sides BABA and CDCD, but in this case ADAD and ADA'D' don't intersect each other. Similarly if MO<MOMO < MO'. Hence MO=MOA=A,D=DAKB=DKCMO = MO' \Rightarrow A = A', D = D' \Rightarrow \angle AKB = \angle DKC.

Figure 3

Fig. 37

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.