Maths Olympiad Prep

Library / /367 of 520

Geometry Difficulty 5.6 AIME, harder Prove it

Example 1. (Gallacher, 1987, see Figure 4) In P1P2P3\triangle P_{1} P_{2} P_{3}, let pip_{i} be the side opposite vertex PiP_{i}, and sis_{i} be parallel to pip_{i} but not coincident with pip_{i}. Let sis_{i} intersect pi1p_{i-1} at QiQ_{i}, and QiQ_{i} divides pipi+1p_{i} p_{i+1} into two parts, with a ratio of 3. Prove: The lines S1,S2S_{1}, S_{2}, and S3S_{3} are concurrent if and only if λ1λ2λ3(λ1+λ2+λ3)=2\lambda_{1} \lambda_{2} \lambda_{3}-\left(\lambda_{1}+\lambda_{2}+\lambda_{3}\right)=2.

Solution

Prove that if P1,P2,P3,Q1,Q2P_{1}, P_{2}, P_{3}, Q_{1}, Q_{2} and Q3Q_{3} are replaced by A1,A2,A3,C3,C1A_{1}, A_{2}, A_{3}, C_{3}, C_{1} and C2C_{2} respectively, then λ1,λ2,λ3\lambda_{1}, \lambda_{2}, \lambda_{3} will be equal to c3c_{3}, c1,c2c_{1}, c_{2} in equation (*). Taking B1,B2,B3B_{1}, B_{2}, B_{3} as the ideal points of the lines A2A3,A3A1A_{2} A_{3}, A_{3} A_{1}, A1A2A_{1} A_{2} respectively, then b1=b2=b3=1b_{1}=b_{2}=b_{3}=-1. Thus, from equation (*), we can derive c1c2c3(c1+c2+c3)=2c_{1} c_{2} c_{3}-\left(c_{1}+c_{2}+c_{3}\right)=2, which is equivalent to the equation to be proven.

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.