Евклид. Геометрия (Carrera) - страница 64

= S_>n + (2n- 1) х S_>n = 2^>n х S_>n = 2^>n х (2^{>n + 1} - 1). Ч. Т. Д.

В «Арифметике» Никомах Герасский устанавливает, что совершенными числами являются 6,28,496 и 8126. Из этого он делает следующие выводы.

1. Совершенные числа (четные) оканчиваются на 6 и 8 (верно).

2.Они чередуются (неверно).

3.Существует одно совершенное число на каждый десятичный порядок — среди единиц, десятков, сотен, тысяч и так далее (неверно).

В XVIII веке Эйлер доказал теорему, взаимодополняющую теорему Евклида: каждое совершенное число (четное) имеет вид 2^>n х (2^>n+1-1), где 2^>n+1-1 — простое число. На сегодняшний день все еще существуют нерешенные вопросы относительно совершенных чисел: неизвестно, бесконечен ли их ряд и существуют ли совершенные нечетные числа.

Начнем с последовательности нечетных чисел.

Начиная с 3 уберем третьи числа через каждые два.

Начиная с 5 уберем пятые числа через каждые пять и получим следующее.

И так далее. Вот список простых чисел до тысячи.

Последняя задача, которую стоит разобрать, — это алгоритм получения пифагоровых троек — трех натуральных чисел, подтверждающих теорему Пифагора, например 3, 4, 5; 5, 12, 13 и так далее, то есть таких чисел a, b и с, при которых а^>2 + b^>2 = с^>2.

Возможно, в Древнем Вавилоне знали метод нахождения пифагоровых троек, о чем свидетельствует вавилонская глиняная табличка, которую называют Plimpton 322. В ней содержится несколько троек, выраженных в шестидесятых долях. Пифагору приписывается авторство метода, позволяющего получить эти числа, основанного на гномоне квадратных чисел. Квадратное число — это то, которое можно выразить в виде квадрата (см. рисунок). Следовательно, мы имеем n^>² + (2n + 1) = (n+1)^>². Для того чтобы составить пифагорову тройку, в которой катет и гипотенуза — два последовательных числа, гномон тоже должен быть квадратом, то есть 2n + 1 = k