Difference between revisions of "1967 IMO Problems/Problem 4"

m
m
Line 30: Line 30:
 
(More about this later.)
 
(More about this later.)
  
 +
The quantities <math>a_0, b_0, c_0, \angle B, \angle C</math> are given.  From
 +
this data, <math>\angle A_0, \angle B_0, \angle C_0, \angle A</math> are known and
 +
constructible.  We will compute <math>BC</math> in terms of <math>\angle \alpha</math> and
 +
these quantities.  This will be a function in the variable <math>\alpha</math>,
 +
and we will find the value of <math>\alpha</math> for which this function attains
 +
its maximum.
 +
 +
We will start by computing <math>A_0B</math>.  We will use the law of sines in
 +
<math>\triangle A_0C_0B</math>.  We get
 +
<math>\frac{A_0B}{\sin (\pi - B - \alpha)} = \frac{b_0}{\sin B}</math>, and a
 +
similar equality from <math>\triangle A_0B_0C</math> (for <math>A_0C</math>).  We obtain
 +
 +
<math>BC = A_0B + A_0C = \frac{b_0}{\sin B} \sin (B + \alpha) +
 +
\frac{c_0}{\sin C} \sin (A_0 - C + \alpha) = f(\alpha)</math>
 +
 +
We can now proceed in two ways.  We could use the formula for linear
 +
combination of sine functions with same period but different phase
 +
