Окружности Мальфатти: различия между версиями

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
Следующая правка →
Содержимое удалено Содержимое добавлено
ВизуальныйВики-текст
Перевод английской статьи "Malfatti circles"
(нет различий)

Версия от 06:37, 2 июля 2015

Окружности Мальфатти

В геометрии окружности Мальфатти — это три окружности внутри заданного треугольника, такие что каждая окружность касается двух других и двух сторон треугольника. Окружности названы именем Джана Франческо Мальфатти[англ.], который начал исследовать задачу построения этих окружностей с ошибочной верой, что они в сумме дают максимальную возможную площадь трёх непересекающихся окружностей внутри треугольника. Задача Мальфатти относится к обоим задачам — как к построению окружностей Мальфатти, так и к задаче нахождения трёх непересекающихся окружностей внутри треугольника с максимальной общей площади.

Задача Мальфатти

Сравнение окружностей Мальфатти и трёх окружностей, максимизирующих площадь в правильном треугольнике

В 1803 Джан Франческо Мальфатти[англ.] предложил задачу высечения трёх цилиндрических колонн из треугольной призмы мрамора так, чтобы максимизировать общий объём колонн. Он полагал, как и многие другие после него, что решение задачи дают три касающихся друг друга окружности. То есть, что три окружности Мальфатти дают максимальую общую площадь среди всех непересекающихся окружностей внутри треугольника.

Мальфатти опубликовал работу на итальянском, и многие не могли прочитать её в оригинале. Работа была переведена на французский Жозефом Диасом Жергонном?! в первом томе его ``Annales" (1810/11), с последующим обсуждением во втором и десятом томах. Однако, это сообщение больше похоже на фильтр, поскольку Жергонн лишь поставил задачу о касающихся окружностях, но не задачу нахождения максимальной площади.

Гипотеза оказалась ошибочной. Лоб и Ричмонд [1], которые отталкивались от оригинального итальянского текста, обнаружили, что в некоторых треугольниках большая площадь может быть получена с помощью жадного алгоритма, который вписывает в треугольник окружность максимального радиуса, затем вписывает вторую окружность в один из углов с наименьшей величиной угла, а затем вписывает третью окружность в одну из пяти получившихся областей. Разница в площади для правильного треугольника невелика, чуть больше 1%[2], но как заметил в 1946 Ховард Ивз[англ.], для равнобедренного треугольника с очень острым углом в вершине оптимальные окружности (расположенные один над другим, начиная с основания) имеют почти удвоенную площадь по сравнению с окружностями Мальфатти[3][4].

Голдберг[5] показал, что для любого треугольника построение Лоба–Ричмонда даёт три окружности с большей площадью, чем окружности Мальфатти, так что окружности Мальфатти никогда не оптимальны. Залгаллер и Лось[6] классифицировали все способы расположения максимальных по суммарной площади окружностей внутри треугольника. Используя эту классификацию они докали, что жадный алгоритм всегда находит окружности, максимизирующие площадь, и предложили формулу для определения, какое расположение окружностей оптимально для заданного треугольника. В тезисах к диссертации в 1997 Мелиссен (Melissen) высказал предположение, что для любого целого n жадный алгоритм для заданного треугольника находит набор из n окружностей с максимальной общей площадью. Известно, что гипотеза верна для n ≤ 3[7].

История

Задача построения трёх касающихся окружностей внутри треугольника была предложена японским математиком 18-го столетия Аджима Наонобу[англ.] ещё до работы Мальфатти и эта задача была включена в неопубликованную коллекцию работ Аджима, собранную годом позже смерти Аджима его учеником Кусака Макото (Kusaka Makoto)[8]. Та же самая задача была обнаружена ещё в более раннем манускрипте 1384 года, написанном Монтепульчано (Gilio di Cecco da Montepulciano). Манускрипт находится в Муниципальной библиотеке[англ.] в Сиене, Италия.[9]

