15.03 Неравенства

Решение руками

Заметим, что логическое следование ложно только в случае . Значит, нужно понять, при каких x впервые наступит такое условие (и взять x меньше, но максимальный).

Такое условие получается при x = 8: .

Возьмем x = 7: . Получили следование из 0 в 0, что дает истину. Значит, наибольший x = 7.

Идея решения:

Идея заключается в переборе целых значений и проверке, для какого наибольшего выполняется импликация

Импликация ложна только когда истинно, а ложно. Для всех остальных случаев она истинна. Следовательно, для каждого проверяем, что либо , либо . Нужно найти наибольшее целое , для которого условие истинно.

Для реализации создаём цикл по от до . Для каждого проверяем выполнение импликации и выводим , если условие истинно. Поскольку перебор идёт по возрастанию, наибольшее будет последним выведенным значением.

Решение программой:

for x in range(1000):  # перебираем X от 0 до 999
    if (50 < x * x) <= (50 > (x + 1) * (x + 1)):  # проверяем условие, если оно выполняется, выводим X
        print(x)  # выводим X, для которого условие истинно