Докажите, что если разность между наибольшим и наименьшим из n вещественных чисел a1,a2,…,an равна d, а сумма модулей всех n(n−1)2 попарных разностей этих чисел ∑i<j|ai—aj| равна s, то (n−1)d⩽s⩽n24d.
Решение
Нанесем точки a1,a2,…,an на числовую ось. Тогда d — расстояние между крайними из этих точек, самой левой и самой правой, а ∑i<j|ai—aj| — сумма всех попарных расстояний между этими точками. Можно, очевидно, считать, что точки обозначены через a1,a2,…,an в порядке возрастания: a1⩽a2⩽…⩽an (рисунок). Обозначим расстояние между соседними точками ak и ak+1 через dk(k=1,2,…,n−1). Очевидно, d=d1+d2…+dn−1. Выразим теперь s через величины dk. Для этого заменим в сумме s длину каждого отрезка |ai−aj| суммой тех dk, из которых он состоит: |ai−aj|=di+di+1+…+dj−1. Ясно, что dk входит в те отрезки, у которых левый конец лежит в одной из точек a1,…,ak, а правый — в одной из точек ak+1,…an, то есть в общей сложности dk входит в сумму k(n−k) раз. Поэтому s=n−1∑k=1k(n−k)dk. Теперь доказываемое утверждение следует из двух совсем простых неравенств: для всех k=1,…,n−1
k(n−k)⩾n−1⇔kn−k2−n+1⩾0⇔(k−1)(n−k−1)⩾0
k(n−k)⩽n24⇔n2−4nk+4k2⩾0⇔(n−2k)2
Пользуясь этими оценками n−1∑k=1k(n−k)dk⩾n−1∑k=1(n−1)dk=(n−1)d,n−1∑k=1k(n−k)dk⩽n−1∑k=1n24dk=n24d.
Интересно выяснить
Являются ли указанные в условии задачи оценки точными, нельзя ли, скажем, вместо n−1 поставить в левом неравенстве большее число? Для того, чтобы убедиться в противном, достаточно привести пример такого случая, когда неравенство превращается в равенство (причем в обеих его частях стоят положительные числа). Такой пример легко придумать, разобравшись в нашем доказательстве: нужно расположить точки a1,a2,…,an так, чтобы все dk, кроме первого — d1, равнялись нулю, то есть взять a1<a2=a3=…=an. Тогда s=(n−1)d1=(n−1)d.
Что касается второго неравенства s⩽n24d, то при четном n=2m в нем тоже может достигаться равенство (достаточно взять a1=a2=…=am<am+1=…=a2m), а при нечетном n=2m+1 его можно несколько уточнить: нетрудно сообразить, что при нечетном n наибольшее из чисел k(n−k) равно n−12×n+12=n2−14; пользуясь этим вместо неравенства б), можно так же, как и выше, доказать более сильное неравенство s<n2−14d. Равенство в нем достигается, когда a1=…=am<am+1=…=a2m+1.
Всякую дробь вида ±a0,a1a2a3…an…, где a0 — целое неотрицательное число, а ai — десятичные знаки (0,1,2,3,4,…,9) назовём вещественным (или действительным) числом.
(если перед дробью стоит +, то его опускают)
Множество таких чисел называют множеством вещественных чисел и обозначают R.
Если дробь ±a0,a1a2a3… является периодической, то её называют рациональным числом, а если она непериодическая дробь, то это число иррациональное.
Например: x2=2
x=±√2=1,41421…
x — иррациональное число.
N⊂Q⊂R
R−Q — множество иррациональных чисел.
Сравнение вещественных чисел
1.Пусть α и β — неотрицательные вещественные числа.
α=a0,a1a2a3…; β=b0,b1b2b3…;
α=β⇔ak=bk, k=0,1,2,…
α<β, либо когда a0<b0, либо если a0=b0 и ∃n:a1=b1,a2=b2,…,an−1=bn−1;an<bn.
2. Пусть α — неотрицательное и β — отрицательное, тогда α>β.
3. Пусть α и β — отрицательные, тогда
α=β⇔|α|=|β|;
α<β⇔|α|>|β|,
где |α|=|±a0,a1a2a3…|=a0,a1a2a3…; |β|=|±b0,b1b2b3…|=b0,b1b2b3…
Приближение вещественных чисел рациональными числами
Покажем, что любое вещественное число можно приблизить с любой степенью точности рациональными числами.
Возьмём вещественное число a=a0,a1a2a3…anan+1an+2…
Обрывая эту дробь на n-ном знаке после запятой получим рациональное число: a′=a0,a1a2a3⋯an(0)
Из правила сравнения вещественных чисел видно, что для ∀n∈R: a0,a1a2a3⋯an(0)<a0,a1a2a3⋯anan+1an+2⋯⏟a<a0,a1a2a3⋯an+110n
Это неравенство значит, что число a заключено между рациональными числами, разность между которыми равна 110n.
110n<ε; ε− фиксируемое ⇒1<ε10n⇒1ε<10n⇒n>lg1ε.
Возьмём, например ε=1103.
Получаем n>lg103⇒n>3.
Вывод: для любого вещественного вещественного числа a и для любой наперёд заданной точности ε существуют α1,α2∈Q такие, что α1≤a≤α2.α2−α1<ε.
Лемма
Если α и β — вещественные числа. α,β∈R(α<β), то ∃r∈Q:α<r<β. 1) Если α и β — рациональные, то r=α+β2. 1) Если одно из чисел α и β иррациональное.
Допустим β — иррациональное, тогда β — бесконечная непереодическая дробь. Допустим α>0⇒β>0 (так как α<β), тогда существует номер p, такой что a1=b1,a2=b2,…,ap−1=bp−1, ap<bp.
Так как β — иррациональное, то оно не может быть конечной десятичной дробью с периодом «0». Поэтому существует номер больше p. Например p+n, такой что bp+n>0.
Имеем r=a0,a1a2a3…ap−1bp…bp+n−1(0).
Получили число r, такое что α<r<β.
Аксиомы действительных чисел
Множеством R называется множество, на котором выполняются следующие условия:
1) Во множестве R определена операция «сложение»: ∀a,b∈R↦a+b∈R a. a+b=b+a (сложение коммутативно); b. (a+b)+c=a+(b+c) (сложение ассоциативно); с. ∃0∈R:∀a∈R:a+0=a (наличие нейтрального элемента); d.∀a∈R∃«−a»:a+(−a)=0 (наличие противоположного элемента).
Число a+(−b) называется разностью чисел a и b и обозначаются a−b.
2) В R определена операция «умножение»: ∀a,b∈R↦ab∈R а.ab=ba (коммутативность умножения); b. a(bc)=(ab)c (ассоциативность умножения); с. ∃1∈R:∀a∈R:a∗1=a (наличие нейтрального элемента); d. ∀a≠0:∃a−1∈R:a∗a−1=1 (наличие противоположного элемента). a∗b−1 — частное делениеa на b и обозначается ab или a:b.
3) Выполняется дистрибутивный закон (связь сложения и умножения): ∀a,b,c∈R:a(b+c)=ab+ac. 4)∀a∈R:a<0 либо a=0, либо a>0.
При этом, если a>0 и b>0⇒a+b>0, ab>0.
Числа больше 0 называются положительными. Числа меньше 0 называются отрицательными.
Если a−b>0, то пишут a>b;
Если a−b<0, то пишут a<b;
Если a−b=0, то пишут a=b.
Для множеств:
Для A,B⊂R
Запись A≤B означает, что ∀a∈A,∀b∈B:a≤b.
Если A={a} (множество из одного элемента) и A≤B, то a≤B. Непрерывность множества R заключается в том, что в R нет «щелей», а именно справедлива:
Аксиома непрерывности
∀A,B⊂R(A≠∅,B≠∅):a≤b⇒∃c∈R:a≤c≤b. Неравенство Бернулли
Пусть x∈R,x≥1,n∈N. Тогда (1+x)n≥1+nx Доказательство:
Если n=1 неравенство очевидно. Допустим, оно выполняется при n∈N. Докажем его справедливость при n+1∈N. Действительно:
(1+x)n+1=(1+x)n(1+x)≥(1+nx)(1+x);
(1+nx)(1+x)=1+(n+1)x+nx2≥1+(n+1)x.
Что и требовалось доказать.
Вступление в теорию действительных чисел
Лимит времени: 0
Навигация (только номера заданий)
0 из 5 заданий окончено
Вопросы:
1
2
3
4
5
Информация
Тестовые вопросы по вышеизложенному материалу.
Вы уже проходили тест ранее. Вы не можете запустить его снова.
Тест загружается...
Вы должны войти или зарегистрироваться для того, чтобы начать тест.
Вы должны закончить следующие тесты, чтобы начать этот:
Результаты
Правильных ответов: 0 из 5
Ваше время:
Время вышло
Вы набрали 0 из 0 баллов (0)
Средний результат
Ваш результат
Рубрики
Нет рубрики0%
Ваш результат был записан в таблицу лидеров
Загрузка
1
2
3
4
5
С ответом
С отметкой о просмотре
Задание 1 из 5
1.
Количество баллов: 1
Множеством вещественных чисел является множество:
Правильно
Неправильно
Задание 2 из 5
2.
Количество баллов: 1
Какова разность между числами 2,(8) и 2,(7)?
Правильно
Неправильно
Задание 3 из 5
3.
Количество баллов: 1
В множестве вещественных чисел коммутативными являются операции:
Правильно
Неправильно
Задание 4 из 5
4.
Количество баллов: 1
Вещественное число представляется в виде:
Правильно
Неправильно
Задание 5 из 5
5.
Количество баллов: 1
Отсортируйте по возрастанию числа:
3,2
3,21032134....
3,21345...
3,2(4)
Правильно
Неправильно
Таблица лучших: Вступление в теорию действительных чисел
В.И.Ильин, Э.Г.Позняк «Основы мат.анализа, часть 1, выпуск 2» (Издание четвёртое, переработанное и дополненное, 1982г.) стр.40 (скачать учебник можно здесь).