M1237. Точка внутри треугольника

Условие

1

Пусть точка O внутри, треугольника ABC= такова, что [latex]\overrightarrow{OK} +\overrightarrow{OM} +\overrightarrow{ON}= \overrightarrow{0}[/latex]  М,N — основания перпендикуляров, опущенных из  О на стороны  AB, BC, CA треугольника. Докажите неравенство [latex]\frac{OK+OM+ON}{AB+BC+CA}\leq \frac{1}{2\sqrt{3}}[/latex]

1

Решение

В силу условия на точку О отрезки ОК, ОМ, ON можно параллельно передвинуть так, чтобы составился треугольник. После поворота на 90° стороны этого треугольника станут параллельны сторонам треугольника ABC, следовательно, эти треугольники подобны. Коэффициент подобия обозначим через [latex]k[/latex]: [latex]k=\frac{OK}{AB} = \frac{OM}{BC} = \frac{ON}{CA}[/latex]. Тогда левая часть доказываемого неравенства равна fe. С другой стороны, представляя площадь [latex]S[/latex] треугольника [latex]ABC[/latex] как сумму площадей треугольников [latex]AOB[/latex], [latex]BOC[/latex] и [latex]COA[/latex], получим: [latex]2S=a*OK+b*OM+c*ON = k(a^2+b^2+c^2)[/latex] ,где [latex]a,b,c[/latex]— длины сторон. Таким образом, задача сводится к доказательству неравенства:

[latex]s\leq \frac{a^2+b^2+c^2}{4\sqrt{3}}[/latex]

Приведем одно из доказательств этого довольно известного неравенства, использующее формулу Герона и неравенство между средним арифметическим и средним геометрическим трех чисел (буквой [latex]p[/latex], как обычно, обозначен полупериметр):

[latex]S=\sqrt{p(p-a)(p-b)(p-c)}\leq \sqrt{p((p-a+p-b+p-c)/3)^3}=\frac{p^2}{3\sqrt{3}}\leq (a^2+b^2+c^2)/4\sqrt{3}[/latex]

Последнее неравенство следует из соотношений:

[latex]4p^2=(a+b+c)^2=a^2+b^2+c^2+2ab+2bc+2ca[/latex] и [latex] 2xy\leq x^2+y^2[/latex] .

Отметим, что точка О в этой задаче определена однозначно. Она называется точкой Лемуана треугольника [latex]ABC[/latex] и является точкой пересечения его симедиан, т. е. прямых, симметричных медианам относительно соответствующих биссектрис.

 

Повторный предел

Повторные предельные значения. Для функции [latex] u=f(x_{1},x_{2},…,x_{n})[/latex] нескольких переменных можно определить понятие предельного значения по одной из переменных [latex] x=x_{k} [/latex]  при фиксированных значениях остальных переменных. В связи с этим возникает понятие повторного предельного значения. Уясним это понятие на примере функции [latex] u=f(x,y)[/latex] двух переменных x и у. Пусть функция  [latex] u=f(x,y)[/latex] задана в некоторой прямоугольной окрестности  [latex] \left | x-x_{0} \right |<d_{1} [/latex] ,  [latex] \left | y-y_{0} \right | <d_{2} [/latex] точки [latex] M_{0}(x_{0},y_{0})[/latex] , за исключением, быть может, самой точки [latex] M_{0} [/latex] . Пусть для каждого фиксированного y, удовлетворяющего условию [latex] 0<\left | y-y_{0} \right | <d_{2}[/latex] существует предельное значение функции [latex] u=f(x,y)[/latex] одной переменной [latex]x[/latex] в точке [latex] x=x_{0} [/latex]

[latex]\lim\limits_{x\rightarrow x_{0}} f(x,y)=\varphi (y) [/latex] 

и пусть, кроме того, существует предельное значение [latex]b[/latex] функции  [latex] \varphi [/latex](y) в точке [latex] y=y_{0} [/latex]:

[latex]\lim\limits_{y\rightarrow y_{0}}\varphi(y) =b[/latex]

В этом случае говорят, что существует повторное предельное значение [latex]b[/latex] для функции  [latex] u=f(x,y)[/latex] в точке  [latex] M_{0} [/latex], которое обозначается следующим образом:

