WWW.DISSERS.RU

БЕСПЛАТНАЯ ЭЛЕКТРОННАЯ БИБЛИОТЕКА

   Добро пожаловать!

Pages:     | 1 |   ...   | 69 | 70 || 72 | 73 |   ...   | 76 |

ps p2s p3s 1 ps Перемножим такого рода равенства, написанные для всех простых чисел p = 2, 3, 5, 7,... (не задаваясь вопросом о законности такой операции). В левой части мы получим «бесконечное произведение» 1 1 1 1 · ·... = lim... при n ;

1 1 1 1 1 - 1 - 1 - 1 - 1 2s 3s 5s ps ps n в это же время в правой части мы получаем ряд 1 1 + + +... = (s), 2s 3s в силу того обстоятельства, что каждое целое число, большее чем 1, может быть единственным образом представлено как произведение степеней различных простых чисел. Итак, нам удалось выразить дзетафункцию в виде произведения 1 1 (s) = · ·... (21) 1 1 1 2s 1 - 3s 1 - 5s Если бы существовало только конечное число простых чисел, скажем, p1, p2, p3,..., pr, то произведение в правой части формулы (21) было бы обыкновенным конечным произведением и имело бы поэтому конечное значение даже при s = 1. Однако мы видели, что дзета-ряд при s = 1 (1) = 1 + + +...

2 расходится, стремясь к бесконечности. Это рассуждение, которое легко превратить в строгое доказательство, показывает, что существует бесконечное множество простых чисел. Конечно, это доказательство гораздо 512 ДОПОЛНЕНИЕ гл. VIII запутаннее и искусственнее, чем данное Евклидом (см. стр. 40). Но оно столь же привлекательно, как трудный подъем на вершину горы, которая могла бы быть достигнута с другой стороны по комфортабельной дороге.

С помощью бесконечных произведений, подобных тому, которое дается формулой (21), функции иногда выражаются так же удобно, как и с помощью бесконечных рядов.

Другое бесконечное произведение, открытие которого представляет собой еще одно из достижений Эйлера, относится к тригонометрической функции sin x. Чтобы понять найденную Эйлером формулу, мы начнем со следующего замечания относительно многочленов. Если f(x) = a0 + a1x +... + anxn есть многочлен степени n и имеет n различных нулей x1,..., xn, то, как известно из алгебры, функция f(x) может быть разложена на линейные множители f(x) = an(x - x1)... (x - xn) (см. стр. 122). Вынося за скобку произведение x1x2... xn, мы можем написать x x x f(x) = C 1 - 1 -... 1 -, x1 x2 xn где C — постоянная, равная a0, что легко установить, положив x = 0.

Далее возникает вопрос: возможно ли аналогичное разложение уже не для полиномов, а для более сложных функций f(x) (В общем случае ответ не может быть утвердительным, в чем легко убедиться на примере показательной функции, которая вовсе не имеет нулей, поскольку ex = при любых значениях x.) Эйлер открыл, что для функции синус такое разложение возможно. Чтобы написать формулу в ее простейшем виде, мы рассмотрим не sin x, а sin x. Последняя функция имеет нулями точки x = 0, ±1, ±2, ±3,..., так как sin n = 0 при всех целых n; иных же нулей она не имеет никаких. Формула Эйлера устанавливает соотношение x2 x2 x2 xsin x = x 1 - 1 - 1 - 1 -... (22) 12 22 32 Стоящее справа бесконечное произведение сходится при всех значениях x и является одной из красивейших формул математики. При x = формула дает 1 1 sin = 1 = 1 - 1 - 1 -...

2 2 22 · 12 22 · 22 22 · Если мы напишем 1 (2n - 1)(2n + 1) 1 - =, 22 n2 2n · 2n то после небольших преобразований получим произведение Уоллиса 2 2 4 4 6 6 8 = · · · · · · ·..., 2 1 3 3 5 5 7 7 § 4 ДОКАЗАТЕЛЬСТВО ТЕОРЕМЫ О ПРОСТЫХ ЧИСЛАХ упомянутое на стр. 322.

За доказательствами всех этих соотношений мы вынуждены направить читателя к руководствам по анализу (см. также стр. 532–533).

*§4. Доказательство теоремы о простых числах на основе статистического метода Применяя математические методы к изучению явлений природы, обычно удовлетворяются такими рассуждениями, в ходе которых цепь строгих логических доводов прерывается более или менее правдоподобными допущениями. И даже в чистой математике можно подчас встретить рассуждение, которое хотя и не обеспечивает строгого доказательства, но все же, несмотря на это, подсказывает правильное решение и дает направление, в котором можно искать это строгое доказательство.

Именно таков характер решения задачи о брахистохроне, данного Якобом Бернулли (см. стр. 404), а также очень многих других проблем раннего периода развития анализа.

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

(Упомянутая процедура была подсказана одному из авторов специалистом по экспериментальной физике Густавом Герцем.) Эта теорема, рассмотренная с эмпирической точки зрения в дополнениях к главе I, утверждает, что число A(n) простых чисел, не превышающих n, асимпn тотически равно :

ln n n A(n).