Со времён Мальфатти имеется большое число работ по методам построения касающихся окружностей Мальфатти. Ричард К. Гай[англ.] написал, что литература по задаче "обширна, широко распространена и не всегда компетентна"[10]. Интересно, что в 1826 Якоб Штейнер представил простое геометрическое построение, основывающееся на общих касательных[англ.]. Другие авторы утверждали, что построение Штейнера недостаточно доказано, и Эндрю Сёрль Харт предоставил доказательство в 1856, но Гай указал на доказательство, имеющееся в двух работах самого Штейнера. Лоб и Ричмонд (Lob, Richmond) упомянули решения Лемуса (C. L. Lehmus, 1819), Каталана (1845), Деруссо (J. Derousseau, 1895), Пампуха (A. Pampuch, 1904), и Кулиджа (J. L. Coolidge, 1916), основанные на алгебраической формулировке задачи. Алгебраические решения не различают внутренние и внешние касания окружностей и заданного треугольника. Если задачу обобщить, позволив касания любого вида, то для заданного треугольника имеется 32 различных решения[11] и обратно, тройка взаимно касающихся окружностей будет решением для восьми различных треугольников[10]. Боттема и Гай (Bottema, 2001, Guy, 2007) упомянули также работы над задачей и её обобщениями Адамса (C. Adams, 1846), Адольфа Квидда (Adolphe Quidde, 1850), Шелбаха (K. H. Schellbach, 1853), Кэли (1854, 1857, 1875), Клебша (1857), Симонса (P. Simons, 1874), Кэйси (J. Casey, 1888), Роше и Комбруса (Rouché, Comberousse, 1900), Бейкера (H. F. Baker, 1925), Роджерса (L. J. Rogers, 928), Процисси (Angelo Procissi, 1932), Найто (Jun Naito, 1975) и Роджерса (D. G. Rogers, 2005).

Гато и Маццотти (Gatto, 2000, Mazzotti, 1998) перечислили исторические точки 19-го столетия работ неаполитанских математиков, связанные с окружностями Мальфатти. В 1839 Винченсо Флаути (Vincenzo Flauti) объявил соревнование, включающее решение трёх геометрических задач, одной из которых было построение окружностей Мальфатти. Его целью было показать превосходство синтетической техники (геометрия без использования координат) над аналитической. Вопреки тому, что решение было найдено студентом соперничающей школы аналитической геометрии Фортунатом Падулой (Fortunato Padula), Флаути отдал приз своему собственному студенту, Никола Труди (Nicola Trudi), решение которого Флаути знал ещё до объявления конкурса. Недавно задача построения окружностей Мальфатти была использована для тестирования систем компьютерной алгебры[12][13].

Построение Штейнера

Построение Штейнера

Хотя множество рани работ об окружностях Мальфатти использовали аналитическую геометрию, в 1826 Якоб Штейнер дал следующее простое геометрическое построение.

Центр окружности, касающейся двух сторон треугольника, что наблюдается у окружностей Мальфатти, должен лежать на одной из биссектрис треугольника (зелёные отрезки на рисунке). Эти биссектисы делят треугольник на три меньших треугоьника, и построение Штейнера окружностей Мальфатти начинается с построения вспомогательных трёх окружностей (показанных на рисунке пунктиром), вписанных в эти три треугольника. Каждая пара вспомогательных окружностей имеет две общие касательные. Одна из этих касательных является биссектрисой, а вторая показана на рисунке красным пунктиром. Обозначим стороны треугольника буквами a, b и c, а три касательные, не являющиеся биссектрисами, буквами x, y и z, где x является общей касательной окружностей, не касающихся стороны a, y является общей касательной окружностей, не касающихся стороны b, а z является общей касательной окружностей, не касающихся стороны c. Тогда три окружности Мальфатти — это вписанные окружности трёх четырёхугольников abyx, aczx и bczy[14] Три общих касательных x, y и z пересекают стороны треугольника в точках касания вспомогательных окружностей, а потому могут быть найдены как отражения биссектрис относительно прямых, соединяющых пары центров этих окружностей [10].

Формула радиусов

Радиус каждой из трёх окружностей Мальфатти можно найти по формуле, использующей длины сторон a, b и c треугольника, радиус вписанной окружности r, полупериметр и три расстояния d, e и f от центра вписанной окружности треугольника до вершин, противоположных сторонам a, b и c соответственно. Формулы этих трёх радиусов:

Согласно Стевановичу (Stevanović 2003) эти формулы были открыты Мальфатти и были опубликованы посмертно в 1811.

Связанные формулы можно использовать для нахождения примеров треугольников, у которых длины сторон, радиус вписанной окружности и радиусы окружностей Мальфатти все являются рациональными или целыми числами. Например, треугольник со сторонами 28392, 21000 и 25872 имеет радиус вписанной окружности 6930 и радиусы Мальфатти 3969, 4900 и 4356. Другой пример, треугольник со сторонами 152460, 165000 и 190740 имеет радиус вписанной окружности 47520 и радиусы окружностей Мальфатти 27225, 30976 и 32400[15].

Точки Аджима–Мальфатти

Первая точка Аджима–Мальфатти

Пусть дан треугольник ABC и его три окружности Мальфатти, пусть D, E и F — точки, где две окружности касаются, противоположные вершинам A, B и C соответственно. Тогда три прямые AD, BE и CF пересекаются в одной замечательной точке, известной как первая точка Аджима–Мальфатти. Вторая точка Аджима–Мальфатти — точка пересечения трёх прямых, соединяющих точки касания окружностей Мальфатти с центрами вневписанных окружностей треугольника[16][17]. Другие центры треугольника, связанные с окружностями Мальфатти включают точку Иффа–Мальфатти, образованную таким же способом, что и первая точка Мальфатти из трёх взаимно касающихся окружностей и (продолженных) сторон треугольника, но частично лежащих вне треугольника,[18] и радикальный центр трёх окружностей Мальфатти[19].

Смотрите также

Примечания

  1. ↑ Lob, Richmond, 1930, с. 287–304.
  2. ↑ Wells, 1991.
  3. ↑ Eves, 1946.
  4. ↑ Ogilvy, 1990.
  5. ↑ Goldberg, 1967.
  6. ↑ Залгаллер, Лось, 1992, с. 14-33.
  7. ↑ Andreatta, Bezdek, Boroński, 2010.
  8. ↑ Fukagawa, 2008.
  9. ↑ Simi, Rigatelli, 1993.
  10. ↑ 1 2 3 Guy, 2007.
  11. ↑ Bottema, 2001 приписывает перечисление этих решений Пампуху (1904), но Каджори (Cajori, 1893) заметил, что число решений было уже дано в 1826 в замечаниях Штейнера.
  12. ↑ Hitotumatu, 1995.
  13. ↑ Takeshima, Anai, 1996.
  14. ↑ Martin, 1998, упражнение 5.20 на стр. 96.
  15. ↑ Miller, 1875.
  16. ↑ Weisstein, Eric W. Ajima-Malfatti Points (англ.) на сайте Wolfram MathWorld..
  17. ↑ C. Kimberling, Encyclopedia of Triangle Centers, X(179) и X(180).
  18. ↑ Encyclopedia of Triangle Centers, X(400).
  19. ↑ Stevanović, 2003.

