Art of Problem Solving
AoPS Online
Math texts, online classes, and more
for students in grades 5-12.
Visit AoPS Online ‚
Books for Grades 5-12 Online Courses
Beast Academy
Engaging math books and online learning
for students ages 6-13.
Visit Beast Academy ‚
Books for Ages 6-13 Beast Academy Online
AoPS Academy
Small live classes for advanced math
and language arts learners in grades 2-12.
Visit AoPS Academy ‚
Find a Physical Campus Visit the Virtual Campus

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

m
Line 16: Line 16:
 
equivalently, the one with maximum side <math>BC</math>.  So we will try to maximize <math>BC</math>.
 
equivalently, the one with maximum side <math>BC</math>.  So we will try to maximize <math>BC</math>.
  
−
The plan is to find the value of <math>\alpha</math> which maximizes <math>BC</math>.
+
The plan is to find the value of <math>\alpha = \angle (BA_0C_0)</math> which maximizes <math>BC</math>.
  
 
[[File:Prob_1967_4_fig1.png|600px]]
 
[[File:Prob_1967_4_fig1.png|600px]]
Line 22: Line 22:
 
Note that for any <math>\alpha</math> we can construct the line through <math>A_0</math> which
 
Note that for any <math>\alpha</math> we can construct the line through <math>A_0</math> which
 
forms the angle <math>\alpha</math> with <math>A_0C_0</math>.  We can construct points <math>B, C</math>
 
forms the angle <math>\alpha</math> with <math>A_0C_0</math>.  We can construct points <math>B, C</math>
−
on this line, and lines through these points which form angles
+
on this line, and lines through these points which form the given angles
−
<math>\angle B, \angle C</math> with the line, and which pass through <math>C_0, B_0</math>
+
<math>\angle B = \angle B_1, \angle C = \angle C_1</math> with the line, and which
−
respectively.  Since <math>\triangle A_0B_0C_0, \triangle A_1B_1C_1</math> are acute,
+
pass through <math>C_0, B_0</math> respectively.  Since
−
<math>A_0</math> is between <math>B, C</math> and these lines will meet at a point <math>A</math> such that
+
<math>\triangle A_0B_0C_0, \triangle A_1B_1C_1</math> are acute, <math>A_0</math> is between
−
<math>B_0</math> is between <math>A, C</math> and <math>C_0</math> is between <math>A, B</math>.
+
<math>B, C</math> and these lines will meet at a point <math>A</math> such that <math>B_0</math> is
 +
