Difference between revisions of "2001 IMO Problems/Problem 1"

m
m (Solution)
 
(9 intermediate revisions by 5 users not shown)
Line 3: Line 3:
  
 
== Solution ==
 
== Solution ==
{{solution}}
+
Take <math>D</math> on the circumcircle with <math>AD \parallel  BC</math>. Notice that <math>\angle CBD = \angle BCA</math>, so <math>\angle ABD \ge 30^\circ</math>. Hence <math>\angle AOD \ge 60^\circ</math>. Let <math>Z</math> be the midpoint of <math>AD</math> and <math>Y</math> the midpoint of <math>BC</math>. Then <math>AZ \ge R/2</math>, where <math>R</math> is the radius of the circumcircle. But <math>AZ = YP</math> (since <math>AZYP</math> is a rectangle).
 +
 
 +
Now <math>O</math> cannot coincide with <math>Y</math> (otherwise <math>\angle A</math> would be <math>90^\circ</math> and the triangle would not be acute-angled). So <math>OP > YP \ge R/2</math>. But <math>PC = YC - YP < R - YP \le R/2</math>. So <math>OP > PC</math>.
 +
 
 +
Hence <math>\angle COP < \angle OCP</math>. Let <math>CE</math> be a diameter of the circle, so that <math>\angle OCP = \angle ECB</math>. But <math>\angle ECB = \angle EAB</math> and <math>\angle EAB + \angle BAC = \angle EAC = 90^\circ</math>, since <math>EC</math> is a diameter. Hence <math>\angle COP + \angle BAC < 90^\circ</math>.
 +
 
 +
==Solution 2==
 +
Notice that because <math>\angle{PCO} = 90^\circ - \angle{A}</math>, it suffices to prove that <math>\angle{POC} < \angle{PCO}</math>, or equivalently <math>PC < PO.</math>
 +
 
 +
Suppose on the contrary that <math>PC > PO</math>. By the triangle inequality, <math>2 PC = PC + PC > PC + PO > CO = R</math>, where <math>R</math> is the circumradius of <math>ABC</math>. But the Law of Sines and basic trigonometry gives us that <math>PC = 2R \sin B \cos C</math>, so we have <math>4 \sin B \cos C > 1</math>. But we also have <math>4 \sin B \cos C \le 4 \sin B \cos (B + 30^\circ) = 2 (\sin (2B + 30^\circ) - \sin 30^\circ) \le 2 (1 - \frac{1}{2}) = 1</math> because <math>\angle{C} \ge \angle{B} + 30^\circ</math>, and so we have a contradiction. Hence <math>PC < PO</math> and so <math>\angle{PCO} + \angle{A} < 90^\circ</math>, as desired.
  
 
== See also ==
 
== See also ==

Latest revision as of 16:24, 21 July 2018

Problem

Consider an acute triangle $\triangle ABC$. Let $P$ be the foot of the altitude of triangle $\triangle ABC$ issuing from the vertex $A$, and let $O$ be the circumcenter of triangle $\triangle ABC$. Assume that $\angle C \geq \angle B+30^{\circ}$. Prove that $\angle A+\angle COP < 90^{\circ}$.

Solution

Take $D$ on the circumcircle with $AD \parallel  BC$. Notice that $\angle CBD = \angle BCA$, so $\angle ABD \ge 30^\circ$. Hence $\angle AOD \ge 60^\circ$. Let $Z$ be the midpoint of $AD$ and $Y$ the midpoint of $BC$. Then $AZ \ge R/2$, where $R$ is the radius of the circumcircle. But $AZ = YP$ (since $AZYP$ is a rectangle).

Now $O$ cannot coincide with $Y$ (otherwise $\angle A$ would be $90^\circ$ and the triangle would not be acute-angled). So $OP > YP \ge R/2$. But $PC = YC - YP < R - YP \le R/2$. So $OP > PC$.

Hence $\angle COP < \angle OCP$. Let $CE$ be a diameter of the circle, so that $\angle OCP = \angle ECB$. But $\angle ECB = \angle EAB$ and $\angle EAB + \angle BAC = \angle EAC = 90^\circ$, since $EC$ is a diameter. Hence $\angle COP + \angle BAC < 90^\circ$.

Solution 2

Notice that because $\angle{PCO} = 90^\circ - \angle{A}$, it suffices to prove that $\angle{POC} < \angle{PCO}$, or equivalently $PC < PO.$

Suppose on the contrary that $PC > PO$. By the triangle inequality, $2 PC = PC + PC > PC + PO > CO = R$, where $R$ is the circumradius of $ABC$. But the Law of Sines and basic trigonometry gives us that $PC = 2R \sin B \cos C$, so we have $4 \sin B \cos C > 1$. But we also have $4 \sin B \cos C \le 4 \sin B \cos (B + 30^\circ) = 2 (\sin (2B + 30^\circ) - \sin 30^\circ) \le 2 (1 - \frac{1}{2}) = 1$ because $\angle{C} \ge \angle{B} + 30^\circ$, and so we have a contradiction. Hence $PC < PO$ and so $\angle{PCO} + \angle{A} < 90^\circ$, as desired.

See also

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