Processing math: 100%

Существование иррациональных чисел

Натуральные, целые и рациональные числа

В процессе счёта возникли натуральные числа.
latexN={1,2,3,,n,}.
Сложение и умножение натуральных чисел снова даёт натуральное число. Операция «вычитание» во множестве натуральных чисел приводит к целым числам.
latexZ={0,1,1,2,2,,n,n}.
Операция «деление» во множестве целых чисел приводит к рациональным числам.
latexQ={mn,mZ,nN}.
Например: latex12;58;12;118;130
Во множестве рациональных чисел latexQ выполняются все 4 арифметических действия. В данном множестве можно решать уравнения 1-ой степени latex(ax+b=c), однако, простейшее уравнение latexx2=a, latexaN не всегда разрешимо в latexQ, в частности, уравнение latexx2=2 не имеет решений в latexQ.
svg16

Необходимость иррациональных чисел

Докажем, что уравнение latexx2=2 не имеет решений в latexQ.

Теорема

Не существует рационального числа, квадрат которого равен 2.
latex◻  Предположим противное. Предположим, что существует такое рациональное число, квадрат которого равен 2. Числа latexp и latexq — числитель и знаменатель данного рационального числа; latexp и latexq — взаимно простые (числа, наибольший общий делитель которых равен 1).

latexpqQ,  latex(pq)2=2

latexp2=2q2 latex latexp22

latexp2 — чётное число, тогда latexp — чётное.

Отсюда: latexp=2s

latex4s2=2q2|:2

latex2s2=q2q2 — чётное latexq — чётное.

Получили противоречие того утверждения, что latexp и latexq — взаимно простые. latex◼

Таким образом, проблема решения уже таких уравнений приводит к необходимости расширения множества рациональных чисел путём добавления к ним иррациональных чисел.
Бесконечные дроби: периодические десятичные дроби
Зная рациональное число, его можно представить либо в виде конечной десятичной дроби, либо в виде бесконечной периодической десятичной дроби.

latex1) latex38=0,375 — конечная десятичная дробь;
latex0,375=3751000=38.
latex2) latex2711=2,454545=2,(45) — бесконечная периодическая десятичная дробь.
latex2,(45)=2+45100+451002+451003+ latex=2+45(1100+11002+11003+).
Используем формулу суммы бесконечно убывающей геометрической прогрессии:  latexSn=b11q, где latexb1 — первый член геометрической прогрессии,  latexq — знаменатель прогрессии.
Получим: latex2+45(1100+11002+11003+)= latex2+45110011100=
latex=2+4599=2511.
Договоримся, конечную десятичную дробь будем отождествлять с бесконечной десятичной дробью с latex«0» в периоде.
latex0,375=0,375(0).
Между множеством множеством всех рациональных чисел и множеством всех периодических бесконечных десятичных дробей установлена связь, если отождествлять бесконечную периодическую дробь с latex(9) с бесконечной периодической периодической дробью с latex(0).
latex2,5=2,5(0)=2,4+0,1=2,4+110= latex2,4+(9100+91000+910000+)= latex=2,4+910(110+1102+1103+) latex=2,4+0,9(9)=2,4(9).

Тест "Существование иррациональных чисел".

Тестовые задания по вышеизложенной теме.

Источники:

  1. З. М. Лысенко.  Лекции по математическому анализу.
  2. В. И. Коляда, А.А.Кореновский «Курс лекций по мат.анализу, часть 1» (Одесса, «Астропринт», 2009г.), стр.1.
  3. В. И. Ильин, Э.Г.Позняк «Основы мат.анализа, часть 1, выпуск 2» (Издание четвёртое, переработанное и дополненное, 1982г.) стр.40. (скачать учебник можно здесь).

Подробнее про «существование иррациональных чисел» на:

Wikipedia

Викизнание

Интегрирование дифференциального бинома

Дифференциальным биномом называют выражение вида

[latex] x^{m} (a+bx^{n})^{p} dx, [/latex]

где a и b — любые константы, а показатели степеней m, n и p — рациональные числа. Изучим вопрос об интегрируемости в элементарных функциях дифференциальных биномов.
Рассмотрим три случая , когда интеграл от дифференциального бинома допускает рационализирующую подстановку.
1. Первый случай соответствует целому p. Дифференциальный бином представляет собой дробно-линейную иррациональность вида [latex] R (x,\sqrt[r]{x}) dx [/latex], где r — наименьшее общее кратное знаменателей рациональных чисел m и n. Стало быть, интеграл от дифференциального бинома в этом случае рационализируется подстановкой [latex] t=\sqrt[r]{x} [/latex].
2.Второму случаю соответствует целое число [latex] \frac{m+1}{n} [/latex]. Сделаем подстановку
[latex] z = x^{n} [/latex] и положим для краткости [latex] \frac{m+1}{n}-1=q [/latex], получим

[latex] \int x^{m} (a+bx^{n})^{p} dx=\frac{1}{n}\int (a+bz)^{p} z^{q}dz [/latex]

Подынтегральная функция в правой части является дробно-линейной иррациональностью следующего вида вида [latex] R (z,\sqrt[s]{a+bz}) [/latex], где s — знаменатель рационального числа p.
Таким образом, для второго случая дифференциальный бином рационализируется подстановкой

[latex] t=\sqrt[s]{a+bz}=\sqrt[s]{a+bx^{n}}. [/latex]

3. Третьему случаю соответствует целому число [latex] (\frac{m+1}{n}+p) [/latex]. Подынтегральная функция в правой части является дробно-линиейной иррациональностью вида [latex] R (z,\sqrt[s]{\frac{a+bz}{z}}) [/latex], так что интеграл от дифференциального бинома рационализируется подстановкой вида

[latex] t=\sqrt[s]{\frac{a+bz}{z}}=\sqrt[s]{\frac{a}{x^{n}}+b}. [/latex]

В середине 19-го века П.Л.Чебышев доказал, что указанными выше тремя случаями исчерпываются все случаи, когда дифференциальный бином интегрируется в элементарных функциях. (Мемуар 1853 года «Об интегрировании иррациональных дифференциалов»).

Примеры

1)Вычислить интеграл [latex] I=\int \frac{ \sqrt{x}dx}{ (1+\sqrt[3]{x})^{2}} = \int x^{\frac {1} {2}} (1+x^{\frac{1}{3}})^{-2} [/latex]. Здесь [latex] m=\frac{1}{2}, n=\frac{1}{3}, p=-2 [/latex].  Так как p — целое, значит используем подстановку из первого случая

[latex] x=t^{6}, dx=6t^{5}dt, \sqrt {x} = t^{3}, \sqrt [3] {x} = t^{2} [/latex]

подставим:

[latex] I = 6 \int\frac{t^{8}}{ (t^{2} + 1)^{2} }dt = [/latex][latex]6 \int (t^{4} — 2t^{2} + 3 — \frac{4} {t^{2}+1} + \frac{1} { (t^{2} + 1)^{2} }) dt = [/latex][latex]\frac {6}{5}x^{\frac{5}{6}} — 4x^{\frac {1}{2}} + 18x^{\frac {1}{6}} + \frac{3x^{\frac{1}{6}}} { (1 + x^{\frac{1}{3}})} — 21arctg (x^{\frac{1}{6}}) + C [/latex]

2) Вычислить интеграл [latex] I = \int \frac{x}{\sqrt{1+\sqrt[3]{x^{2}}}} dx[/latex]. Здесь [latex] m = 1, n = \frac{2}{3}, p = -\frac{1}{2}[/latex]. Так как [latex]\frac{m+1}{n} = 3[/latex] — целое (второй случай).

[latex]t^{2} = 1 +x^{\frac{2}{8}},[/latex] [latex]x = (t^{2} — 1)^{\frac{8}{2}},[/latex]  [latex]dx = 3t (t^{2}-1)^{\frac{1}{2}} dt[/latex]

подставим:

[latex] I = 3\int (t^{2}-1)^{2} dt = [/latex][latex]\frac{3}{5}t^{6} — 2t^{3} + 3t + C[/latex],

[latex]t=\sqrt{1+\sqrt[3]{x^{2}}}[/latex]

3) Вычислить интеграл [latex] I=\int x^{5} (1-x^{2})^{-\frac{1}{2}} dx [/latex]. Графиком подынтегральной функции будет:
curs
В данном случае [latex] m=5,n=2,p=-\frac{1}{2} [/latex], так что [latex] \frac{m+1}{n}=3 [/latex] (второй случай). Сделав подстановку

[latex] t=\sqrt{1-x^{2}},[/latex] [latex]x=\sqrt{1-t^{2}},[/latex] [latex]dx=-\frac{tdt}{\sqrt{1-t^{2}}}, [/latex]

будем иметь

[latex] -\int (1-t^{2})^{2} dt=[/latex][latex]-\int dt+2\int t^{2}dt-\int t^{4}dt=[/latex][latex]-t+\frac{2}{3}t^{3}-\frac{t^{5}}{5}+C=[/latex][latex]-\sqrt{1-x^{2}}+\frac{2}{3}\sqrt{ (1-x^{2})^{3}} -\frac{\sqrt{ (1-x^{2})^{5} }}{5}+C. [/latex]

 

4) Вычислить интеграл [latex] I=\int \frac{dx}{x^{2}\sqrt{a+bx^{2}}}=\int x^{-2} (a+bx^{2})^{-\frac{1}{2}} dx [/latex]. Здесь [latex] m=-2,n=2,p=-\frac{1}{2} [/latex], так что [latex] \frac{m+1}{n}+p=-1 [/latex] (третий случай) Сделав подстановку

[latex] t=\sqrt{\frac{a}{x^{2}}+b},[/latex] [latex]x=\frac{\sqrt{a}}{\sqrt{t^{2}-b}},[/latex] [latex]dx=-\frac{\sqrt{a}tdt}{\sqrt{ (t^{2}-b)^{3} }}, [/latex]

будем иметь

[latex] I=\int — (\frac{dt}{a}) = [/latex][latex]-\frac{t}{a}+C=[/latex][latex]-\frac{\sqrt{\frac{a}{x^{2}}+b}}{a}+C. [/latex]

Литература

  • В.А.Ильин, Э.Г.Позняк. Основы математического анализа, М.:Наука, 1982. стр. 227, 228.

Интегрирование дифференциального бинома

Интегрирование дифферециального бинома

Таблица лучших: Интегрирование дифференциального бинома

максимум из 15 баллов
Место Имя Записано Баллы Результат
Таблица загружается
Нет данных

Интегрирование рациональных функций

Неопределенный интеграл от рациональной функции всегда можно «взять», т.е. представить в виде элементарных функций.

Рациональной функцией называется отношение двух многочленов.

P(x)Q(x)=S+˜P(x)Q(x),

где latexS — «целая часть» (многочлен).

deg(˜P(x))<deg(Q(x))

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

Qn(x)=C(xa1)α1(xa2)α2(xak)αk(x2+p1x+q1)β1(x2+psx+qs)βs

Если m<n, то:

Pm(x)Qn(x)=Aα11(xa1)α1+A(α11)1(xa1)α11++A(1)1(xa1)++Aαkk(xak)αk+A(αk1)k(xak)αk1+ +A(1)kxak+Bβ11x+Dβ11(x2+p1x+q1)β1+B(β11)1+D(β11)1(x2+p1x+q1)β11+ +B(1)1x+D1+D(1)1(x2+p1x+q1)++Bβssx+D(s)s(x2+psx+qs)βs++B(1)sx+D(1)s(x2+psx+qs).

Таким образом правильная рациональная дробь представляется в виде суммы простых дробей вида:

A(xα)r,rϵNиBx+D(x2+px+q)k,kϵN

r=1:Axαdx=Ad(xα)xα=Aln|xα|+C

r1:A(xα)rdx=A(xα)rd(xα)=A(xα)r+1r+1+C

Обозначим Ik=Bx+D(x2+px+q)kdx

x2+px+q=(x+p2)2+(qp24)

p24qp24

dx=qp24=a,x+p2=t

Ik=B(tp2)+D(t2+a2)kdt=Btdt(t2+a2)k+B(p2)+Ddt(t2+a2)k

Пусть I1k=Btdt(t2+a2)kI2k=dt(t2+a2)k

k>1:  I1k=tdt(t2+a2)k=12(t2+a2)kd(t2+a2)=

=12(t2+a2)k+1k+1+C=12(k+1)(x2+px+q)k1+C

k=1:  I11=tdtt2+a2=12d(t2+a2)t2+a2=12ln|t2+a2|+C

В случае k>1 интеграл «берем» по рекурентной формуле, доказанной выше.

k=1:  I21=dtt2+a2=1aarctan(ta)+C=1aarctan(x+p2a)+C

Пример 1

Вычислить интеграл 2x+3x29dx.

Решение

Спойлер

Пример 2

Вычислить интеграл x22x+1dx

Решение

Спойлер

Литература:

  • Г.М. Фихтенгольц, Курс дифференциального и интегрально исчисления,Том 2, „Наука“, Москва 1970, стр. 36.
  • Лысенко З.М. Конспект лекций по математическому анализу, семестр 1, О.:2012.
  • Интегрирование рациональных фунций http://www.math24.ru/

    Интегрирование рациональных функций

    Интегрирование рациональных функций

    Таблица лучших: Интегрирование рациональных функций

    максимум из 6 баллов
    Место Имя Записано Баллы Результат
    Таблица загружается
    Нет данных

Различные типы пределов: односторонние конечные пределы

Определения

Односторонний предел по Коши

Число [latex]A^{‘}[/latex] называют левосторонним пределом функции [latex]f(x)[/latex] в точке [latex]a:[/latex]

[latex]A^{‘}=\lim\limits_{x\rightarrow a-0} f(x),[/latex]

если

[latex]\forall \varepsilon >0\: \: \exists\delta _{\varepsilon }>0\: \:\forall x:a-\delta _{\varepsilon }<x<a:|f(x)-A^{‘}|<\varepsilon[/latex]

Аналогично, число [latex]A^{»}[/latex] называют правосторонним пределом функции [latex]f(x)[/latex] в точке [latex]a:[/latex]

[latex]A^{»}=\lim\limits_{x\rightarrow a+0}f(x),[/latex]

если

[latex]\forall \varepsilon >0\: \: \exists\delta _{\varepsilon }>0\: \:\forall x:a<x<a+\delta _{\varepsilon }:|f(x)-A^{»}|<\varepsilon[/latex]

Односторонний предел по Гейне

Число [latex]A^{‘}[/latex] называют левосторонним пределом функции [latex]f(x)[/latex] в точке [latex]a:[/latex]

[latex]A^{‘}=\lim\limits_{x\rightarrow a-0} f(x),[/latex]

если

[latex]\forall \left \{ x_{n} \right \}_{n=1 }^{\infty }:(\forall k \in \mathbb{N}:x_{k}

Аналогично, число [latex]A^{»}[/latex] называют правосторонним пределом функции [latex]f(x)[/latex] в точке [latex]a:[/latex]

[latex]A^{»}=\lim\limits_{x\rightarrow a+0}f(x),[/latex]

если

[latex]\forall \left \{ x_{n} \right \}_{n=1 }^{\infty }:(\forall k \in \mathbb{N}:x_{k}>a )\vee \lim\limits_{n\rightarrow \infty}x_{n}=a\Rightarrow \lim\limits_{n\rightarrow \infty}\left \{ f(x_{n}) \right \}_{n=1 }^{\infty }=A^{»}[/latex]

Пределы слева и справа называют односторонними пределами.
Соответственно, функция [latex]f(x)[/latex] называется непрерывной слева (справа) в точке [latex]a[/latex], если

[latex]\exists \lim\limits_{x\rightarrow a-0}f(x)=f(a)\;(\lim\limits_{x\rightarrow a+0}f(x)=f(a))[/latex].

Теорема

Функция [latex]f(x)[/latex] имеет предел в точке [latex]a[/latex] тогда и только тогда, когда существуют равные между собой односторонние пределы в этой точке. В этом случае их общее значение является пределом функции в точке [latex]a.[/latex]

Спойлер

Пример

Дана функция [latex]f(x)=\rm sgn(x):\: \left\{1,x>0;0,x=0;1,x<0.\right.[/latex]
signx
Выяснить существует ли предел в точке [latex]0.[/latex]

Спойлер

Литература

  1. Тер-Киркоров А.М., Шабунин М.И., Курс математического анализа, физмат-лит, 2001. стр. 77-79
  2. Кудрявцев Л.Д., Курс математического анализа, 2003, т.1. стр. 185-189

Тест


Таблица лучших: Односторонние конечные пределы

максимум из 10 баллов
Место Имя Записано Баллы Результат
Таблица загружается
Нет данных