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

Для ка­ко­го наи­мень­ше­го це­ло­го не­от­ри­ца­тель­но­го числа А вы­ра­же­ние

(4x + 3y < A) ∨ (xy) ∨ (y13)

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

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

Ре­ше­ние.

Решим за­да­чу гра­фи­че­ски. Усло­вия (xy) и (y13) за­да­ют мно­же­ство, от­ме­чен­ное на ри­сун­ке за­кра­шен­ной об­ла­стью. Чтобы ис­ход­ное вы­ра­же­ние было тож­де­ствен­но ис­тин­но для любых целых и не­от­ри­ца­тель­ных x и y, пря­мая 4x + 3y = A долж­на про­хо­дить через точку (0; 27). Таким об­ра­зом, наи­мень­шее целое не­от­ри­ца­тель­ное А, удо­вле­тво­ря­ю­щее усло­вию за­да­чи,  — это A, рав­ное 81.

 

При­ве­дем ана­ли­ти­че­ское ре­ше­ние.

Если вы­пол­не­но одно из усло­вий (xy) или (y13), то за­дан­ное вы­ра­же­ние тож­де­ствен­но ис­тин­но. Если же оба дан­ных усло­вия не вы­пол­не­ны, то долж­но вы­пол­нять­ся усло­вие (4x + 3y < A).

Если (x < y) и (y < 13), то при целых не­от­ри­ца­тель­ных x и y вы­ра­же­ние 4x + 3y при­ни­ма­ет мак­си­маль­ное зна­че­ние при y  =  12 и х  =  11. Это мак­си­маль­ное зна­че­ние, рав­ное 80, долж­но быть мень­ше A. Сле­до­ва­тель­но, A  =  81.

 

Ответ: 81.

 

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

for A in range(300):

k = 0

for x in range(300):

for y in range(300):

if (4 * x + 3 * y < A) or (x >= y) or (y >= 13):

k += 1

if k == 90_000:

print(A)

break


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

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