При любом значении x из отрезка [−1;a2] значение функции y=t(x) равно
y=t(−1)=t(a2)=−4.
На (−∞;−1)∪(a2;+∞) функция y=t(x) — неограниченно возрастает (см. рис.) и принимает любое значение, кроме y=−4, причем каждое ровно один раз.
Поскольку исходное уравнение должно иметь ровно два различных корня, квадратное уравнение
t2+(a+2)t+1=0
должно иметь два решения, каждое из которых отлично от −4. Тогда: