1974 IMO Problems/Problem 2
In the triangle ABC; prove that there is a point D on side AB such that CD
is the geometric mean of AD and DB if and only if
.
Solution
Since this is an "if and only if" statement, we will prove it in two parts.
Before we begin, note a few basic but important facts.
1. When two variables and
are restricted by an equation
for some constant
, the maximum of their product occurs when
.
2. The triangle inequality states that for a triangle with sides ,
, and
fulfills
, meaning that
or
, which is equivalent to saying that
and
both cannot be less than or equal to
.
Part 1: