Обозначим через ДЕЛ(,
) утверждение «натуральное число
делится без остатка на натуральное число
». Для какого наибольшего натурального числа
формула
тождественно истинна (то есть принимает значение 1 при любом натуральном значении переменной )?
Составим систему для тех случаев, когда выражение тождественно ложно:
Отсюда следует, что обязательно должен делиться на НОК
.
Нам требуется, чтобы любой , кратный
, делится на
, то есть
— делитель числа
. Максимальное
равно максимальному делителю числа
, то есть
.
Решение программой:
def f(x, A):
return (x % A == 0) or (x % 6 != 0) or (x % 9 != 0)
for A in range(10000, 0, -1):
flag = True
for x in range(1000):
if not f(x, A):
flag = False
if flag:
print(A)
break