М1604. Задача об опорных хордах многоугольника

Задача из журнала «Квант» (1997, №4)

Условие

Внутри выпуклого многоугольника [latex]F[/latex] расположен второй выпуклый многоугольник [latex]G[/latex]. Хорда многоугольника [latex]F[/latex] — отрезок, концы которого лежат на границе [latex]F[/latex], — называется опорной к многоугольнику [latex]G[/latex], если она пересекается с [latex]G[/latex] только по границе: содержит либо одну вершину, либо сторону [latex]G[/latex]. Докажите, что:

  • найдется опорная хорда, середина которой лежит на границе [latex]G[/latex];
  • найдутся по крайней мере две такие хорды.

Решение

Идею решения можно сформулировать одной фразой. Рассмотрим площади сегментов, отрезаемых от [latex]F[/latex] хордами, опорными к [latex]G[/latex] (рис.1), и выберем среди них наибольшую и наименьшую. Соответствующие хорды касаются [latex]G[/latex] своими серединами.

М1604_1

Рис.1

Изложим теперь решение более подробно. Пусть [latex]l\left(\varphi \right)[/latex] — опорная к [latex]G[/latex] прямая, составляющая угол [latex]\varphi [/latex] с некоторым фиксированным направлением [latex]l_{0}[/latex]. Мы считаем, что [latex]l\left(\varphi \right)[/latex] — направленная прямая, [latex]G[/latex] содержится в её правой полуплоскости; [latex]G\left(\varphi \right)=G\bigcap{l\left(\varphi \right)}[/latex] — одна точка (вершина [latex]G[/latex]) или отрезок (сторона [latex]G[/latex]). Ясно, что для каждого [latex]\varphi [/latex], [latex]0\leq \varphi <2\pi [/latex], прямая [latex]l\left(\varphi \right)[/latex] определена однозначно. Рассмотрим площадь [latex]S=S\left(\varphi \right)[/latex] «сегмента», отрезаемого прямой [latex]l\left(\varphi \right)[/latex] от [latex]F[/latex], — пересечения [latex]F[/latex] с левой полуплоскостью этой прямой. Очевидно, что [latex]S=S\left(\varphi \right)[/latex] — непрерывная функция от [latex]\varphi [/latex] на отрезке [latex]0\leq \varphi <2\pi [/latex], где [latex]S\left(2\pi \right)=S\left(0 \right)[/latex].

Пусть [latex]AB[/latex] — хорда, высекаемая многоугольником [latex]F[/latex] на прямой [latex]l\left(\varphi \right)[/latex], и [latex]K[/latex] — её середина. Докажем, что если [latex]K[/latex] не лежит на границе с [latex]G[/latex], то в некоторой окрестности [latex]\varphi [/latex] функция [latex]S[/latex] монотонна (возрастает или убывает). Рассмотрим близкую к [latex]l\left(\varphi \right)[/latex] прямую [latex]l\left(\varphi +\delta \right)[/latex] и соответствующую хорду [latex]A_{1}B_{1}[/latex]. При достаточно малом [latex]\delta [/latex] прямая [latex]l\left(\varphi +\delta \right)[/latex] получается из [latex]l\left(\varphi \right)[/latex] поворотом вокруг некоторой точки [latex]P\in G\left(\varphi \right)[/latex], лежащей на границе [latex]G[/latex], а разность площадей [latex]S\left(\varphi +\delta \right)-S\left(\varphi \right)[/latex] равна разности площадей треугольников [latex]APA_{1}[/latex] и [latex]BPB_{1}[/latex] (рис.2). Если [latex]PA<PB[/latex], то (при малом [latex]\delta [/latex]) [latex]PA_{1}<PB_{1}[/latex] и площадь треугольника [latex]APA_{1}[/latex] меньше площади треугольника [latex]BPB_{1}[/latex] (треугольник, симметричный [latex]APA_{1}[/latex] относительно [latex]P[/latex], лежит внутри [latex]BPB_{1}[/latex]); таким образом, при всех достаточно малых [latex]\delta >0[/latex] выполнено неравенство [latex]S\left(\varphi +\delta \right)<S\left(\varphi \right)[/latex].

М1604_2

Рис.2

