Все верно. Только я бы чуть подправил:
Данная функция неотрицательна
при условии t э (-00;a+1-5^(1/2)]U[a+1+5^(1/2);+00).
Учитывая (*), получаем, что либо a>=5^(1/2), либо a<=-2-5^(1/2).