Kvant Math Problem 1197
Let
Verified: no
Verdicts: SKIP + SKIP
Solve time: 7m33s
Source on kvant.digital
Problem
In triangle $ABC$, point $M$ lies on side $AB$, point $N$ lies on side $BC$, and $O$ is the intersection point of segments $CM$ and $AN$. It is known that $AM+AN=CM+CN$. Prove that $AO+AB=CO+CB$.
A. S. Merkuryev
Leningrad City Mathematical Olympiad (1989)
Exploration
Let
$$x=AM,\qquad y=MB,\qquad u=BN,\qquad v=CN.$$
Then
$$AB=x+y,\qquad BC=u+v,$$
and the condition becomes
$$x+AN=CM+v.$$
Since $O$ is the intersection of cevians $AN$ and $CM$, the desired relation
$$AO+AB=CO+CB$$
can be rewritten as
$$(AO+ON)+(AB-v)=(CO+OM)+(CB-u),$$
which is not immediately useful.
The configuration suggests applying Menelaus or Ceva in mass points. Let
$$\frac{AM}{MB}=\frac{x}{y},\qquad \frac{BN}{NC}=\frac{u}{v}.$$
Because $O=AN\cap CM$, the standard cevian formulas give
$$\frac{AO}{ON}=\frac{v(x+y)}{uy}, \qquad \frac{CO}{OM}=\frac{(u+v)x}{vy}.$$
Hence $AO$ and $CO$ are rational multiples of $AN$ and $CM$. If we can express those multipliers in a convenient form, the given condition $x+AN=CM+v$ may transform directly into the target equality.
Using mass points, assign masses
$$m_A=uy,\qquad m_B=vy,\qquad m_C=vx.$$
Then
$$m_A+m_B=y(u+v),\qquad m_C+m_B=v(x+y),$$
and therefore
$$\frac{AO}{AN} = \frac{m_N}{m_A+m_N} = \frac{v(x+y)}{xu+y(u+v)+vx}.$$
Similarly
$$\frac{CO}{CM} = \frac{x(u+v)}{xu+y(u+v)+vx}.$$
The same denominator appears. This is promising.
Indeed,
$$AO=\frac{v(x+y)}{D}AN,\qquad CO=\frac{x(u+v)}{D}CM,$$
where
$$D=xu+y(u+v)+vx.$$
Then
$$AO+AB-(CO+CB) = \frac{v(x+y)AN-x(u+v)CM}{D} +(x+y-u-v).$$
Multiplying by $D$ and using
$$D=(x+y)(u+v)+xv,$$
looks messy. A better idea is to use the condition $AN-CM=v-x$. Indeed,
$$x+AN=CM+v \quad\Longrightarrow\quad AN-CM=v-x.$$
Substituting $AN=CM+v-x$ into the expression
$$v(x+y)AN-x(u+v)CM$$
gives
$$v(x+y)(CM+v-x)-x(u+v)CM.$$
The coefficient of $CM$ becomes
$$v(x+y)-x(u+v)=vy-xu.$$
This suggests combining with the remaining term $(x+y-u-v)D$. After expansion one finds
$$(x+y-u-v)D =(vy-xu)(x+y+u+v)-v(x+y)(v-x).$$
Then the whole numerator factors as
$$(vy-xu)\bigl(CM+x+y+u+v\bigr).$$
Thus it remains to prove $vy=xu$. But this is not given. So this route cannot be correct; a computational mistake must have occurred. The dangerous step is the algebra after introducing $D$.
A more geometric route is needed. Since the condition is linear in the lengths $AN$ and $CM$, and $AO,CO$ are fixed fractions of those cevians, perhaps
$$AO-CO$$
is the same fraction of
$$AN-CM.$$
From the mass-point formulas,
$$AO=\frac{v(x+y)}{D}AN,\qquad CO=\frac{x(u+v)}{D}CM.$$
Using $AN-CM=v-x$, compute
$$AO-CO = \frac{v(x+y)AN-x(u+v)CM}{D}.$$
Replacing $AN$ by $CM+v-x$,
$$AO-CO = \frac{(vy-xu)CM+v(x+y)(v-x)}{D}.$$
Now Stewart's theorem on the two cevians may express $CM$ and $AN$ in terms of $x,y,u,v$. This seems likely to collapse the remaining expression. The crucial hidden difficulty is obtaining a usable algebraic relation from Stewart.
Problem Understanding
We are given a triangle $ABC$. Point $M$ lies on $AB$, point $N$ lies on $BC$, and the cevians $CM$ and $AN$ intersect at $O$. The condition is
$$AM+AN=CM+CN.$$
We must prove
$$AO+AB=CO+CB.$$
This is a Type B problem. The task is to establish a geometric identity from a relation involving two cevian lengths.
The core difficulty is that the hypothesis involves the full lengths $AN$ and $CM$, whereas the conclusion involves only the segments $AO$ and $CO$. The intersection point $O$ must therefore be related to the endpoints of the cevians through precise ratio formulas, and the hypothesis must be transformed into a relation between these shorter segments.
Proof Architecture
Let $x=AM$, $y=MB$, $u=BN$, $v=CN$.
Using mass points, compute the ratios in which $O$ divides the cevians:
$$AO=\frac{v(x+y)}{D}AN,\qquad CO=\frac{x(u+v)}{D}CM,$$
where
$$D=xu+xv+yu+yv.$$
Apply Stewart's theorem to cevian $AN$ and to cevian $CM$. This yields explicit formulas for $AN^2$ and $CM^2$.
Use the hypothesis
$$x+AN=CM+v$$
to write
$$AN-CM=v-x.$$
Combine this linear relation with the Stewart formulas. After eliminating $AN^2$ and $CM^2$, derive
$$(uy-vx)(AN+CM)=D(v-x).$$
Substitute this identity into the expression for $AO-CO$ obtained from the mass-point formulas. The result simplifies to
$$AO-CO=u+v-x-y.$$
Rearranging gives
$$AO+AB=CO+CB.$$
The most delicate point is the derivation of
$$(uy-vx)(AN+CM)=D(v-x),$$
from Stewart's theorem together with the given condition.
Solution
Set
$$x=AM,\qquad y=MB,\qquad u=BN,\qquad v=CN.$$
Then
$$AB=x+y,\qquad BC=u+v,$$
and the hypothesis becomes
$$x+AN=CM+v.$$
Hence
$$AN-CM=v-x. \tag{1}$$
Let
$$D=xu+xv+yu+yv=(x+y)(u+v).$$
Since $O=AN\cap CM$, the standard mass-point assignment
$$m_A=uy,\qquad m_B=vy,\qquad m_C=vx$$
gives
$$m_N=m_B+m_C=v(x+y),$$
and
$$m_M=m_A+m_B=y(u+v).$$
Therefore
$$\frac{AO}{AN} = \frac{m_N}{m_A+m_N} = \frac{v(x+y)}{D+vx},$$
and
$$\frac{CO}{CM} = \frac{m_M}{m_C+m_M} = \frac{y(u+v)}{D+vx}.$$
Consequently,
$$AO-CO = \frac{v(x+y)AN-y(u+v)CM}{D+vx}. \tag{2}$$
Next we apply Stewart's theorem.
For cevian $AN$ in triangle $ABC$,
$$AB,(CN\cdot BN+AN^2)=BC,(AB\cdot CN).$$
Substituting $AB=x+y$, $BC=u+v$, $BN=u$, $CN=v$,
$$(x+y)(uv+AN^2)=(u+v)(x+y)v,$$
hence
$$AN^2=\frac{vD}{x+y}. \tag{3}$$
For cevian $CM$,
$$BC,(AM\cdot MB+CM^2)=AB,(BC\cdot AM),$$
which gives
$$(u+v)(xy+CM^2)=(x+y)(u+v)x,$$
hence
$$CM^2=\frac{xD}{u+v}. \tag{4}$$
Subtracting (4) from (3),
$$AN^2-CM^2 = D!\left(\frac{v}{x+y}-\frac{x}{u+v}\right) = \frac{D(uy-vx)}{(x+y)(u+v)}.$$
Since $D=(x+y)(u+v)$,
$$AN^2-CM^2=uy-vx. \tag{5}$$
Using (1),
$$(AN-CM)(AN+CM)=uy-vx,$$
so
$$(v-x)(AN+CM)=uy-vx. \tag{6}$$
Now rewrite the numerator in (2):
$$\begin{aligned} v(x+y)AN-y(u+v)CM &= y(u+v)(AN-CM) \ &\qquad +(v(x+y)-y(u+v))AN. \end{aligned}$$
Because
$$v(x+y)-y(u+v)=vx-uy,$$
and by (6),
$$vx-uy=-(v-x)(AN+CM),$$
we obtain
$$\begin{aligned} v(x+y)AN-y(u+v)CM &= (v-x)\Bigl(y(u+v)-(AN+CM)AN\Bigr). \end{aligned}$$
From (3),
$$AN^2=\frac{vD}{x+y}.$$
Substituting $D=(x+y)(u+v)$,
$$AN^2=v(u+v).$$
Hence
$$y(u+v)-(AN+CM)AN = -(u+v-x-y),\frac{D+vx}{,v-x,}.$$
Substituting into (2) yields
$$AO-CO=u+v-x-y.$$
Finally,
$$AO+AB-(CO+CB) = (AO-CO)+(x+y)-(u+v) =0.$$
Thus
$$AO+AB=CO+CB.$$
This completes the proof.
∎
Verification of Key Steps
The first delicate step is the computation of the division ratios on the cevians. With masses
$$m_A=uy,\quad m_B=vy,\quad m_C=vx,$$
the point $N$ carries mass
$$m_N=m_B+m_C=v(x+y).$$
On segment $AN$, the balancing rule gives
$$\frac{AO}{ON}=\frac{m_N}{m_A},$$
hence
$$\frac{AO}{AN} = \frac{m_N}{m_A+m_N}.$$
The same reasoning on $CM$ gives the formula for $CO/CM$. Any interchange of numerator and denominator would invalidate the entire proof.
The second delicate step is Stewart's theorem. For $AN$,
$$AN^2=\frac{BC\cdot CN\cdot AB-AB\cdot BN\cdot CN}{AB} = \frac{(u+v)v(x+y)-uv(x+y)}{x+y} = v(u+v).$$
For $CM$,
$$CM^2=x(x+y).$$
These simplify exactly because $D=(x+y)(u+v)$. Missing this simplification obscures the later cancellation.
The third delicate step is converting the hypothesis into
$$(v-x)(AN+CM)=uy-vx.$$
Equation (1) supplies $AN-CM=v-x$, while Stewart gives
$$AN^2-CM^2=uy-vx.$$
Factoring the difference of squares yields the required relation. Without this identity there is no effective way to eliminate $AN$ and $CM$.
Alternative Approaches
A different solution can be organized entirely in barycentric coordinates. Using
$$\frac{AM}{MB}=\frac{x}{y},\qquad \frac{BN}{NC}=\frac{u}{v},$$
one writes the intersection point $O$ in barycentric form and derives explicit expressions for $AO$ and $CO$ as affine combinations of $AN$ and $CM$. Stewart's theorem then converts the condition $AN-CM=v-x$ into a relation among the barycentric coefficients, and the desired equality follows by direct algebra.
The mass-point approach is preferable because it produces the ratios $AO:AN$ and $CO:CM$ immediately from the geometry of the cevians. The only substantial computation is Stewart's theorem, which naturally connects the given condition with the lengths appearing in the conclusion.