Difference between revisions of "1970 Canadian MO Problems/Problem 2"
(Created page with "== Problem == Given a triangle <math>ABC</math> with angle <math>A</math> obtuse and with altitudes of length <math>h</math> and <math>k</math> as shown in the diagram, prove th...") |
Abourque72 (talk | contribs) (→Solution) |
||
(2 intermediate revisions by one other user not shown) | |||
Line 4: | Line 4: | ||
− | + | ||
+ | <asy> | ||
+ | draw((0,0)--(5,0)--(16/5,12/5)--cycle,dot); | ||
+ | draw((2.5,0)--(2.5,7.5/4)--(5,0)--cycle,black); | ||
+ | MP("C",(0,0),SW);MP("D",(16/5,12/5),N);MP("B",(5,0),SE); | ||
+ | MP("E",(2.5,0),NE);MP("A",(2.5,7.5/4),N); | ||
+ | MP("h",(2.5,7.5/8),W);MP("k",(41/10,6/5),NE); | ||
+ | draw((-.2,.2)--(2.5-.2,7.5/4+.2),arrow=ArcArrow(TeXHead)); | ||
+ | draw((2.5-.2,7.5/4+.2)--(-.2,.2),arrow=ArcArrow(TeXHead)); | ||
+ | MP("b",(2.3/2-.05,7.5/8+.25),N); | ||
+ | draw((0,-.2)--(5,-.2),arrow=ArcArrow(TeXHead)); | ||
+ | draw((5,-.2)--(0,-.2),arrow=ArcArrow(TeXHead)); | ||
+ | MP("a",(2.5,-.2),S); | ||
+ | draw((16/5,12/5)--(16/5-.2,12/5-.15)--(16/5-.2+.15,12/5-.15-.2)--(16/5+.15,12/5-.2)--cycle,black); | ||
+ | </asy> | ||
+ | |||
== Solution == | == Solution == | ||
+ | There is, in fact, no equality case: <math>a + h > b + k</math>. In triangle <math>ACE</math>, we have <math>b > h</math> since it is a right triangle. Since angle <math>A</math> is obtuse we have <math>a > b</math>, or <math>(a-b) > 0</math>. Then <math>(a-b) > h(a-b)/b</math>, or <math>a - b > ha/b - h</math>. Here we can use the fact that <math>(a,h)</math> and <math>(b,k)</math> are base-altitude pairs so <math>k = ha/b</math>. Therefore <math>a - b > k - h</math>, so <math>a + h > b + k</math>. |
Latest revision as of 19:32, 5 June 2018
Problem
Given a triangle with angle obtuse and with altitudes of length and as shown in the diagram, prove that . Find under what conditions .
Solution
There is, in fact, no equality case: . In triangle , we have since it is a right triangle. Since angle is obtuse we have , or . Then , or . Here we can use the fact that and are base-altitude pairs so . Therefore , so .