Maths Olympiad Prep

Library / /36 of 61

Geometry Difficulty 5.8 AIME, harder Prove it Ukraine

Let SABCSABC be a tetrahedron with MA>1MA > 1, MB>1MB > 1, MC>1MC > 1, where MM is the centroid of ABCABC. Prove that
SA+SB+SC>3. SA + SB + SC > 3.

Solutions — 2

Solution 1

Розглянемо вектори MA=a\overrightarrow{MA} = \vec{a}, MB=b\overrightarrow{MB} = \vec{b}, MC=c\overrightarrow{MC} = \vec{c}, MS=s\overrightarrow{MS} = \vec{s}, SA=as\overrightarrow{SA} = \vec{a} - \vec{s}, SB=bs\overrightarrow{SB} = \vec{b} - \vec{s} і SC=cs\overrightarrow{SC} = \vec{c} - \vec{s}. За умовою задачі, a>1|\vec{a}| > 1, b>1|\vec{b}| > 1 і c>1|\vec{c}| > 1. Нам потрібно довести нерівність
as+bs+cs>3. |\vec{a} - \vec{s}| + |\vec{b} - \vec{s}| + |\vec{c} - \vec{s}| > 3.
Нехай s1|\vec{s}| \ge 1. Тоді, використовуючи відому рівність a+b+c=0\vec{a} + \vec{b} + \vec{c} = \vec{0} та властивості скалярного добутку, маємо:
as+bs+cs(as)ss(bs)ss(as)ss==3sss(a+b+c)=3s3. \begin{aligned} |\vec{a} - \vec{s}| + |\vec{b} - \vec{s}| + |\vec{c} - \vec{s}| &\geq -\frac{(\vec{a} - \vec{s})\vec{s}}{|\vec{s}|} - \frac{(\vec{b} - \vec{s})\vec{s}}{|\vec{s}|} - \frac{(\vec{a} - \vec{s})\vec{s}}{|\vec{s}|} = \\ &= 3|\vec{s}| - \frac{\vec{s}}{|\vec{s}|} (\vec{a} + \vec{b} + \vec{c}) = 3|\vec{s}| \geq 3. \end{aligned}
Рівність у цій нерівності досягається тоді й тільки тоді, коли s=1|\vec{s}| = 1 і вектори SA\overrightarrow{SA}, SB\overrightarrow{SB} і SC\overrightarrow{SC} протилежно напрямлені до вектора SM\overrightarrow{SM}, що, зрозуміло, неможливо.

Розглянемо тепер випадок s<1|\vec{s}| < 1. Тоді
as+bs+cs(as)aa+(bs)bb+(cs)cc==a+b+cs(aa+bb+cc)==3+(a1)(1saa)+(b1)(1sbb)+(c1)(1scc)>3. \begin{aligned} & |\vec{a} - \vec{s}| + |\vec{b} - \vec{s}| + |\vec{c} - \vec{s}| \ge \frac{(\vec{a} - \vec{s}) \cdot \vec{a}}{|\vec{a}|} + \frac{(\vec{b} - \vec{s}) \cdot \vec{b}}{|\vec{b}|} + \frac{(\vec{c} - \vec{s}) \cdot \vec{c}}{|\vec{c}|} = \\ & = |\vec{a}| + |\vec{b}| + |\vec{c}| - \vec{s} \left( \frac{\vec{a}}{|\vec{a}|} + \frac{\vec{b}}{|\vec{b}|} + \frac{\vec{c}}{|\vec{c}|} \right) = \\ & = 3 + \left( |\vec{a}| - 1 \right) \left( 1 - \frac{\vec{s} \cdot \vec{a}}{|\vec{a}|} \right) + \left( |\vec{b}| - 1 \right) \left( 1 - \frac{\vec{s} \cdot \vec{b}}{|\vec{b}|} \right) + \left( |\vec{c}| - 1 \right) \left( 1 - \frac{\vec{s} \cdot \vec{c}}{|\vec{c}|} \right) > 3. \end{aligned}
Для останньої оцінки ми врахували, що 1>ssaa1 > |\vec{s}| \ge \frac{\vec{s} \cdot \vec{a}}{|\vec{a}|}, 1>ssbb1 > |\vec{s}| \ge \frac{\vec{s} \cdot \vec{b}}{|\vec{b}|}, 1>sscc1 > |\vec{s}| \ge \frac{\vec{s} \cdot \vec{c}}{|\vec{c}|}.

Solution 2

Якщо застосувати ортогональне проектування точки SS на площину ABCABC, то стає очевидним, що твердження задачі достатньо довести для точки SS цієї площини, для якої сума відстаней SA+SB+SCSA + SB + SC є мінімальною. Добре відомо, що коли всі кути трикутника ABCABC менші за 120120^\circ, то потрібною точкою є точка Торічеллі (така точка TT всередині трикутника ABCABC, що ATB=ATC=BTC=120\angle ATB = \angle ATC = \angle BTC = 120^\circ), а якщо, наприклад, BAC120\angle BAC \ge 120^\circ, то — вершина AA. У першому випадку позначимо x=TAx = TA, y=TBy = TB, z=TCz = TC (без обмеження загальності вважаємо, що xyzx \le y \le z), і з використанням формули для довжини медіани та теореми косинусів матимемо:
MA2=19(2AC2+2AB2BC2)==19(2x2+2z2+2xz+2x2+2y2+2xyy2z2yz)==19(4x2+y2z2+2xz+2xyyz)==19((x+y+z)2+3x22z23yz)19(x+y+z)2. \begin{aligned} MA^2 &= \frac{1}{9}(2AC^2 + 2AB^2 - BC^2) = \\ &= \frac{1}{9}(2x^2 + 2z^2 + 2xz + 2x^2 + 2y^2 + 2xy - y^2 - z^2 - yz) = \\ &= \frac{1}{9}(4x^2 + y^2 - z^2 + 2xz + 2xy - yz) = \\ &= \frac{1}{9}((x + y + z)^2 + 3x^2 - 2z^2 - 3yz) \le \frac{1}{9}(x + y + z)^2. \end{aligned}

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.