Olympiad Maths Prep

Track / Stage 6 / 237 of 400 #1237 of 2000

Problem 1237

National olympiad, first round
Geometry Difficulty 6.3 Prove it

In the general triangle ABCABC, we take points MM and NN on the sides BCBC and ACAC, or on their extensions. The line parallel to BCBC through NN intersects ABAB at DD, and the line parallel to AMAM through NN intersects BCBC at EE.

The intersection of the lines AMAM and DEDE is LL. Let BMMC=m\frac{BM}{MC}=m and ANNC=n\frac{AN}{NC}=n.

Prove that

ALLM=m+n+mn \frac{AL}{LM}=m+n+mn

(mm and nn are positive or negative according to whether the segments in the numerator and denominator of the ratio are in the same or opposite directions.)

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

I. Solution: Let the intersection of AMA M and NDN D be FF. According to the note attached to the problem - taking into account the direction of the segments - the value of the ratio to be examined, regardless of whether FF is on the segment ALA L or outside it, is:

ALLM=AFLM+FLLM \frac{A L}{L M} = \frac{A F}{L M} + \frac{F L}{L M}

The ratio in the second term on the right-hand side, conventionally denoted by (FML)1DN(F M L) \sqrt{1} - D N and the parallelism of BCB C, can be replaced by the equal ratio (DEL)(D E L), and similarly, by the parallelism of NEAMN E \| A M, by the ratio (DNF)(D N F), and finally, by the parallelism of DNBCD N \| B C, by the ratio (BCM)(B C M), whose value is given:

(FML)=FLLM=DLLE=DFFN=BMMC=(BCM)=m (F M L) = \frac{F L}{L M} = \frac{D L}{L E} = \frac{D F}{F N} = \frac{B M}{M C} = (B C M) = m

(any two consecutive triples of points have their first, second, and third points corresponding to each other).
!

After multiplying the numerator and the denominator of the first term by FMF M, the product is equal to the ratio (AMF)=(ACN)=n(A M F) = (A C N) = n (again by the parallelism of DNBCD N \| B C) and the ratio FMLM\frac{F M}{L M}, and the latter factor is equal to FM=FL+LMF M = F L + L M, and by (2) to m+1m + 1:

AFLM=AFFMFMLM=ANNCFL+LMLM=n(FLLM+1)=n(m+1) \frac{A F}{L M} = \frac{A F}{F M} \cdot \frac{F M}{L M} = \frac{A N}{N C} \cdot \frac{F L + L M}{L M} = n \left( \frac{F L}{L M} + 1 \right) = n(m + 1)

Now, according to (1)-(3), the required equality indeed holds:

ALLM=n(m+1)+m=mn+m+n \frac{A L}{L M} = n(m + 1) + m = m n + m + n

Müller Miksa (Makó, József A. g. II. o. t.)

II. Solution: Recognizing the three terms of the product (m+1)(n+1)(m + 1)(n + 1) on the right-hand side of the equality to be proven, we add the missing fourth term, 1, to both sides and try to express the ratio

ALLM+1=AL+LMLM=AMLM \frac{A L}{L M} + 1 = \frac{A L + L M}{L M} = \frac{A M}{L M}

as the product of the ratios m+1=BMMC+1=BCMCm + 1 = \frac{B M}{M C} + 1 = \frac{B C}{M C} and n+1=ANNC+1=ACNCn + 1 = \frac{A N}{N C} + 1 = \frac{A C}{N C}. (These can also be considered as division ratios according to the transformations AMLM=AMML\frac{A M}{L M} = -\frac{A M}{M L}, BCMC=BCCM\frac{B C}{M C} = -\frac{B C}{C M}, and ACNC=ACCN\frac{A C}{N C} = -\frac{A C}{C N}, although it is unusual that in (ALM)-(A L M), (BMC)-(B M C), and (ANC)-(A N C), the "later appearing" points LL, MM, and NN serve as base points.) Indeed, using the transformations from the first solution or similar ones:

AMLM=AF+FMLM=AFFM+1LMFM=ANNC+1LMFL+LM==(n+1)FL+LMLM=(n+1)(FLLM+1)=(n+1)(m+1) \begin{gathered} \frac{A M}{L M} = \frac{A F + F M}{L M} = \frac{\frac{A F}{F M} + 1}{\frac{L M}{F M}} = \frac{\frac{A N}{N C} + 1}{\frac{L M}{F L + L M}} = \\ = (n + 1) \cdot \frac{F L + L M}{L M} = (n + 1) \left( \frac{F L}{L M} + 1 \right) = (n + 1)(m + 1) \end{gathered}

This completes our proof.

Remarks. 1. In both solutions, we were somewhat superficial, not considering whether all the ratios, points we talked about, exist and are uniquely determined for any choice of MM and NN, and whether the transformations we applied can always be carried out. Now we will make up for these omissions.

It is quite simple to ensure that the given division ratios (divisions) make sense: MCM C and NCN C cannot be 0, i.e., MM and NN cannot be chosen at CC. The more complex question is whether the point LL constructed in several steps is determined. This would only not be the case if the lines AMA M and DED E coincided or were parallel.

Their coincidence would only occur if the common point AA of ABA B and the common point DD of AA and the common point MM of BCB C and the common point EE of BCB C coincided. Already in the interpretation of DD, DAD \equiv A would only hold if NAN \equiv A; in this case, from the interpretation of EE, EME \equiv M would also follow, so the coincidence of NAN \equiv A, or rather the case n=0n = 0, must also be excluded. Conversely, from EME \equiv M, NAN \equiv A also follows; thus, the necessary and sufficient condition for the coincidence of NAN \equiv A is the coincidence of EME \equiv M.

The parallelism of DED E with AMA M would mean, through the interpretation of EE, that DED E coincides with NEN E, so either DND \equiv N (then they coincide with AA, which case we have already excluded), or DNAMD N \| A M. However, by definition, DNBCD N \| B C, so in this case AMBCA M \| B C, which contradicts the definition of MM. Therefore, no further case needs to be excluded here.

For the ratio ALLM\frac{A L}{L M} to make sense, we cannot place MM and NN such that the constructed LL coincides with MM. This could only be caused by the coincidence of EME \equiv M, which we have already excluded.

The last such question: was it permissible to "extend" or "simplify" the ratio with FMF M, is there no "danger" of FM=0F M = 0? - No, because FF and MM are points on the parallel lines and N≢CN \not \equiv C, which are distinct from each other.

According to these, the proven equality holds if MM does not fall on CC and NN does not fall on either CC or AA.

2. It is easy to show that the potentially "dangerous" coincidence MBM \equiv B does not need to be excluded. In this case, for any allowed position of NN, LDL \equiv D and the left-hand side of our equality

ALLM=ADDB=ANNB=n \frac{A L}{L M} = \frac{A D}{D B} = \frac{A N}{N B} = n

matches the value of the right-hand side with m=0m = 0.

3. Our diagrams differ only in the placement of MM and NN, essentially one would be enough, or even none. The direction of the segments did not complicate but rather simplified and unified the examination of the various possibilities. Nevertheless, we recommend to our readers to follow the given line of thought on even more diagrams. For each of MM and NN, there are already three possibilities: on the side segment (here m,n>0m, n > 0), or on one of the extensions (here 1<m,n<0-1 < m, n < 0 or m,n<1m, n < -1).

[^0]: 1{ }^{1} See, for example, Kárteszi Ferenc: The Theorems of Menelaus and Ceva. KML. Vol. XI, pp. 67-75, November 1955.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.