ln n n Под этим подразумевается то, что отношение A(n) : стремится к ln n пределу при стремлении n к бесконечности.

Допустим прежде всего, что существует математический закон распределения простых чисел, обладающий следующим свойством: при больших значениях n определенная выше функция A(n) приблизительn но равна интегралу W (x)dx, где W (x) можно назвать функцией, измеряющей «плотность» простых чисел. (В качестве нижнего предела интеграла мы выбрали число 2, так как при x < 2 имеем, очевидно, A(x) = 0.) Более точно, пусть x — растущая величина и x — другая растущая величина, но такая, что порядок возрастания x больше порядка возрастания x. (Например, можно принять, что x = x.) Предположим далее, что распределение простых чисел настолько равномерно, что число простых чисел в промежутке от x до x + x приближенно равно выражению вида W (x)x, и даже более того, 514 ДОПОЛНЕНИЕ гл. VIII n что функция W (x) изменяется так плавно, что интеграл W (x)dx может быть заменен соответствующей интегральной «ступенчатой» суммой, не изменяя своего асимптотического значения. После этих предварительных замечаний мы подготовлены для того, чтобы начать наше рассуждение.

Мы уже доказали ранее (стр. 496), что при больших целых числах выражение ln(n!) асимптотически равно произведению n ln n:

ln(n!) n ln n.

Мы дадим сейчас другую асимптотическую формулу для ln(n!), выражающуюся через простые числа, а затем сравним оба выражения.

Сосчитаем, сколько раз произвольное простое число p, меньшее, чем n, входит множителем в целое число p! = 1 · 2 · 3 ·... · n. Обозначим символом [a]p наибольшее целое число k такое, что a делится на pk. Из того, что разложение любого целого числа на простые числа единственно, вытекает зависимость [ab]p = [a]p + [b]p при любых целых a и b. Отсюда следует [n!]p = [1]p + [2]p + [3]p +... + [n]p.

В последовательности 1, 2, 3,..., n члены, делящиеся на pk, имеют n вид pk, 2pk, 3pk,...; их число Nk при больших n приближенно равно.

pk Из этих членов число Mk таких, которые делятся на pk, но не делятся на более высокие степени p, равно разности Nk - Nk+1. Следовательно, имеем [n!]p = M1 + 2M2 + 3M3 +... = = (N1 - N2) + 2(N2 - N3) + 3(N3 - N4) +... = N1 + N2 + N3 +... = n n n n = + + +... =.

p p2 p3 p - (Само собой разумеется, что эти равенства только приближенные.) Отсюда следует, что при больших n число n! приближенно выражаn p-ется произведением всех выражений вида p с ограничением p < n.

Таким образом, мы получили формулу n ln(n!) ln p.

p - p

ln p ln x (1) p - p

Следующим — и решающим — шагом является нахождение асимптотического выражения для правой части соотношения (1). Если x очень § 4 ДОКАЗАТЕЛЬСТВО ТЕОРЕМЫ О ПРОСТЫХ ЧИСЛАХ велико, можно промежуток от 2 до x = n разделить на большое число r достаточно больших частных промежутков точками 2 =,,...,, 1 2 r = x с соответственными приращениями = -. В каждом r+1 j j+1 j частном промежутке могут находиться простые числа, и каждое простое число j-го частного промежутка приближенно равно числу. В силу j нашего предположения о функции W (x), в j-м частном промежутке содержится приблизительно W ( ) простых чисел; следовательно, j j сумма в правой части соотношения (1) приближенно равна выражению r+ ln j W ( ).

j j j - j=Заменив эту конечную сумму интегралом, к которому она приближается, мы получим формулу x ln ln x W ( ) d. (2) - Отсюда мы теперь определим неизвестную функцию W (x). Если мы заменим значок знаком обыкновенного равенства и продифференцируем обе части по x, то в силу основной теоремы анализа можно написать 1 ln x x - = W (x), W (x) =. (3) x x - 1 x ln x В самом начале нашего рассуждения мы предположили, что A(x) асимптотически равно интегралу x W (x)dx.

Итак, A(x) приближенно равно интегралу x x - dx. (4) x ln x Для того чтобы вычислить этот интеграл, заметим, что функция f(x) = x имеет следующую производную:

ln x 1 f (x) = -.

ln x (ln x)При больших значениях x два выражения 1 1 1 - и ln x (ln x)2 ln x x ln x асимптотически равны, так как вторые члены в обоих выражениях много меньше первых. Следовательно, интеграл (4) будет асимптотически 516 ДОПОЛНЕНИЕ гл. VIII равен интегралу x x f (x)dx = f(x) - f(2) = -, ln x ln так как две сравниваемые нами функции мало отличаются на всем промежутке интегрирования. При больших значениях x членом как ln постоянным можно пренебречь, и тогда мы приходим к окончательному результату x A(x).

ln x Это и есть теорема о простых числах.

