Kvant Math Problem 48
Let the common point of the angle bisector $AD$, the median $BM$, and the altitude $CH$ be $P$.
Verified: no
Verdicts: SKIP + SKIP
Solve time: 2m01s
Source on kvant.digital
Problem
In an acute triangle $ABC$, the angle bisector $AD$, the median $BM$, and the altitude $CH$ intersect at a single point. Prove that the angle $BAC$ is greater than $45^\circ$.
All-Union Mathematical Olympiad (1970, Grade 9)
Exploration
Let the common point of the angle bisector $AD$, the median $BM$, and the altitude $CH$ be $P$.
The condition that $P$ lies on the altitude from $C$ gives a linear relation between the coordinates of $P$. The fact that $P$ also lies on the median from $B$ gives another relation. Since $P$ lies on the bisector from $A$, the distances from $P$ to the sides $AB$ and $AC$ are equal. Coordinate geometry appears natural because the three cevians have simple equations.
Take
$$A=(0,0),\qquad B=(c,0),\qquad C=(b\cos\alpha,b\sin\alpha),$$
where $\alpha=\angle BAC$.
The altitude from $C$ is the vertical line $x=b\cos\alpha$.
The midpoint of $AC$ is
$$M=\left(\frac{b\cos\alpha}{2},\frac{b\sin\alpha}{2}\right).$$
The median $BM$ meets the altitude at a point $P$. Computing this intersection first should produce explicit coordinates for $P$.
Carrying out the calculation,
$$P=\left(b\cos\alpha,, \frac{b\sin\alpha}{,2-\frac{b\cos\alpha}{c},}\right).$$
Since $P$ lies on the bisector of $\angle A$, its distances to $AB$ and $AC$ are equal. The distance to $AB$ is simply the $y$-coordinate of $P$. The distance to $AC$ can be written through the standard determinant formula. Substituting the coordinates of $P$ gives a relation between
$$t=\frac{b\cos\alpha}{c}$$
and $\alpha$. After simplification one obtains
$$t=\frac1{2\cos\alpha}.$$
Then
$$\frac{b}{c}=\frac1{2\cos^2\alpha}.$$
Now use the acuteness of the triangle. Since $\angle B<90^\circ$,
$$c>b\cos\alpha.$$
Substituting the expression above gives
$$1>\frac{b\cos\alpha}{c} =\frac1{2\cos\alpha}.$$
Hence
$$\cos\alpha>\frac12,$$
so $\alpha<60^\circ$.
We still need the desired lower bound $\alpha>45^\circ$. The condition $c>b\cos\alpha$ is not enough. The other acute angle gives
$$\angle C<90^\circ \quad\Longrightarrow\quad b>c\cos\alpha.$$
Substituting $b/c=1/(2\cos^2\alpha)$ yields
$$\frac1{2\cos^2\alpha}>\cos\alpha,$$
hence
$$2\cos^3\alpha<1.$$
Since $\cos\alpha>0$,
$$\cos\alpha<2^{-1/3}.$$
Numerically,
$$2^{-1/3}\approx0.794,$$
while
$$\cos45^\circ=\frac{\sqrt2}{2}\approx0.707.$$
This inequality alone does not imply $\alpha>45^\circ$.
So some algebra has likely been missed. The crucial step is the bisector condition. It must be checked carefully.
Recomputing the distance equality more systematically gives
$$\frac{b\sin\alpha}{2-t} = \frac{b\sin\alpha(1-t)}{2-t},$$
which yields
$$1=1-t.$$
This is impossible unless the sign in the distance formula is handled incorrectly. The absolute value must be examined according to the position of $P$.
Using the correct sign, the equality becomes
$$1=t-1,$$
hence
$$t=2.$$
Since $t=b\cos\alpha/c$, this gives
$$b\cos\alpha=2c,$$
impossible in an acute triangle. Thus the coordinate setup must be recomputed from the beginning.
A more reliable route is to use barycentric coordinates. The intersection of the median and altitude has barycentrics proportional to
$$(\sin2C:\sin2A:\sin2A).$$
Because it lies on the bisector from $A$, the last two coordinates must satisfy
$$\frac{\beta}{\gamma}=\frac c b.$$
Since here $\beta=\gamma$, we obtain
$$b=c.$$
Then the triangle is isosceles with $AB=AC$.
If $b=c$, the median from $B$ and the altitude from $C$ intersect on the bisector from $A$. Let us test. Put $b=c$. The altitude from $C$ and median from $B$ intersect at the centroid only when $\alpha=60^\circ$. This suggests that the actual consequence is not merely $b=c$.
A cleaner analytic computation is needed.
Let $P=(b\cos\alpha,y)$. Since $P$ lies on $BM$,
$$\frac{y}{b\cos\alpha-c} = \frac{\frac12 b\sin\alpha}{\frac12 b\cos\alpha-c}.$$
Hence
$$y=\frac{b\sin\alpha,(b\cos\alpha-c)} {,b\cos\alpha-2c,}.$$
The bisector condition gives
$$y=\frac{b\sin\alpha,|b-b\cos\alpha+c|} {\sqrt{b^2+c^2-2bc\cos\alpha}}.$$
After cancellation and simplification one reaches
$$b^2+c^2-2bc\cos\alpha=(b+c-b\cos\alpha)^2.$$
Expanding yields
$$c=b(2\cos\alpha-1).$$
Now use acuteness:
$$b>c\cos\alpha.$$
Substituting,
$$1>(2\cos\alpha-1)\cos\alpha.$$
This is always true, so not enough.
The other acute-angle condition,
$$c>b\cos\alpha,$$
becomes
$$2\cos\alpha-1>\cos\alpha,$$
hence
$$\cos\alpha>1,$$
impossible. Thus this derivation is also flawed.
The likely correct strategy is still coordinates, but the key step requiring greatest scrutiny is deriving the equation imposed by the angle bisector.
Problem Understanding
We are given an acute triangle $ABC$. The angle bisector from $A$, the median from $B$, and the altitude from $C$ pass through a single point. We must prove that
$$\angle BAC>45^\circ.$$
This is a Type B problem. The goal is to prove a stated inequality.
The core difficulty is converting the concurrency of three different cevians into an algebraic relation among the side lengths and the angle at $A$, and then extracting the inequality $\angle A>45^\circ$ from that relation.
Proof Architecture
First, place the triangle in coordinates with $A=(0,0)$ and $AB$ on the $x$-axis, and compute the intersection point of the median from $B$ and the altitude from $C$.
Second, impose the condition that this intersection point lies on the angle bisector from $A$, using equality of distances to the sides $AB$ and $AC$.
Third, derive an explicit relation between the side lengths $b=AC$, $c=AB$, and the angle $\alpha=\angle A$.
Fourth, combine this relation with the acuteness condition $\angle B<90^\circ$.
The hardest step is the derivation of the relation coming from the angle bisector condition. Any sign error in the distance formula leads to a false equation.
Solution
Let
$$A=(0,0),\qquad B=(c,0),\qquad C=(b\cos\alpha,b\sin\alpha),$$
where
$$\alpha=\angle BAC,\qquad 0<\alpha<90^\circ.$$
Since $CH$ is the altitude from $C$ to $AB$, its equation is
$$x=b\cos\alpha .$$
Let $M$ be the midpoint of $AC$. Then
$$M=\left(\frac{b\cos\alpha}{2},\frac{b\sin\alpha}{2}\right).$$
The median $BM$ has equation
$$y=\frac{\frac12 b\sin\alpha}{\frac12 b\cos\alpha-c}(x-c).$$
Let $P$ be the common point of the three cevians. Since $P$ lies on the altitude $CH$, we have $x_P=b\cos\alpha$. Substituting into the equation of $BM$ gives
$$P= \left( b\cos\alpha,, \frac{b\sin\alpha,(b\cos\alpha-c)} {,b\cos\alpha-2c,} \right).$$
Because the triangle is acute, $c>b\cos\alpha$, hence both numerator and denominator in the second coordinate are negative. Therefore
$$y_P= \frac{b\sin\alpha,(c-b\cos\alpha)} {,2c-b\cos\alpha,}.$$
Since $P$ lies on the bisector of $\angle A$, its distances to the sides $AB$ and $AC$ are equal.
The distance from $P$ to $AB$ is $y_P$.
The line $AC$ has equation
$$(\sin\alpha)x-(\cos\alpha)y=0.$$
Hence the distance from $P$ to $AC$ equals
$$\sin\alpha,x_P-\cos\alpha,y_P.$$
Substituting $x_P=b\cos\alpha$ and the expression for $y_P$,
$$\sin\alpha,x_P-\cos\alpha,y_P = b\sin\alpha\cos\alpha - \cos\alpha, \frac{b\sin\alpha(c-b\cos\alpha)} {2c-b\cos\alpha}.$$
Factoring,
$$= b\sin\alpha\cos\alpha \left( 1-\frac{c-b\cos\alpha}{2c-b\cos\alpha} \right) = \frac{bc\sin\alpha\cos\alpha} {2c-b\cos\alpha}.$$
Equating the two distances gives
$$\frac{b\sin\alpha(c-b\cos\alpha)} {2c-b\cos\alpha} = \frac{bc\sin\alpha\cos\alpha} {2c-b\cos\alpha}.$$
After cancelling the common positive factor
$$\frac{b\sin\alpha}{2c-b\cos\alpha},$$
we obtain
$$c-b\cos\alpha=c\cos\alpha.$$
Therefore
$$c=b\cos\alpha+c\cos\alpha,$$
or
$$c(1-\cos\alpha)=b\cos\alpha.$$
Thus
$$\frac bc=\frac{1-\cos\alpha}{\cos\alpha}.$$
Since the triangle is acute, $\angle C<90^\circ$. By the law of cosines,
$$c>b\cos\alpha.$$
Substituting the expression for $b$,
$$c> c,\frac{1-\cos\alpha}{\cos\alpha},\cos\alpha = c(1-\cos\alpha).$$
This yields only $\cos\alpha>0$, which is already known. We therefore use the other acute-angle condition.
Because $\angle B<90^\circ$,
$$b>c\cos\alpha.$$
Substituting $\dfrac bc=\dfrac{1-\cos\alpha}{\cos\alpha}$ gives
$$\frac{1-\cos\alpha}{\cos\alpha}>\cos\alpha.$$
Multiplying by $\cos\alpha>0$,
$$1-\cos\alpha>\cos^2\alpha.$$
Hence
$$1-\cos\alpha-\cos^2\alpha>0.$$
Let $x=\cos\alpha$. Then
$$x^2+x-1<0.$$
The positive root of $x^2+x-1=0$ is
$$x=\frac{\sqrt5-1}{2}.$$
Therefore
$$\cos\alpha<\frac{\sqrt5-1}{2}.$$
Since
$$\frac{\sqrt5-1}{2}<\frac{\sqrt2}{2},$$
we obtain
$$\cos\alpha<\frac{\sqrt2}{2}.$$
On the interval $(0,90^\circ)$ the cosine function is decreasing, so
$$\alpha>45^\circ.$$
This completes the proof.
∎
Verification of Key Steps
The first delicate point is the computation of the coordinates of $P$. Since $P$ lies on the altitude from $C$, its $x$-coordinate is $b\cos\alpha$. Substituting this value into the equation of the median is the only place where the formula for $y_P$ is obtained. A sign mistake here changes every subsequent relation.
The second delicate point is the distance to the side $AC$. The line $AC$ is
$$(\sin\alpha)x-(\cos\alpha)y=0.$$
For the point $P$, the quantity
$$\sin\alpha,x_P-\cos\alpha,y_P$$
is positive because $P$ lies inside the acute angle at $A$. Thus no absolute-value sign survives after substitution. Using the wrong sign would lead to an incorrect relation between $b$, $c$, and $\alpha$.
The third delicate point is the use of acuteness. The inequality
$$b>c\cos\alpha$$
is equivalent to $\angle B<90^\circ$. It is exactly this inequality that transforms
$$\frac bc=\frac{1-\cos\alpha}{\cos\alpha}$$
into
$$1-\cos\alpha>\cos^2\alpha,$$
which yields the desired bound on $\cos\alpha$.
Alternative Approaches
A synthetic solution can be built with trigonometric forms of Ceva's theorem. Let $P$ be the common point. Since $BP$ is a median, the ratios on side $AC$ are equal. Since $CP$ is an altitude, the ratios on side $AB$ can be expressed through projections and hence through sines and cosines of the adjacent angles. The angle-bisector condition supplies the remaining ratio. Applying Ceva and simplifying leads directly to an equation relating $b/c$ and $\cos A$, from which the same inequality follows.
The coordinate approach is preferable because each cevian has a particularly simple equation. The concurrency condition becomes an explicit distance equality, and the final estimate reduces to a short algebraic argument.