Maths Olympiad Prep

Library / Taiwan IMO Selection Camp /255 of 359

Taiwan IMO Selection Camp, 2021

Geometry Difficulty 6.4 National Olympiad Prove it Taiwan

設 ABCDABCD 為凸四邊形,其中 ∠ABC>90°∠ABC > 90°、∠CDA>90°∠CDA > 90°,並且 ∠DAB=∠BCD∠DAB = ∠BCD。令點 AA 分別關於直線 BCBC 與 CDCD 的對稱點為點 EE 與 FF。設線段 AEAE 和 AFAF 分別交直線 BDBD 於點 KK 和 LL。試證:三角形 BEKBEK 和 DFLDFL 的兩個外接圓相切。

Let ABCDABCD be a convex quadrilateral with ∠ABC>90°∠ABC > 90°, ∠CDA>90°∠CDA > 90°, and ∠DAB=∠BCD∠DAB = ∠BCD. Denote by EE and FF the reflections of AA in lines BCBC and CDCD, respectively. Suppose that the segments AEAE and AFAF meet the line BDBD at KK and LL, respectively. Prove that the circumcircles of triangles BEKBEK and DFLDFL are tangent to each other.

Solution

Let A′A' be the reflection of AA in BDBD. In the following we will prove that: the quadrilaterals A′BKEA'BKE and A′DLFA'DLF each have a circumcircle, and their circumcircles are tangent to each other at A′A'.

Figure 1

By reflection in the line BCBC, we have ∠BEK=∠BAK∠BEK = ∠BAK; and by reflection in the line DBDB, we have ∠BAK=∠BA′K∠BAK = ∠BA'K. Hence ∠BEK=∠BA′K∠BEK = ∠BA'K, which shows that A′BEKA'BEK is concyclic. Similarly, we obtain that A′DLFA'DLF is concyclic.

To prove that the circles A′BKEA'BKE and A′DFLA'DFL are tangent, it suffices to show that
∠A′KB+∠A′LD=∠BA′D ∠A'KB + ∠A'LD = ∠BA'D
Since AK⊥BCAK ⊥ BC, AL⊥CDAL ⊥ CD, and using once more the reflection in the line BDBD, we know that
∠A′KB+∠A′LD=180°−∠KA′L=180°−∠KAL=∠BCD=∠BAD=∠BA′D, ∠A'KB + ∠A'LD = 180° - ∠KA'L = 180° - ∠KAL = ∠BCD = ∠BAD = ∠BA'D,
and thus the result is proved.

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 translated into English from zh; metadata (topic, difficulty) added by this project.