Maths Olympiad Prep

Library / /279 of 397

, 2021

Geometry Difficulty 6.4 National Olympiad Prove it Taiwan

ABCDABCD 為凸四邊形,其中 ABC>90°∠ABC > 90°CDA>90°∠CDA > 90°,並且 DAB=BCD∠DAB = ∠BCD。令點 AA 分別關於直線 BCBCCDCD 的對稱點為點 EEFF。設線段 AEAEAFAF 分別交直線 BDBD 於點 KKLL。試證:三角形 BEKBEKDFLDFL 的兩個外接圓相切。

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 AA' be the reflection of AA in BDBD. In the following we will prove that: the quadrilaterals ABKEA'BKE and ADLFA'DLF each have a circumcircle, and their circumcircles are tangent to each other at AA'.

Figure 1

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

To prove that the circles ABKEA'BKE and ADFLA'DFL are tangent, it suffices to show that
AKB+ALD=BAD ∠A'KB + ∠A'LD = ∠BA'D
Since AKBCAK ⊥ BC, ALCDAL ⊥ CD, and using once more the reflection in the line BDBD, we know that
AKB+ALD=180°KAL=180°KAL=BCD=BAD=BAD, ∠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,000 problems in a working order, from AMC 10 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.