М679. Точки касания

Задача из журнала «Квант» (1981 год, 4 выпуск)

Условие

а) На плоскости расположены четыре круга так, что первый касается второго в точке $A$, второй — третьего в точке $B$, третий — четвертого в точке $C$ и четвертый — первого в точке $D$ (рис. 2). Докажите, что через четыре названные точки можно провести окружность или прямую.

б) *В пространстве расположены четыре шара так, что первый касается второго в точке $A$, второй — третьего в точке $B$, третий — четвертого в точке $C$ и четвертый — первого в точке $D$. Докажите, что через четыре названные точки можно провести окружность или прямую.

в) *В пространстве расположены четыре шара так, что каждый касается трех других. Докажите, что шесть точек касания принадлежат одной сфере или одной плоскости.

Решение

а) Прежде всего, что если какие-то три из точек $A$, $B$, $C$, $D$ лежат на одной прямой, то и четвертая точка лежит на той же прямой (рис. 1).

рис. 1

Пусть все четыре круга касаются внешним образом (рис. 2) и пусть $AA_{1}$, $BB_{1}$, $CC_{1}$, $DD_{1}$ — отрезки общих касательных.

рис. 2

Из $\widehat{A_{1}A}D = \widehat{D_{1}D}A$, $\widehat{D_{1}D}C = \widehat{C_{1}C}D$, $\widehat{B_{1}B}C = \widehat{C_{1}C}B$ и $\widehat{A_{1}A}B = \widehat{B_{1}B}A$ следует $\widehat{A} + \widehat{C} = \widehat{B} + \widehat{D}$; значит, около четырехугольника $ABCD$ можно описать окружность.

В случае, когда не все четыре круга касаются внешним образом (рис. 3), рассуждения аналогичны.

рис. 3.

б) Если центры шаров лежат в одной плоскости, то и все точки касания лежат в этой плоскости, так что в этом случае задача б) сводится к задаче а).

Если же центры $O_{1}$, $O_{2}$, $O_{3}$, $O_{4}$ — не в одной плоскости, проведем плоскость через три точки касания, например $A$, $B$, $C$ (рис. 4), и докажем, что четвертая точка $D$ принадлежит этой плоскости.

рис. 4.

Пусть $h_{1}$, $h_{2}$, $h_{3}$, $h_{4}$ — расстояния от точек $O_{1}$, $O_{2}$, $O_{3}$, $O_{4}$ до плоскости $(ABC)$, а $R_{1}$, $R_{2}$, $R_{3}$, $R_{4}$ — радиусы шаров. Ясно, что $\frac{h_{1}}{h_{2}} = \frac{R_{1}}{R_{2}}$, $\frac{h_{2}}{h_{3}} = \frac{R_{2}}{R_{3}}$, $\frac{h_{3}}{h_{4}} = \frac{R_{3}}{R_{4}}$ (см. рис. 4). Перемножая эти отношения, получаем $\frac{h_{1}}{h_{4}} = \frac{R_{1}}{R_{4}} = \frac{\mid O_{1}D\mid}{\mid O_{4}D\mid}$, что и означает принадлежность точки $D$ плоскости $(ABC)$.

Таким образом, плоскость $(ABC)$ пересекает шары по четырем кругам, касающимся, соответственно, друг друга в точках $A$, $B$, $C$, $D$ так, как сказано в пункте а). Из этого следует утверждение задачи б).

в) Пусть $A$ — точка касания первого и второго, $B$ — первого и третьего, $C$ — первого и четвертого, $D$ — второго и третьего, $E$ — второго и четвертого, $F$ — третьего и четвертого шаров.

По доказанному в пункте б) точки $A$, $C$, $F$, $D$ лежат на одной окружности или прямой. Точки $A$, $E$, $F$, $B$ обладают тем же свойством.

У этих двух четверок точек есть две общие точки: $A$ и $F$. Поэтому если одна из четверок лежит на прямой, все шесть точек лежат в одной плоскости.

Если же эти четверки лежат на двух окружностях, находящихся в разных плоскостях и имеющих общую хорду $AF$, то через эти окружности можно провести сферу; центром этой сферы является точка пересечения перпендикуляров к плоскостям этих окружностей (эти перпендикуляры лежат в плоскости, проходящей через центры окружностей и середину их общей хорды $AF$).

