Условие
ABC — неравнобедренный остроугольный треугольник; O и I — центры описанного и вписанного кругов, H — ортоцентр треугольника. Докажите, что четырехугольники AOIH, BOIH и COIH невырождены и среди них ровно два выпуклых.
Доказательство
Решению предпошлем легко доказываемое предположение:
В треугольнике биссектриса делит пополам угол между высотой и радиусом описанного круга, проведенным в ту же вершину.
Докажем это предположение. Пусть [latex]BM[/latex] — биссектриса угла [latex]ABC[/latex] (рис. 1). Так как [latex]OB=OM[/latex], то [latex]\angle OBM=\angle OMB[/latex]. Так как точка [latex]M[/latex] — середина дуги [latex]AMC[/latex], то прямые [latex]OM[/latex] и [latex]BD[/latex] параллельны. Следовательно, [latex]\angle DMB=\angle BMO[/latex], отсюда [latex]\angle OBM=\angle DBM[/latex], что и требовалось доказать.
Решение задачи. Покажем вначале, что точки [latex]O[/latex] и [latex]H[/latex] не могут лежать на одной прямой с какой-либо из вершин треугольника (в частности, эти точки не могут совпадать). Действительно, в этом случае выходящие из вершины медиана и высота совпадают, и треугольник оказывается равнобедренным. Отсюда и из леммы уже следует, что [latex]AOIH[/latex], [latex]BOIH[/latex] и [latex]COIH[/latex] — невырожденные многоугольники (четырехугольники либо треугольники).
Пусть прямая [latex]OH[/latex] пересекает стороны [latex]AB[/latex] и [latex]BC[/latex] треугольника, [latex]BC> AB[/latex]. Для завершения решения достаточно доказать, что точка [latex]I[/latex] лежит внутри той же полуплоскости с границей [latex]OH[/latex], что и точка [latex]B[/latex] (рис.2). Докажем это.
Обозначим [latex]BD=h_{s}[/latex]. Имеем: [latex]CD>AD[/latex]. Восстановим перпендикуляр к середине отрезка [latex]AC[/latex], получаем: точка [latex]O[/latex] принадлежит треугольнику [latex]BCD[/latex]. Обозначим через [latex]E(K)[/latex] точку пересечения прямой [latex]AI(CI)[/latex] с прямой [latex]OH[/latex]. Необходимо доказать, что точки на прямой расположены в следующем порядке: [latex]O,K,E,H[/latex], т.е что [latex]\frac{OK}{KH}< \frac{OE}{EH}.[/latex] Но биссектриса угла треугольника делит противоположную сторону на части, пропорциональные прилежащим сторонам. Отсюда и из леммы получаем: [latex]\frac{OK}{KH}=\frac{CO}{CH}, \frac{OE}{EH}=\frac{AO}{AH}.[/latex] Доказываемое утверждение можно теперь переписать так: [latex]\frac{AH}{AO}< \frac{CH}{CO}[/latex] или [latex]CH>AH.[/latex] Но поскольку [latex]CD>AD[/latex], то [latex]CH>AH[/latex]. Отсюда и следует утверждение задачи.
Замечания:
- Нетрудно показать, что прямая [latex]OH[/latex] пересекает большую и меньшую стороны треугольника [latex]ABC[/latex]. Значит, выпуклыми являются четырехугольники, соответствующие большему и меньшему его углам.
- Задача допускает также и алгебраическое решение.
Необходимое и достаточное условие точек перегиба.
Теорема (необходимое условие точки перегиба)
Если точка $latex x_{0}$ — точка перегиба функции $latex f(x)$ и если $latex \exists {f}»(x)$ в некоторой окрестности точки $latex x_{0}$ (непрерывная в точке $latex x_{0}$), то $latex {f}»(x_{0})=0$.
Доказательство
Докажем методом от противного, т.е предположим, что $latex {f}»(x_{0})\neq 0$. Тогда $latex {f}»(x_{0})> 0$ либо $latex {f}»(x_{0})< 0$.
По условию $latex {f}»$ непрерывна в точке $latex x_{0}$ $latex \Rightarrow$ по свойству сохранения знака непрерывной функции получим: $latex \exists \delta$: $latex \forall x\epsilon U_{\delta } (x_{0})$, $latex sign {f}»(x)=sign{f}»(x_{0})$, т.е по достаточному условию строгой выпуклости $latex {f}»(x)> 0$ $latex \forall x\epsilon (a;b)$ (функция выпукла вниз) или $latex {f}»(x)< 0$ $latex \forall x\epsilon (a;b)$ (функция выпукла вверх). Это противоречит определению точки перегиба, которое гласит, что при переходе через точку $latex x_{0}$ направление выпуклости меняется.
Теорема (достаточное условие точки перегиба)
Если функция $latex f(x)$ непрерывна в точке $latex x_{0}$ и имеет в этой точке конечную или бесконечную производную и если $latex {f}»(x_{0})$ меняет знак при переходе через точку $latex x_{0}$, то точка $latex x_{0}$ — точка перегиба функции $latex f(x)$.
Доказательство
Пусть $latex {f}»$ меняет знак с «-» на «+», тогда по достаточному условию строгой выпуклости функция $latex f(x)$ на интервале $latex (x_{0}-\delta ;x_{0})$ функция будет строго выпукла вверх, на интервале $latex (x_{0};x_{0}+\delta )$ — строго выпукла вниз, т.е при переходе через точку $latex x_{0}$ направление выпуклости изменяется $latex \Rightarrow$ по определению $latex x_{0}$- точка перегиба.
Пример:
Найти точки перегиба функции $latex f(x)=3x^{2}-x^{3}$.
Решение:
Найдем вторую производную функции: $latex {f}’=6x-3x^{2}$ $latex \Rightarrow$ $latex {f}» =6-6x$, значит $latex x=1$. Найдем промежутки знакопостоянства функции:
При переходе через точку $latex x=1$ функция изменяет направление выпуклости, значит $latex x=1$ — точка перегиба графика функции.
Список литературы
- Конспект по математическому анализу (преподаватель Лысенко З.М.);
- Фихтенгольц Г.М «Курс дифференциального и интегрального исчисления» (том 1), 5-е издание, глава 4, §2(стр 303) .
Точки перегиба
Тест на знание темы «Точки перегиба»
Таблица лучших: Точки перегиба
Место | Имя | Записано | Баллы | Результат |
---|---|---|---|---|
Таблица загружается |
Достаточные условия строгой выпуклости.
Теорема (достаточное условие строгой выпуклости)
Пусть дана функция \(f(x)\), дважды дифференцируема на интервале \((a;b)\). Тогда:
- Если \({f}^{\prime\prime}(x) > 0\) на \((a;b)\), то функция \(f(x)\) строго выпукла вниз.
- Если \({f}^{\prime\prime}(x) < 0\) на \((a;b)\), то функция \(f(x)\) строго выпукла вверх.
Доказательство
Докажем первый случай, т.е. докажем что \(\forall x_{1},x_{2}\epsilon (a;b)\): \( f(\frac{x_{1} + x_{2}}{2}) < \frac{f(x_{1}) + f(x_{2})}{2}\)
\(x_{0} = \frac{x_{1} + x_{2}}{2}\), \(x_{2}-x_{1} = 2h\). Тогда :
\(x_{2} = x_{0} + h\)
\(x_{1} = x_{0} — h\)
Применим к функции \(f(x)\) на отрезках \([x_{1};x_{0}]\) и \([x_{0};x_{2}]\) формулу Тейлора с остатком в форме Лагранжа :
\(f(x)=f(x_{0})+\)\(\frac{{f}^{\prime}(x_{0})}{1!}(x-x_{0})+\) \(\frac{{f}^{\prime\prime}(\xi )}{2!}(x-x_{0})^{2}\), \(\xi \epsilon (x;x_{0})\).
Пусть \(x = x_{1} \Rightarrow\) \(f(x_{1}) = f(x_{0}) + \) \(\frac{{f}^{\prime}(x_{0})}{1!}(x_{1}-\)\(x_{0}) + \)
\(\frac{{f}^{\prime\prime}(\xi_{1} )}{2!}(x_{1}-x_{0})^{2}\), \(\xi_{1} \epsilon (x_{1};x_{0})\). Поскольку \(x_{1} = x_{0} — h \Rightarrow\) \(f(x_{0} — h) = f(x_{0}) + \)\(\frac{{f}^{\prime}(x_{0})}{1!}(-h) + \)\(\frac{{f}^{\prime\prime}(\xi_{1} )}{2!}(-h)^{2}\)(*).
Пусть \(x=x_{2}\) \(\Rightarrow\) \(f(x_{2})=f(x_{0})+\) \(\frac{{f}^{\prime}(x_{0})}{1!}(x_{2}-x_{0})+\)
\(\frac{{f}^{\prime\prime}(\xi_{2} )}{2!}(x_{2}-x_{0})^{2}\), \(\xi_{2} \epsilon (x_{0};x_{2})\). Поскольку \(x_{2} = x_{0}+h \Rightarrow\) \( f(x_{0}+h) = f(x_{0}) + \) \(\frac{{f}^{\prime}(x_{0})}{1!}h + \) \(\frac{{f}^{\prime\prime}(\xi_{2} )}{2!}(h)^{2}\)(**).
Суммируем полученные выражения (*) и (**), получим: \(f(x_{1}) + \) \(f(x_{2})=2f(x_{0}) + \frac{h^{2}}{2}({f}^{\prime\prime}(\xi_{1}) + \) \({f}^{\prime\prime}(\xi _{2}))\), а т.к. по условию \({f}^{\prime\prime}(x)> 0 \Rightarrow\) \( f(x_{1})+f(x_{2})=2f(x_{0})\) \(\Rightarrow\) \(\forall x_{1},x_{2}\epsilon (a;b)\): \( f(\frac{x_{1} +x_{2}}{2})<\)\( \frac{f(x_{1})+f(x_{2})}{2}\) \( \Rightarrow\) функция \(f(x)\) строго выпукла вниз.
Аналогично теорема доказывается для второго случая.
Замечание:
Условие \({f}^{\prime\prime}(x)> 0\)(или \( {f}^{\prime\prime}(x) < 0\)) не является необходимым условием строгой выпуклости вниз (вверх).
Пример:
Рассмотрим функцию \(f(x) = x^{4}\).
Найдем вторую производную данной функции: \({f}^{\prime\prime}(x) = 12x^{2}\), \({f}^{\prime\prime}(x) = 12x^{2} > 0\), \({f}^{\prime\prime}(0) = 0\) \(\Rightarrow\) условие \({f}^{\prime\prime}(x) > 0\) нарушается, поскольку \(f^{\prime\prime}(0) = 0\), однако эта функция строго выпукла вниз.
Список литературы:
- Конспект по математическому анализу (преподаватель Лысенко З.М.);
- Фихненгольц Г.М «Курс дифференциального и интегрального исчисления» (том 1), 5-е издание, глава 4, §2(стр 308).
Выпулость функций
Тест по теме «Выпуклость функций».
Таблица лучших: Выпулость функций
Место | Имя | Записано | Баллы | Результат |
---|---|---|---|---|
Таблица загружается |
Выпуклость функций. Геометрическая интерпретация.
Определения:
Функция $latex=f$ определённая на $latex (a;b)$ называется выпуклой вверх, если :
$latex \forall x_{1}, x_{2} \epsilon (a;b)$, $latex \forall \alpha \epsilon (a,b) \Rightarrow f((1-\alpha)x_{1}+\alpha x_{2})\geq f((1-\alpha)x_{1})+\alpha f(x_{2})$ .
Функция $latex=f$ определённая на $latex (a,b)$ называется выпуклой вниз, если :
$latex \forall x_{1}, x_{2} \epsilon (a;b)$, $latex \forall \alpha \epsilon (a,b) \Rightarrow f((1-\alpha)x_{1}+\alpha x_{2})\leq f((1-\alpha)x_{1})+\alpha f(x_{2})$.
Функция $latex=f$ определённая на $latex (a,b)$ называется строго выпуклой вверх, если:
$latex \forall x_{1}, x_{2} \epsilon (a;b)$,$latex \forall \alpha \epsilon (a,b) \Rightarrow f((1-\alpha)x_{1}+\alpha x_{2}) > f((1-\alpha)x_{1})+\alpha f(x_{2})$
Функция $latex=f$ определённая на $latex (a,b)$ называется строго выпуклой вниз, если:
$latex \forall x_{1}, x_{2} \epsilon (a;b)$,$latex \forall \alpha \epsilon (a,b) \Rightarrow f((1-\alpha)x_{1}+\alpha x_{2}) < f((1-\alpha)x_{1})+\alpha f(x_{2})$
Замечание:
Понятие выпуклой функции было введено Иенсеном (J.L.W.V.Jensen), который исходил, однако, из более частного соотношения,а именно:
$latex f(\frac{x_{1}+x_{2}}{2})\geq (\leq) \frac{f(x_{1})+f(x_{2})}{2}$
В случае если функция непрерывна это определение равносильно данным ранее.
Пример:
Рассмотрим непрерывную функцию $latex f(x)=-(x-4)^{2}+4$ :
Возьмём точки $latex \left \{ 2,4,6 \right \}$ : $latex f(\frac{2+6}{2})\geq \frac{f(2)+f(6)}{2}$, т.е $latex 4 \geq 0$ $latex \Rightarrow$ функция выпукла вверх.
Геометрическая интерпретация :
Условие $latex f(\frac{x_{1}+x_{2}}{2})\geq \frac{f(x_{1}+f(x_{2})}{2}$ означает, что $latex \forall M_{1}, M_{2}$ графика функции $latex f(x)$ середина хорды лежит ниже, либо совпадает с точкой $latex M_{0}=f(\frac{x_{1}+x_{2}}{2})$.
Это можно продемонстрировать на примере функции $latex f(x)=-(x-4)^{2}+4$ :
Список литературы:
- Конспект по математическому анализу (преподаватель Лысенко З.М.);
- Фихтенгольц Г.М «Курс дифференциального и интегрального исчисления» (том 1), 5-е издание, глава 4, §2(стр 294)
Точки перегиба. Примеры.
Пусть функция $latex f(x)$ непрерывна в точке $latex x_{0}$ и имеет в этой точке конечную или бесконечную производную. Тогда, если эта функция при переходе через точку $latex x_{0}$ меняет направление выпуклости, т.е $latex \exists \delta$ такое что на $latex (x_{0}-\delta ;x_{0})$ функция выпукла вверх (вниз), а на $latex (x_{0};x_{0}+\delta )$ функция выпукла вниз (вверх), то точка $latex x_{0}$ — точка перегиба функции $latex f(x)$.
Пример:
Рассмотрим функцию $latex f(x)=x^{3}$, где тогда $latex x=0$, является точкой перегиба данной функции.
Список литературы:
- Конспект по математическому анализу (преподаватель Лысенко З.М.);
- Фихтенгольц Г.М «Курс дифференциального и интегрального исчисления» (том 1), 5-е издание, глава 4, §2(стр 303) .