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

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

((x < A) → (x2 < 100)) ∧ ((y2 ≤ 64) → (yA))

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

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

Ре­ше­ние.

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

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

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

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

Ре­ше­ни­я­ми не­ра­вен­ства x в квад­ра­те мень­ше 100 яв­ля­ют­ся числа из от­рез­ка [0; 9]. Чтобы со­во­куп­ность вы­пол­ня­лась для всех целых не­от­ри­ца­тель­ных чисел, числа из луча  левая квад­рат­ная скоб­ка 10; плюс бес­ко­неч­ность пра­вая круг­лая скоб­ка долж­ны быть ре­ше­ни­я­ми x боль­ше или равно A. Зна­чит, A при­над­ле­жит левая квад­рат­ная скоб­ка 0;10 пра­вая квад­рат­ная скоб­ка .

Ана­ло­гич­но, ре­ше­ни­я­ми не­ра­вен­ства  y в квад­ра­те боль­ше 64 яв­ля­ют­ся числа из луча  левая квад­рат­ная скоб­ка 9; плюс бес­ко­неч­ность пра­вая круг­лая скоб­ка . Сле­до­ва­тель­но, числа из от­рез­ка [0; 8] долж­ны быть ре­ше­ни­я­ми не­ра­вен­ства y мень­ше или равно A. По­это­му A при­над­ле­жит левая квад­рат­ная скоб­ка 8; плюс бес­ко­неч­ность пра­вая круг­лая скоб­ка .

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

 

Ответ: 3.

 

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

count = 0

for a in range(1, 300):

k = 0

for x in range(0, 300):

for y in range(0, 300):

if ((x < a) <= (x**2 < 100)) and ((y**2 <= 64) <= (y <= a)):

k += 1

if k == 90_000:

count += 1

print(count)

 

При­ведём ре­ше­ние Ан­дрея Тух­ма­но­ва на языке Python.

ans = []

for A in range(300):

Flag = True

for x in range(300):

for y in range(300):

if (((x < A) <= (x * x < 100)) and ((y * y <= 64) <= (y <= A))) == False:

Flag = False

break

if Flag:

ans.append(A)

print(len(ans))


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

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