In the general triangle ABC, we take points M and N on the sides BC and AC, or on their extensions. The line parallel to BC through N intersects AB at D, and the line parallel to AM through N intersects BC at E.
The intersection of the lines AM and DE is L. Let MCBM=m and NCAN=n.
Prove that
LMAL=m+n+mn
(m and n 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 AM and ND be F. 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 F is on the segment AL or outside it, is:
LMAL=LMAF+LMFL
The ratio in the second term on the right-hand side, conventionally denoted by (FML)1−DN and the parallelism of BC, can be replaced by the equal ratio (DEL), and similarly, by the parallelism of NE∥AM, by the ratio (DNF), and finally, by the parallelism of DN∥BC, by the ratio (BCM), whose value is given:
(FML)=LMFL=LEDL=FNDF=MCBM=(BCM)=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 FM, the product is equal to the ratio (AMF)=(ACN)=n (again by the parallelism of DN∥BC) and the ratio LMFM, and the latter factor is equal to FM=FL+LM, and by (2) to m+1:
Now, according to (1)-(3), the required equality indeed holds:
LMAL=n(m+1)+m=mn+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) 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
LMAL+1=LMAL+LM=LMAM
as the product of the ratios m+1=MCBM+1=MCBC and n+1=NCAN+1=NCAC. (These can also be considered as division ratios according to the transformations LMAM=−MLAM, MCBC=−CMBC, and NCAC=−CNAC, although it is unusual that in −(ALM), −(BMC), and −(ANC), the "later appearing" points L, M, and N serve as base points.) Indeed, using the transformations from the first solution or similar ones:
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 M and N, 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: MC and NC cannot be 0, i.e., M and N cannot be chosen at C. The more complex question is whether the point L constructed in several steps is determined. This would only not be the case if the lines AM and DE coincided or were parallel.
Their coincidence would only occur if the common point A of AB and the common point D of A and the common point M of BC and the common point E of BC coincided. Already in the interpretation of D, D≡A would only hold if N≡A; in this case, from the interpretation of E, E≡M would also follow, so the coincidence of N≡A, or rather the case n=0, must also be excluded. Conversely, from E≡M, N≡A also follows; thus, the necessary and sufficient condition for the coincidence of N≡A is the coincidence of E≡M.
The parallelism of DE with AM would mean, through the interpretation of E, that DE coincides with NE, so either D≡N (then they coincide with A, which case we have already excluded), or DN∥AM. However, by definition, DN∥BC, so in this case AM∥BC, which contradicts the definition of M. Therefore, no further case needs to be excluded here.
For the ratio LMAL to make sense, we cannot place M and N such that the constructed L coincides with M. This could only be caused by the coincidence of E≡M, which we have already excluded.
The last such question: was it permissible to "extend" or "simplify" the ratio with FM, is there no "danger" of FM=0? - No, because F and M are points on the parallel lines and N≡C, which are distinct from each other.
According to these, the proven equality holds if M does not fall on C and N does not fall on either C or A.
2. It is easy to show that the potentially "dangerous" coincidence M≡B does not need to be excluded. In this case, for any allowed position of N, L≡D and the left-hand side of our equality
LMAL=DBAD=NBAN=n
matches the value of the right-hand side with m=0.
3. Our diagrams differ only in the placement of M and N, 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 M and N, there are already three possibilities: on the side segment (here m,n>0), or on one of the extensions (here −1<m,n<0 or m,n<−1).
[^0]: 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.