[latex] \lim\limits_{y\rightarrow y_{0}}[/latex] [latex]\lim\limits_{x\rightarrow x_{0}} f(x,y) =b[/latex]

Теорема:

Пусть функция [latex] u=f(x,y)[/latex] определена в некоторой прямоугольной окрестности  [latex] \left | x-x_{0} \right |<d_{1} [/latex] ,  [latex] \left | y-y_{0} \right | <d_{2} [/latex] точки [latex] M_{0}(x_{0},y_{0})[/latex] и имеет в этой точке предельное значение [latex]b[/latex]. Пусть, кроме того, для любого фиксированного [latex]x[/latex], [latex] 0<\left | x-x_{0} \right | <d_{1}[/latex], существует предельное значение [latex] \psi =\lim\limits_{y\rightarrow y_{0}}f(x,y)[/latex] и для любого фиксированного y, [latex] 0<\left | y-y_{0} \right | <d_{2}[/latex], существует предельное значение  [latex]\phi (y)=\lim\limits_{x\rightarrow x_{0}} [/latex]. Тогда повторные предельные значения [latex] \lim\limits_{x\rightarrow x_{0}}[/latex] [latex]\lim\limits_{y\rightarrow y_{0}} [/latex] и [latex] \lim\limits_{y\rightarrow y_{0}}[/latex] [latex]\lim\limits_{x\rightarrow x_{0}} f(x,y)[/latex] существуют и равны [latex]b[/latex].

 

Пример решения:

Вычислить повторный предел функций [latex]f(x,y)=\frac{x-y+x^2+y^2}{x+y}[/latex]

Спойлер

[latex] \lim\limits_{x\to 0}[/latex][latex]\lim\limits_{y\to 0}f(x,y)=[/latex][latex]\lim\limits_{x\to 0}( \lim\limits_{y\to 0}\frac{x-y+x^2+y^2}{x+y})[/latex][latex]=\lim\limits_{x\to 0}\frac{x+x^2}{x}=\lim\limits_{x\to 0}(1+x)=1[/latex]

[latex] \lim\limits_{y\to 0}[/latex][latex]\lim\limits_{x\to 0}f(x,y)=[/latex][latex]\lim\limits_{y\to 0}( \lim\limits_{x\to 0}\frac{x-y+x^2+y^2}{x+y})=[/latex][latex]\lim\limits_{y\to 0}\frac{-y+y^2}{y}=[/latex][latex]\lim\limits_{y\to 0}(-1+y)=[/latex][latex]-1[/latex]

[свернуть]

Литература:

Бесконечные пределы

Определение

Пусть задана функция нескольких переменных [latex]A\subset \mathbb{R}^n \rightarrow \mathbb{R} [/latex] и a —предельная точка множества [latex]A[/latex]. Если для любого числа [latex]M>0[/latex] существует такое число [latex]\delta [/latex], что при [latex]x\in A\cap U(a,\delta )[/latex] выполняется неравенство [latex]f(x)> M ( \left | f(x) \right | > M)[/latex], то говорят, что функция [latex]f(x)[/latex] стремится к + [latex]\infty[/latex] при, [latex]x\underset{A}{\rightarrow}a[/latex] и пишут:
[latex]\lim\limits_{x\to a}=+\infty[/latex] [latex](\lim\limits_{x\to a}=-\infty[/latex] или [latex]\lim\limits_{x\to a} =\infty )[/latex]
Во всех трех случаях функцию [latex]f(x)[/latex] называют бесконечно большой при [latex]x\underset{A}{\rightarrow}a[/latex].

Пример

