Difference between revisions of "2001 IMO Shortlist Problems/G6"
(→Solution) |
(→Solution) |
||
(One intermediate revision by the same user not shown) | |||
Line 3: | Line 3: | ||
== Solution == | == Solution == | ||
− | |||
− | |||
− | |||
− | We use | + | Solution 1 by Mewto55555: |
+ | |||
+ | We use barycentric coordinates. | ||
So <math>A</math> is <math>(1,0,0)</math>, <math>B</math> is <math>(0,1,0)</math>, <math>C</math> is <math>(0,0,1)</math>, and <math>P</math> is <math>(p,q,r)</math>, with <math>p+q+r=1</math>. | So <math>A</math> is <math>(1,0,0)</math>, <math>B</math> is <math>(0,1,0)</math>, <math>C</math> is <math>(0,0,1)</math>, and <math>P</math> is <math>(p,q,r)</math>, with <math>p+q+r=1</math>. | ||
Line 61: | Line 60: | ||
Thus, <math>K=\frac{pq}{1-q}=\frac{\frac{p}{1-p}}{1-\frac{1}{1-p}}=\frac{p}{1-p-1}=-1</math> | Thus, <math>K=\frac{pq}{1-q}=\frac{\frac{p}{1-p}}{1-\frac{1}{1-p}}=\frac{p}{1-p-1}=-1</math> | ||
− | Therefore, if <math>[PBD]=[PCE]=[PAF]</math>, necessarily <math>[PBD]=[PCE]=[PAF]=[ABC]</math>. | + | Therefore, if <math>[PBD]=[PCE]=[PAF]</math>, necessarily <math>[PBD]=[PCE]=[PAF]=[ABC]</math>. |
== Resources == | == Resources == |
Latest revision as of 22:25, 2 April 2012
Problem
Let be a triangle and an exterior point in the plane of the triangle. Suppose the lines , , meet the sides , , (or extensions thereof) in , , , respectively. Suppose further that the areas of triangles , , are all equal. Prove that each of these areas is equal to the area of triangle itself.
Solution
Solution 1 by Mewto55555:
We use barycentric coordinates.
So is , is , is , and is , with .
Now, the equation of line is just the line , is just , and is .
Also, is just , is , and is .
Thus, the coordinates of is . Similarly, is at and is at
Now, the ratio to is just
The other ratios are similarly and
Since , we have and we want to show that .
Thus, we have .
Since none of (else would be on one of the sides of ):
.
We know . Substuting:
.
From the first and third, we get that
Now consider first and second;
Subbing back in :
which rearranges to
If , then , so is in the triangle (as all of ) contradiction.
Thus, we have
So,
Thus,
Therefore, if , necessarily .