Энциклопедический словарь юного математика — страница 57 из 95

Рис. 5

Если при данном n ≥ 5 соединить не соседние, а следующие через m дуг точки деления окружности, где 1 < m < n/2, то проведенные n хорд образуют фигуру, которую обозначают символом {n/m}. На рис. 6 и 7 изображены пентаграмма {5/2} и октаграмма {8/2}.

Рис. 6

Рис. 7

Еще в глубокой древности была поставлена практическая задача построения правильного n-угольника M_n с помощью циркуля и линейки (см. Геометрические построения). Построения M₃,M₄ и M₆ очень просты и показаны на рис. 8. Конечно, построение M_n эквивалентно делению окружности на n равных дуг. Дугу легко разделить пополам, построив биссектрису соответствующего центрального угла, поэтому по правильному k-угольнику легко построить 2k-угольник, затем 4k-угольник и, вообще, M_n при любом n = k·2^m. Следовательно, предыдущие построения дают возможность построить две серии правильных n-угольников: при n = 3·2^m и n = 4·2^m, где m ≥ 0, - а общую задачу построения M_n достаточно решить лишь для нечетных n.

Рис. 8

Евклид в своих «Началах» кроме построения двух указанных серий многоугольников приводит построения правильных пятиугольника и пятнадцатиугольника (а вместе с ними еще двух серий M_n: для n = 5·2^m и n = 15·2^m. Построение пятиугольника или десятиугольника сводится к так называемому «золотому сечению» отрезка. Ясно, что для построения M₁₀ достаточно по известному радиусу описанной окружности R построить сторону x десятиугольника. Рассматривая один из десяти треугольников со сторонами OA = OB = R, AB = x и углами AOB = 36°, A = B = 72°, из которых составлен десятиугольник, после проведения биссектрисы BC (рис. 9), из подобия треугольников OAB и ABC и равенства отрезков AB,BC,OC получаем пропорцию x/(R-x) = R/x, которая с античных времен называется «золотой». Она показывает, что точка C делит отрезок OA так, что большая часть относится к меньшей так же, как весь отрезок к большей части. Такое деление отрезка и называют «золотым сечением». Пропорция записывается как уравнение

x² + Rx - R² = 0,

из которого

x = R(√5 - 1)/2.

Рис. 9

Конечно, по отрезку R легко построить и отрезок R√5 (рис. 10), а затем и x. Короткое построение дано на рис. 11: отрезок OE дает сторону правильного десятиугольника, BE – пятиугольника, вписанных в окружность с центром O.

Рис. 10

Рис. 11

Поскольку построение M_n эквивалентно построению угла в 360°/n, а углы 60° = 360°/n и 36° = 360°/10 мы уже умеем строить, то по ним строится и угол 60° - 36° = 24° = 360°/15, а значит, и правильный пятнадцатиугольник.

Прошло более двух тысячелетий, прежде чем евклидов список n-угольников удалось пополнить. Это сделал в 1796 г. немецкий математик К. Ф. Гаусс: используя алгебраические идеи, он дал построение правильного семнадцатиугольника и доказал невозможность построения с помощью только циркуля и линейки правильных n-угольников при n = 7 и 9. Отметим, что построение правильного девятиугольника давало бы угол в 360°/9 = 40°, а вместе с ним и угол в 20°=60°/3, т. е. трисекцию угла в 60°, которую невозможно осуществить циркулем и линейкой (см. Классические задачи древности). Более того, К. Ф. Гаусс доказал, что построение M_n при нечетном n осуществимо тогда, и только тогда, когда n является простым числом вида  или произведением нескольких таких различных чисел, называемых числами Ферма. В настоящее время, как и несколько веков назад, известно только 5 простых чисел Ферма: F₀ = 3, F₁ = 5, F₂=17, F₃=257 и F₄=65537. (П. Ферма, чьим именем названы эти числа, полагал, что все они простые, однако Л. Эйлер указал, что число Ферма F₅ = 2³² + 1 = 641·6700417.) Построение правильного 257-угольника, занимающее около полусотни страниц, описал сам Гаусс.

ПАРКЕТЫ ИЗ ПРАВИЛЬНЫХ МНОГОУГОЛЬНИКОВ

Самый простой, но и самый скучный паркет получается, если плоскость разбить на равные квадраты так, как показано на рис. 1,а. Здесь два квадрата имеют либо общую сторону, либо общую вершину или совсем не имеют общих точек. Столь же просты паркеты из правильных треугольников и шестиугольников (рис. 1,б и 1,в).

Рис. 1

Паркетом будем называть такое покрытие плоскости правильными многоугольниками, при котором два многоугольника имеют либо общую сторону, либо общую вершину или совсем не имеют общих точек.

Вероятно, вам случалось видеть паркет, составленный из правильных восьмиугольников и квадратов (рис. 2,а) Красивый паркет можно составить из правильных шестиугольников, квадратов и равносторонних треугольников (рис. 2,б).

Рис. 2

Паркет производит приятное впечатление, если он достаточно симметричен. Фигура называется симметричной, если ее можно наложить на саму себя не «тривиальным» способом (т.е. не таким, когда все точки останутся на своем месте).

Например, на рис. 2,б, повернув всю сетку вершин и сторон, образующих паркет из шестиугольников, квадратов и треугольников, на 60° вокруг центра одного из шестиугольников, мы получим ту же самую сетку вершин и сторон.

С точки зрения симметрии наше определение паркета не слишком удачно. Оно допускает паркеты, не обладающие никакой симметрией. Взяв обычный паркет из шестиугольников (рис. 1,в) можно «испортить» его, подразделив некоторые из шестиугольников на шесть треугольников. Легко понять, что получится вновь паркет в смысле нашего определения. Но можно доказать (попробуйте), что, подразделив, например, три шестиугольника, как показано на рис. 3, и оставив все остальные неподразделенными, мы получим паркет, совсем лишенный симметрии. Чтобы устранить некрасивые, недостаточно симметричные паркеты, мы введем такое определение: паркет называется правильным, если его можно наложить на самого себя так, что любая заданная его вершина наложится на любую другую заданную его вершину. Оказывается, что все многообразие правильных паркетов можно описать. Если длина h стороны многоугольников паркета задана, то существует только 11 различных (не накладывающихся друг на друга) правильных паркетов. Все они изображены на рис. 1, 2, 4.

Рис. 3

Рис. 4

МНОГОЧЛЕН

Многочленом P(x) от одной переменной x называют выражение вида

P(x) ≡ a₀ + a₁x + a₂x²+...+ a_nxⁿ, a_n≠ 0.    (1)

Число n называют степенью многочлена, a_n – старшим коэффициентом, a₀ – свободным членом.

Для многочленов определены операции сложения и умножения по правилам:

( a₀ + a₁x + a₂x²+...) + ( b₀ + b₁x + b₂x²+...) =

(a₀ + b₀) + (a₁ + b₁)x +...;     (2)

(a₀ + a₁x + a₂x² + ...)(b₀ + b₁x + b₂x² + ...) =

a₀b₀ + (a₀b₁ + a₁b₀)x + (a₀b₂ + a₁b₁ + a₂b₀)x² + .... (3)

Нетрудно проверить, что свойства операций над многочленами аналогичны свойствам арифметических операций над действительными числами:

P(x) + Q(x) = Q(x) + P(x)

P(x)Q(x) = Q(x)P(x)

(P(x) + Q(x)) + R(x) = P(x) + (Q(x) + R(x))

(P(x)Q(x))R(x) = P(x)(Q(x)R(x))

P(x)(Q(x) + R(x)) = P(x)Q(x) + P(x)R(x)

Уравнение вида P(x)=0, где P(x) – многочлен n-й степени от x, называют алгебраическим уравнением n-й степени. Число x₀, такое, что P(x₀)=0, называют корнем многочлена. В 1799 г. немецкий математик К. Ф. Гаусс доказал теорему, которая носит название «основная теорема алгебры многочленов»: любой многочлен ненулевой степени с комплексными коэффициентами имеет хотя бы один комплексный корень.

В конце XVIII в. французский математик Э. Безу сформулировал и доказал следующую теорему: остаток от деления многочлена P(x) (с действительными коэффициентами) на двучлен x-a равен P(a). Отсюда, в частности, получается, что если a - корень многочлена P, то P(x) делится без остатка на x-a. Наибольшая степень k такая, что многочлен P(x) делится на (x-a)^k, называется кратностью корня a. Так как при делении многочлена степени n на двучлен x-a получается многочлен степени n-1, то с учетом основной теоремы алгебры приходим к выводу: многочлен степени n (с комплексными коэффициентами) имеет в точности n корней, если каждый корень считать столько раз, какова его кратность. Кроме того, этот многочлен можно разложить на линейные множители:

a₀+a₁x+a₂x²+...+a_nxⁿ = a_n(x-a₁)^k1(x-a₂)^k2...(x-a₅)^k5,      (4)

где a₁,a₂,...,a₅ - корни многочлена, k₁, k₂,..., k₅ = n, k_i - кратность корня a_i. Можно доказать, что если a+bi – корень многочлена с действительными коэффициентами, то и a-bi - также его корень. Перемножая в разложении (4) множители (x-a-bi) и (x-a+bi), получим многочлен второй степени с действительными коэффициентами: (x - a - bi)(x - a + bi) = (x-a)² + b². Отсюда следует, что многочлен с действительными коэффициентами можно разложить на множители первой и второй степени с действительными коэффициентами.