Olympiad Maths Prep

Library / /6 of 55

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 OKDCOK \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.

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.