Аналогично, [latex]S\left( \varphi \right)<S\left(\varphi -\varepsilon \right)[/latex] при достаточно малом [latex]\varepsilon [/latex] — прямая [latex]l\left(\varphi -\varepsilon \right)[/latex] получается поворотом [latex]l\left(\varphi \right)[/latex] вокруг точки [latex]P’\in G\left(\varphi \right)[/latex], либо совпадающей с [latex]P[/latex], либо, во всяком случае, лежащей по ту же сторону от середины [latex]K[/latex], так что [latex]AP'<BP'[/latex]. Итак, если [latex]G\left(\varphi \right)[/latex] лежит по одну (на рисунке 2 — левую) сторону от [latex]K[/latex], то в окрестности [latex]\varphi[/latex] функция [latex]S[/latex] убывает. Если [latex]G\left(\varphi \right)[/latex] расположена по другую сторону от [latex]K[/latex], то в окрестности [latex]\varphi [/latex] функция [latex]S[/latex] возрастает.

Однако непрерывная функция [latex]S = S\left(\varphi \right)[/latex] (принимающая равные значения на концах отрезка [latex]\left[0, 2\pi \right][/latex]) должна достигать максимума и минимума. По доказанному выше, в этих точках середина хорды [latex]K[/latex] должна лежать в [latex]G\left(\varphi \right)[/latex], т.е. принадлежать границе [latex]G[/latex].

Н.Васильев

Определение интеграла Римана


Для лучшего восприятия этого материала сперва следует прочесть Определение интегральных сумм и их границы


$latex \triangle $ Предел  интегральной суммы  при условии, что длина наибольшего из элементарных отрезков $latex max\triangle x_{k}$ стремится к нулю:

$latex \underbrace{I=\int_{a}^{b}f(x)\ dx=  \lim_{max \triangle x_{k}\rightarrow 0}\sum_{k=1}^{n}f(\xi_{k})\triangle x_{k}.}$

называется определённым интегралом Римана  от функции $latex f(x)$ на отрезке $latex [a,b]$ (или в пределах от a до b).$latex \blacktriangle $

Замечание.  Если функция $latex f(x)$ непрерывна на $latex [a,b]$, то предел интегральной суммы существует и не зависит от способа разбиения отрезка $latex [a,b]$ на элементарные отрезки и от выбора точек $latex \xi _{k}$ (теорема существования определенного интеграла).

Числа a и b соответственно называются нижним и верхним пределами интегрирования.

     Если $latex f(x)>0$ на $latex [a,b],$ то определённый интеграл $latex \int_{a}^{b}f(x)dx$ геометрически представляет собой площадь криволинейной трапеции —фигуры, ограниченной линиями $latex y=f(x),\ x=a,\ y=b,\ y=0 .$

Список литературы:

Тест (Определенный интеграл Римана)

Тест по темам:

1. Определенный интеграл Римана.

2. Интегральные суммы.


Таблица лучших: Тест (Определенный интеграл Римана)

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

Определение непрерывности по Коши и по Гейне

 Определение: 

Функция \(f(x)\), называется непрерывной в точке \(x_{0}\), если  \(\lim\limits_{x\rightarrow x_{0}} f(x)=f(x_{0})\)

Определение(по Коши):

Функция \(f(x)\), называется непрерывной в точке \(x_{0}\), если: \(\forall \varepsilon > 0,\exists \delta _{\varepsilon }> 0, \forall x\in X,| x-x_{0}|<\delta :|f(x)-f(x_{0})|< \varepsilon\)

Определение (по Гейне):

Функция \(f(x)\), называется непрерывной в точке \(x_{0}\), если для любой последовательности \(\forall \left \{ x_{n} \right \}_{n=1 }^{\infty }\), \(x_{n}\in X, n\in N\), такого что, \(\lim\limits_{n\rightarrow {\infty}}x_{n}=x_{0}\):

\(\lim\limits_{n\rightarrow {\infty}}f(x_{n})=f(x_{0})\)

Определение:

Функция \(f(x)\) называется непрерывной в точке \(x_{0}\), если \(\lim\limits_{\Delta x\rightarrow 0}\Delta f=0\)  , то есть бесконечно малому приращению аргумента соответствует бесконечно малое приращение функции.

