Difference between revisions of "2001 IMO Shortlist Problems/G3"
(New page: == Problem == Let <math>ABC</math> be a triangle with centroid <math>G</math>. Determine, with proof, the position of the point <math>P</math> in the plane of <math>ABC</math> such that <m...) |
|||
Line 3: | Line 3: | ||
== Solution == | == Solution == | ||
− | {{ | + | We claim that the expression is minimized at <math>P=G</math>, resulting it having a value of <math>(a^2+b^2+c^2)/3</math> (<math>a,b,c</math> being the side lengths of <math>ABC</math>). |
+ | |||
+ | We will use vectors, with <math>G=\vec{0}</math> (meaning that <math>\vec A+\vec B+\vec C=\vec 0</math>). Note that by Cauchy-Schwarz, | ||
+ | <cmath>\|\vec A\| \|\vec A-\vec P \|+\|\vec B\|\|\vec B-\vec P \|+\|\vec C\| \|\vec C-\vec P \|</cmath> <cmath>\ge \vec A\cdot (\vec A-\vec P) +\vec B\cdot (\vec B-\vec P)+\vec C\cdot (\vec C-\vec P) </cmath> | ||
+ | <cmath>=\|\vec A\|^2+\|\vec B\|^2+\|\vec C\|^2-\vec P\cdot (\vec A+\vec B+\vec C)=\|\vec A\|^2+\|\vec B\|^2+\|\vec C\|^2, </cmath> | ||
+ | and this bound is clearly reached by <math>\vec P=\vec 0</math>. Furthermore, equality is only reached when <math>\vec A</math>, <math>\vec B</math>, <math>\vec C</math> are scalar multiples of <math>\vec A-\vec P</math>, <math>\vec B-\vec P</math>, <math>\vec C-\vec P</math>, respectively. This means that <math>\vec P</math> is a scalar multiple of <math>\vec A</math>, <math>\vec B</math>, and <math>\vec C</math>, so <math>\vec P=\vec 0</math>. (Note that <math>\vec A</math> and <math>\vec B</math> are linearly independent, since the centroid is not on <math>AB</math>.) | ||
+ | |||
+ | Now all that remains is to calculate <math>\|\vec A\|^2+\|\vec B\|^2+\|\vec C\|^2=AG^2+BG^2+CG^2</math>. To calculate <math>AG</math>, first let <math>D</math> be the midpoint of <math>BC</math>. Then by Stewart's theorem, | ||
+ | <cmath>AD^2\cdot a+\frac{a^3}{4}=\frac{b^2a}{2}+\frac{c^2a}{2} </cmath> | ||
+ | <cmath>AD^2=\frac{b^2}{2}+\frac{c^2}{2}-\frac{a^2}{4}=\frac{2b^2+2c^2-a^2}{4}. </cmath> | ||
+ | |||
+ | Furthermore, <math>AG=2/3\cdot AD</math>, so | ||
+ | <cmath>AG^2=\frac{2b^2+2c^2-a^2}{9}. </cmath> | ||
+ | By similar reasoning, we can calculate <math>BG^2=(2c^2+2a^2-b^2)/9</math> and <math>CG^2=(2a^2+2b^2-c^2)/9</math>, so | ||
+ | <cmath>AG^2+BG^2+CG^2=\frac{a^2+b^2+c^2}{3}. </cmath> | ||
+ | |||
+ | <math>\blacksquare</math> | ||
== Resources == | == Resources == |
Latest revision as of 17:13, 29 January 2019
Problem
Let be a triangle with centroid . Determine, with proof, the position of the point in the plane of such that is a minimum, and express this minimum value in terms of the side lengths of .
Solution
We claim that the expression is minimized at , resulting it having a value of ( being the side lengths of ).
We will use vectors, with (meaning that ). Note that by Cauchy-Schwarz, and this bound is clearly reached by . Furthermore, equality is only reached when , , are scalar multiples of , , , respectively. This means that is a scalar multiple of , , and , so . (Note that and are linearly independent, since the centroid is not on .)
Now all that remains is to calculate . To calculate , first let be the midpoint of . Then by Stewart's theorem,
Furthermore, , so By similar reasoning, we can calculate and , so