Maths Olympiad Prep

Library / Ukrainian National Mathematical Olympiad /31 of 201

Ukrainian National Mathematical Olympiad

Geometry Difficulty 5.1 AIME, harder Prove it Ukraine

Let ABCDABCD be a parallelogram. The circle through AA and DD intersects the lines ABAB, BDBD, ACAC and CDCD in points B1B_1, B2B_2, C1C_1 and C2C_2 respectively. Let KK be the intersection point of the lines B1B2B_1B_2 and C1C2C_1C_2. Prove that KK is equidistant from the lines ABAB and CDCD.

Figure 1

Fig. 41

Solution

Let OO be the intersection point of the diagonals of the parallelogram. Let's prove that the points C1C_1, OO, B2B_2 and KK lie on the same circle. In fact, with the cyclicity of points AA, B1B_1, B2B_2, C1C_1, C2C_2 and DD and parallelism of ABAB and CDCD we have (Fig. 41):
∠(KC1,C1O)=∠(CD,DA)=∠(BA,AD)=∠(B1B2,B2D)=∠(B2K,B2O). \angle(KC_1, C_1O) = \angle(CD, DA) = \angle(BA, AD) = \angle(B_1B_2, B_2D) = \angle(B_2K, B_2O).
Now ∠(BO,OK)=∠(B2C1,C1K)=∠(B2D,DC)\angle(BO, OK) = \angle(B_2C_1, C_1K) = \angle(B_2D, DC), thus OK∥DCOK \parallel DC. As known, diagonals ACAC and BDBD are divided by a point OO in half. By the Thales' theorem the line OKOK (and accordingly, the point KK) is equidistant from the lines ABAB and CDCD.

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 reproduced verbatim; metadata (topic, difficulty) added by this project.