shifts (see
 +
https://en.wikipedia.org/wiki/List_of_trigonometric_identities#Linear_combinations
 +
or https://mathworld.wolfram.com/HarmonicAdditionTheorem.html , (13)-(23))
 +
or use calculus to find <math>\alpha</math> for which <math>f(\alpha)</math> has its maximum value.
 +
 +
With the first method, we would obtain that
 +
<math>f(\alpha) = D \sin (\alpha + \theta)</math> for certain <math>D</math> and <math>\theta</math>,
 +
and we would choose <math>\alpha</math> such that <math>\alpha + \theta = \pi/2</math>.
 +
But we will use calculus, as a more mainstream approach.  Compute the
 +
derivative <math>f'(\alpha)</math> and consider the equation <math>f'(\alpha) = 0</math>.
 +
Use the formula for <math>\cos</math> of sum of angles, and rearrange terms.
 +
 +
We have
 +
 +
<math>\cos \alpha \cdot \left [ \frac{b_0}{\sin B} \cdot \cos B +
 +
\frac{c_0}{\sin C} \cdot \cos (A_0 - C) \right ]=
 +
\sin \alpha \cdot \left [ \frac{b_0}{\sin B} \cdot \sin B +
 +
\frac{c_0}{\sin C} \cdot \sin (A_0 - C) \right ]</math>
 +
 +
Finally,
 +
 +
<math>\alpha = \arctan \frac{b_0 \cos B \sin C + c_0 \sin B \cos (A_0 - C)}
 +
{b_0 \sin B \sin C + c_0 \sin B \sin (A_0 - C)}</math>
  
  

Revision as of 18:16, 3 September 2024

Let $A_0B_0C_0$ and $A_1B_1C_1$ be any two acute-angled triangles. Consider all triangles $ABC$ that are similar to $\triangle A_1B_1C_1$ (so that vertices $A_1$, $B_1$, $C_1$ correspond to vertices $A$, $B$, $C$, respectively) and circumscribed about triangle $A_0B_0C_0$ (where $A_0$ lies on $BC$, $B_0$ on $CA$, and $AC_0$ on $AB$). Of all such possible triangles, determine the one with maximum area, and construct it.


Solution

We construct a point $P$ inside $A_0B_0C_0$ s.t. $\angle X_0PY_0=\pi-\angle X_1Z_1Y_1$, where $X,Y,Z$ are a permutation of $A,B,C$. Now construct the three circles $\mathcal C_A=(B_0PC_0),\mathcal C_B=(C_0PA_0),\mathcal C_C=(A_0PB_0)$. We obtain any of the triangles $ABC$ circumscribed to $A_0B_0C_0$ and similar to $A_1B_1C_1$ by selecting $A$ on $\mathcal C_A$, then taking $B= AB_0\cap \mathcal C_C$, and then $B=CA_0\cap\mathcal C_B$ (a quick angle chase shows that $B,C_0,A$ are also colinear).

We now want to maximize $BC$. Clearly, $PBC$ always has the same shape (i.e. all triangles $PBC$ are similar), so we actually want to maximize $PB$. This happens when $PB$ is the diameter of $\mathcal C_B$. Then $PA_0\perp BC$, so $PC$ will also be the diameter of $\mathcal C_C$. In the same way we show that $PA$ is the diameter of $\mathcal C_A$, so everything is maximized, as we wanted.

This solution was posted and copyrighted by grobber. The thread can be found here: [1]


Solution 2

Since all the triangles $\triangle ABC$ circumscribed to $\triangle A_0B_0C_0$ are similar, the one with maximum area will be the one with maximum sides, or equivalently, the one with maximum side $BC$. So we will try to maximize $BC$.

The plan is to find the value of $\alpha$ which maximizes $BC$.

Prob 1967 4 fig1.png

Note that for any $\alpha$ we can construct the line through $A_0$ which forms the angle $\alpha$ with $A_0C_0$. We can construct points $B, C$ on this line, and lines through these points which form angles $\angle B, \angle C$ with the line, and which pass through $C_0, B_0$ respectively. Since $\triangle A_0B_0C_0, \triangle A_1B_1C_1$ are acute, $A_0$ is between $B, C$ and these lines will meet at a point $A$ such that $B_0$ is between $A, C$ and $C_0$ is between $A, B$.

(More about this later.)

The quantities $a_0, b_0, c_0, \angle B, \angle C$ are given. From this data, $\angle A_0, \angle B_0, \angle C_0, \angle A$ are known and constructible. We will compute $BC$ in terms of $\angle \alpha$ and these quantities. This will be a function in the variable $\alpha$, and we will find the value of $\alpha$ for which this function attains its maximum.

We will start by computing $A_0B$. We will use the law of sines in $\triangle A_0C_0B$. We get $\frac{A_0B}{\sin (\pi - B - \alpha)} = \frac{b_0}{\sin B}$, and a similar equality from $\triangle A_0B_0C$ (for $A_0C$). We obtain

$BC = A_0B + A_0C = \frac{b_0}{\sin B} \sin (B + \alpha) + \frac{c_0}{\sin C} \sin (A_0 - C + \alpha) = f(\alpha)$

We can now proceed in two ways. We could use the formula for linear combination of sine functions with same period but different phase shifts (see https://en.wikipedia.org/wiki/List_of_trigonometric_identities#Linear_combinations or https://mathworld.wolfram.com/HarmonicAdditionTheorem.html , (13)-(23)) or use calculus to find $\alpha$ for which $f(\alpha)$ has its maximum value.

With the first method, we would obtain that $f(\alpha) = D \sin (\alpha + \theta)$ for certain $D$ and $\theta$, and we would choose $\alpha$ such that $\alpha + \theta = \pi/2$. But we will use calculus, as a more mainstream approach. Compute the derivative $f'(\alpha)$ and consider the equation $f'(\alpha) = 0$. Use the formula for $\cos$ of sum of angles, and rearrange terms.

We have

$\cos \alpha \cdot \left [ \frac{b_0}{\sin B} \cdot \cos B + \frac{c_0}{\sin C} \cdot \cos (A_0 - C) \right ]= \sin \alpha \cdot \left [ \frac{b_0}{\sin B} \cdot \sin B + \frac{c_0}{\sin C} \cdot \sin (A_0 - C) \right ]$

Finally,

$\alpha = \arctan \frac{b_0 \cos B \sin C + c_0 \sin B \cos (A_0 - C)} {b_0 \sin B \sin C + c_0 \sin B \sin (A_0 - C)}$




(Solution by pf02, September 2024)

TO BE CONTINUED. I AM SAVING MID WAY SO AS NOT TO LOSE WORK DONE SO FAR.

See Also

1967 IMO (Problems) • Resources
Preceded by
Problem 3
1 2 3 4 5 6 Followed by
Problem 5
All IMO Problems and Solutions