Задание №25 — Проверка делимости

Решение:

У целого числа $n$ наименьший делитель, отличный от единицы, — это его наименьший простой делитель $p$. Ему в пару идёт наибольший делитель, отличный от самого числа, равный $n/p$. Значит, оба «крайних» делителя находятся за один проход: достаточно перебрать $d$ от 2 до $\sqrt{n}$ и остановиться на первом, который делит $n$. Если такого $d$ нет, число простое, промежуточных делителей у него нет.

Нужны числа, у которых $F = n/p - p$ не равно нулю и делится на 7. Условие $F \ne 0$ отсекает простые числа (у них промежуточных делителей нет) и заодно числа вида $n = p^2$, для которых $F = 0$. Перебираем числа, начиная с 850001, по возрастанию, пока не наберём шесть подходящих.

def M(n):
    d = 2
    while d * d <= n:
        if n % d == 0:
            return n // d - d      # наибольший делитель минус наименьший
        d += 1
    return 0                       # n простое: делителей нет

n = 850000
found = 0
while found < 6:
    n += 1
    f = M(n)
    if f != 0 and f % 7 == 0:
        print(n, f)
        found += 1

Программа выводит:

850003 121422
850005 283332
850014 425005
850028 425012
850042 425019
850047 283346

Ответ: 850003 121422 850005 283332 850014 425005 850028 425012 850042 425019 850047 283346