Maths Olympiad Prep

Library / /7 of 10

Geometry Difficulty 8.9 Shortlist Prove it China

Let A1A2A3A4A_1A_2A_3A_4 be a convex quadrilateral that is not cyclic and whose opposite sides are not parallel. For 1i41 \le i \le 4, let MiM_i be the midpoint of Ai1Ai+1A_{i-1}A_{i+1}. Let BiB_i be a point on the tangent to the circumcircle of triangle Ai1AiAi+1A_{i-1}A_iA_{i+1} at AiA_i, such that the reflection of MiM_i over the angle bisector of Ai+1Ai+2Ai+3\angle A_{i+1}A_{i+2}A_{i+3} lies on line BiAi+2B_iA_{i+2}. Let CiC_i be the unique intersection point of lines AiAi+1A_iA_{i+1} and BiBi+1B_iB_{i+1}. (All indices are modulo 4.)
Prove that C1,C2,C3,C4C_1, C_2, C_3, C_4 are collinear.

Solution

For any point XX on line Ai+2BiA_{i+2}B_i, we have:
dXAi+1Ai+2Ai+1Ai+2=dXAi+2Ai+3Ai+2Ai+3. \frac{d_{X-A_{i+1}A_{i+2}}}{A_{i+1}A_{i+2}} = \frac{d_{X-A_{i+2}A_{i+3}}}{A_{i+2}A_{i+3}}.
For any point XX on line AiBiA_iB_i, we have:
dXAi1AiAi1Ai+dXAiAi+1AiAi+1=0. \frac{d_{X-A_{i-1}A_i}}{A_{i-1}A_i} + \frac{d_{X-A_iA_{i+1}}}{A_iA_{i+1}} = 0.
Therefore, for point BiB_i:
dBiAi+2Ai+3Ai+2Ai+3=dBiAi+1Ai+2Ai+1Ai+2,(6) \frac{d_{B_i-A_{i+2}A_{i+3}}}{A_{i+2}A_{i+3}} = \frac{d_{B_i-A_{i+1}A_{i+2}}}{A_{i+1}A_{i+2}}, \qquad (6)
and
dBiAi1AiAi1Ai+dBiAiAi+1AiAi+1=0.(7) \frac{d_{B_i-A_{i-1}A_i}}{A_{i-1}A_i} + \frac{d_{B_i-A_iA_{i+1}}}{A_iA_{i+1}} = 0. \qquad (7)
Combining these gives:
dBiAi+2Ai+3Ai+2Ai+3=dBiAi1AiAi1Ai+dBiAiAi+1AiAi+1+dBiAi+1Ai+2Ai+1Ai+2. \frac{d_{B_i-A_{i+2}A_{i+3}}}{A_{i+2}A_{i+3}} = \frac{d_{B_i-A_{i-1}A_i}}{A_{i-1}A_i} + \frac{d_{B_i-A_iA_{i+1}}}{A_iA_{i+1}} + \frac{d_{B_i-A_{i+1}A_{i+2}}}{A_{i+1}A_{i+2}}.
Similarly for Bi+1B_{i+1}:
dBi+1Ai1AiAi1Ai=dBi+1Ai+2Ai+3Ai+2Ai+3, \frac{d_{B_{i+1}-A_{i-1}A_i}}{A_{i-1}A_i} = \frac{d_{B_{i+1}-A_{i+2}A_{i+3}}}{A_{i+2}A_{i+3}},
and
dBi+1AiAi+1AiAi+1+dBi+1Ai+1Ai+2Ai+1Ai+2=0. \frac{d_{B_{i+1}-A_iA_{i+1}}}{A_iA_{i+1}} + \frac{d_{B_{i+1}-A_{i+1}A_{i+2}}}{A_{i+1}A_{i+2}} = 0.
Thus:
dBi+1Ai+2Ai+3Ai+2Ai+3=dBi+1Ai1AiAi1Ai+dBi+1AiAi+1AiAi+1+dBi+1Ai+1Ai+2Ai+1Ai+2. \frac{d_{B_{i+1}-A_{i+2}A_{i+3}}}{A_{i+2}A_{i+3}} = \frac{d_{B_{i+1}-A_{i-1}A_i}}{A_{i-1}A_i} + \frac{d_{B_{i+1}-A_iA_{i+1}}}{A_iA_{i+1}} + \frac{d_{B_{i+1}-A_{i+1}A_{i+2}}}{A_{i+1}A_{i+2}}.
Since these relations are linear in the coordinates, point CiC_i must also satisfy:
dCiAi+2Ai+3Ai+2Ai+3=dCiAi1AiAi1Ai+dCiAiAi+1AiAi+1+dCiAi+1Ai+2Ai+1Ai+2.(8) \frac{d_{C_i-A_{i+2}A_{i+3}}}{A_{i+2}A_{i+3}} = \frac{d_{C_i-A_{i-1}A_i}}{A_{i-1}A_i} + \frac{d_{C_i-A_iA_{i+1}}}{A_iA_{i+1}} + \frac{d_{C_i-A_{i+1}A_{i+2}}}{A_{i+1}A_{i+2}}. \qquad (8)

