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

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

((x < A) → (x2 < 81)) ∧ ((y2 ≤ 36) → (yA))

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

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

Ре­ше­ние.

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

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

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

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

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

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

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

 

Ответ: 4.

 

При­ведём дру­гое ре­ше­ние на языке 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 < 81)) and ((y**2 <= 36) <= (y <= a)):

k += 1

if k == 90_000:

count += 1

print(count)

 

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

count = 0

for a in range(300):

flag = True

for x in range(300):

for y in range(300):

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

flag = False

break

if not flag:

break

if flag:

count += 1

print(count)


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

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