Задания
Версия для печати и копирования в MS Word

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

(y + 2x ≠ 48) ∨ (A < x) ∨ (A < y)

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

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

Ре­ше­ние.

Решим за­да­чу гра­фи­че­ски. Усло­вие (y + 2x ≠ 48) задаёт мно­же­ство, от­ме­чен­ное на ри­сун­ке за­кра­шен­ной об­ла­стью. Чтобы ис­ход­ное вы­ра­же­ние было тож­де­ствен­но ис­тин­но для любых целых и не­от­ри­ца­тель­ных x и y, пря­мые x  =  A и y  =  A долж­ны об­ра­зо­вы­вать пря­мой угол на пря­мой y  =  x, вер­ши­на ко­то­ро­го лежит ниже пря­мой y=48 минус 2x. Сле­до­ва­тель­но, они долж­ны об­ра­зо­вы­вать пря­мой угол, пе­ре­се­ка­ясь в точке (15, 15). Таким об­ра­зом, наи­боль­шее зна­че­ние A рав­ня­ет­ся 15.

 

Ответ: 15.

 

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

for a in range(300, 0, -1):

k = 0

for x in range(0, 300):

for y in range(0, 300):

if (y + 2*x != 48) or (a < x) or (a < y):

k += 1

if k == 90_000:

print(a)

break


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