Для какого наибольшего целого числа формула
тождественно истинна, (т. е. принимает значение ) при любых целых положительных значениях переменных
и
?
Решение аналитикой
Формула состоит из двух частей:
1.
2.
Формула будет истинной, если хотя бы одна из частей истинна.
Первая часть является импликацией, которая истинна в следующих случаях:
— Если ложно, то есть
.
— Если истинно, то необходимо, чтобы
.
Таким образом, для первой части формулы можно записать два условия:
1. Если , тогда должно выполняться условие
.
2. Если , то первая часть всегда истинна.
Вторая часть формулы будет ложной только в одном случае: когда
. Чтобы формула была тождественно истинной, необходимо, чтобы первое условие обеспечивало истинность в случае, когда
.
Рассмотрим случай, когда . Из этого уравнения можно выразить
. Теперь подставим это значение во вторую часть:
Таким образом, для первой части формулы при условии :
или
Теперь у нас есть два условия:
1.
2.
Чтобы обе части были истинны одновременно, необходимо:
Решение программой
for A in range(100, 1, -1):
p = True
for x in range(1, 1000):
for y in range(1, 1000):
f = ((x - 10 < A) <= (y + 28 >= 4 * A)) or (x + y != 17)
if f == False:
p = False
break
if p == False:
break
if p == True:
print(A)
break