Прямоугольник [latex]atimes b(a>b)[/latex] разбит на прямоугольные треугольники, граничащие друг с другом только по целым сторонам, так что общая сторона двух треугольников всегда служит катетом одного и гипотенузой другого.Докажите, что [latex]frac{a}{b}geq2.[/latex]
Решение:
Пусть наш прямоугольник — [latex]ABCD[/latex]. Докажем, что вершина треугольника разбиения не может лежать внутри прямоугольника. Действительно, допустим противное, пусть хотя бы одна вершина внутри прямоугольника существует. Значит, существуют и стороны треугольников разбиения, которые обладают таким свойством: хотя бы один конец этой стороны лежит внутри прямоугольника. Рассмотрим множество [latex]M[/latex] сторон, обладающих этим свойством. По условию задачи, эта сторона для одного из примыкающих к ней треугольников разбиения служит гипотенузой. Тогда катет этого треугольника, выходящий из этой же точки, а следовательно, тоже принадлежащий множеству [latex]M[/latex], будет короче гипотенузы, т.е. короче кратчайшего отрезка множества [latex]M[/latex]. Противоречие. Итак, все вершины треугольников разбиения лежат на границе прямоугольника.
Теперь рассмотрим самую длинную из сторон треугольников разбиения: пусть это сторона [latex]m[/latex]. Она принадлежит одной из сторон прямоугольника. Действительно, иначе [latex]m[/latex] служила бы катетом для некоторого треугольника, а его гипотенуза был бы ещё длиннее. Пусть [latex]m[/latex] лежит на стороне [latex]AB[/latex] прямоугольника (см. рисунок).
Рассмотрим треугольник разбиения, гипотенузой которого служит [latex]m[/latex]. Вершина его прямого угла может лежать только на стороне [latex]CD[/latex]. Высота этого треугольника равна стороне [latex]BC[/latex]. Но высота [latex]h[/latex] прямоугольного треугольника не превышает половины гипотенузы, следовательно, [latex]mgeq 2h[/latex], откуда [latex]ABgeq 2BC[/latex], что и требуется.
Про [latex]n[/latex] чисел, произведение которых равно [latex]p[/latex], известно, что разность между [latex]p[/latex] и каждым из этих чисел — нечётное целое число. Докажите, что все эти числа иррациональны.
Решение:
Пусть x — одно из этих n чисел. [latex]x+b_{1} , x+b_{2}, … , x+b_{n-1}[/latex] — остальные и
[latex] p = x(x+b_{1})(x+b_{2})…(x+b_{n+1})=x+c, (1)[/latex]
где, по условию, [latex]c[/latex] нечётно, а [latex]b_{1} , b_{2}, … , b_{n-1}[/latex] должны быть чётными целыми числами. Равенство [latex](1)[/latex] можно записать, раскрыв скобки в виде
где [latex]a_{1},…,a_{n-2} [/latex] — чётные, а [latex]a_{n-1}=b_{1}b_{2}…b_{n-1}-1[/latex] и [latex]c[/latex] — нечётные числа.Предположив, что [latex]x[/latex] — рациональное число, мы сразу же убедимся, что [latex]x[/latex] должно быть целым:если [latex]x=k/d[/latex] — несократимая дробь, [latex]d>1[/latex], то, подставив [latex]x[/latex] в [latex](2)[/latex] и умножив обе части на [latex]d^{n-1}[/latex] , мы придём к противоречию.Но и целым [latex]x[/latex] тоже быть не может: и при чётном, и при нечётном [latex]x[/latex] левая часть — четная (в последнем случае два крайние числа нечётны, а остальные чётны), а [latex]c[/latex] — нечётно. Полученное противоречие доказывает, что [latex]x[/latex] (и любой из остальных корней уравнения (1) с чётными [latex]b[/latex], и нечётным [latex]c[/latex]) может быть только иррациональным.
Про [latex]n[/latex] чисел, произведение которых равно [latex]p[/latex], известно, что разность между [latex]p[/latex] и каждым из этих чисел — нечётное целое число. Докажите, что все эти числа иррациональны.
Решение:
Пусть x — одно из этих n чисел. [latex]x+b_{1} , x+b_{2}, … , x+b_{n-1}[/latex] — остальные и
[latex] p = x(x+b_{1})(x+b_{2})…(x+b_{n+1})=x+c, (1)[/latex]
где, по условию, [latex]c[/latex] нечётно, а [latex]b_{1} , b_{2}, … , b_{n-1}[/latex] должны быть чётными целыми числами. Равенство [latex](1)[/latex] можно записать, раскрыв скобки в виде
где [latex]a_{1},…,a_{n-2} [/latex] — чётные, а [latex]a_{n-1}=b_{1}b_{2}…b_{n-1}-1[/latex] и [latex]c[/latex] — нечётные числа.Предположив, что [latex]x[/latex] — рациональное число, мы сразу же убедимся, что [latex]x[/latex] должно быть целым:если [latex]x=k/d[/latex] — несократимая дробь, [latex]d>1[/latex], то, подставив [latex]x[/latex] в [latex](2)[/latex] и умножив обе части на [latex]d^{n-1}[/latex] , мы придём к противоречию.Но и целым [latex]x[/latex] тоже быть не может: и при чётном, и при нечётном [latex]x[/latex] левая часть — четная (в последнем случае два крайние числа нечётны, а остальные чётны), а [latex]c[/latex] — нечётно. Полученное противоречие доказывает, что [latex]x[/latex] (и любой из остальных корней уравнения (1) с чётными [latex]b[/latex], и нечётным [latex]c[/latex]) может быть только иррациональным.
Пусть x→x0, тогда из неравенств следует, что ξ→x0, и в силу существования f(n)(x0) существует
limx→x0r(n−1)n(x)−r(n−1)n(x0)x−x0=
=limx→x0r(n−1)n(ξ)−r(n−1)n(x0)ξ−x0=r(n)n(x0)=0
Так как выполняются равенства rn(x0)=r′n(x0)=…=r(n)n(x0)=0
Таким образом, правая часть формулы (∗) имеет при x→x0предел, равный нулю, а поэтому существует предел левой части этой формулы, так же равный нулю. Это означает, что rn(x)=o((x−x0)n),x→x0, то есть f(x)−Pn(x)=o((x−x0)n), что и требовалось доказать.
Пример:
Разложить функцию y=cos2(x) в окрестности точки x0=0 по Тейлору с остатком в форме Пеано.
Решение
Табличное разложение косинуса имеет следующий вид:
cos(x)=1−x22!+x44!−…+(−1)nx2n(2n)!+o(x2n+1)
Представим функцию cos2(x) в виде:
cos2(x)=1+cos(2x)2=12+12cos(2x)
Заменим в табличном разложении x на 2x и подставим представление косинуса.Получим
cos2(x)=1−x2+x43−…+(−1)n22n−1x2n2n!+o(x2n+1)
Источники:
Конспект по курсу математического анализа Лысенко З.М.
Тер-Крикоровв А.М., Шабунин М.И. Курс математического анализа -М.:ФИЗМАТ-ЛИТ, 2001.-672 с. гл. IV §18 с. 161.
Тест на знание формулы Тейлора(ост.Пеано)
Лимит времени: 0
Навигация (только номера заданий)
0 из 6 заданий окончено
Вопросы:
1
2
3
4
5
6
Информация
Проверьте себя на знание доказательства и применения формулы Тейлора с остатком в форме Пеано.
Вы уже проходили тест ранее. Вы не можете запустить его снова.
Тест загружается...
Вы должны войти или зарегистрироваться для того, чтобы начать тест.
Вы должны закончить следующие тесты, чтобы начать этот:
Результаты
Правильных ответов: 0 из 6
Ваше время:
Время вышло
Вы набрали 0 из 0 баллов (0)
Средний результат
Ваш результат
Рубрики
Математический анализ0%
Ваш результат был записан в таблицу лидеров
Загрузка
максимум из 6 баллов
Место
Имя
Записано
Баллы
Результат
Таблица загружается
Нет данных
1
2
3
4
5
6
С ответом
С отметкой о просмотре
Задание 1 из 6
1.
В условиях теоремы функция latexf(x) представима в виде…
Правильно
Неправильно
Задание 2 из 6
2.
Лемма, помогающая доказать теорему, гарантирует выполнение следующего равенства при определённых условиях:
Правильно
Неправильно
Задание 3 из 6
3.
Каким условиям должны удовлетворять функции latexφ(x) и latexψ(x) для того, чтоб для них выполнялась лемма, доказанная в этой главе?
Правильно
Неправильно
Задание 4 из 6
4.
Чему получился равен latex \lim\limits_{x\to x_{0}}\frac{r_{n}^{(n-1)}-r_{n}^{(n-1)}(x_{0})}{x-x_{0}} &s=1?
(буквами, например «один», «бесконечность», «ноль», «три»)
Метод нахождения пределов функций, раскрывающий неопределённости вида latex00 или latex∞∞ Правило позволяет заменить предел отношения функций пределом отношения их производных.
1. Докажем теорему для случая, когда пределы функций равны нулю.
Существует latex \lim\limits_{x\to a}\frac{f'(x)}{g'(x)} &s=1
Вывод: Тогда существует latex \lim\limits_{x \rightarrow a} \frac{f(x)}{g(x)} = \lim\limits_{x \rightarrow a} \frac{f'(x)}{g'(x)} &s=1
Доказательство: Доопределим функции в точке latexa нулём. Из 1 условия следует, что latexf(x) и latexg(x)непрерывны на отрезке latex[a,x], где latexx принадлежит рассматриваемой окрестности точки latexa. Применим обобщённую формулу конечных приращений (Коши) к latexf(x) и latexg(x) на отрезке latex[a,x]latex \exists \xi\in [a,x]:\frac{f(x)-f(a)}{g(x)-g(a)}=\frac{f'(\xi)}{g'(\xi)}&s=1 Так как latexf(a)=g(a)=0 получим, что latex∀xlatex \exists \xi \in [a,x]:\frac{f(x)}{g(x)}=\frac{f'(\xi)}{g'(\xi)} &s=1 Пусть предел отношения производных равен latexA. Следовательно: latex \lim\limits_{x \to a} \frac{f'(\xi(x))}{g'(\xi(x))}=\lim\limits_{y \to a} \frac{f'(y)}{g'(y)}=A &s=1, так как latex \lim\limits_{x \to a} \xi(x)=a &s=1
2. Докажем теорему для случая, когда пределы функций равны бесконечности.
Существует конечный latex \lim\limits_{x\to\infty}\frac{f'(x)}{g'(x)}=A &s=1
Вывод: Тогда существует latex \lim\limits_{x\to\infty}\frac{f(x)}{g(x)}=\lim\limits_{x\to\infty}\frac{f'(x)}{g'(x)} &s=1 Доказательство: Из условия 2 следует, что latex∃a1>a:∀x>a1→|f(x)|>1,|g(x)|>1, и поэтому latexf(x)≠0,g(x)≠0 при latexx>a1. По определению предела (условие 4) для заданного числа latexε>0 можно найти latexδ1=δ1(ε)≥a1 такое, что для всех latext>δ1 выполняется неравенство: latex A-\frac{\varepsilon}{2}<\frac{f'(t)}{g'(t)}<A+\frac{\varepsilon}{2} &s=1 Фиксируя latexx0>δ1 выберем, пользуясь условием 2 число latexδ2>x0
такое, чтобы при всех latexx>δ2 выполнялись неравенства: latex \left |\frac{f(x_{0})}{f(x)}<\frac{1}{2}\right | &s=1 и latex \left |\frac{g(x_{0})}{g(x)}<\frac{1}{2}\right | &s=1 Для доказательства теоремы нужно доказать, что существует такое latexδ, что при всех latexx>δ выполняется неравенство:latex A-\varepsilon<\frac{f(x)}{g(x)}<A+\varepsilon (*) &s=1 Число latexδ будет выбрано ниже. Считая, что latexx>δ, применим к функциям latexf и latexg на отрезке latex[x;x0]обобщённую формулу конечных приращений (Коши). latex \exists \xi \in [x_{0};x]: \frac{f(x)-f(x_{0})}{g(x)-g(x_{0})}=\frac{f'(\xi)}{g'(\xi)} &s=1 Преобразуем левую часть неравенства: latex \frac{f(x)-f(x_{0})}{g(x)-g(x_{0})}=\frac{f(x)}{g(x)}(\varphi(x))^{-1} &s=1, где latex \varphi(x)=\frac{1-\frac{g(x_{0})}{g(x)}}{1-\frac{f(x_{0})}{f(x)}}=1+\beta(x) &s=1 Заметим, что latexβ(x)→0 при latexx→+∞ в силу условия 2, поэтомуlatex∀ε>0∃δ≥δ2:latex \forall x>\delta\to|\beta(x)|<\frac{\frac{\varepsilon}{2}}{|A|+ \frac{\varepsilon}{2}}(**) &s=1 Так как latexξ>x0>δ1, то для всех latexx>δ2 выполняется неравенство: latex A-\frac{\varepsilon}{2}<\frac{f(x)}{g(x)} (\varphi(x))^{-1}<A+\frac{\varepsilon}{2} &s=1 Если latexx>δ, то latexφ(x)>0, и поэтому неравенство равносильно следующему: latex(A−ε2)(1+β(x))<latex \frac{f(x)}{g(x)}<(A+\frac{\varepsilon}{2})(1+\beta(x)) &s=1 Используя неравенство latex(∗∗), получаем: latex(A−ε2)(1+β(x))=latexA−ε2+(A−ε2)β(x)≥latex (A-\frac{\varepsilon}{2})-&s=1-(|A|+\frac{\varepsilon}{2})|\beta(x)|>latex A-\frac{\varepsilon}{2}-\frac{\varepsilon}{2}=A-\varepsilon &s=1 Аналогично находим: latex(A+ε2)(1+β(x))≤latex A+\frac{\varepsilon}{2}+(|A|+\frac{\varepsilon}{2})|\beta(x)|< A+\varepsilon &s=1
Таким образом для всех latexx>δ выполняется неравенство latex(∗), а это означает, что справедливо утверждение: latex \lim\limits_{x\to\infty}\frac{f(x)}{g(x)}=\lim\limits_{x\to\infty}\frac{f'(x)}{g'(x)} &s=1
Примеры:
Пример 1. Найти latex \lim\limits_{x \to 1}\frac{3x^{10}-2x^{5}-1}{x^{3}-4x^{2}+3} &s=1 Обозначим latexf(x)=3x10−2x5−1 , latexg(x)=x3−4x2+3. Так как latexlimx→1f(x)=limx→1g(x)=0, воспользуемся правилом Лопиталя для ситуации latex00. latexf′(x)=30x9−10x4, latexf′(1)=20latexg′(x)=3x2−8x, latexg′(1)=−5 По доказанной теореме: latex \lim\limits_{x\to1}\frac{f(x)}{g(x)}=\lim\limits_{x\to1}\frac{f'(x)}{g(x’)}=\frac{20}{-5}=-4 &s=1
Ответ: -4.
Пример 2. Доказать, что [latex] \lim\limits_{x\to\infty}\frac{\ln x}{x^{\alpha}}=0,\alpha>0 [/latex]
Применяя правило Лопиталя для ситуации latex∞∞, получим: [latex]\lim\limits_{x\to\infty}\frac{\ln x}{x^{\alpha}}=[/latex][latex]\lim\limits_{x\to\infty}\frac{\frac{1}{x}}{\alpha x^{\alpha-1}}=[/latex][latex] \lim\limits_{x\to\infty}\frac{1}{\alpha x^{\alpha}}=0[/latex]
Доказано.
Источники:
Конспект по курсу математического анализа Лысенко З.М.