Борис Розенфельд - Пространства, времена, симметрии. Воспоминания и мысли геометра

Французский историк науки Поль Таннери обнаружил один случай применения мультипликативных названий у греков - он нашел текст современника Диофанта александрийского христианского епископа Анатолия, который называл 5-ю степень первым невыразимым (protos alo- gos), 6-ю степень квадрато-кубом, а 7-ю степень - вторым невыразимым (deuteros alogos).

Текст, обнаруженный Таннери, позволил мне проанализировать названия степеней у итальянских и немецких алгебраистов эпохи Возрождения. Итальянский математик Лука Пачоли (1454-1514) в своей книге "Сумма [знаний] по арифметике, геометрии, отношениям и пропорциональности" называл квадрат censо, куб - cubo, 4-ю степень - censo de censo, 5-ю степень - primo relato, 6-ю степень -censo de cubo, 7-ю степень - secondo relato и т.д.

Джироламо Кардано (1501-1576) в своем "Великом искусстве алгебраических правил" пользовался аналогичными латинскими названиями, вместо слова relato он писал relatum. Я в статьях и в книге "История математики с древнейших времен" объяснял эти термины как искаженные переводы термина alogos. Это слово можно перевести не только как "невыразимое", но и как "не-отношение". По-видимому, первоначально это слово было переведено в его втором значении словами irrelato и irrelatum, которые впоследствии потеряли приставку ir-.

От итальянских алгебраистов, которые, следуя арабам, называли неизвестную величину "вещью" (cosa), aлгебра попала в Германию, где ее стали называть Coss - от итальянского слова cosa, поэтому немецких алгебраистов той эпохи называют коссистами. Как и итальянские алгебраисты, коссисты пользовались мультипликативной системой названий степеней. Они называли неизвестную величину Res ("вещь" на латыни), квадрат - Zensus, куб - Cubus, 4-ю степень - Zеnsus Zensi, 5-ю - Sursolidum, 6-ю Zensus Cubi, 7-ю - Bissursolidum и далее все "невыразимые" степни - словом sursolidum с добавлением сокращений латинских числительных ter-, quadr-, quint- и т. д. Слово sursolidum первоначально имело вид surdesolidum, от латинских слов surdus - "глухой", которым часто переводили греческое слово alogos (в частности, для обозначения иррациональных величин и чисел), слово solidum - "тело" появилось, по-видимому, по аналогии со словом "куб". Впоследствии слово sursolidum стали понимать как "сверхтело" и в латинских текстах заменять его словом supersolidum.

Эта "гипергеометрическая" терминология привела самого крупного коссиста Михаэля Штифеля (1487-1567) к идее многомерного пространства. В своей обработке книги "Coss" Христофа Рудольфа Штифель предложил "выйти за пределы куба" и, называя куб "телесной точкой", рассматривать далее "телесную линию", "телесный квадрат", "телесный куб" и т. д.

Сферическая геометрия и тригонометрия в Европе

В моей книге "История неевклидовой геометрии" я подробно рассмотрел историю сферической геометрии и тригонометрии в Европе.

Теорему косинусов сферической тригонометрии, которая в трудах индийских и арабских астрономов встречалась только в астрономических правилах, впервые сформулировал как математическую теорему Региомонтан (1436 -1476) в "Пяти книгах о треугольниках всякого рода". Чертеж Региомонтана к этой теореме совпадает с чертежом ал-Баттани в его астрономических таблицах. Поэтому европейцы приписывали эту теорему ал-Баттани и называли ее "теоремой Альбатегния". Эта теорема для сферического треугольника АВС со сторонами а, b, с выражается формулой cosa = cosb cosc + sinb sine cos A.

Двойственную терему косинусов, выражаемую для того же сферического треугольника формулой

cosA = -cosBcosC + sinBsinCcosa,

впервые доказал Франсуа Виет (1548-1603 ) в его "VIII книге ответов на различные математические вопросы".

Площадь сферического треугольника АВС, выражаемая формулой

S =r2(A+B+C-n),

где углы А, В и С выражены в радианной мере, нашел Альбер Жирар (1595­1632) в работе "О мере поверхности сферических треугольников и многоугольников".

Далее в "Истории неевклидовой геометрии" я рассматривал работы по сферической тригонометрии Леонарда Эйлера (1707-1783) и математиков его школы.

Поверхности второго порядка

Выше мы упоминали, что Архимед сжигал римские корабли используя свойства параболоида вращения. Он определил параболоиды и эллипсоиды вращения и полости двуполостных гиперболоидов вращения в трактате "О сфероидах и коноидах", где называл эллипсоиды вращения сфероидами, параболоиды вращения - прямоугольными коноидами, а полости гиперболоидов вращения - тупоугольными коноидами. Однополостные гиперболоиды вращения впервые рассматривал Дж. Валлис (1616 -1703), который называл их цилиндроидами.

В статье о геометрических работах Эйлера я изучал вопрос об открытии Эйлером поверхностей второго порядка общего вида. Эйлер рассматривал поверхности второго порядка, получаемые сжатием из поверхностей вращения, и гиперболический параболоид, который нельзя получить таким образом. Эти поверхности были впервые описаны Эйлером во 2-м томе "Введения в анализ бесконечных".