Мы не можем претендовать на то, чтобы предыдущее рассуждение рассматривалось как математическое доказательство, а не как индукция. Однако более глубокий анализ приводит к следующему заключению. Нетрудно оправдать каждый, с такою смелостью сделанный нами шаг, в частности, доказать справедливость асимптотической формулы суммы и интеграла, стоящих соответственно в правых частях соотношений (1) и (2), и, наконец, обосновать шаг, ведущий от соотношения (2) к соотношению (3). Гораздо труднее доказать существование гладкой функции «плотности» W (x), которое мы постулировали в самом начале. Но раз это принято, то оценка самой функции W (x) является делом сравнительно простым; таким образом, в задаче о распределении простых чисел наиболее трудным представляется доказательство существования «плотности» W (x).

ПРИЛОЖЕНИЕ Дополнительные замечания.

Задачи и упражнения Многие из следующих задач предназначены для более или менее подготовленного читателя. Они имеют в виду не столько развитие рутинной техники операций, сколько находчивости и инициативы.

Арифметика и алгебра 1. Откуда мы знаем, что, как говорится на стр. 81, никакая степень 10 не делится на 3 (См. стр. 53.) 2. Докажите, что принцип наименьшего целого числа вытекает как следствие из принципа математической индукции. (См. стр. 28.) 3. Применяя биномиальную теорему к разложению (1 + 1)n, докаn n n n жите, что C0 + C1 + C2 +... + Cn = 2n.

*4. Задумайте какое-нибудь число z = abc..., составьте сумму его цифр a + b + c +..., вычтите ее из z, вычеркните одну цифру из остатка и обозначьте через w сумму оставшихся цифр. Нельзя ли найти правило для того, чтобы определить вычеркнутую цифру, зная только значение w (Будет не вполне определенный случай, если w = 0.) Как и многое другое из того, что связано со сравнениями, этот пример пригоден в качестве «развлекательной задачи с угадыванием».

5. Арифметической прогрессией первого порядка называется такая последовательность чисел a, a + d, a + 2d, a + 3d,..., что разность между следующим членом и предыдущим постоянна. Арифметическая прогрессия второго порядка есть такая числовая последовательность a1, a2, a3,..., что разности ai+1 - ai образуют арифметическую прогрессию первого порядка. Вообще арифметической прогрессией порядка k называют последовательность, обладающую тем свойством, что разности рядом стоящих членов образуют арифметическую прогрессию (k 1)-го порядка. Проверьте, что квадраты натуральных чисел образуют арифметическую прогрессию 2-го порядка, и затем установите по математической индукции что k-е степени натуральных чисел образуют арифметическую прогрессию порядка k. Докажите, что всякая последовательность чисел an, где an = c0 + c1n + c2n2 +... + cknk и все c — постоянные, есть арифметическая прогрессия порядка k. *Докажите 518 ПРИЛОЖЕНИЕ обратное утверждение для случая k = 2, k = 3, для любого k.

6. Докажите, что суммы n первых членов арифметической прогрессии порядка k образуют арифметическую прогрессию (k + 1)-го порядка.

7. Сколько делителей у числа 10 296 (См. стр. 43.) 8. Пользуясь алгебраической формулой (a2 + b2)(c2 + d2) = (ac - bd)2 + (ad + bc)2, докажите с помощью индукции, что любое целое число r = a1a2... an может быть представлено как сумма двух квадратов, если каждый из множителей a обладает тем же свойством. Проверьте это на примерах r = 160, r = 1600, r = 1300, r = 625, принимая во внимание, что 2 = 12 + 12, 5 = 12 + 22, 8 = 22 + 22 и т. д.

Если возможно, найдите два различных представления этих чисел как суммы двух квадратов.

9. Воспользуйтесь результатом предыдущего упражнения для того, чтобы по заданным пифагоровым тройкам чисел строить новые.

10. Составьте правила делимости (подобные приведенным на стр. 53) для систем счисления с основаниями 7, 11, 12.

11. Докажите: неравенство r > s между двумя положительными раa c циональными числами r = и s = равносильно неравенству ac - bd > b d 0.

12. Докажите: если r и s — положительные числа, причем r < s, то r + s r < < s и < 2rs < (r + s)2.

2 1 + r s 13. Предполагая, что z — какое угодно комплексное число, докажите с помощью индукции, что zn + может быть представлено как полиzn ном степени n относительно w = z +. (См. стр. 121.) z *14. Если положим ради краткости E( ) = cos + i sin, то получим [E( )]m = E(m ). Воспользовавшись этой формулой, а также формулой для суммы геометрической прогрессии (стр. 33; эта формула сохраняется и для комплексных величин), докажите, что cos - cos n + 2 sin + sin 2 + sin 3 +... + sin n =, 2 sin sin n + + cos + cos 2 + cos 3 +... + cos n =.

2 sin ЗАДАЧИ И УПРАЖНЕНИЯ 15. Что получится из формулы упражнения 3 на стр. 36, если подставить q = E( ) Аналитическая геометрия Внимательное выполнение следующих упражнений, сопровождаемое чертежами и числовыми примерами, даст возможность овладеть элементами аналитической геометрии. Определения и простейшие факты из тригонометрии предполагаются известными.

Pages:     | 1 |   ...   | 69 | 70 || 72 | 73 |   ...   | 76 |



© 2011 www.dissers.ru - «Бесплатная электронная библиотека»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.