что дает 288/15 или 28,53333…. При извлечении корней из любого числа рано или поздно значения падают ниже 2, и начиная с этого места все члены в выражении для функции J равны нулю. Поэтому для любого аргумента x значение функции J(x) можно получить, вычисляя конечную сумму — существенное улучшение по сравнению с некоторыми из функций, что нам встречались!
Рисунок 19.2. Функция J(x).
Вглядевшись очень внимательно в выражение (19.1), мы увидим следующую закономерность. Во-первых, когда x — простое число, функция J(x) совершает прыжок на высоту 1, потому что π(x) — число простых чисел, не превышающих x, — при этом увеличивается на 1. Во-вторых, когда x является точным квадратом простого числа (например, x = 9, что есть квадрат числа 3), J(x) совершает прыжок на одну вторую, потому что квадратный корень из x есть простое число, а значит, π(√x) возрастает на 1. В-третьих, когда x есть точный куб простого числа (например, x = 8, что есть куб числа 2), J(x) совершает прыжок на одну треть, потому что кубичный корень из x равен простому числу, а значит, π(3√x) возрастает на 1, и т.д.
Попутно заметим, что функция J обладает тем же свойством, которым мы снабдили функцию π(x): в точке, где реально происходит прыжок, она принимает значение, лежащее посередине между теми значениями, от которого и до которого она прыгает.
Для полноты представления функции J на рисунке 19.3 изображен график J(x) при аргументах до 100. Самый маленький прыжок здесь совершается при x = 64 — это число представляет собой шестую степень (64 = 26), так что функция J прыгает при x = 64 на одну шестую.
Рисунок 19.3. Еще о функции J(x).
Какую пользу может принести подобная функция? Терпение, терпение. Сначала придется совершить один из тех логических скачков, о которых я предупреждал в начале главы.
IV.
Напоминаю в который уже раз, что у математиков есть масса способов обращать соотношения. Дали нам выражение для P через Q — отлично, посмотрим, не найдется ли способа выразить Q через P. В течение столетий в математике был развит целый инструментарий для того, чтобы совершать обращения, — он включает набор приемов для использования в самых разных условиях и обстоятельствах. Один из таких приемов носит название мебиусова обращения, и оно-то нам сейчас и нужно.
Не буду пытаться объяснить мебиусово обращение в общем виде. Оно описано в любом хорошем учебнике по теории чисел (см., например, раздел 16.4 в классической монографии «Теория чисел» Харди и Райта), а кроме того, поиск в Интернете наведет вас на множество ссылок. Подражая до некоторой степени самим функциям π и J, я вместо того, чтобы уныло тащиться от одной точки в моих рассуждениях к другой, перескочу сразу к следующему факту: применение мебиусова обращения к выражению (19.1) дает такой результат: