Loading [MathJax]/jax/output/SVG/jax.js

M1538

Условие:

Прямоугольник [latex]atimes b(a>b)[/latex] разбит на прямоугольные треугольники, граничащие друг с другом только по целым сторонам, так что общая сторона двух треугольников всегда служит катетом одного и гипотенузой другого.Докажите, что [latex]frac{a}{b}geq2.[/latex]

Решение:

Пусть наш прямоугольник — [latex]ABCD[/latex]. Докажем, что вершина треугольника разбиения не может лежать внутри прямоугольника. Действительно, допустим противное, пусть хотя бы одна вершина внутри прямоугольника существует. Значит, существуют и стороны треугольников разбиения, которые обладают таким свойством: хотя бы один конец этой стороны лежит внутри прямоугольника. Рассмотрим множество [latex]M[/latex] сторон, обладающих этим свойством. По условию задачи, эта сторона для одного из примыкающих к ней треугольников разбиения служит гипотенузой. Тогда катет этого треугольника, выходящий из этой же точки, а следовательно, тоже принадлежащий множеству [latex]M[/latex], будет короче гипотенузы, т.е. короче кратчайшего отрезка множества [latex]M[/latex]. Противоречие. Итак, все вершины треугольников разбиения лежат на границе прямоугольника.

M1538

Теперь рассмотрим самую длинную из сторон треугольников разбиения: пусть это сторона [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], что и требуется.

А.Шаповалов, Н.Константинов

M1537. Произведение и разность чисел

Условие:

Про [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] x^{n} +a_{1}x^{n-1} + a_{2}x^{n-2} +…+a_{n-2}x^{2}+x{n-1}x=c, (2)[/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]) может быть только иррациональным.

Н.Васильев, Г.Гальперин

M1537

Условие:

Про [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] x^{n} +a_{1}x^{n-1} + a_{2}x^{n-2} +…+a_{n-2}x^{2}+x{n-1}x=c, (2)[/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]) может быть только иррациональным.

Н.Васильев, Г.Гальперин

Формула Тейлора с остатком в форме Пеано

Формулировка:

Если существует f(n)(x0), то f(x) представима в следующем виде:

f(x)=nk=0f(k)k!(xx0)k+o((xx0)n)xx0

Это выражение f(x) называется формулой Тейлора с остаточным членом в форме Пеано (или локальной формулой Тейлора)

Доказательство:

Для начала докажем Лемму

Пусть функции φ(x),ψ(x) определены в  δ  окрестности точки x0 и удовлетворяют следующим условиям:

  1. xUδφ(n+1)(x),ψ(n+1)(x);
  2. φ(x0)=φ(x0)==φ(n)(x0)=0ψ(x0)=ψ(x0)==ψ(n)(x0)=0
  3. ψ(x)0,ψk(x)0xUδ(x0),k=¯1,n+1

Тогда xUδ(x0) существует точка ξ, принадлежащая интервалу с концами x0 и x такая, что φ(x)ψ(x)=φn+1(ξ)ψn+1(ξ)

Доказательство 

Пусть, например, x(x0,x0+δ). Тогда применяя к функциям φ и ψ на отрезке [x0,x] теорему Коши и учитывая, что φ(x)=ψ(x)=0 по условию, получаем

φ(x)ψ(x)=φ(x)φ(x0)ψ(x)ψ(x0)=φ(ξ1)ψ(ξ1)$,$x0<ξ1<x

Аналогично, применяя к функциям φ и ψ на отрезке [x0,ξ1] теорему Коши, находим

φ(ξ1)ψ(ξ1)=φ(ξ1)φ(x0)ψ(ξ1)ψ(x0)=φ»(ξ2)ψ»(ξ2), x0<ξ2<ξ1

Из этих двух равенств следует, что

φ(x)ψ(x)=φ(ξ1)ψ(ξ1)=φ»(ξ2)ψ»(ξ2), x0<ξ2<ξ1<x<x0+δ

Применяя теорему Коши последовательно к функциям φ» и ψ»,φ(3) и ψ(3),…,φ(n) и ψ(n) на соответствующих отрезках получаем

φ(x)ψ(x)=φ(ξ1)ψ(ξ1)==φn(ξn)ψn(ξn)=φn+1(ξ)ψn+1(ξ)

где x0<ξ<ξn<<ξ2<ξ1<x<x0+δ

Равенство доказано для случая, когда x(x0,x0+δ), аналогично рассматривается случай, когда x(x0δ,x0).

Теперь, когда лемма доказана, приступим к доказательству самой теоремы:

Из существования f(n)(x0) следует, что функция f(x0) определена и имеет производные до (n1) порядка включительно в δ окрестности точки  x0

Обозначим φ(x)=rn(x),ψ(x)=(xx0)n, где  rn(x)=f(x)Pn(x).

Функции φ(x) и ψ(x) удовлетворяют условиям леммы, если заменить номер n+1 на n1

Используя ранее доказанную лемму и учитывая, что r(n1)n(x0)=0 получаем

rn(x)(xx0)n=rn1n(ξ)r(n1)n(x0)n!(ξx0), ξ=ξ(x)()

где x0<ξ<x<x0<x0+δ или x0δ<x<ξ<x0.

Пусть xx0, тогда из неравенств следует, что ξx0, и в силу существования f(n)(x0) существует

limxx0r(n1)n(x)r(n1)n(x0)xx0=

=limxx0r(n1)n(ξ)r(n1)n(x0)ξx0=r(n)n(x0)=0

Так как выполняются равенства rn(x0)=rn(x0)==r(n)n(x0)=0

Таким образом, правая часть формулы () имеет при xx0 предел, равный нулю, а поэтому существует предел левой части этой формулы, так же равный нулю. Это означает, что rn(x)=o((xx0)n),xx0, то есть f(x)Pn(x)=o((xx0)n), что и требовалось доказать.

Пример:

Разложить функцию y=cos2(x) в окрестности точки x0=0  по Тейлору с остатком в форме Пеано.

Решение

Табличное разложение косинуса имеет следующий вид:

cos(x)=1x22!+x44!+(1)nx2n(2n)!+o(x2n+1)

Представим функцию cos2(x) в виде:

cos2(x)=1+cos(2x)2=12+12cos(2x)

Заменим в табличном разложении x на 2x и подставим представление косинуса.Получим

cos2(x)=1x2+x43+(1)n22n1x2n2n!+o(x2n+1)

Источники:

  1. Конспект по курсу математического анализа Лысенко З.М.
  2. Тер-Крикоровв А.М., Шабунин М.И. Курс математического анализа -М.:ФИЗМАТ-ЛИТ, 2001.-672 с. гл. IV §18 с. 161.

Тест на знание формулы Тейлора(ост.Пеано)

Проверьте себя на знание доказательства и применения формулы Тейлора с остатком в форме Пеано.

Правило Лопиталя о раскрытии неоднозначностей

Метод нахождения пределов функций, раскрывающий неопределённости вида latex00 или latex Правило позволяет заменить предел отношения функций пределом отношения их производных.

1. Докажем теорему для случая, когда пределы функций равны нулю.

Условия:

  1. latex f(x) &s=1 и latex g(x) &s=1 дифференцируемы в проколотой окрестности точки latexa
  2. latex \lim\limits_{x\to a}f(x)=\lim\limits_{x\to a}g(x)=0 &s=1
  3.  latex g'(x) \neq 0 &s=1 в проколотой окрестности точки latexa
  4. Существует  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  получим, что latexx latex \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. Докажем теорему для случая, когда пределы функций равны бесконечности.

Условия:

  1. latexf(x) и latexg(x) дифференцируемы при latexx>a
  2. latex \lim\limits_{x\to\infty}f(x)=\lim\limits_{x\to\infty}g(x)=\infty &s=1
  3. latexg(x)0 при latexx>a
  4. Существует конечный 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 следует, что latexa1>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)=3x102x51 , latexg(x)=x34x2+3. Так как  latexlimx1f(x)=limx1g(x)=0, воспользуемся правилом Лопиталя для ситуации latex00. latexf(x)=30x910x4, latexf(1)=20 latexg(x)=3x28x, 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]

Доказано.

Источники:

  1. Конспект по курсу математического анализа Лысенко З.М.
  2. Тер-Крикоровв А.М., Шабунин М.И. Курс математического анализа -М.:ФИЗМАТ-ЛИТ, 2001.-672 с. гл. IV §19 с. 172-175

Тест на знание правила Лопиталя

Пройдите короткий тест для закрепления материала.