I.3

Иррациональность

[25/96%]
Показать
LaTeX
Задача I.3.1

Пусть x∈Rx \in \mathbb {R}. Докажите эквивалентность утверждений

  1. x∉Qx \notin \mathbb {Q};

  2. существует бесконечно много таких несократимых дробей pq\frac{p}{q} (q∈N,p∈Zq \in \mathbb {N}, p \in \mathbb {Z}), что ∣x−pq∣<1q2\left|x-\frac{p}{q}\right|<\frac{1}{q^{2}};

  3. существует такая последовательность дробей pkqk(qk∈N,pk∈Z)\frac{p_{k}}{q_{k}}\left(q_{k} \in \mathbb {N}, p_{k} \in \mathbb {Z}\right), что qk→+∞q_{k} \rightarrow +\infty и 0≠x−pkqk=o(1qk)0 \neq x-\frac{p_{k}}{q_{k}}=o\left(\frac{1}{q_{k}}\right) при k→+∞k \rightarrow +\infty.

В последующих задачах используется обозначение δ(x)=x−[x]−\delta (x)=x-\left[x\right]- дробная часть вещественного числа xx.

?
Задача I.3.2

Пусть xx - иррациональное число. Докажите, что последоватсльность {δ(nx)}\left\{ \delta (n x)\right\} плотна в (0,1)(0,1).

?
Задача I.3.3
?
(а)

Докажите, что последовательности {sin⁡n2}\left\{ \sin n^{2}\right\} и {sin⁡4n}\left\{ \sin 4^{n}\right\} не имеют пределов;

(б)

докажите, что если последовательность {sin⁡(2nθ)}\left\{ \sin \left(2^{n} \theta \right)\right\} имеет предел, то он равен нулю и θ=πp2q\theta =\frac{\pi p}{2^{q}}, где q∈N,p∈Zq \in \mathbb {N}, p \in \mathbb {Z}.

Задача I.3.4

Пусть x∈Rx \in \mathbb {R}. Докажите эквивалентность утверждений

  1. x∈Qx \in \mathbb {Q};

  2. множество {δ(n2005x)∣n∈N}\left\{ \delta \left(n^{2005} x\right) \mid n \in \mathbb {N}\right\} конечно.

?
Задача I.3.5

Покажите на примерах, что последовательность {δ(10nx)}\left\{ \delta \left(10^{n} x\right)\right\} можст быть всюду плотной и может быть бесконечной, но нигде не плотпой в (0,1)(0,1).

*) Согласно легенде, корабль Дидоны, спасавшейся от преследований своего брата гирского царя Пигмалиона, пристал к африканскому берегу. Местный царь Иарб на просьбу беглецов дать им землю для проживания разрешил занять участок на берегу моря размером с воловью шкуру. Дидона велела разрезать шкуру на тонкие ремни и ограничила ими участок земли, на котором основала Карфаген.

?
Задача I.3.6

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

?
(а)

{sin⁡n2/3}\left\{ \sin n^{2 / 3}\right\};

(б)

{n4sin⁡n}\left\{ \sqrt[4]{n} \sin \sqrt{n}\right\};

(в)

{sin⁡(πn3/2)}\left\{ \sin \left(\pi n^{3 / 2}\right)\right\};

(г)

{sin⁡ln⁡n}\left\{ \sin \ln n\right\};

(д)

{sin⁡(πnln⁡n)}\left\{ \sin (\pi n \ln n)\right\}.

Задача I.3.7

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

?
(а)

{δ(nx)}\left\{ \delta (n x)\right\}, где x∈Qx \in \mathbb {Q};

(б)

{δ(nx)}\left\{ \delta (n x)\right\}, где x∈R\Qx \in \mathbb {R} \backslash \mathbb {Q};

(в)

{δ(nα)}\left\{ \delta \left(n^{\alpha }\right)\right\}, где α∈(0,1)\alpha \in (0,1);

(г)

{δ(n5/2)}\left\{ \delta \left(n^{5 / 2}\right)\right\}.

Задача I.3.8

Существует ли такое вещественное число xx, что δ(xn)∈[13,23]\delta \left(x^{n}\right) \in \left[\frac{1}{3}, \frac{2}{3}\right] для всех номеров nn ?

?
Задача I.3.9

Пусть f∈C([0,1])f \in C(\left[0,1\right]) и x∈R\Qx \in \mathbb {R} \backslash \mathbb {Q}. Докажите, что

