1974 IMO Problems/Problem 2: Difference between revisions
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
==Problem== | ==Problem== | ||
In the triangle <math>ABC</math>, prove that there is a point <math>D</math> on side <math>AB</math> such that <math>CD</math> is the geometric mean of <math>AD</math> and <math>DB</math> if and only if <math>\sin{A}\sin{B} \leq | In the triangle <math>ABC</math>, prove that there is a point <math>D</math> on side <math>AB</math> such that <math>CD</math> is the geometric mean of <math>AD</math> and <math>DB</math> if and only if <math>\sin{A}\sin{B} \leq \sin^2 \frac{C}{2}</math>. | ||
| Line 55: | Line 55: | ||
The above solution was posted and copyrighted by pontios. | The above solution was posted and copyrighted by pontios. | ||
==Solution 2== | |||
First, assume that <math>CD^2 = AD \cdot DB</math>. We want to prove that | |||
<math>\sin{A}\sin{B} \le \sin^2 \frac{C}{2}</math>. | |||
Let <math>C_1 = \angle ACD</math> and <math>C_2 = \angle DCB</math>. | |||
[[File:prob_1974_2_2.png|800px]] | |||
Revision as of 18:59, 1 October 2025
Problem
In the triangle
, prove that there is a point
on side
such that
is the geometric mean of
and
if and only if
.
Solution
Let a point
on the side
.
Let
the altitude of the triangle
, and
the symmetric point of
through
.
We bring a parallel line
from
to
. This line intersects the ray
at the point
, and we know that
.
The distance
between the parallel lines
and
is
.
Let
the circumscribed circle of
, and
the perpendicular diameter to
, such that
are on difererent sides of the line
.
In fact, the problem asks when the line
intersects the circumcircle. Indeed:
Suppose that
is the geometric mean of
.
Then, from the power of
we can see that
is also a point of the circle
.
Or else, the line
intersects
where
is the altitude of the isosceles
.
We use the formulas:
,
and
So we have
Error creating thumbnail: File missing
For
Suppose that
Then we can go inversely and we find that
the line
intersects the circle
(without loss of generality; if
then
is tangent to
at
)
So, if
then for the point
we have
and
The above solution was posted and copyrighted by pontios.
Solution 2
First, assume that
. We want to prove that
.
Let
and
.
The original thread for this problem can be found here: [1]
See Also
| 1974 IMO (Problems) • Resources | ||
| Preceded by Problem 1 |
1 • 2 • 3 • 4 • 5 • 6 | Followed by Problem 3 |
| All IMO Problems and Solutions | ||
