|
|||||||||||||||||||||||||||||||||||||
The applet illustrates a problem suggested by Bui Quang Tuan:
Proof 1For a straightforward proof, denote K, L, N, P, Q, S, T the midpoints of AY, CX, BX, CY, AC, AB, and BC, respectively, and let M be the intersection of AY and CX. First of all observe that ΔABY = ΔXBC by SAS:
Depending on the position of B relative to the midpoint Q, ∠KML is either 60° or 120°. Now, LQ is a midline in ΔACX and so LQ||AX. Similarly, KQ||CY. This means that ∠KQL = 60° so that the four points K, L, M, Q are concyclic (the angles at M and Q being subtended by the same segment KL.) Referring again a property of midlines, NL||BC and KP||AB implying NL||KP. Also LT||XB (in ΔBCX) and PT||CY (in Δ BCY), and since XB||CY so, too, LT||PT. Therefore L, P, and T are collinear. It follows that
Similarly, ∠NKP = 60& making quadrilateral KNLP an isosceles trapezoid and hence cyclic. Furthermore, ∠KPL is subtended by the same segment KL so that points, K, L, P, Q are concyclic, which shows that six points L, N, K, Q, P, and M lie on the same circle. B also belongs to that circle because ∠NBP = 60° and is subtended by the same segment as ∠NKP. Proof 2Bui Quang Tuan offers a more elegant solution based on the following lemma:
To make use of the lemma draw the circumcircles of the two equilateral triangles. Then points L, K, and Q are concyclic with M and B as the midpoints of lines through one of the points of intersection of the circles - M or B. The same in fact holds for N and P as well as the midpoints of tangents BY and BX - the extreme case of the crossing line. Further, S'Q||XC and SP||AY therefore ∠PVQ = 60°. It means V, B, Q, P are concyclic. The same argument applies to W. Finally, consider U, the centroid of ΔACD. The perpendicular to AC at A intersects the circumcircle ABX at X', the perpendicular to AC at C intersects the circumcircle BCY at Y'. Then, first of all, X', M, Y' are collinear. The itersection of X'Y' with AD is midpoint of X'Y', for CD||XX'||YY'. This point U is the centroid of ΔACD because it is collinear with both N, A and C, P. (It helps also to observe that
|
| ||||||||||||||||||||||||||||||||||||