20
Упражнение 14. Доказите подобным образом неравенства
Неравенство же доказать сложнее (для инвариантов и аналогичное неравенство выполняется не всегда).
Рассмотрим сферу с 2Р () ручками и «разрезающим» узлом на ней.
По определению композиции, мы всегда можем «растащить» узлы и на значительное расстояние друг от друга, например, так, чтобы они объединались в композицию по средством двух соединяющих их параллельных отрезков ( и на рисунке 18, а); одновременно нам придется «растануть» и исходную сферу с ручками.
Проведем теперь плоскость, разделяющего узлы и . Эта плоскость рассекает сферу с ручками, во-первых, по «трубке», вдоль которой проходят два отрезка, связывающих узлы (доказите, что эти отрезки действительно проходят по одной трубке, а не по двум разным!); заклеим образованшиеся два отверстия «заплатами» с нарисованным на них дугами, замыкающим каждый из узлов (дуги и на рисунке 18, б). Во-вторых, плоскость может «случайно» вырезать «дыры» в тех частях сферы с ручками, которые не содержат линей узла; заклеим «заплатами» (на этот раз без нарисованных дуг) и эти «дыры».
Очевидно, что каждый из получшихся узлов и расположен на своей сфере с ручками и разрезает ее, причем сумма чисел ручек каждой из этих сфера не больше числа ручек исходной сферы, то есть , что и требовалось.
Уражнение 15. Попытайте тем же способом доказать неравенство .
Вот мы и закончили наше нелегкое путешествие. Если вы хотите продолжить его — путешеителем вам послужит интересная (хотя и трудная) книга Кроуэлла и Фокса.
Алгебраические задачи
-
Доказать, что , где и корни квадратного уравнения . Найти аналогичное разложение для , выбрав в качестве и корни квадратного уравнения .
-
Пусть корни кубического уравнения . Составить уравнение, имеющее корни .
-
Доказать, что при любом натуральном значении числа
(r - 1)^2N_1N_2(r - 1)^3r(x + y)(x + z) = bcyz, (y + z)(y + x) = acxz, (z + x)(z + y) = abxy, то или . -
Доказать, что если , то .
-
Пусть натуральное число такое, что при обращении дроби в десятиную получается число перiodического дробь, имеющая цифр в периоде. Обозначим через натуральное число, десятичная запись которого состоит из групп вида 00…01, причем в каждой группе нуль (в самом левой группе нулы опускаются). Доказать, что если делится на , то делится на в том и только том случae, когда делится на .
H. B.