Loading AI tools
Из Википедии, свободной энциклопедии
Теоре́ма Помпею́ — теорема планиметрии, открытая румынским математиком Димитрие Помпею и опубликованная им в 1936 году[1]. Теорема известна в двух формулировках: частной и более общей.
Пусть дан равносторонний треугольник, вписанный в окружность. Тогда для любой точки этой окружности расстояние от неё до одной из вершин треугольника равно сумме расстояний до двух остальных вершин. В частности, для рис. справа имеем: . В симметричном виде эта формулировка может быть записана в виде: или .
Аналогичные соотношения встречаются в следующих разделах:
Пусть дан равносторонний треугольник , вписанный в окружность. Тогда для любой точки справедливы неравенства:
При этом указанные неравенства обращаются в равенства тогда и только тогда, когда точка лежит на дугах , и описанной окружности соответственно.
Другими словами, из отрезков , , можно составить треугольник, но если точка на описанной окружности, он будет вырожденным.
Рассмотрим поворот вокруг точки на . При этом повороте точка перейдёт в , а — в .
Заметим, что треугольник равносторонний, поэтому . Так как поворот является изометрией, то .
Таким образом, длины отрезков , , равны попарным расстояниям между точками , , , то есть все три неравенства будут следовать из обобщённого неравенства треугольника. Одно из неравенств станет равенством в том и только том случае, если точки , и будут лежать на одной прямой.
Заметим, что в силу свойств поворота . Теперь в случае, когда лежит между и имеем и , то есть лежит на дуге . Аналогично, в двух других случаях один из указанных углов будет , а другой , и мы получим две другие дуги.
Как гласит теорема, для всякой точки из отрезков , , можно построить треугольник (треугольник Помпею, соответствующий точке ). Если лежит внутри треугольника площади , а площади треугольников , и равны , , , то площадь треугольника Помпею равна [2].
Пусть окружность касается описанной окружности равностороннего треугольника в произвольной точке . Проведём касательные , , к этой окружности из вершин треугольника. Тогда .
Доказательство основано на применении теоремы Помпею и теоремы о касательной и секущей. Ясно, что если сделать радиус окружности нулевым, мы получим классическую теорему Помпею. Данное обобщение теоремы Помпею есть простое следствие теоремы Кейси (обобщённой теоремы Птолемея), когда радиусы трех из четырех касающихся окружностей вписанного четырехугольника вырождаются в точки, а четвертая окружность фигурирует в данном обобщении теоремы Помпею. При этом вписанный четырехугольник вырождается в равносторонний треугольник с одной лишней вершиной. Можно взять и другой случай вписанного четырехугольника, когда у него равны две стороны и диагональ, образующие равносторонний треугольник ABC и три его вершины, четвертая вершина M лежит на окружности (см. последний рис.).
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.