Иррациональность
[25/96%]Пусть . Докажите эквивалентность утверждений
-
;
-
существует бесконечно много таких несократимых дробей (), что ;
-
существует такая последовательность дробей , что и при .
В последующих задачах используется обозначение дробная часть вещественного числа .
Пусть - иррациональное число. Докажите, что последоватсльность плотна в .
Докажите, что последовательности и не имеют пределов;
докажите, что если последовательность имеет предел, то он равен нулю и , где .
Пусть . Докажите эквивалентность утверждений
-
;
-
множество конечно.
Покажите на примерах, что последовательность можст быть всюду плотной и может быть бесконечной, но нигде не плотпой в .
*) Согласно легенде, корабль Дидоны, спасавшейся от преследований своего брата гирского царя Пигмалиона, пристал к африканскому берегу. Местный царь Иарб на просьбу беглецов дать им землю для проживания разрешил занять участок на берегу моря размером с воловью шкуру. Дидона велела разрезать шкуру на тонкие ремни и ограничила ими участок земли, на котором основала Карфаген.
Найдите множества частичных пределов последовательностей
;
;
;
;
.
Найдите множества частичных пределов последовательностей
, где ;
, где ;
, где ;
.
Существует ли такое вещественное число , что для всех номеров ?
Пусть и . Докажите, что
Пусть . Докажите, что найдутся такие дроби со сколь угодно большим знаменателем (), что
Пусть . Докажите, что
;
если строго возрастающая последовательность номеров такова, что , где - фиксированное число, то растёт по крайней мере как геометрическая прогрессия: . Таким образом, оценка снизу в неравенстве а) груба для большинства номеров.
Пусть - алгебраическое число степени не выше (т.е. является корнем алгебраического многочлена степени с целыми коэффициентами). Докажите теорему Лиувилля: если иррационально, то для всех и (положительный коэффициент зависит лишь от ).
Иррациональное число называется лиувиллевым числом, если оно имеет сколь угодно хорошие приближения дробями: для любого существует такая дробь , что (примеры таких чисел см. в задаче 3.19). Из теоремы Лиувилля сразу следует, что трансцендентное число.
Пусть - иррациональное нелиувиллево число: для любой дроби , где и - фиксированные положительные числа (это возможно лишь при - см. 3.1).
Обобщите результат задачи 3.11 б), доказав, что эта оценка груба для большинства дробей : если , где и для всех , то последовательность растёт не медленнее геометрической прогрессии (точнее, ).
Оцените снизу знаменатели , если последовательность дробей такова, что для всех номеров
при некоторых и . Заметим, что в силу теоремы Лиувилля в качестве можно взять любое иррациональное алгебраическое число. Кроме того, при почти все вещественные числа удовлетворяют неравенству для всех дробей (см. VIII.1.7).
В задачах - произвольная последовательность из +1 и -1 , - строго возрастающая последовательность натуральных чисел.
Докажите, что сумма ряда иррациональна, если .
Пусть . Докажите, что
сумма ряда иррациональна;
если для всех , то сумма ряда иррациональна. Так ли это в случае ?
Пусть . Докажите, что
сумма ряда иррациональна;
если для всех , то сумма ряда иррациональна.
Докажите, что сумма ряда иррациональна, если - числа Ферма.
Пусть последовательность такова, что
Докажите рациональность суммы , если для всех достаточно больших .
Верно ли обратное утверждение? Рационально ли число ?
Пусть . Докажите, что
число не является квадратичной иррациональностью;
если для всех , то число не является квадратичной иррациональностью.
Докажите трансцендентность чисел .
Пусть . Докажите, что
число трансцендентно;
если для всех , то число трансцендентно.
Иррациональность числа . Пользуясь разложениями
докажите, что
число иррационально;
, если - целые числа, не равные нулю одновременно.
Пусть - сумма делителей натурального числа . Докажите иррациональность сумм рядов
;
.
Иррациональность числа .
Пусть . Докажите, что , где - алгебраический многочлен степени не выше с целыми коэффициентами.
Выведите отсюда, что (а следовательно, и ) - иррациональное число.
Иррациональность значений экспоненты в рациональных точках.
Пусть . Докажите, что , где - алгебраические многочлены степени не выше с целыми коэффициентами.
Выведите отсюда, что , если .
Иррациональность значений тангенса в рациональных точках.
Пусть . Докажитс, что , где - алгебраические многочлены степени не выше с целыми коэффициентами.
Выведите отсюда, что , если .