Noting that CiC_i lies on AiAi+1A_iA_{i+1} (so dCiAiAi+1=0d_{C_i-A_iA_{i+1}} = 0), we can rewrite this as:
dCiAi+2Ai+3Ai+2Ai+3+dCiAiAi+1AiAi+1=dCiAi1AiAi1Ai+dCiAi+1Ai+2Ai+1Ai+2.(9) \frac{d_{C_i-A_{i+2}A_{i+3}}}{A_{i+2}A_{i+3}} + \frac{d_{C_i-A_iA_{i+1}}}{A_iA_{i+1}} = \frac{d_{C_i-A_{i-1}A_i}}{A_{i-1}A_i} + \frac{d_{C_i-A_{i+1}A_{i+2}}}{A_{i+1}A_{i+2}}. \quad (9)
This equation is completely symmetric for C1,C2,C3,C4C_1, C_2, C_3, C_4. If it held identically for all points, then substituting A1A_1 would yield:
A1A2sinA2A2A3=A1A4sinA4A3A4, \frac{A_1 A_2 \cdot \sin A_2}{A_2 A_3} = \frac{A_1 A_4 \cdot \sin A_4}{A_3 A_4},
and substituting A3A_3 would give:
A2A3sinA2A1A2=A3A4sinA4A1A4. \frac{A_2 A_3 \cdot \sin A_2}{A_1 A_2} = \frac{A_3 A_4 \cdot \sin A_4}{A_1 A_4}.
This would imply sinA2=sinA4\sin A_2 = \sin A_4, and similarly sinA1=sinA3\sin A_1 = \sin A_3, meaning A1A2A3A4A_1A_2A_3A_4 would either be a parallelogram or cyclic - contradicting the given conditions.
Therefore, the equation is not identically satisfied. Since it is linear in coordinates, the set of points satisfying it must form a straight line. Hence C1,C2,C3,C4C_1, C_2, C_3, C_4 are collinear. \square

