Обозначим через ДЕЛ(n, m) утверждение «натуральное число n делится без остатка на натуральное число m»; и пусть на числовой прямой дан отрезок . Найдите наименьшую возможную длину отрезка A, при котором формула
ДЕЛ
тождественно истинна (т.е. принимает значение 1) при любом натуральном значении переменной х?
Решение программой:
b = [i for i in range(36, 52)]
mn = 10**10
for a1 in range(1, 250):
for a2 in range(a1+1, 251):
f = 0
a = [i for i in range(a1, a2)]
for x in range(1, 500):
if ((x in a) or ((x in b) <= (x % 5 != 0))) == False:
f = 1
break
if f == 0:
# -1, потому что мы считаем длину,
# т.е. количество "дорог" между точками(целыми числами),
mn = min(len(a)-1, mn)
print(mn)
Ответ: 10