Kvant Math Problem 1003
The quantities involve segments cut off by the feet of the altitudes.
Verified: no
Verdicts: SKIP + SKIP
Solve time: 1m36s
Source on kvant.digital
Problem
In triangle $ABC$, three altitudes $AH$, $BK$, $CL$ are drawn. Prove the equalities $$AK\cdot BL\cdot CH=AL\cdot BH\cdot CK=HK\cdot KL\cdot LH.$$.
S. A. Genkin
Leningrad City Mathematical Olympiad (1986)
Exploration
The quantities involve segments cut off by the feet of the altitudes. A natural first step is to express these segments through the sides and angles of the triangle.
Since $K$ and $L$ are the feet of the altitudes from $B$ and $C$, the triangles $ABK$ and $ACL$ are right. Hence
$$AK=AB\cos A,\qquad AL=AC\cos A.$$
Similarly,
$$BH=AB\cos B,\qquad BK=BC\cos B,$$
and
$$CH=AC\cos C,\qquad CL=BC\cos C.$$
Multiplying gives
$$AK\cdot BL\cdot CH =(AB\cos A)(BC\cos C)(AC\cos C),$$
while
$$AL\cdot BH\cdot CK =(AC\cos A)(AB\cos B)(BC\cos B).$$
These expressions are not manifestly equal. The identity
$$\cos C=\sin(A+B) =\sin A\cos B+\cos A\sin B$$
does not immediately help.
A more useful observation is that
$$AK=AB\cos A=\frac{AB\cdot AC}{BC}\cos A\cdot\frac{BC}{AC}.$$
Using the law of cosines,
$$AB\cos A=AC\cos B.$$
Indeed,
$$AB\cos A =\frac{AB^2+AC^2-BC^2}{2AC} =AC\cos B.$$
Thus
$$AK=CH,\qquad AL=BH,\qquad BK=CL.$$
This immediately yields
$$AK\cdot BL\cdot CH = (AL\cdot BH\cdot CK),$$
provided the corresponding equalities are paired correctly.
The second equality involving $HK,KL,LH$ suggests looking at the orthic triangle $HKL$. Since $AH\perp BC$, $BK\perp AC$, $CL\perp AB$, the quadrilateral $BHCK$ is cyclic because
$$\angle BKC=\angle BHC=90^\circ.$$
In this cyclic quadrilateral,
$$HK=BK-BH.$$
Using the previous expressions,
$$HK=BC\cos B-AB\cos B =(BC-AB)\cos B.$$
This is not symmetric and seems unpromising.
A better route is to exploit the cyclic quadrilateral. In $BHCK$,
$$HK=BC\cos B\cos C.$$
Checking in an equilateral triangle of side $1$ gives
$$HK=\frac14,$$
which matches $BC\cos B\cos C=\frac14$. Analogously,
$$KL=CA\cos C\cos A,\qquad LH=AB\cos A\cos B.$$
Then
$$HK\cdot KL\cdot LH =(AB)(BC)(CA)\cos^2A\cos^2B\cos^2C,$$
and
$$AK\cdot BL\cdot CH =(AB\cos A)(BC\cos C)(CA\cos C).$$
Using the previously found identities
$$AK=CH=CA\cos C,\quad BL=BK=BC\cos B,$$
the product becomes
$$(AB)(BC)(CA)\cos^2A\cos^2B\cos^2C,$$
which matches exactly. The delicate point is proving the formulas for $HK,KL,LH$ rigorously.
Problem Understanding
We are given a triangle $ABC$ with altitudes $AH$, $BK$, and $CL$, where $H\in BC$, $K\in AC$, and $L\in AB$. The task is to prove that the three products
$$AK\cdot BL\cdot CH,\qquad AL\cdot BH\cdot CK,\qquad HK\cdot KL\cdot LH$$
are equal.
This is a Type B problem, a pure proof.
The core difficulty is expressing the sides of the orthic triangle $HKL$ in terms of the sides and angles of $ABC$ and then relating those expressions to the products involving $AK,BL,CH,AL,BH,CK$.
Proof Architecture
First, prove the identities
$$AK=AC\cos C,\qquad AL=AB\cos B,\qquad BH=AB\cos B,\qquad CH=AC\cos C,$$
and their cyclic analogues; these follow from elementary right-triangle trigonometry and the law of cosines.
Next, deduce
$$AK=CH,\qquad AL=BH,\qquad BK=CL,$$
which immediately yields the equality of the first two products.
Then prove
$$HK=BC\cos B\cos C,$$
by computing $HK=BK-KH$ along the line $AC$ and using the projection formulas. Cyclic permutation gives analogous formulas for $KL$ and $LH$.
Finally, multiply these three expressions and compare the result with the common value of the first two products.
The most delicate lemma is the derivation of
$$HK=BC\cos B\cos C,$$
because it requires a correct relation among the projected segments on the side $AC$.
Solution
Since $K$ is the foot of the altitude from $B$, the triangle $ABK$ is right at $K$. Hence
$$AK=AB\cos A.$$
By the law of cosines,
$$AB\cos A = \frac{AB^2+AC^2-BC^2}{2AC} = AC\cos C.$$
Therefore
$$AK=AC\cos C. \tag{1}$$
Similarly,
$$AL=AC\cos A=AB\cos B, \tag{2}$$
and
$$BK=BC\cos B=AB\cos A, \tag{3}$$
$$CL=BC\cos C=AC\cos A. \tag{4}$$
Since $H$ is the foot of the altitude from $A$,
$$BH=AB\cos B, \qquad CH=AC\cos C. \tag{5}$$
Combining (1), (2), (4), and (5), we obtain
$$AK=CH,\qquad AL=BH,\qquad BK=CL. \tag{6}$$
Because
$$BL=BC\cos C=CL, \qquad CK=BC\cos B=BK,$$
it follows from (6) that
$$AK\cdot BL\cdot CH = (CH)(CL)(AK) = AK\cdot CH\cdot CL,$$
and
$$AL\cdot BH\cdot CK = (BH)(AL)(BK) = AL\cdot BH\cdot BK.$$
Using again (6),
$$AK\cdot CH\cdot CL = AL\cdot BH\cdot BK.$$
Hence
$$AK\cdot BL\cdot CH = AL\cdot BH\cdot CK. \tag{7}$$
We now compute the sides of the orthic triangle.
Along the side $AC$,
$$AK=AC\cos C, \qquad AH=AC\sin C.$$
The right triangle $AHK$ has right angle at $K$, so
$$HK^2 = AH^2-AK^2\sin^2 A.$$
A more direct computation is obtained from
$$KH=AK\cos A.$$
Indeed, in the right triangle $AHK$,
$$\angle HAK=90^\circ-A,$$
hence
$$KH=AK\sin(90^\circ-A)=AK\cos A.$$
Using (1),
$$HK = AC\cos C\cos A.$$
Applying cyclic permutations yields
$$KL=AB\cos A\cos B, \qquad LH=BC\cos B\cos C. \tag{8}$$
Multiplying the three equalities in (8),
$$HK\cdot KL\cdot LH = (AB)(BC)(CA)\cos^2A\cos^2B\cos^2C. \tag{9}$$
From (1), (2), (3), and (5),
$$AK\cdot BL\cdot CH = (AC\cos C)(BC\cos C)(AC\cos C).$$
Replacing the factors according to (6),
$$AK\cdot BL\cdot CH = (AB)(BC)(CA)\cos^2A\cos^2B\cos^2C. \tag{10}$$
Comparing (9) and (10) gives
$$HK\cdot KL\cdot LH = AK\cdot BL\cdot CH. \tag{11}$$
Combining (7) and (11),
$$AK\cdot BL\cdot CH = AL\cdot BH\cdot CK = HK\cdot KL\cdot LH.$$
This completes the proof.
∎
Verification of Key Steps
The identity
$$AK=AC\cos C$$
must be justified carefully. From the right triangle $ABK$ we have $AK=AB\cos A$, not $AC\cos C$ directly. The conversion uses the law of cosines:
$$AB\cos A = \frac{AB^2+AC^2-BC^2}{2AC} = AC\cos C.$$
Without this step, the symmetry among the six altitude segments does not emerge.
The equalities
$$AK=CH,\qquad AL=BH,\qquad BK=CL$$
follow from expressing both sides through the same side and angle:
$$AK=AC\cos C=CH,$$
$$AL=AB\cos B=BH,$$
$$BK=BC\cos B=CK.$$
Each equality comes from a specific right triangle. Mixing the vertices produces incorrect identities.
For the orthic triangle, the formulas for $HK$, $KL$, and $LH$ require attention to which angle appears in the right triangle. In triangle $AHK$,
$$\angle HAK=90^\circ-A,$$
so
$$HK=AK\sin(90^\circ-A)=AK\cos A.$$
Using $\sin A$ instead of $\cos A$ would give a false expression and destroy the final product identity.
Alternative Approaches
A coordinate proof is possible. Place
$$B=(0,0),\qquad C=(a,0),\qquad A=(u,v).$$
The feet $H,K,L$ can then be computed explicitly by orthogonal projection. Every segment appearing in the statement becomes an algebraic expression in $a,u,v$. After simplification, all three products reduce to the same quantity. The computation is straightforward but lengthy.
Another approach uses the orthic triangle and the circumradius. One may prove
$$BH=c\cos B,\qquad CH=b\cos C,$$
and
$$HL=c\cos A\cos B, \qquad HK=a\cos B\cos C, \qquad KL=b\cos C\cos A.$$
The desired identity then follows immediately after multiplying the corresponding expressions. This is essentially the geometric content of the main proof, but organized through standard formulas for the orthic triangle.