Second Proof: Define the cross ratio of four lines PA,PB,PC,PDPA, PB, PC, PD through point PP as:
P(A,B;C,D):=sinAPCsinBPDsinAPDsinBPC. P(A, B; C, D) := \frac{\sin \angle APC \cdot \sin \angle BPD}{\sin \angle APD \cdot \sin \angle BPC}.
First, we prove a lemma.
Lemma: Let A,B,C,DA, B, C, D be four points in the plane with no three collinear, and let MM be another point. Then a point PP lies on the conic through A,B,C,D,MA, B, C, D, M if and only if P(A,B;C,D)=M(A,B;C,D)P(A, B; C, D) = M(A, B; C, D).
Proof of Lemma: Let a,b,c,d,m,pa, b, c, d, m, p be the complex coordinates of points A,B,C,D,M,PA, B, C, D, M, P respectively. Then:
PAPBPCPD=sinAPBsinBPDsinABPsinBPD=Im(cpap/cpap)Im(dpbp/dpbp)Im(cpbp/cpbp)Im(dpap/dpap)=[(cp)(aˉpˉ)(cˉpˉ)(ap)][(dp)(bˉpˉ)(dˉpˉ)(bp)][(cp)(bˉpˉ)(cˉpˉ)(bp)][(dp)(aˉpˉ)(dˉpˉ)(ap)] \begin{aligned} \frac{PA \cdot PB}{PC \cdot PD} &= \frac{\sin \angle APB \cdot \sin \angle BPD}{\sin \angle ABP \cdot \sin \angle BPD} \\ &= \frac{\operatorname{Im}\left(\frac{c-p}{a-p} / \left|\frac{c-p}{a-p}\right|\right) \cdot \operatorname{Im}\left(\frac{d-p}{b-p} / \left|\frac{d-p}{b-p}\right|\right)}{\operatorname{Im}\left(\frac{c-p}{b-p} / \left|\frac{c-p}{b-p}\right|\right) \cdot \operatorname{Im}\left(\frac{d-p}{a-p} / \left|\frac{d-p}{a-p}\right|\right)} \\ &= \frac{[(c-p)(\bar{a}-\bar{p}) - (\bar{c}-\bar{p})(a-p)][(d-p)(\bar{b}-\bar{p}) - (\bar{d}-\bar{p})(b-p)]}{[(c-p)(\bar{b}-\bar{p}) - (\bar{c}-\bar{p})(b-p)][(d-p)(\bar{a}-\bar{p}) - (\bar{d}-\bar{p})(a-p)]} \end{aligned}
Since each bracket is linear in pp and pˉ\bar{p}, the condition "cross ratio equals a constant" defines a quadratic equation in pp and pˉ\bar{p}, which corresponds to a conic section. (Note: This cannot be identically constant, as that would imply A,B,CA, B, C are collinear, a contradiction.) \square

Returning to the problem, since A3B1A_3B_1 and A3M1A_3M_1 are symmetric about the angle bisector of A2A3A4\angle A_2A_3A_4, A3B1A_3B_1 is the symmedian of A2A3A4\triangle A_2A_3A_4.
Let SS be the intersection of B1A1B_1A_1 and A2A4A_2A_4, and TT the intersection of B1A3B_1A_3 and A2A4A_2A_4. Then:
B1(A1,A2;A3,A4)=(S,A2;T,A4)=1(S,T;A2,A4)=1SA2SA4TA4TA2=1A1A22A3A42A1A42A3A22. \begin{aligned} B_1(A_1, A_2; A_3, A_4) &= (S, A_2; T, A_4) = 1 - (S, T; A_2, A_4) \\ &= 1 - \frac{SA_2}{SA_4} \cdot \frac{TA_4}{TA_2} = 1 - \frac{A_1A_2^2 \cdot A_3A_4^2}{A_1A_4^2 \cdot A_3A_2^2}. \end{aligned}
Similarly, this holds for B2,B3,B4B_2, B_3, B_4. Thus all eight points A1,,A4,B1,,B4A_1, \dots, A_4, B_1, \dots, B_4 lie on the same conic.

* Considering A1,A2,A3,B1,B2,B3A_1, A_2, A_3, B_1, B_2, B_3, by Pascal's Theorem, C1,C2C_1, C_2 and X:=A3B1A1B3X := A_3B_1 \cap A_1B_3 are collinear.
* Similarly, considering A1,A4,A3,B1,B4,B3,C3,C4A_1, A_4, A_3, B_1, B_4, B_3, C_3, C_4 and XX are collinear.
* Considering A2,A3,A4,B2,B3,B4,C2,C3A_2, A_3, A_4, B_2, B_3, B_4, C_2, C_3 and Y:=A4B2A2B4Y := A_4B_2 \cap A_2B_4 are collinear.
* Considering A4,A1,A2,B4,B1,B2,C1,C4A_4, A_1, A_2, B_4, B_1, B_2, C_1, C_4 and YY are collinear.