В. Произволов

Определение предела сходящейся последовательности

Определение

Пусть $\{x^{(n)}\}$ — последовательность точек метрического пространства $X$. Говорят, что последовательность $\{ x^{(n)} \}$ сходится к точке $x$ и обозначают $\lim \limits_{n \to \infty} x^{(n)} = x$, то есть точка $x$ называется пределом последовательности ${x^{(n)}}$, если $\lim \limits_{n \to \infty} \rho(x^{(n)}, x) = 0$.

Эквивалентное геометрическое определение может быть сформулировано следующим образом.

Определение

Точка $x$ называется пределом последовательности $\{x^{(n)}\}$, если в любой окрестности точки $x \in X$ содержатся все точки последовательности $\{x^{(n)}\}$, за исключением, быть может, конечного их числа, то есть какой бы шар с центром в точке $x$ мы не взяли, в него попадут все точки последовательности $\{x^{(n)}\}$, кроме, быть может, конечного их числа.

Источники

  • Конспект лекций по математическому анализу Лысенко З.М.

Литература

Задача о 19-граннике

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

Условие

Около сферы радиуса $10$ описан некоторый $19$-гранник. Доказать, что на его поверхности найдутся две точки, расстояние между которыми больше $21$.

kvantTasc

Решение

Первое решение

Предположим противное, то есть, что расстояние между любыми двумя точками поверхности нашего $19$-гранника не больше $21$. Тогда этот многогранник лежит внутри сферы радиуса $11$, концентричной сфере радиуса $10$, а каждая его грань лежит между сферами. Поэтому площадь каждой грани не слишком велика, а именно, не превосходит площади круга, радиус которого равен $\sqrt{21}$. В нашем многограннике $19$ граней, поэтому площадь $S$ его поверхности не превосходит $19\cdot(\pi\cdot(\sqrt{21})^2) = \pi(20^2 -1^2)=399\pi$. Но многогранник описан около сферы радиуса $10$. Отсюда площадь его поверхности больше площади поверхности этой сферы $4\pi10^2$*. Итак, с одной стороны, $ S > 399\pi$, с другой стороны, $ S < 400\pi$. Полученное противоречие и решает задачу.

В этом (нестрогом) решении мы пропустили доказательства трёх утверждений, которые начинаются с трёх выделенных выше курсивом слов: тогда, поэтому, отсюда. Мы оставляем читателю эти простые доказательства, но хотим предупредить, что хотя третье утверждение легко доказывается для выпуклого многогранника с помощью сравнения его объёма с объёмом сферы**, тем не менее интуитивно ясное и правильное утверждение о том, что наш многогранник выпуклый, трудно доказать строго, так как само строгое определение многогранника весьма сложно. (Загляните, например, в книгу И. Лакатоса «Доказательства и опровержения» М., «Наука», 1967).

Второе решение

Поставим более общий вопрос: какое наименьшее число граней может иметь многогранник, описанный около сферы радиуса $r$ и целиком лежащий в концентрической с ней сфере радиуса $R > r$. (Вот житейская ситуация, которая подсказала автору эту задачу: каким наименьшим числом прямолинейных взмахов ножа можно срезать верхний слой кожуры апельсина, не срезав при этом ни одного куска сердцевины? Очевидно, что после срезания всего верхнего слоя кожуры остаток будет многогранником, так как на его поверхности не будет ни одного закругленного участка, так что этот вопрос эквивалентен предыдущему.)

Мы не знаем точного ответа на этот более общий вопрос, но докажем для числа граней некоторое неравенство, которое при $r = 10, R = 11$ показывает, что $N < 22$. Тем самым мы докажем, что если в условии задачи вместо $19$-гранника взять $22$-гранник, то утверждение задачи по-прежнему останется справедливым.

Итак, пусть $N$-гранник описан около сферы радиуса $r$ и целиком лежит внутри сферы радиуса $R$. Рассмотрим какую-нибудь его грань.

Проходящая через неё плоскость отрезает от сферы шапочку (сегментную поверхность) высоты $R — r$. Ясно, что если построить шапочки для всех граней нашего многогранника, то их объединение покроет всю внешнюю сферу. Каждая из $N$ шапочек есть сегментная поверхность высоты $R — r$, и, следовательно, имеет площадь $2\pi R(R — r)$. Сумма площадей всех шапочек больше площади сферы. Поэтому $N\cdot 2\pi R(R — r) > 4\pi R^2$, отсюда $N > {\frac{2R}{R-r}}$, в частности, при $R = 11, r = 10$ получаем $N > 22$.

