Difference between revisions of "2000 USAMO Problems/Problem 2"
(→Solution) |
(→Solution) |
||
Line 34: | Line 34: | ||
Then <math>s = x+y+z = 9x</math>, and <math>s-a = x, s-b = 4x, s-c = 4x</math> yields <math>a:b:c = 8:5:5</math>. Thus, we have proved that all possible ABC are isosceles (as b = c), and that they are similar to a 5-5-8 triangle. | Then <math>s = x+y+z = 9x</math>, and <math>s-a = x, s-b = 4x, s-c = 4x</math> yields <math>a:b:c = 8:5:5</math>. Thus, we have proved that all possible ABC are isosceles (as b = c), and that they are similar to a 5-5-8 triangle. | ||
<math>\blacksquare</math> | <math>\blacksquare</math> | ||
+ | == Solution 2 == | ||
+ | Let <math>A</math>, <math>B</math>, <math>C</math> are the three angles of the triangle, then <math>r/AP = \tan{(A/2)}</math>, <math>r/BQ=\tan{(B/2)}</math>, and <math>r/CR=\tan{(C/2)}</math>. Without loss of generality, assume <math>CR=min{(AP,BQ,CR)}</math>. Denote <math>x=\tan{(A/2)}</math>, <math>x=\tan{(B/2)}</math>, <math>z=\tan{(C/2)}</math>, then we have, | ||
+ | <cmath>5(x+y+z)- 2z=6 \qquad \qquad (1) </cmath> | ||
+ | Meanwhile, | ||
+ | <cmath>z = \tan{(C/2)} = \tan{(90- (A+B)/2))} = \frac{1-xy}{x+y} </cmath> | ||
+ | Substitute <math>z</math> in <math>(1)</math>, we get | ||
+ | <cmath>5x^{2}+8xy+5y^{2} - 6x - 6y+2=0 \qquad \qquad (2) </cmath> | ||
+ | Treating (2) as a quadratic equation for <math>x</math>, the determinant is: | ||
+ | <cmath>\Delta = (8y-6)^2 - 4*5(5y^2-6y+2)=-36y^2+24y-4 = -(6y-2)^2 \leq 0</cmath> | ||
+ | Therefore, for <math>x</math>, <math>y</math> to be both real numbers, <math>\Delta</math> must be 0, which yields <math>y=1/3</math>. Similarly, treating <math>(2)</math> as the quadratic equation of <math>y</math>, we get <math>x=1/3</math>. Using the formula <math>tan(A)=\frac{2tan(A/2)}{1-tan^2(A/2)}</math>, we have <math>tan(A)=tan(B)=3/4</math>. Since <math>C</math> is the largest angle in the triangle, we have <math>0 < A,B <90</math>, therefore <math>A=B</math>. This proves that all possible triangle <math>ABC</math> are isosceles with the same set of angles, i.e., they are similar. | ||
+ | |||
+ | It's inconsequential to the proof, but it can be easily found that, since <math>tan(A) = 3/4</math>, the altitude to the base of the isosceles triangle divide the triangle into two 3-4-5 right triangles with <math>4</math> on the base; therefore, the entire triangle is 5-5-8. <math>\square</math>. | ||
+ | |||
+ | Solution by <math>Mathdummy</math>. | ||
== See Also == | == See Also == |
Revision as of 04:26, 10 September 2018
Contents
Problem
Let be the set of all triangles
for which
where is the inradius and
are the points of tangency of the incircle with sides
respectively. Prove that all triangles in
are isosceles and similar to one another.
Solution
We let , and without loss of generality let
. Then
, so
. Thus,
Squaring and simplifying yields (after much grueling work)
We claim that the inequality
holds true, with equality iff .
Note that is homogeneous in
, so without loss of generality, scale so that
. Then
which is a quadratic in . As
, it suffices to show that the quadratic cannot have more than one root, or the discriminant
. Then,
as desired. Equality comes when ; since
is symmetric in
and
, it follows that
is also necessary for equality. Reversing our scaling, it follows that
.
Then , and
yields
. Thus, we have proved that all possible ABC are isosceles (as b = c), and that they are similar to a 5-5-8 triangle.
Solution 2
Let ,
,
are the three angles of the triangle, then
,
, and
. Without loss of generality, assume
. Denote
,
,
, then we have,
Meanwhile,
Substitute
in
, we get
Treating (2) as a quadratic equation for
, the determinant is:
Therefore, for
,
to be both real numbers,
must be 0, which yields
. Similarly, treating
as the quadratic equation of
, we get
. Using the formula
, we have
. Since
is the largest angle in the triangle, we have
, therefore
. This proves that all possible triangle
are isosceles with the same set of angles, i.e., they are similar.
It's inconsequential to the proof, but it can be easily found that, since , the altitude to the base of the isosceles triangle divide the triangle into two 3-4-5 right triangles with
on the base; therefore, the entire triangle is 5-5-8.
.
Solution by .
See Also
2000 USAMO (Problems • Resources) | ||
Preceded by Problem 1 |
Followed by Problem 3 | |
1 • 2 • 3 • 4 • 5 • 6 | ||
All USAMO Problems and Solutions |
The problems on this page are copyrighted by the Mathematical Association of America's American Mathematics Competitions.