Первушина влекли и совершенные числа.
Если сложить все делители натурального числа, но не равные этому числу, то эта сумма в одном случае будет меньше самого числа, а в другом — больше. Например, сумма делителей числа 8 равна 1+2+4=7, то есть меньше 8, а сумма делителей числа 12 равна 1+2+3+4+6=16, то есть больше 12. Естественно, возникает вопрос о существовании таких чисел, сумма делителей которых равнялась бы этим числам. Такие числа есть. И называются они совершенными.
Еще в Древней Греции знали совершенные числа 6 (1+2+3=6) и 28 (1+2+4+7+14=28). Известный древнегреческий математик Евклид нашел еще два совершенных числа 496 и 8128. Прошло 17 веков, и только в 1460 году было найдено пятое совершенное число — 33550336. В шестнадцатом веке были найдены шестое и седьмое совершенные числа. В 18 веке Леонард Эйлер нашел восьмое совершенное число. Вот оно: 2 305 843 008 139 952 128. Прав был древнегреческий математик Никомах Герасский, который, рассуждая о совершенных числах, писал: «Совершенные числа красивы. Но известно, что красивые вещи редки и немногочисленны, безобразные же встречаются в изобилии».
Прошло более ста лет после того, как Эйлер нашел восьмое совершенное число. 27 октября 1883 года вице-президент Петербургской Академии наук академик В. Я. Буняковский получил очередную корреспонденцию от уральского математика. На этот раз Первушин сообщил, что нашел девятое совершенное число. Это число громадно и содержит 37 цифр. Для этого пришлось ему доказать, что число 261–1 — простое. Оно равно 2 305 843 009 213 693 951. Долгое время это было самым большим из известных простых чисел. В математике это число в честь первооткрывателя названо Числом Первушина. Уму непостижимо, как мог он «вручную» найти гигантское число. Выдающийся французский математик друг Декарта и Ферма, один из основателей Парижской Академии наук Марен Мерсенн говорил, что вечности не хватит для проверки простоты числа, имеющего 15–20 десятичных знаков. А в числе Первушина их 37!
Советский историк математики профессор И. Я. Депман так сказал по этому поводу: «И. М. Первушин, вычислив девятое совершенное число, поистине совершил настоящий подвиг».
Получив письмо Первушина, петербургские академики растерялись. Уральский математик, как всегда, сообщал им только результат своих вычислений без каких-либо выкладок и объяснений, а проверить результат никто не решался. Академик Буняковский просил Первушина сообщить, каким методом получил он результаты. Буняковский предложил Первушину объединить разрозненные записки в монографии, где были бы изложены не только результаты, но и доказательства в доступной форме. Но Первушин, по-видимому, был другого мнения. Несмотря на то, что сам писал: «Дорога не только сама истина, но и дорога к ней», он почему-то никогда не показывал эту дорогу. Он не рассказывал никому, как добивался своих выдающихся результатов. Может быть, ему мешала на высоком научном уровне изложить свои выкладки недостаточная математическая подготовка? Первушин достиг выдающихся математических результатов благодаря математической интуиции. Вот факт. Предлагая казанскому математическому обществу решить какую-то задачу по теории чисел, Иван Михеевич писал: «Обществу не угодно ли будет взять на себя труд вышеозначенную задачу решить теоретически прежде, чем я ее решу через 20 лет практически». В этих словах, как нам кажется, весь Первушин как математик.
Когда академик Буняковский доложил ученому совету об открытии Первушина, то это сообщение было запротоколировано. В 1887 году немецкий математик Зеелъхоф опубликовал доказательство простоты чисел 261–1, тогда Петербургская Академия наук напечатала протоколы заседаний за 1883 год. Право первенства открытия осталось за Первушиным.
Более сорока лет жизни посвятил Первушин созданию таблицы простых чисел от 1 до 10 миллионов, их сумм и разностей. Выполнил он эту колоссальную работу по заданию УОЛЕ. Таких обширных таблиц не было тогда в России. Академик А. А. Марков назвал их весьма полезными.
Иван Михеевич обратился в Академию наук с просьбой об издании таблиц, но Академия не нашла возможным сделать это «из-за отсутствия средств». Обратились к Первушину с предложением подарить таблицы Академии безвозмездно, «чтобы каждый нуждающийся в них мог ими воспользоваться». И Иван Михеевич передал свой многолетний титанический труд Академии. Он сохранился.
В 1893 году в Чикаго собрался Всемирный математический конгресс. На нем из России была лишь одна работа — это труд И. М. Первушина «О наилучшей проверке арифметических действий над огромными числами». Ясно, что если бы у Первушина не было своего простого способа проверки правильности расчетов над большими числами (иногда с десятью и двадцатью знаками), он не смог бы добиться своих поразительных результатов. Такой способ он и создал. Он был оригинален и прост и проводился при помощи обыкновенных русских конторских счетов.