Автор: К.Ю. Поляков
Известно, что для некоторого отрезка
А формула
( (x ∈ A) → (x2 + 10x ≤ 144) ) ∧ ( (x2 + 6x ≤ 112) → (x ∈ A) )
тождественно истинна (то есть принимает значение 1 при всех вещественных значениях переменной x). Какую наибольшую длину может иметь отрезок A?
