Катальди, Пьетро Антонио

Пье́тро Анто́нио Ката́льди (; —1626) — итальянский , автор более 30 трудов по математике. Впервые ввёл в математику понятие о непрерывных дробях (1613). Открыл шестое и седьмое совершенные числа (1588 год). Почётный гражданин города Болонья.

Биография 
Пьетро Катальди родился и получил образование в Болонье, затем с 1569 по 1570 год преподавал во Флоренции. В 1572 году отправился в Перуджу, где на протяжении 12 лет преподавал математику. Он одним из первых преподавал математику как самостоятельную дисциплину, причём читал лекции, вопреки традиции, не на латыни, а на итальянском языке (большинство его работ также написаны на итальянском языке). Одновременно с преподаванием математики Катальди читал лекции в Академии художеств Перуджи. По отзывам современников, Катальди славился как первоклассный поэт, фехтовальщик и наездник.

В 1584 году Катальди вернулся в родную Болонью, где получил докторскую степень по философии и медицине. В Болонье он в качестве профессора преподавал математику и астрономию почти сорок лет, до конца жизни, читал лекции по античным классикам (Евклид, Клавдий Птолемей).

Тем временем Катальди получил важные новые результаты, касающиеся совершенных чисел. Но в 1594 году у него украли рукопись, и ему пришлось воссоздать работу с нуля (опубликована в Болонье в 1603 году. под названием «Трактат о совершенных числах»).

Катальди умер в Болонье 11 февраля. 1626 года. Наследников он не оставил. Согласно завещанию, в его доме была открыта школа-интернат для бедных учеников, которой он оставил всё своё имущество.

Научная деятельность 
В своём «Трактате о кратчайшем способе нахождения квадратного корня из чисел» (, Болонья, 1613) Катальди первым в мире ввёл понятие непрерывных дробей (сам термин появился позже) и дал для них обозначение, напоминающее современное.

Катальди описал алгоритм извлечения квадратных корней из натуральных чисел с помощью непрерывных дробей, аналогичный ранее опубликованному (1572 год) Рафаэлем Бомбелли, который непрерывные дроби не использовал. Чтобы найти значение , сначала определяется его целое приближение: , где . Тогда . Отсюда несложно вывести, что . Повторно подставляя полученное выражение в формулу , мы получаем разложение в непрерывную дробь:

 

Пример. Для  мы получаем последовательные приближения (подходящие дроби):
 

Две последние дроби равна  и  соответственно.  Катальди отметил основное свойство непрерывных дробей: исходное число всегда находится между соседними подходящими дробями, что позволяет легко оценить погрешность вычисленного значения корня. Поэтому, сравнивая последнюю дробь с предпоследней, можно заключить, что пять цифр после запятой верны. В самом деле, точное значение: . Позднее теорию непрерывных дробей расширили Джон Валлис, Христиан Гюйгенс, Леонард Эйлер и Жозеф Луи Лагранж.

Катальди также внёс большой вклад в теорию совершенных чисел. Уже Евклид знал, что если  — простое число, то  — совершенное число. Это правило при   даёт совершенные числа  соответственно. Другие совершенные числа древнегреческим математикам были неизвестны. Следующее совершенное число опубликовал голландский математик Худалрик Perиус ()  в трактате «Utriusque Arithmetices» (1536 год), который показал, что  является простым числом, что даёт в качестве следующего совершенного числа .

В 1603 году Катальди опубликовал «Трактат о совершенных числах» (), где 
показал:
 если  составное, то и  также  составное;
  при  и при  — простые числа (доказывал простым перебором возможных простых делителей).
Фактически Катальди вычислил список всех простых чисел до 750 и разложения всех чисел до 800. Он опубликовал эти списки отдельно. Тем самым Катальди нашёл шестое и седьмое совершенные числа:  и . Заодно он опроверг гипотезу Никомаха, согласно которой в последних цифрах членов последовательности совершенных чисел чередуются цифры 6 и 8.

Он также предположил, что для  также получатся совершенные числа, но эта гипотеза не оправдалась — все эти числа, за исключением получающегося при  оказались составными. Первым это обнаружил Пьер Ферма в 1640 году, случай  исследовал Леонард Эйлер в 1738 году.

Кроме трактата о совершенных числах, в том же 1603 году Катальди опубликовал комментированное издание «Начал» Евклида и ещё один небольшой труд, в котором попытался доказать «Пятый постулат» Евклида. При этом он опирался на утверждение: «Эквидистанта для прямой является прямой», которое на самом деле равносильно пятому постулату.

Основные труды 
 
 
 
 
 
 
 
 
 
 
 Cataldi Pietro Antonio, Algebra applicata, 1622
 Cataldi Pietro Antonio, Difesa di Euclide, 1626

Примечания

Литература

Ссылки 
 
 
 

Непрерывная дробь