Определение:

Функция \(f(x)\) — непрерывна справа, если \(\lim\limits_{x\rightarrow x_{0}+0}f(x)=f(x_{0})\) Функция \(f(x)\) — непрерывна слева, если \(\lim\limits_{x\rightarrow x_{0}-0}f(x)=f(x_{0})\) Функция \(f(x)\) называется непрерывной в точке \(x_{0}\), если \(\lim\limits_{x\rightarrow x_{0}+0}f(x)=\lim\limits_{x\rightarrow x_{0}-0}f(x)=f(x_{0})\)

Замечание:

Все эти определения непрерывности функции в точке эквивалентны. Кроме того, основные элементарные функции непрерывны во всех точках своей области определения.

Пример:

1) \(x_{0}\geq 0\) \(\lim\limits_{x\rightarrow x_{0}}\sqrt{x}=\sqrt{x_{0}}\)        (\(\sqrt{x}\)- непрерывна на всей области определения)

Докажем:

\(\forall \varepsilon > 0, \exists \delta _{\varepsilon }> 0, \forall x:|x-x_{0}|< \delta \Rightarrow |\sqrt{x}-\sqrt{x_{0}}|< \varepsilon\) \(|\sqrt{x}-\sqrt{x_{0}}|= \) \(|\frac{(\sqrt{x}-\sqrt{x_{0}})(\sqrt{x}+\sqrt{x_{0}})}{\sqrt{x}+\sqrt{x_{0}}}| = \) \(|\frac{x-x_{0}}{\sqrt{x}+\sqrt{x_{0}}}|=\) \(\frac{|x-x_{0}|}{\sqrt{x}+\sqrt{x_{0}}}\leq \frac{|x-x_{0}|}{\sqrt{x_{0}}}<\) \(\frac{\delta }{\sqrt{x_{0}}}<\) \( \varepsilon\) \(0< \delta < \varepsilon \sqrt{x_{0}}\) (\(\delta =\frac{\varepsilon \sqrt{x_{0}}}{2})\)

Рекомендации:

  Учебники :

 Сборники задач:

  • Демидович Б.П. «Сборник упражнений по математическому анализу» 13-е издание, исправленное, Отдел 1, § 7 «Непрерывность функции» стр.77-87;
  • Дороговцев А.Я. «Математический анализ» Глава 3, § 2 «Непрерывные функции» стр.50-58.

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

Тест проверяет знания по тексту «Непрерывные функции»

 

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

максимум из 24 баллов
Место Имя Записано Баллы Результат
Таблица загружается
Нет данных
(Основной материал был взят из курса Математического анализа ,1 курс,1 семестр (доц. Лысенко З.М.))

Вторая теорема Коши о промежуточном значении непрерывных функций

Теорема.
Если функция $f$ непрерывна на отрезке $ [a,b] $, $A=f(a) \neq f(b)=B$ и число $C$ заключено между числами $A$ и $B$, то существует такая точка $c \in [a,b]$, что $f(c)=C$.
Доказательство.
Не нарушая общности будем считать, что $ A = f(a) < f(b) = B $. Рассмотри функцию $h(x)=f(x)-C$, непрерывность на отрезке $ [a,b] $ которой следует из непрерывности функции $f$. Очевидно что $h(a)=A-C<0$ и $h(b)=B-C>0$. Применяем к $h$ первую теорему Коши и находим точку $c$ в которой $h(c)=f(c)-C=0$, то-есть $ f(c)=C $. Теорема доказана.
Геометрический смысл теоремы.
Как мы видим на рисунке изображен график функции $f(x)$(в общем произвольной), непрерывной на отрезке $[a,b]$, где $f(b) < f(a)$, $C$ произвольная точка на отрезке $[f(b),f(a)]$ и прямая $l$ задана формулой $l(x)=C$. Как мы видим, прямая $l$ обязана пересечь кривую $f(x)$ в какой-то точке $M$, лежащей на кривой $f(x)$, между точками $A(a,f(a))$ и $B(b,f(b))$. То-есть существует такое $c\in [a,b]$, что $f(c)=C$.

Замечание 1.
Первую и вторую теоремы Коши объединяют в одну, теорему Коши о промежуточном значении функции. В таком случае, теорема о нулях функции считается частным случаем. В то же время, как видно из доказательства вторая теорема Больцано-Коши является прямым следствием первой. Также теорему Коши о промежуточном значении функции называют теоремой Больцано-Коши о промежуточном значении функции.
Замечание 2.
Теорема Коши о промежуточном значении, применяется в доказательствах. Примеров на эту тему как таковых нету, но мы очень часто пользуемся этой теоремой, даже не замечая этого.
Пример.
Пусть функция $f(x)=x^{2}$ определенна и непрерывна на отрезке $[-2,2]$ .
Посчитаем значение функции в точках : $x=-0,75$, $x=0,25$, $x=1,5$.
Мы знаем что данная функция непрерывна на данном отрезке (в силу того что это полиномиальная функция), а значит, в силу второй теоремы Коши, она принимает все свои промежуточные значения и ее значения в указанных точках равны:
$f(-0,75)=0,5625$, $f(0,25)=0,0625$, $f(1,5)=2,25$.
Литература.

Вторая теорема Коши

Тест на тему: «Вторая теорема Коши»


Таблица лучших: Вторая теорема Коши

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

Первая теорема Коши о нулях непрерывной функции

Формулировка:

Если функция непрерывна на сегменте  и на своих концах принимает значение разных знаков, то существует такая точка, принадлежащая этому отрезку, в которой функция обращается в нуль.

Если $latex f \ \in \ C[a,b] $ и $latex f(a)f(b)<0 $ , то
$latex \exists c \ \in \ [a,b] : f(c)=0 $

Спойлер

Разделим отрезок [a,b] пополам и пусть точка $latex \alpha $ — середина этого отрезка.
Если $latex f(\alpha)=0 $ , то теорема доказана, если $latex f(\alpha) \neq 0 $ , то
на концах хотя бы одного из отрезков она принимает значение разных знаков.
$latex \Delta_1=[a_1,b_1] $, его длина $latex b_1-a_1 =\frac{b-a}{2} $
Пусть точка $latex \alpha_1 $ середина $latex \Delta_1 $
Если $latex f(\alpha_1)=0 $ , то теорема доказана, если $latex f(\alpha_1) \neq 0 $ , то
на концах хотя бы одного из отрезков она принимает значение разных знаков.
$latex \Delta_2=[a_2,b_2] $ , его длина $latex b_2-a_2 =\frac{b_1-a_1}{2} $
Продолжая этот процесс получим:

Для n-ого отрезке $latex \Delta_n=\frac{b-a}{2^{n}} \rightarrow 0 $ при $latex n \rightarrow \infty $

И $latex \forall n : f(a_n)f(b_n)<0 $

Так как последовательность стягивающаяся , то по теореме Кантора:

[latex]\exists c\ \forall n\ \in \ \mathbb{N} :[/latex] $latex c \ \in \ \Delta_n $

Докажем, что f(c)=0

Докажем от противного
$latex f(c)\neq 0 \Rightarrow f(c)>0 $ либо $latex f(c)<0 $ по свойству сохранения знака непрерывной функции
$latex \exists \delta \ \forall x \ \epsilon \ U_\delta(c) \Rightarrow f(x)>0 $
$latex b_n-a_n \rightarrow 0 $
$latex \forall \ \varepsilon>0 \ \exists N : \ \forall n \geq N \ |b_n-a_n|< \varepsilon $
Для $latex \delta>0 \ \exists n_0>N : b_{n_{0}}-a_{n_{0}}<\delta <2 \delta $
Отрезок с номером $latex n_0 $ будет лежать в этой окрестности $latex \Rightarrow $
$latex \forall x \ \epsilon \ U_\delta(c) \Rightarrow \ \forall x \ \epsilon \ \Delta_{n_{0}} : f(x)>0 $ ,
а это противоречит выбору $latex \Delta_{n_{0}} $ так как значение на левом и на правом конце отрезка, должны быть разных знаков
$latex \Rightarrow \ f(c)=0 $

$latex \blacksquare $

[свернуть]

Литература:

Тест:

Первая и вторая теоремы Коши

Тест на тему: «Первая и вторая теорема Коши»