и для уравнения F(x,y) = 0 конического сечения, приравнивая Ux Uy' нулю и исключая из полученных равенств l, мы найдем уравнение той самой вспомогательной гиперболы, которую определил Аполлоний при проведении нормалей к коническому сечению из точки М с координатами хо и уо. Если это сечение пересекается с вспомогательной гиперболой в точках N и P, то искомыми нормалями являются прямые MN и MP.
Несомненно, что Лагранж разработал свой метод, изучая решение Аполлония, изложенное в V книге "Конических сечений", которая появилась в латинском переводе Галлея в 1710 г.
В том случае, когда точки N и P сливаются, т.е. вспомогательная гипербола касается конического сечения, отрезок MN называется радиусом кривизны конического сечения в точке N, а точка М называется центром кривизны сечения в точке N. В настоящее время геометрическое место центров кривизны кривой называется эволютой этой кривой.
Аполлоний сначала находит центр кривизны конических сечений в их вершинах и доказывает, что радиусы кривизны сечений в их вершинах равны половинам прямых сторон сечений, соответствующих осям, проходящим через эти вершины. Далее Аполлоний приводит пропорции равносильные уравнениям эволют параболы, эллипса и гиперболы. Эволюта параболы -полукубическая парабола, состоящая из двух вогнутых кривых, соединенных в точке возврата. Эволюта эллипса - астроида -замкнутая кривая, состоящая из четырех вогнутых кривых, соединенных попарно в точках возврата. Эволюта гиперболы - псевдоастроида, состоящая из двух ветвей, каждая из которых образована двумя вогнутыми кривыми, соединенными в точке возврата. Все эти кривые - алгебраические, первая - 3-го порядка, вторая и третья -6-го порядка. Точки возврата этих кривых - центры кривизны параболы, эллипса и гиперболы в их вершинах. Аполлоний не рассматривал строения этих кривых.
Равносильность пропорций Аполлония и уравнений эволют конических сечений была доказана Т.Л.Хизсом в 1896 г., однако его доказательства были изложены столь кратко, что остались почти не замеченными в ХХ веке, Аполлоний не указывает каким образом он пришел к этим пропорциям. Профессор Киевского университета М.Е.Ващенко - Захарченко (1825 -1912) в своей "Истории геометрии", опубликованной в 1883 г., высказал предположение, что Аполлоний владел элементами дифференциального исчисления, но в своих работах формулировал результаты, полученные с помощью этого исчисления, в терминах античной математики. Ващенко - Захарченко не рассматривал пропорций Аполлония, которые изучал Хизс, но так как эволюты конических сечений являются огибающими нормалей этих кривых, получить их уравнения без помощи дифференциального исчисления не представляется возможным.
В VI книге Аполлоний доказал, что все параболы подобны между собой, и нашел условия подобия эллипсов и гипербол. Из этих условий следует, что всякие два эллипса и всякие две гиперболы можно перевести друг в друга аффинным преобразованием. Из определения Аполлония конических сечений следует, что всякие два конические сечения можно перевести одно в другое проективным преобразованием.
Аполлоний определял диаметры конических сечений как геометрические места середин параллельных хорд этих сечений, поэтому эти сечения переходят в себя при косом отражении от их диаметров в направлении параллельных хорд. Аполлоний не рассматривал преобразований конических сечений, являющихся произведениями косых отражений от двух диаметров, эти произведения являются аффинными преобразованиями, сохраняющими площади фигур и называемыми в настоящее время параболическими, эллиптическими и гиперболическими поворотами. Многие теоремы Аполлония могут быть легко доказаны при помощи этих поворотов, например, известная теорема из VII книги о том, что параллелограммы, построенные на сопряженных диаметрах эллипса или гиперболы равновелики прямоугольнику, построенному на осях этих сечений.
Выше я упоминал о других математических сочинениях Аполлония, в частности, о "Плоских геометрических местах", где рассматриваются инверсии относительно окружностей и другие преобразования, переводящие "плоские геометрические места ", т.е. прямые линии и окружности, в такие же геометрические места, и о трактате "Касания", где инверсии относительно окружностей применялись для решение геометрических задач.
Я упоминал о работах Аполлония по астрономии, в частности, о его теории двичения планет с помощью деферентов и эпициклов. Отмечу, что мнение Аристотеля о том, что в "надлунном мире" тела могут двигаться с постоянной скоростью по прямым линиям и окружностям, лежащее в основе небесной механики Аполлония, было опровергнуто трудами Кеплера, Галилея и Ньютона, которые доказали, что на самом деле небесная механика основана на тех же принципах, что и земная, и что благодаря этому планеты и кометы движутся по коническим сечениям, в одном из фокусов которых находится Солнце. Созданная Аполлонием теория конических сечений нашла широкое применение в небесной механике.
Читать дальше