between <math>A, C</math> and <math>C_0</math> is between <math>A, B</math>.
  
 
(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
 
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
+
this data, <math>\angle A_0, \angle B_0, \angle C_0, \angle A</math> are known
−
constructible.  We will compute <math>BC</math> in terms of <math>\angle \alpha</math> and
+
and constructible.  We will compute <math>BC</math> in terms of <math>\alpha</math> and
 
these quantities.  This will be a function in the variable <math>\alpha</math>,
 
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
 
and we will find the value of <math>\alpha</math> for which this function attains
Line 74: Line 75:
 
a point of maximum for <math>f(\alpha)</math>.
 
a point of maximum for <math>f(\alpha)</math>.
  
−
Now to answer the "and construct it" part of the problem, we
+
Now to answer the "and construct it" at the end of the statement of the
−
will show that everything we did is constructible, rather than
+
problem, we will show that everything we did is constructible, rather
−
give a lengthy, boring step by step construction.  Recall that
+
than describe a lengthy, boring step by step construction.  Recall that
−
we already discussed that we can construct <math>\triangle ABC</math> if
+
we already discussed that we can construct <math>\triangle ABC</math> if we know
−
we know <math>\alpha</math>.  We just need to show that we can construct
+
<math>\alpha</math>.  We just need to show that we can construct <math>\alpha</math>.  We can
−
<math>\alpha</math>.  We can construct differences of angles, and given an
+
construct differences of angles, and given an angle we can construct
−
angle we can construct two segments whose ratio is the <math>\sin</math>
+
two segments whose ratio is the <math>\sin</math> (or the <math>\cos</math>, or the <math>\tan</math>)
−
(or the <math>\cos</math>, or the <math>\tan</math>) of the given angle, and vice-versa.
+
of the given angle, and vice-versa. Given three segments <math>x, y, z</math> we
−
Given three segments <math>x, y, z</math> we can construct the segment
+
can construct the segment <math>x \cdot \frac{y}{z}</math>.  Thus, the expression
−
<math>x \cdot \frac{y}{z}</math>.  Thus, the expression giving <math>\alpha</math>
+
giving <math>\alpha</math> is constructible.
−
is constructible.
 
  
 
(Solution by pf02, September 2024)
 
(Solution by pf02, September 2024)
  
  
−
==(Remarks (added by pf02, September 2024)==
+
==Remarks (added by pf02, September 2024)==
  
 
1. In solution 2, I show where I use the condition that the triangles
 
1. In solution 2, I show where I use the condition that the triangles
 
are assumed to be acute.  The first solution does not make this clear.
 
are assumed to be acute.  The first solution does not make this clear.
 
It seems intuitively true that the condition is not necessary.  In
 
It seems intuitively true that the condition is not necessary.  In
−
other words, a circumscribed triangle exists, and it can be constructed
+
other words, a circumscribed triangle <math>\triangle ABC</math> exists, and it
−
even when one or both of the triangles are right or obtuse.  The condition
+
can be constructed even when one or both of the given triangles
−
seems to be necessary only for simplifying the proof.  In the general case,
+
<math>\triangle A_0B_0C_0, \triangle A_1B_1C_1</math> are right or obtuse.  The
−
we may need to rearrange the labeling of the vertices.
+
condition seems to be necessary only for simplifying the proof.  In
 +
the general case, we may need to rearrange the labeling of the vertices.
  
 
2. Solution 1 is elegant, even though its presentation would have benefited
 
2. Solution 1 is elegant, even though its presentation would have benefited
Line 103: Line 104:
 
Solution 2 does not give much geometric insight, but it is computationally
 
Solution 2 does not give much geometric insight, but it is computationally
 
very explicit.  The two solutions are so different that it is worth taking
 
very explicit.  The two solutions are so different that it is worth taking
−
a little time to show that they are equivalent.
+
a little time to show that they are equivalent.  I will outline the steps
 +
of the computation.
  
 
To show that they are equivalent, put the pictures together:
 
To show that they are equivalent, put the pictures together:
Line 109: Line 111:
 
[[File:Prob_1967_4_fig2.png|600px]]
 
[[File:Prob_1967_4_fig2.png|600px]]
  
 +
The idea from Solution 1 is to construct the circles circumscribed to
 +
<math>\triangle A_0C_0B</math> and <math>\triangle A_0B_0C</math>.  They intersect at <math>P</math>.
 +
Consider the angles <math>\beta, \gamma</math> shown on the picture.  We have
  
 +
<math>\frac{A_0P}{\sin \beta} = \frac{A_0B}{sin (\angle A_0PB)} =
 +
\frac{A_0B}{\sin (\angle A_0C_0B)} = \frac{b_0}{\sin B}</math>
  
 +
The first equality follows from the law of sines in <math>\triangle A_0PB</math>,
 +
the second follows from the equality of angles in a circle spanning the
 +
same arc, the third follows from the law of sines in <math>\triangle A_0C_0B</math>.
 +
We gat <math>A_0P = \frac{b_0 \sin \beta}{\sin B}</math>.  Similarly, we get
 +
<math>A_0P = \frac{c_0 \sin \gamma}{\sin C}</math> from the other side of <math>A_0P</math>.
  
 +
On the other hand, we have
  
−
TO BE CONTINUED.  I AM SAVING MID WAY SO AS NOT TO LOSE WORK DONE SO FAR.
+
<math>\beta + \gamma = \pi - \angle (CPB) =
 +
\pi - [2\pi - \angle (CPB_0) - \angle (B_0PC_0) - \angle (C_0PB)] =</math>
 +
 
 +
<math>-\pi + \angle (CA_0B_0) + (\pi - \angle A) + \angle (C_0A_0B) =
 +
-\pi + (\pi - \angle A) + (\pi - \angle A_0) =
 +
\pi - \angle A - \angle A_0</math>
 +
 
 +
Solve for <math>\gamma</math> and substitute in
 +
<math>\frac{b_0 \sin \beta}{\sin B} = \frac{c_0 \sin \gamma}{\sin C}</math>
 +
to obtain one equation in <math>\beta</math>.
 +
 
 +
Now use the fact that <math>PB</math> is a diameter to write an equation between
 +
<math>\alpha</math> and <math>\beta</math>:
 +
 
 +
<math>\alpha = \pi - \angle B - \angle (BC_0A_0) =
 +
\pi - \angle B - \angle (BPA_0) =
 +
\pi - \angle B - (\frac{\pi}{2} - \beta) =
 +
\frac{\pi}{2} - \angle B + \beta</math>
 +
 
 +
Solve for <math>\beta</math> in terms of <math>\alpha</math> and substitute in the equation
 +
in <math>\beta</math> obtained before.  After some straightforward computations
 +
we get exactly the equation in <math>\alpha</math> we had in Solution 2.  The
 +
interested reader can easily work out the details, they are just
 +
straightforward algebraic computations.
  
 
== See Also ==  
 
== See Also ==  

Revision as of 02:37, 4 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 = \angle (BA_0C_0)$ 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 the given angles $\angle B = \angle B_1, \angle C = \angle C_1$ 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 $\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)}$

It is easy to verify that this value is valid, and it is indeed a point of maximum for $f(\alpha)$.

Now to answer the "and construct it" at the end of the statement of the problem, we will show that everything we did is constructible, rather than describe a lengthy, boring step by step construction. Recall that we already discussed that we can construct $\triangle ABC$ if we know $\alpha$. We just need to show that we can construct $\alpha$. We can construct differences of angles, and given an angle we can construct two segments whose ratio is the $\sin$ (or the $\cos$, or the $\tan$) of the given angle, and vice-versa. Given three segments $x, y, z$ we can construct the segment $x \cdot \frac{y}{z}$. Thus, the expression giving $\alpha$ is constructible.

(Solution by pf02, September 2024)


Remarks (added by pf02, September 2024)

1. In solution 2, I show where I use the condition that the triangles are assumed to be acute. The first solution does not make this clear. It seems intuitively true that the condition is not necessary. In other words, a circumscribed triangle $\triangle ABC$ exists, and it can be constructed even when one or both of the given triangles $\triangle A_0B_0C_0, \triangle A_1B_1C_1$ are right or obtuse. The condition seems to be necessary only for simplifying the proof. In the general case, we may need to rearrange the labeling of the vertices.

2. Solution 1 is elegant, even though its presentation would have benefited a lot from some editing. It gives a nice geometric insight into the problem. Solution 2 does not give much geometric insight, but it is computationally very explicit. The two solutions are so different that it is worth taking a little time to show that they are equivalent. I will outline the steps of the computation.

To show that they are equivalent, put the pictures together:

Prob 1967 4 fig2.png

The idea from Solution 1 is to construct the circles circumscribed to $\triangle A_0C_0B$ and $\triangle A_0B_0C$. They intersect at $P$. Consider the angles $\beta, \gamma$ shown on the picture. We have

$\frac{A_0P}{\sin \beta} = \frac{A_0B}{sin (\angle A_0PB)} = \frac{A_0B}{\sin (\angle A_0C_0B)} = \frac{b_0}{\sin B}$

The first equality follows from the law of sines in $\triangle A_0PB$, the second follows from the equality of angles in a circle spanning the same arc, the third follows from the law of sines in $\triangle A_0C_0B$. We gat $A_0P = \frac{b_0 \sin \beta}{\sin B}$. Similarly, we get $A_0P = \frac{c_0 \sin \gamma}{\sin C}$ from the other side of $A_0P$.

On the other hand, we have

$\beta + \gamma = \pi - \angle (CPB) = \pi - [2\pi - \angle (CPB_0) - \angle (B_0PC_0) - \angle (C_0PB)] =$

$-\pi + \angle (CA_0B_0) + (\pi - \angle A) + \angle (C_0A_0B) = -\pi + (\pi - \angle A) + (\pi - \angle A_0) = \pi - \angle A - \angle A_0$

Solve for $\gamma$ and substitute in $\frac{b_0 \sin \beta}{\sin B} = \frac{c_0 \sin \gamma}{\sin C}$ to obtain one equation in $\beta$.

Now use the fact that $PB$ is a diameter to write an equation between $\alpha$ and $\beta$:

$\alpha = \pi - \angle B - \angle (BC_0A_0) = \pi - \angle B - \angle (BPA_0) = \pi - \angle B - (\frac{\pi}{2} - \beta) = \frac{\pi}{2} - \angle B + \beta$

Solve for $\beta$ in terms of $\alpha$ and substitute in the equation in $\beta$ obtained before. After some straightforward computations we get exactly the equation in $\alpha$ we had in Solution 2. The interested reader can easily work out the details, they are just straightforward algebraic computations.

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
Retrieved from "https://artofproblemsolving.com/wiki/index.php?title=1967_IMO_Problems/Problem_4&oldid=226430"