Теорема Коммандино

Теорема Коммандино , названная в честь Федерико Коммандино (1509–1575), утверждает, что четыре медианы тетраэдра . совпадают в точке S , которая делит их в соотношении 3:1 В тетраэдре медиана — это отрезок, соединяющий вершину с центром тяжести противоположной грани , то есть с центром тяжести противоположного треугольника. Точка S также является центром тяжести тетраэдра. [ 1 ] [ 2 ] [ 3 ]
История
[ редактировать ]Теорема приписывается Коммандино, который в своей работе De Centro Gravitatis Solidorum («Центр тяжести твердых тел», 1565 г.) заявил, что четыре медианы тетраэдра совпадают. Однако, по словам ученого XIX века Гийома Либри, Франческо Мауролико (1494–1575) утверждал, что нашел результат раньше. Либри тем не менее считал, что оно было известно еще раньше Леонардо да Винчи , который, похоже, использовал его в своем творчестве. Джулиан Кулидж разделял эту оценку, но отметил, что не смог найти явного описания или математической обработки теоремы в работах да Винчи. [ 4 ] Другие ученые предположили, что результат, возможно, был уже известен греческим математикам в древности. [ 5 ]
Обобщения
[ редактировать ]Теорема Коммандино имеет прямой аналог для симплексов любой размерности : [ 6 ]
- Позволять быть -симплекс некоторой размерности в и пусть быть его вершинами. Кроме того, пусть , быть медианами , линии, соединяющие каждую вершину с центром тяжести противоположного -мерная грань . Затем эти прямые пересекаются в точке , в соотношении .
Полная общность
[ редактировать ]Первый аналог легко доказать с помощью следующего, более общего результата, аналогичного тому, как работают рычаги в физике: [ 7 ]
- Позволять и быть натуральными числами , так что в - векторное пространство , попарно разные точки даны.
- Позволять быть центроидом точек , позволять быть центроидом точек , и пусть быть центроидом всего этого точки.
- Тогда у человека есть
- В частности, центр тяжести лежит на линии и делит его в соотношении .
Теорема Ройша
[ редактировать ]Предыдущая теорема имеет и другие интересные следствия, помимо вышеупомянутого обобщения теоремы Коммандино. Его можно использовать для доказательства следующей теоремы о центроиде тетраэдра, впервые описанной в Mathematische Unterhaltungen немецким физиком Фридрихом Эдуардом Ройшем : [ 8 ] [ 9 ]
- Центр тяжести тетраэдра можно найти, взяв середины двух пар двух его противоположных ребер и соединив соответствующие середины через соответствующую среднюю линию. Точка пересечения обеих средних линий будет центроидом тетраэдра.
Поскольку тетраэдр имеет шесть ребер в трех противоположных парах, получается следующее следствие: [ 8 ]
- В тетраэдре три средние линии, соответствующие средним точкам противоположных ребер, совпадают , а точка их пересечения является центроидом тетраэдра.
Теорема Вариньона
[ редактировать ]Конкретный случай теоремы Ройша, когда все четыре вершины тетраэдра лежат в одной плоскости и лежат в одной плоскости, тем самым вырождаясь в четырехугольник , теорема Вариньона, названная в честь Пьера Вариньона , утверждает следующее: [ 10 ] [ 11 ]
- Пусть четырехугольник в быть дано. Тогда две средние линии, соединяющие середины противоположных ребер, пересекаются в центре тяжести четырехугольника и делятся им пополам.
Ссылки
[ редактировать ]- ^ Клауди Альсина, Роджер Б. Нельсен: математическая космическая одиссея: твердая геометрия в 21 веке . Математическая ассоциация Америки, 2015 г., ISBN 9780883853580 , стр. 97–98.
- ^ Натан Альтшиллер-Корт: Тетраэдр и его описанный параллелепипед . Учитель математики, Vol. 26, № 1 (ЯНВАРЬ 1933 г.), стр. 46–52 ( JSTOR )
- ^ Норман Шаумбергер: Теорема Коммандино . Двухлетний математический журнал колледжа, Vol. 13, № 5 (ноябрь 1982 г.), с. 331 ( ДЖСТОР )
- ^ Натан Альтшиллер Корт: Заметки о центроиде . Учитель математики, Vol. 53, № 1 (ЯНВАРЬ 1960 г.), стр. 34 ( JSTOR )
- ^ Говард Ивс: Великие моменты в математике (до 1650 г.) . МАА, 1983 г., ISBN 9780883853108 , с. 225
- ^ Эгберт Харцхайм (1978). Введение в комбинаторную топологию (на немецком языке). Дармштадт: Научное книжное общество. п. 33. ISBN 3-534-07016-Х .
- ^ Эгберт Харцхайм (1978), Введение в комбинаторную топологию (на немецком языке), Дармштадт, стр. 31, ISBN 3-534-07016-Х
{{citation}}
: CS1 maint: отсутствует местоположение издателя ( ссылка ) - ^ Jump up to: а б Фридрих Йозеф Пифагор Рике (ред.): Математические беседы. Второй выпуск. 1973, стр. 100, 128.
- ^ В «Математических беседах» (второй выпуск, стр. 128) делается ссылка на стр. 36 трактата Ройша «Остроконечная арка» .
- ^ Коксетер, соч. цит., стр. 242.
- ^ ДУДЕН: Расчет и математика. 1985, с. 652.