Интересно, что по любому набору шапочек, целиком покрывающих внешнюю сферу, можно построить многогранник, описанный около внутренней сферы. (Докажите!) Поэтому наш вопрос про минимальное число граней полностью эквивалентен следующему вопросу. Каково минимальное число $N = N(h)$ шапочек высоты h, целиком покрывающих сферу радиуса $1$? (В исходной задаче $h = {\frac{1}{11}}$.)

Очевидно, что $N(h) > {\frac{2}{h}}$, но это неравенство отражает просто тот факт, что сумма площадей шапочек больше площади сферы, в то время как интуитивно ясно, что при $h > 1$ шапочки должны довольно сильно перекрываться. И действительно, можно доказать, что при достаточно малых $h$

$ N(h) > 1,2\frac{2}{h}$.

Попробуйте сами доказать, например, что при $h < 1$

$N(h) > 1,001\frac{2}{h}$

А. Г. Кушниренко

* Напомним, что для шара радиуса $R$ объем равен $\frac{4}{3}\pi R^3$, площадь сегментной поверхности с высотой $h$ равна $2\pi Rh$ и, в частности, площадь сферы равна $4\pi R^2$

** Действительно, объем многоугольника равен $\frac{RS}{3}$, где $R$ — радиус вписанной сферы, а $S$ — площадь его поверхности.

Примеры открытых множеств

new

Точки [latex](x, y)[/latex] удовлетворяющие [latex]x^2 + y^2 = r^2[/latex] окрашены синим. Точки [latex](x, y)[/latex] удовлетворяющие [latex]x^2 + y^2 < r^2[/latex] окрашены красным. Красные точки образует открытое множество. Объединение красных и синих точек есть замкнутое множество.

Пример 1. Любой открытый шар [latex]B(x_0,r)[/latex] является открытым множеством.
Пусть [latex]x \in B(x_0,r)[/latex]. Докажем, что найдется окрестность [latex]x[/latex], которая целиком содержится в [latex]B(x_0,r)[/latex]. Предположим, что [latex]\rho = r — \left|x — x_0 \right|[/latex]. Тогда [latex]\rho > 0[/latex], так как [latex]\left|x — x_0 \right| < r[/latex]. Покажем, что [latex]B(x,\rho) \subset B(x_0,r)[/latex]. Пусть [latex]y \in B(x,\rho)[/latex]. Тогда [latex]\left|y — x \right| < \rho[/latex]. Оценим расстояние между [latex]y[/latex] и [latex]x_0[/latex]. По неравенству треугольника имеем

[latex]\left| y — x_0 \right| \leq \left| y — x \right| + \left| x — x_0 \right| < \rho + \left| x — x_0 \right| = r[/latex],

что и требовалось доказать.

В частности, при [latex]n = 1[/latex] открытые шары – это интервалы на действительной прямой, и они являются открытыми множествами на прямой.
Пример 2. Для двух векторов [latex]a,b \in \mathbb{R}^n[/latex], таких, что [latex]a^i < b^i (i = 1…,n)[/latex], открытым интервалом называется множество всех точек [latex]x[/latex], координаты которых удовлетворяют условиям [latex]a^i < x^i < b^i (i = 1,…,n)[/latex]. Такой интервал обозначается через [latex](a^1,b^1;…;a^n,b^n)[/latex].В частности, в [latex]\mathbb{R}^2[/latex] открытые интервалы – это прямоугольники со сторонами, параллельными координатным осям, а в [latex]\mathbb{R}^3[/latex] – параллелепипеды, ребра которых параллельны координатным осям.

Докажем, что любой открытый интервал в [latex]\mathbb{R}^n[/latex] является открытым множеством.