Let WW be the intersection of A1B1A_1B_1 and A1B2A_1B_2. Applying Menelaus' Theorem to
triangle WB1B2\triangle WB_1B_2 with transversal A1A2C1A_1A_2C_1 gives:
B1C1B2C1=B1A1B2A2A1WA2W=B1A1B2A2sinWA2A1sinWA1A2. \frac{B_1C_1}{B_2C_1} = \frac{B_1A_1}{B_2A_2} \cdot \frac{A_1W}{A_2W} = \frac{B_1A_1}{B_2A_2} \cdot \frac{\sin \angle WA_2A_1}{\sin \angle WA_1A_2}.
By tangent properties, WA2A1=A2A3A1\angle WA_2A_1 = \angle A_2A_3A_1, so:
B1C1B2C1=B1A1B2A2sinA2A3A1sinA1A4A2. \frac{B_1C_1}{B_2C_1} = \frac{B_1A_1}{B_2A_2} \cdot \frac{\sin \angle A_2A_3A_1}{\sin \angle A_1A_4A_2}.
Taking the cyclic product (indices modulo 4):
i=14BiCiBi+1Ci=i=14BiAiBi+1Ai+1i=14sinAi+1Ai+2AisinAiAi1Ai+1=i=14sinAi+1Ai+2AisinAi+1AiAi+2=i=14AiAi+1Ai+1Ai+2=1. \begin{align} \prod_{i=1}^{4} \frac{B_i C_i}{B_{i+1} C_i} &= \prod_{i=1}^{4} \frac{B_i A_i}{B_{i+1} A_{i+1}} \cdot \prod_{i=1}^{4} \frac{\sin \angle A_{i+1}A_{i+2}A_i}{\sin \angle A_iA_{i-1}A_{i+1}} \tag{10} \\ &= \prod_{i=1}^{4} \frac{\sin \angle A_{i+1}A_{i+2}A_i}{\sin \angle A_{i+1}A_iA_{i+2}} = \prod_{i=1}^{4} \frac{A_i A_{i+1}}{A_{i+1} A_{i+2}} = 1. \nonumber \end{align}

Thus:
B1C1B2C1B2C2B3C2=B1C4B4C4B3C4B3C3. \frac{B_1 C_1}{B_2 C_1} \cdot \frac{B_2 C_2}{B_3 C_2} = \frac{B_1 C_4}{B_4 C_4} \cdot \frac{B_3 C_4}{B_3 C_3}.
Let this ratio be α\alpha.
On the extension of B3B1B_3B_1, take point PP such that B3PB1P=1α\frac{B_3P}{B_1P} = \frac{1}{\alpha}. By the converse of Menelaus' Theorem applied to B1B2B3\triangle B_1B_2B_3 and points P,C1,C2P, C_1, C_2, these are collinear. Similarly, P,C3,C4P, C_3, C_4 are collinear.
Thus we have P,C1,C2P, C_1, C_2 collinear and P,C3,C4P, C_3, C_4 collinear, while X,C1,C2X, C_1, C_2 and X,C3,C4X, C_3, C_4 are also collinear. Since PP lies on B1B3B_1B_3 and X=A1B3A3B1X = A_1B_3 \cap A_3B_1, if P=XP = X then A1=B1A_1 = B_1 or A3=B3A_3 = B_3, making A1A3A_1A_3 a symmedian for both A1A2A4\triangle A_1A_2A_4 and A2A3A4\triangle A_2A_3A_4, which would imply A1A2A3A4A_1A_2A_3A_4 is harmonic - contradicting the non-cyclic condition.
Therefore PXP \neq X, and consequently C1,C2,C3,C4C_1, C_2, C_3, C_4 all lie on the line PXPX. \square

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 and solution reproduced as published; topic and difficulty added by this site.