Задания
Версия для печати и копирования в MS Word
Тип 15 № 14704
i

Сколь­ко су­ще­ству­ет целых зна­че­ний числа A, при ко­то­рых фор­му­ла

((x < 6) → (x2 < A)) ∧ ((y2A) → (y ≤ 6))

тож­де­ствен­но ис­тин­на при любых целых не­от­ри­ца­тель­ных x и y?

Спрятать решение

Ре­ше­ние.

Рас­кры­вая им­пли­ка­цию по пра­ви­лу A → B = ¬A + B, за­ме­няя ло­ги­че­скую сумму со­во­куп­но­стью, а ло­ги­че­ское про­из­ве­де­ние си­сте­мой со­от­но­ше­ний, опре­де­лим зна­че­ния па­ра­мет­ра А, при ко­то­ром си­сте­ма со­во­куп­но­стей

 си­сте­ма вы­ра­же­ний со­во­куп­ность вы­ра­же­ний x боль­ше или равно 6,x в квад­ра­те мень­ше A, конец си­сте­мы . со­во­куп­ность вы­ра­же­ний y в квад­ра­те боль­ше A,y мень­ше или равно 6 конец со­во­куп­но­сти . конец со­во­куп­но­сти .

будет иметь ре­ше­ни­я­ми для любых целых не­от­ри­ца­тель­ных чисел.

За­ме­тим, что пе­ре­мен­ные не свя­за­ны между собой урав­не­ни­ем или не­ра­вен­ством, по­это­му не­об­хо­ди­мо и до­ста­точ­но, чтобы ре­ше­ни­я­ми пер­вой со­во­куп­но­сти были все не­от­ри­ца­тель­ные х, а ре­ше­ни­я­ми вто­рой со­во­куп­но­сти были все не­от­ри­ца­тель­ные y.

Ре­ше­ни­я­ми не­ра­вен­ства x боль­ше или равно 6 яв­ля­ют­ся числа 6, 7, 8, ... Чтобы со­во­куп­ность вы­пол­ня­лась для всех целых не­от­ри­ца­тель­ных чисел, числа 0, 1, 2, ... 5 долж­ны быть ре­ше­ни­я­ми не­ра­вен­ства x в квад­ра­те мень­ше A. Зна­чит, A боль­ше 25.

Ана­ло­гич­но, ре­ше­ни­я­ми не­ра­вен­ства  y мень­ше или равно 6 яв­ля­ют­ся числа 0, 1, ... 6. Сле­до­ва­тель­но, числа 7, 8, 9, ... долж­ны быть ре­ше­ни­я­ми не­ра­вен­ства y в квад­ра­те боль­ше A. По­это­му A мень­ше 49.

Таким об­ра­зом, 25 мень­ше A мень­ше 49. Ис­ко­мое ко­ли­че­ство целых зна­че­ний па­ра­мет­ра равно 23.

 

Ответ: 23.

 

При­ведём ре­ше­ние на языке Python.

count = 0

for a in range(1, 300):

k = True

for x in range(0, 300):

for y in range(0, 300):

if not(((x < 6) <= (x**2 < a)) and ((y**2 <= a) <= (y <= 6))):

k = False

break

if k:

count += 1

print(count)

 

При­ведём ре­ше­ние Эли Шкур­ко на языке Python.

c = 0

def f(a, x, y):

return ((x < 6) <= (x**2 < a)) and ((y**2 <= a) <= (y <= 6))

for a in range(0, 100):

if all (f(a, x, y) == True for x in range(1, 100) for y in range(1, 100)):

c += 1

print(c)


Аналоги к заданию № 14704: 14779 Все

Источник: Стат­Град: Тре­ни­ро­воч­ная ра­бо­та 28.11.2017 ИН10203
Раздел кодификатора ФИПИ: 1.5.1 Вы­ска­зы­ва­ния, ло­ги­че­ские опе­ра­ции, кван­то­ры, ис­тин­ность вы­ска­зы­ва­ния