Let A1A2A3A4 be a convex quadrilateral that is not cyclic and whose opposite sides are not parallel. For 1≤i≤4, let Mi be the midpoint of Ai−1Ai+1. Let Bi be a point on the tangent to the circumcircle of triangle Ai−1AiAi+1 at Ai, such that the reflection of Mi over the angle bisector of ∠Ai+1Ai+2Ai+3 lies on line BiAi+2. Let Ci be the unique intersection point of lines AiAi+1 and BiBi+1. (All indices are modulo 4.) Prove that C1,C2,C3,C4 are collinear.
Solution
For any point X on line Ai+2Bi, we have: Ai+1Ai+2dX−Ai+1Ai+2=Ai+2Ai+3dX−Ai+2Ai+3. For any point X on line AiBi, we have: Ai−1AidX−Ai−1Ai+AiAi+1dX−AiAi+1=0. Therefore, for point Bi: Ai+2Ai+3dBi−Ai+2Ai+3=Ai+1Ai+2dBi−Ai+1Ai+2,(6) and Ai−1AidBi−Ai−1Ai+AiAi+1dBi−AiAi+1=0.(7) Combining these gives: Ai+2Ai+3dBi−Ai+2Ai+3=Ai−1AidBi−Ai−1Ai+AiAi+1dBi−AiAi+1+Ai+1Ai+2dBi−Ai+1Ai+2. Similarly for Bi+1: Ai−1AidBi+1−Ai−1Ai=Ai+2Ai+3dBi+1−Ai+2Ai+3, and AiAi+1dBi+1−AiAi+1+Ai+1Ai+2dBi+1−Ai+1Ai+2=0. Thus: Ai+2Ai+3dBi+1−Ai+2Ai+3=Ai−1AidBi+1−Ai−1Ai+AiAi+1dBi+1−AiAi+1+Ai+1Ai+2dBi+1−Ai+1Ai+2. Since these relations are linear in the coordinates, point Ci must also satisfy: Ai+2Ai+3dCi−Ai+2Ai+3=Ai−1AidCi−Ai−1Ai+AiAi+1dCi−AiAi+1+Ai+1Ai+2dCi−Ai+1Ai+2.(8)
Noting that Ci lies on AiAi+1 (so dCi−AiAi+1=0), we can rewrite this as: Ai+2Ai+3dCi−Ai+2Ai+3+AiAi+1dCi−AiAi+1=Ai−1AidCi−Ai−1Ai+Ai+1Ai+2dCi−Ai+1Ai+2.(9) This equation is completely symmetric for C1,C2,C3,C4. If it held identically for all points, then substituting A1 would yield: A2A3A1A2⋅sinA2=A3A4A1A4⋅sinA4, and substituting A3 would give: A1A2A2A3⋅sinA2=A1A4A3A4⋅sinA4. This would imply sinA2=sinA4, and similarly sinA1=sinA3, meaning A1A2A3A4 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,C4 are collinear. □
Second Proof: Define the cross ratio of four lines PA,PB,PC,PD through point P as: P(A,B;C,D):=sin∠APD⋅sin∠BPCsin∠APC⋅sin∠BPD. First, we prove a lemma. Lemma: Let A,B,C,D be four points in the plane with no three collinear, and let M be another point. Then a point P lies on the conic through A,B,C,D,M if and only if P(A,B;C,D)=M(A,B;C,D). Proof of Lemma: Let a,b,c,d,m,p be the complex coordinates of points A,B,C,D,M,P respectively. Then: PC⋅PDPA⋅PB=sin∠ABP⋅sin∠BPDsin∠APB⋅sin∠BPD=Im(b−pc−p/b−pc−p)⋅Im(a−pd−p/a−pd−p)Im(a−pc−p/a−pc−p)⋅Im(b−pd−p/b−pd−p)=[(c−p)(bˉ−pˉ)−(cˉ−pˉ)(b−p)][(d−p)(aˉ−pˉ)−(dˉ−pˉ)(a−p)][(c−p)(aˉ−pˉ)−(cˉ−pˉ)(a−p)][(d−p)(bˉ−pˉ)−(dˉ−pˉ)(b−p)] Since each bracket is linear in p and pˉ, the condition "cross ratio equals a constant" defines a quadratic equation in p and pˉ, which corresponds to a conic section. (Note: This cannot be identically constant, as that would imply A,B,C are collinear, a contradiction.) □
Returning to the problem, since A3B1 and A3M1 are symmetric about the angle bisector of ∠A2A3A4, A3B1 is the symmedian of △A2A3A4. Let S be the intersection of B1A1 and A2A4, and T the intersection of B1A3 and A2A4. Then: B1(A1,A2;A3,A4)=(S,A2;T,A4)=1−(S,T;A2,A4)=1−SA4SA2⋅TA2TA4=1−A1A42⋅A3A22A1A22⋅A3A42. Similarly, this holds for B2,B3,B4. Thus all eight points A1,…,A4,B1,…,B4 lie on the same conic.
* Considering A1,A2,A3,B1,B2,B3, by Pascal's Theorem, C1,C2 and X:=A3B1∩A1B3 are collinear. * Similarly, considering A1,A4,A3,B1,B4,B3,C3,C4 and X are collinear. * Considering A2,A3,A4,B2,B3,B4,C2,C3 and Y:=A4B2∩A2B4 are collinear. * Considering A4,A1,A2,B4,B1,B2,C1,C4 and Y are collinear.
Let W be the intersection of A1B1 and A1B2. Applying Menelaus' Theorem to triangle △WB1B2 with transversal A1A2C1 gives: B2C1B1C1=B2A2B1A1⋅A2WA1W=B2A2B1A1⋅sin∠WA1A2sin∠WA2A1. By tangent properties, ∠WA2A1=∠A2A3A1, so: B2C1B1C1=B2A2B1A1⋅sin∠A1A4A2sin∠A2A3A1. Taking the cyclic product (indices modulo 4): i=1∏4Bi+1CiBiCi=i=1∏4Bi+1Ai+1BiAi⋅i=1∏4sin∠AiAi−1Ai+1sin∠Ai+1Ai+2Ai=i=1∏4sin∠Ai+1AiAi+2sin∠Ai+1Ai+2Ai=i=1∏4Ai+1Ai+2AiAi+1=1.(10)
Thus: B2C1B1C1⋅B3C2B2C2=B4C4B1C4⋅B3C3B3C4. Let this ratio be α. On the extension of B3B1, take point P such that B1PB3P=α1. By the converse of Menelaus' Theorem applied to △B1B2B3 and points P,C1,C2, these are collinear. Similarly, P,C3,C4 are collinear. Thus we have P,C1,C2 collinear and P,C3,C4 collinear, while X,C1,C2 and X,C3,C4 are also collinear. Since P lies on B1B3 and X=A1B3∩A3B1, if P=X then A1=B1 or A3=B3, making A1A3 a symmedian for both △A1A2A4 and △A2A3A4, which would imply A1A2A3A4 is harmonic - contradicting the non-cyclic condition. Therefore P=X, and consequently C1,C2,C3,C4 all lie on the line PX. □
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.