Пусть [latex]J[/latex] – открытый интервал и пусть [latex]x \in J[/latex], т. е. [latex]a^i < x^i < b^i (i = 1,…,n)[/latex]. Обозначим через [latex]\delta^i = min(x^i — a^i,b^i — x^i) (i = 1,…,n)[/latex] и [latex] \delta = min(\delta^1,…,\delta^n)[/latex]. Покажем, что [latex]B(x,\delta)[/latex] содержится в [latex]J[/latex]. Действительно, если [latex]y \in B(x,\delta)[/latex], то [latex]|y-x| < \delta[/latex]. Отсюда следует, что [latex]|x^i -y^i| < \delta[/latex] для всех [latex]i = 1,…,n[/latex]. Пользуясь определением числа [latex]\delta[/latex], легко показать, что [latex]a^i < y^i < bi[/latex] для всех [latex]i = 1,…,n[/latex], так что [latex]y \in J[/latex].

Литература:

Открытые множества и их свойства

Открытые множества

Определение. Множество всех точек $x$пространства $\mathbb{R}^n$, таких, что $| x- x_0| < \rho, \rho > 0$, называется открытым шаром с центром в точке $x_0$ и радиусом $\rho$. Этот шар также называется $\rho$-окрестностью точки $x_0$ и обозначается $B(x_0,\rho)$.

Определение. Зададим подмножество $E$ пространства $\mathbb{R}^n$. Точка $x_0$ множества $E$ называется внутренней точкой множества, если существует $B(x_0,\rho)$, содержащийся в $E$. Иными словами, $x_0$ является внутренней точкой множества $E$, если она входит в $E$ вместе с некоторой окрестностью.

Определение. Множество $E \subset \mathbb{R}^n$ называется открытым, если любая его точка будет внутренней в $E$. Условимся также считать пустое множество $\varnothing$ открытым.

Свойства открытых множеств

Обозначим через $A$ множество индексов, и каждому элементу $\alpha \in A$ поставим в соответствие множество $E_{\alpha}$. Тогда $\left\{E_{\alpha}\right\}_{\alpha \in A}$ называется семейством множеств

Теорема. Открытые множества в пространстве $\mathbb{R}^n$ обладают такими свойствами:

  1. Пустое множество $\varnothing$ и всё пространство $\mathbb{R}^n$ открыты;
  2. Пересечение всякого конечного числа открытых множеств также открыто;
  3. Объединение всякого семейства $\left\{G_{\alpha}\right\}_{\alpha \in A}$ открытых множеств также открыто

Доказательство.

  1. Пустое множество $\varnothing$ является открытым по определению, а пространство $\mathbb{R}^n$, очевидно, открыто, так как всякий шар содержится в $\mathbb{R}^n$.
  2. Пусть $E_1,…,E_n$ – открытые множества,$E=\bigcap _{ i=1 }^{ n }{E}_{i} $. Предположим, что $x \in E$. Тогда $x \in E_i$ для любого $i=1,…,n$. Но все множества $E_i$ являются открытыми, так что для любого $i=1,…,n$ найдется открытый шар $B(x,\rho_i) \subset E_i$. Среди всех этих шаров выберем шар с наименьшим радиусом $B(x,\rho)$, где $r=min(\rho_1,…,\rho_n)$. Тогда $E(x,\rho) \subset E_i$ при каждом $i=1,…,n$, а значит, $B(x,\rho) \subset E$, и тем самым доказано, что множество $E$ открыто.
  3. Пусть $E=\bigcup_{\alpha \in A}E_{\alpha}$, где все множества $E_{\alpha}$ открыты. Докажем, что множество $E$ также открыто. Предположим, что $x \in E$. Тогда $x$ принадлежит хотя бы одному из множеств ${E}_{{\alpha}_{0}}$. Так как это множество ${E}_{{\alpha}_{0}}$ открыто, то найдется окрестность $B(x,\rho) \subset {E}_{{\alpha}_{0}} \subset E$. Таким образом, $E$ – открытое множество.$\square$

Замечание. Пересечение бесконечного семейства открытых множеств не обязательно будет открытым. К примеру, пусть $B_k$ – открытый шар с центром в нуле и радиусом $\frac{1}{k}(k=1,2,…)$. Тогда $\bigcap_{k=1}^{\infty}B_k = \left\{0\right\}$. Но множество $\left\{0\right\}$, состоящее из одной точки, не является открытым, поскольку оно не содержит в себе ни одного шара.

Литература:

Открытые множества и их свойства

Тест по теме «Открытые множества и их свойства»


Таблица лучших: Открытые множества и их свойства

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