Функция [latex]f(x, y) = \frac{1}{x^2+y^2}[/latex] является бесконечно большой при [latex](x, y) \rightarrow (0, 0)[/latex] Функция [latex]g(x, y) = \frac{x}{x^2+y^2}[/latex] стремится к [latex]\infty[/latex] при [latex](x, y)\underset{A}{\rightarrow} (0, 0)[/latex], если [latex]A[/latex] — сектор, заключенный между прямыми [latex]y = x[/latex] и [latex]y = {-x}[/latex] и расположенный в правой полуплоскости [latex]x > 0[/latex]. В самом деле, в этом секторе [latex]\left | y \right | < \left | x \right |[/latex] и поэтому:
[latex]\frac{x}{x^2+y^2}> \frac{x}{2x^2} = \frac{1}{2x}[/latex]
Функция [latex]g(x, y)[/latex] стремится к [latex]- \infty[/latex] при [latex](x, y)\underset{A}{\rightarrow} (0, 0)[/latex], если [latex]A[/latex] — сектор, заключенный между прямыми [latex]y = x[/latex] и [latex]y = {-x}[/latex] и расположенный в левой полуплоскости x < 0, поскольку в этом секторе [latex]\left | y \right | < \left | x \right |[/latex] и поэтому:
[latex]\frac{x}{x^2+y^2}< \frac{x}{2x^2} = \frac{1}{2x}[/latex]
Если [latex]A = {(x, y):x = 0, y \in R}[/latex]— ось ординат, то [latex]g(x, y) = 0[/latex] на [latex]A[/latex] и функция [latex]g(x, y)[/latex] является бесконечно малой при [latex](x, y)\underset{A}{\rightarrow} (0, 0)[/latex].

Литература:

Арифметические свойства непрерывных функций

Теорема 1

Пусть даны функции $f,g$ :$E \mapsto R^{m} $, $E \subset \mathbb{R}^n $. Если $ f, g$ непрерывны в точке $x_{0}$, то в этой точке непрерывны и функций $ f+g$ , $ f\cdot g$. Если $f,g$ — действительные функций и $ g(x)\neq 0$ на $E$, то $\Large \frac{f}{g}$ непрерывна в точке $ x_{0}.$

Доказательство:
Действительно, если $ x_{0}$ — изолированная точка в этой точке непрерывна каждая функция. Если же $ x_{0}$ — предельная точка множества  $ E$, то для доказательства этой теоремы достаточно применять соответствующую теорему о арифметических свойствах пределов функций.

Теорема 2 (формулировка)

Пусть $ f $ : $E \rightarrow \mathbb{R}^m$ и $ g $: $N \rightarrow {R}^k$,  $N \subset \mathbb{R}^m $, причем $f(E) \subset N$. Если  $f$ непрерывна в точке $x_{0}$ $\in E$ , в функция $g$ непрерывна в точке $y_{0}= f(x_{0})$ $\in N$, то композиция $h= (g \circ f)$ непрерывна в точке $x_{0} $.

Пример

Пусть $f(x)=$ $\left | x \right |$.
Тогда из неравенства:
$\left | f(x)-f(x_0) \right |=\left | \left | x \right |- \left | x_{0} \right |\right | \leq \left | x-x_{0} \right |$ сразу следует непрерывность функций $f$.

Непрерывная функция

Тест на тему «непрерывные функции»

Таблица лучших: Непрерывная функция

максимум из 6 баллов
Место Имя Записано Баллы Результат
Таблица загружается
Нет данных

M1231. О разбиении плоскости графиками многочленов второй степени

Условие

На какое наибольшее число частей могут разбить плоскость [latex]Oxy[/latex] графики [latex]n[/latex] квадратных трехчленов вида [latex]y=ax^{2}+bx+c (n=1, 2, 3, …)[/latex]?

Ответ: [latex]n^{2}+1[/latex].

Решение

Докажем по индукции, что число частей не превосходит [latex]n^{2}+1[/latex]. Для [latex]n=1[/latex] это ясно: парабола делит плоскость на две части.
Пусть доказано, что [latex]n-1[/latex] графиков делят плоскость не более, чем на [latex](n-1)^{2}+1[/latex] частей. Проведем последний, [latex]n[/latex]-й график. Он пересекается с каждым из [latex]n-1[/latex] предыдущих максимум в двух точках, т.е. он будет разбит не более чем на [latex]2(n-1)+1=2n+1[/latex] кусков (включая два крайних, уходящих в бесконечность). Каждый из этих кусков параболы делит одну из имеющихся частей плоскости на две. Таким образом, при проведении последней параболы число частей увеличится не более чем на [latex]2n+1[/latex], т.е. не превзойдет [latex](n-1)^{2}+1+2n+1=n^{2}+1[/latex].
К задаче M1231
Легко строится пример, когда все графики попарно пересекаются в двух точках (см. рисунок) — при этом получится максимальное число частей, указанное в ответе.
Точно такие же образом можно подсчитать максимальное число частей, на которые делят плоскость [latex]n[/latex] прямых, [latex]n[/latex] окружностей и т.п.

Н.Васильев