1n∑1⩽k⩽nf(δ(kx))→∫01f(t)dt при n→+∞. \frac{1}{n} \sum _{1 \leqslant k \leqslant n} f(\delta (k x)) \rightarrow \int _{0}^{1} f(t) d t \quad \text{ при } \quad n \rightarrow +\infty .
?
Задача I.3.10

Пусть x=(x1,…,xm)∈Rmx=\left(x_{1}, \ldots , x_{m}\right) \in \mathbb {R}^{m}. Докажите, что найдутся такие дроби p1q,…,pmq\frac{p_{1}}{q}, \ldots , \frac{p_{m}}{q} со сколь угодно большим знаменателем q∈Nq \in \mathbb {N} (p1,…,pm∈Zp_{1}, \ldots , p_{m} \in \mathbb {Z}), что

∣xj−pjq∣<q−(1+1m) для всех j=1,2,…,m. \left|x_{j}-\frac{p_{j}}{q}\right|<q^{-\left(1+\frac{1}{m}\right)} \quad \text{ для всех } j=1,2, \ldots , m .
?
Задача I.3.11

Пусть αq=min⁡p∈Z∣2−pq∣,q∈N\alpha_{q}=\min_{p \in \mathbb {Z}}\left|\sqrt{2}-\frac{p}{q}\right|, q \in \mathbb {N}. Докажите, что

?
(а)

(2q)−2<αq<(2q)−1(2 q)^{-2}<\alpha_{q}<(2 q)^{-1};

(б)

если строго возрастающая последовательность номеров {qj}\left\{ q_{j}\right\} такова, что αqj⩽Cqj2(j∈N)\alpha_{q_{j}} \leqslant \frac{C}{q_{j}^{2}}(j \in \mathbb {N}), где CC - фиксированное число, то {qj}\left\{ q_{j}\right\} растёт по крайней мере как геометрическая прогрессия: qj+1qj⩾1+18C\frac{q_{j+1}}{q_{j}} \geqslant 1+\frac{1}{8 C}. Таким образом, оценка снизу в неравенстве а) груба для большинства номеров.

Задача I.3.12

Пусть α\alpha - алгебраическое число степени не выше rr (т.е. α\alpha является корнем алгебраического многочлена степени rr с целыми коэффициентами). Докажите теорему Лиувилля: если α\alpha иррационально, то ∣α−pq∣>cαqr\left|\alpha -\frac{p}{q}\right|>\frac{c_{\alpha }}{q^{r}} для всех p∈Zp \in \mathbb {Z} и q∈Nq \in \mathbb {N} (положительный коэффициент cαc_{\alpha } зависит лишь от α\alpha).

Иррациональное число α\alpha называется лиувиллевым числом, если оно имеет сколь угодно хорошие приближения дробями: для любого r>0r>0 существует такая дробь pq(p∈Z,q∈N,q>1)\frac{p}{q}(p \in \mathbb {Z}, q \in \mathbb {N}, q>1), что ∣α−pq∣<1qr\left|\alpha -\frac{p}{q}\right|<\frac{1}{q^{r}} (примеры таких чисел см. в задаче 3.19). Из теоремы Лиувилля сразу следует, что α\alpha трансцендентное число.

?
Задача I.3.13

Пусть α\alpha - иррациональное нелиувиллево число: ∣α−pq∣⩾cαqr\left|\alpha -\frac{p}{q}\right| \geqslant \frac{c_{\alpha }}{q^{r}} для любой дроби pq(p∈Z,q∈N)\frac{p}{q}(p \in \mathbb {Z}, q \in \mathbb {N}), где cαc_{\alpha } и rr - фиксированные положительные числа (это возможно лишь при r⩾2r \geqslant 2 - см. 3.1).

?
(а)

Обобщите результат задачи 3.11 б), доказав, что эта оценка груба для большинства дробей pq\frac{p}{q} : если ∣α−pjqj∣⩽Cqjr\left|\alpha -\frac{p_{j}}{q_{j}}\right| \leqslant \frac{C}{q_{j}^{r}}, где pj∈Z,qj∈Np_{j} \in \mathbb {Z}, q_{j} \in \mathbb {N} и qj+1>qjq_{j+1}>q_{j} для всех j∈Nj \in \mathbb {N}, то последовательность {qj}\left\{ q_{j}\right\} растёт не медленнее геометрической прогрессии (точнее, qj+1qj⩾1+(cα2C)1r−1\frac{q_{j+1}}{q_{j}} \geqslant 1+\left(\frac{c_{\alpha }}{2 C}\right)^{\frac{1}{r-1}}).

(б)

Оцените снизу знаменатели qjq_{j}, если последовательность дробей {pjqj}\left\{ \frac{p_{j}}{q_{j}}\right\} такова, что для всех номеров jj

qj<qj+1 и ∣α−pjqj∣⩽Cqjρ q_{j}<q_{j+1} \quad \text{ и } \quad \left|\alpha -\frac{p_{j}}{q_{j}}\right| \leqslant \frac{C}{q_{j}^{\rho }}

при некоторых C>0C>0 и ρ∈(1,r)\rho \in (1, r). Заметим, что в силу теоремы Лиувилля в качестве α\alpha можно взять любое иррациональное алгебраическое число. Кроме того, при r>2r>2 почти все вещественные числа α\alpha удовлетворяют неравенству ∣α−pq∣⩾cαqr\left|\alpha -\frac{p}{q}\right| \geqslant \frac{c_{\alpha }}{q^{r}} для всех дробей pq\frac{p}{q} (см. VIII.1.7).

В задачах 3.14−3.20{εk}3.14-3.20\left\{ \varepsilon_{k}\right\} - произвольная последовательность из +1 и -1 , {nk}\left\{ n_{k}\right\} - строго возрастающая последовательность натуральных чисел.

Задача I.3.14

Докажите, что сумма ряда ∑εk2−nk\sum \varepsilon_{k} 2^{-n_{k}} иррациональна, если lim⁡‾(nk+1−nk)=+∞\overline{\lim }\left(n_{k+1}-n_{k}\right)=+\infty.

?
Задача I.3.15

Пусть lim‾⁡nk+1n1n2…nk=+∞\varlimsup \frac{n_{k+1}}{n_{1} n_{2} \ldots n_{k}}=+\infty. Докажите, что

?
(а)

сумма ряда ∑(−1)knk\sum \frac{(-1)^{k}}{n_{k}} иррациональна;

(б)

если nk+1nk⩾2\frac{n_{k+1}}{n_{k}} \geqslant 2 для всех k∈Nk \in \mathbb {N}, то сумма ряда ∑εknk\sum \frac{\varepsilon_{k}}{n_{k}} иррациональна. Так ли это в случае nk+1nk⩾Q>1\frac{n_{k+1}}{n_{k}} \geqslant Q>1 ?

Задача I.3.16

Пусть lim‾⁡ln⁡nk2k=+∞\varlimsup \frac{\ln n_{k}}{2^{k}}=+\infty. Докажите, что

?
(а)

сумма ряда ∑(−1)knk\sum \frac{(-1)^{k}}{n_{k}} иррациональна;

(б)

если nk+1nk⩾2\frac{n_{k+1}}{n_{k}} \geqslant 2 для всех k∈Nk \in \mathbb {N}, то сумма ряда ∑εknk\sum \frac{\varepsilon_{k}}{n_{k}} иррациональна.

Задача I.3.17
?
(а)

Докажите, что сумма ряда S=∑εkFkS=\sum \frac{\varepsilon_{k}}{F_{k}} иррациональна, если Fk=22k+1F_{k}=2^{2^{k}}+1 - числа Ферма.

(б)

Пусть последовательность {nk}\left\{ n_{k}\right\} такова, что

nk+1⩾nk2−nk+1 при всех k∈N. n_{k+1} \geqslant n_{k}^{2}-n_{k}+1 \quad \text{ при всех } \quad k \in \mathbb {N} .

Докажите рациональность суммы ∑1nk\sum \frac{1}{n_{k}}, если nk+1=nk2−nk+1n_{k+1}=n_{k}^{2}-n_{k}+1 для всех достаточно больших kk.

Верно ли обратное утверждение? Рационально ли число ∑122k−2\sum \frac{1}{2^{2^{k}}-2} ?

Задача I.3.18

Пусть lim‾⁡ln⁡nk3k=+∞\varlimsup \frac{\ln n_{k}}{3^{k}}=+\infty. Докажите, что

?
(а)

число ∑(−1)knk\sum \frac{(-1)^{k}}{n_{k}} не является квадратичной иррациональностью;

(б)

если nk+1nk⩾2\frac{n_{k+1}}{n_{k}} \geqslant 2 для всех k∈Nk \in \mathbb {N}, то число ∑εknk\sum \frac{\varepsilon_{k}}{n_{k}} не является квадратичной иррациональностью.

Задача I.3.19

Докажите трансцендентность чисел ∑εk2−k!\sum \varepsilon_{k} 2^{-k!}.

?
Задача I.3.20

Пусть lim⁡‾ln⁡nkk!>0\overline{\lim } \frac{\ln n_{k}}{k!}>0. Докажите, что

?
(а)

число ∑(−1)knk\sum \frac{(-1)^{k}}{n_{k}} трансцендентно;

(б)

если nk+1nk⩾2\frac{n_{k+1}}{n_{k}} \geqslant 2 для всех k∈Nk \in \mathbb {N}, то число ∑εknk\sum \frac{\varepsilon_{k}}{n_{k}} трансцендентно.

Задача I.3.21

Иррациональность числа ee. Пользуясь разложениями

e=∑n⩾01n! и 1e=∑n⩾0(−1)nn!, e=\sum _{n \geqslant 0} \frac{1}{n!} \quad \text{ и } \quad \frac{1}{e}=\sum _{n \geqslant 0} \frac{(-1)^{n}}{n!},

докажите, что

?
(а)

число ee иррационально;

(б)

Ae2+Be+C≠0A e^{2}+B e+C \neq 0, если A,B,CA, B, C - целые числа, не равные нулю одновременно.

Задача I.3.22

Пусть σ(n)\sigma (n) - сумма делителей натурального числа nn. Докажите иррациональность сумм рядов

?
(а)

∑σ(n)n!\sum \frac{\sigma (n)}{n!};

(б)

∑(−1)nσ(n)n!\sum (-1)^{n} \frac{\sigma (n)}{n!}.

Задача I.3.23

Иррациональность числа π\pi.

?
(а)

Пусть Hn=1n!∫−π/2π/2(π24−t2)ncos⁡tdt(n=0,1,2,…)H_{n}=\frac{1}{n!} \int_{-\pi / 2}^{\pi / 2}\left(\frac{\pi^{2}}{4}-t^{2}\right)^{n} \cos t d t(n=0,1,2, \ldots ). Докажите, что Hn=Pn(π2)H_{n}=P_{n}\left(\pi^{2}\right), где PnP_{n} - алгебраический многочлен степени не выше nn с целыми коэффициентами.

(б)

Выведите отсюда, что π2\pi^{2} (а следовательно, и π\pi) - иррациональное число.

Задача I.3.24

Иррациональность значений экспоненты в рациональных точках.

?
(а)

Пусть Jn(x)=1n!∫−xx(x2−t2)netdt(n=0,1,2,…)J_{n}(x)=\frac{1}{n!} \int_{-x}^{x}\left(x^{2}-t^{2}\right)^{n} e^{t} d t \quad (n=0,1,2, \ldots ). Докажите, что Jn(x)=An(x)ex+Bn(x)e−xJ_{n}(x)=A_{n}(x) e^{x}+B_{n}(x) e^{-x}, где An,BnA_{n}, B_{n} - алгебраические многочлены степени не выше nn с целыми коэффициентами.

(б)

Выведите отсюда, что er∉Qe^{r} \notin \mathbb {Q}, если r∈Q,r≠0r \in \mathbb {Q}, r \neq 0.

Задача I.3.25

Иррациональность значений тангенса в рациональных точках.

?
(а)

Пусть Hn(x)=1n!∫−xx(x2−t2)ncos⁡tdt(n=0,1,2,…)H_{n}(x)=\frac{1}{n!} \int_{-x}^{x}\left(x^{2}-t^{2}\right)^{n} \cos t d t(n=0,1,2, \ldots ). Докажитс, что Hn(x)=Cn(x)cos⁡x+Sn(x)sin⁡xH_{n}(x)=C_{n}(x) \cos x+S_{n}(x) \sin x, где Cn,SnC_{n}, S_{n} - алгебраические многочлены степени не выше nn с целыми коэффициентами.

(б)

Выведите отсюда, что tg⁡r∉Q\operatorname {tg} r \notin \mathbb {Q}, если r∈Q,r≠0r \in \mathbb {Q}, r \neq 0.