1960 IMO Problems/Problem 3
Contents
[hide]Problem
In a given right triangle , the hypotenuse
, of length
, is divided into
equal parts (
an odd integer). Let
be the acute angle subtending, from
, that segment which contains the midpoint of the hypotenuse. Let
be the length of the altitude to the hypotenuse of the triangle. Prove that:

Solution
Using coordinates, let ,
, and
. Also, let
be the segment that contains the midpoint of the hypotenuse with
closer to
.
Then, , and
.
So, , and
.
Thus,
.
Since ,
and
as desired.
Solution 2
Let be points on side
such that segment
contains midpoint
, with
closer to
and (without loss of generality)
. Then if
is an altitude, then
is between
and
. Combined with the obvious fact that
is the midpoint of
(for
is odd), we have
Solution 3
Let \(\angle ACB = x\), and \(\angle ABC = 90^\circ - x\). Let \(M\) be the midpoint on the hypotenuse \(BC\), and \(Q\) and \(P\) be points such that \(PQ\) contains \(BC\), with \(Q\) closer to \(C\) and \(P\) closer to \(B\). The midpoint will always be in the middle of line \(QP\), unless \(n\) is even or infinite, which it is not. Given such a triangle, we can express the altitude to the hypotenuse as:
Next, we shall denote line \(AM\) as \(f\), where \(AM\) is the median to the hypotenuse. This means that line \(AM = BM = CM\), and as \(BM = \frac{a}{2}\), we have:
We know that \(\angle MAB = 90^\circ - x\), and \(\angle MAC = x\). This means that \(\angle AMB = 2x\) and \(\angle AMC = 180^\circ - 2x\). The length of \(QP\) is \(\frac{a}{n}\). Let \(\angle QAM = k\) and \(\angle PAM = z\), such that \(\angle QAP\) (or \(\alpha\)) equals \(k + z\). This means that \(\angle AQM = 2x - k\), and \(\angle APM = 180^\circ - 2x - z\).
As \(M\) is in the middle of \(QP\), we have \(QM = PM = \frac{a}{2n}\). Applying the sine law on triangle \(AQM\), we get:
Simplifying:
Using the identity \(\sin(2x - k) = \sin(2x) \cos(k) - \cos(2x) \sin(k)\), and since \(\sin(2x) = 2 \sin(x) \cos(x)\), we substitute:
Thus:
Now, we know that:
Substituting this into the equation:
Factoring out \(\sin(k)\):
Thus:
By performing similar steps with \(\tan(z)\), we can use the addition formula for \(\tan(z+k)\) to find \(\tan(\alpha)\), where \(\alpha = z + k\).
Courtesy of Gordon Freeman
See Also
1960 IMO (Problems) | ||
Preceded by Problem 2 |
1 • 2 • 3 • 4 • 5 • 6 • 7 | Followed by Problem 4 |