Difference between revisions of "1974 IMO Problems/Problem 2"
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 19:59, 1 October 2025
Contents
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
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 |