Литература

  • Marco Andreatta, András Bezdek, Jan P. Boroński. The problem of Malfatti: two centuries of debate // The Mathematical Intelligencer. — 2010. — Т. 33, вып. 1. — doi:10.1007/s00283-010-9154-7..
  • Titu Andreescu, Oleg Mushkarov, Luchezar N. Stoyanov. Geometric problems on maxima and minima. — Springer-Verlag, 2006. — С. 80–87. — ISBN 978-0-8176-3517-6..
  • Oene Bottema. The Malfatti problem // Forum Geometricorum. — 2001. — Т. 1. — С. 43–50..
  • Florian Cajori (1893), A history of mathematics, Macmillan & Co., p. 296.
  • H. Dörrie. 100 Great Problems of Elementary Mathematics: Their History and Solutions. — New York: Dover, 1965. — С. 147–151. — ISBN 0-486-61348-8..
  • Howard Eves. Problems and Solutions // American Mathematical Monthly. — 1946. — Т. 53, вып. 5. — С. 285–286. — JSTOR 2305117..
  • Hidetoshi Fukagawa, Tony Rothman. Sacred mathematics: Japanese temple geometry. — Princeton University Press, 2008. — С. 79. — ISBN 978-0-691-12745-3..
  • Romano Gatto. The debate about methods and Vincenzo Flauti's challenge to the mathematicians of the Kingdom of Naples. — Società Nazionale di Scienze, Lettere e Arti in Napoli. Rendiconto dell'Accademia delle Scienze Fisiche e Matematiche. Serie IV, 2000. — Т. 67. — С. 181–233..
  • M. Goldberg. {{{заглавие}}} // Mathematics Magazine. — 1967. — Т. 40. — С. 241–247. — JSTOR 2688277..
  • Richard K. Guy. The lighthouse theorem, Morley & Malfatti—a budget of paradoxes // American Mathematical Monthly. — 2007. — Т. 114, вып. 2. — С. 97–141. — JSTOR 27642143..
  • Sin Hitotumatu. The state of the art of scientific computing and its prospects, II (неопр.). — 1995. — Т. 915. — С. 167–170. — (Sūrikaisekikenkyūsho Kōkyūroku)..
  • H. Lob, H. W. Richmond. On the Solutions of Malfatti's Problem for a Triangle // Proceedings of the London Mathematical Society. — 1930. — Т. 30, вып. 1. — doi:10.1112/plms/s2-30.1.287..
  • George Edward Martin. Geometric Constructions. — Springer-Verlag, 1998. — С. 92–95. — (Undergraduate Texts in Mathematics). — ISBN 978-0-387-98276-2.
  • Massimo Mazzotti. The geometers of God: mathematics and reaction in the kingdom of Naples // Isis. — 1998. — Т. 89, вып. 4. — С. 674–701. — doi:10.1086/384160..
  • J.B.M. Melissen. Packing and Covering with Circles : PhD thesis. — Utrecht University, 1997..
  • A. Martin. Mathematical questions with their solutions, from the "Educational times" / W. J. C. Miller. — London: Hodgson & SON, 1875. — Т. XXII. — С. 70–71.
  • C. Stanley Ogilvy. Excursions in Geometry. — Dover, 1990. — С. 145–147. — ISBN 0-486-26530-7..
  • A. Simi, L. Toti Rigatelli. Vestigia mathematica. — Rodopi, 1993. — С. 453–470..
  • Milorad R. Stevanović. Triangle centers associated with the Malfatti circles // Forum Geometricorum. — 2003. — Т. 3. — С. 83–93..
  • Taku Takeshima, Hirokazu Anai. Studies in the theory of computer algebra and its applications. — 1996. — Т. 941. — С. 15–24. — (Sūrikaisekikenkyūsho Kōkyūroku)..
  • David Wells. The Penguin Dictionary of Curious and Interesting Geometry. — New York: Penguin Books, 1991. — С. 145–146. — ISBN 0-14-011813-6..
  • В.А. Залгаллер, Г.А. Лось. Решение проблемы Мальфатти // Украинский геометрический сборник. — Т. 35. — doi:10.1007/BF01249514.
  • Алексей Мякишев. О некоторых «треугольных» кониках // Математическое образование. — Москва, 2014. — Вып. 1 (69) январь-март.
  • И.Богданов, А.Заславский. Ещё раз о задаче Мальфатти (лекция) // Пятая всероссийская олимпиада по геометрии имени И.Ф. Шарыгина.
  • В. З. Беленький, А. А. Заславский. Решение обобщенной задачи Мальфат-

ти с помощью комплексной (гиперболической) тригонометрии // Математическое просвещение. — 1998. — Вып. 2. — С. 141-154.

  • В. З. Беленький, А. А. Заславский. О задаче Мальфатти // Квант, Физико-математический журнал для школьников и студентов. — 1994. — Вып. 4 (июль/август). — С. 38-42. — ISSN 0130-2221.

Внешние ссылки

Источник — https://ru.wikipedia.org/w/index.php?title=Окружности_Мальфатти&oldid=71856886