
Для какого наибольшего целого
((x ≤ 9) →(x ⋅ x ≤ A)) ⋀ ((y ⋅ y ≤ A) → (y ≤ 9))
тождественно истинна, то есть принимает
Решение. Раскрывая импликацию по правилу
будет иметь решения для любых целых неотрицательных чисел.
Заметим, что переменные не связаны между собой уравнением или неравенством, поэтому необходимо и достаточно, чтобы решениями первой совокупности были все
Решениями неравенства являются
Значит,
Аналогично, решениями неравенства являются
Поэтому
Таким образом, Искомое наибольшее целое значение параметра
Ответ: 99.
Приведём решение на языке Python.
for a in range(300, 1, -1):
k = 0
for x in range(0, 300):
for y in range(0, 300):
if ((x <= 9) <= (x * x <= a)) and ((y*y <= a) <= (y <= 9)):
k += 1
if k == 90_000:
print(a)
break
Приведём решение Артёма Позднякова на языке Python.
def f(x,y,a):
return ((x <= 9) <= (x*x <= a)) and ((y*y <= a)<=(y <= 9))
A=[]
for a in range(0,1000):
if all(f(x,y,a)==1 for x in range(1,1000) for y in range(1,1000)):
A += [a]
print(max(A))
PDF-версии: