Решение 

Разложим квадратный трёхчлен в левой части неравенства на множители: 

`+`(`*`(`^`(x, 2)), `*`(`+`(`*`(5, `*`(a)), 6), `*`(x)), `*`(4, `*`(`^`(a, 2))), `*`(6, `*`(a))) = 0 

`and`(D = `+`(`*`(`^`(`+`(`*`(5, `*`(a)), 6), 2)), `-`(`*`(4, `+`(`*`(4, `*`(`^`(a, 2))), `*`(6, `*`(a)))))), `and`(`+`(`*`(`^`(`+`(`*`(5, `*`(a)), 6), 2)), `-`(`*`(4, `+`(`*`(4, `*`(`^`(a, 2))), `*`(... 

x = `+`(`*`(`/`(1, 2), `*`(`+`(`+`(`-`(`*`(5, `*`(a))), `-`(6)), `&+-`(`*`(3, `+`(a, 2))))))) 

 

iff(`<`(`+`(`*`(`^`(x, 2)), `*`(`+`(`*`(5, `*`(a)), 6), `*`(x)), `*`(4, `*`(`^`(a, 2))), `*`(6, `*`(a))), 0), `<`(`*`(`+`(x, a), `*`(`+`(x, `*`(4, `*`(a)), 6))), 0)) 

Это неравенство задаёт пару вертикальных углов в плоскости aOx: 

Image
Решение системы - точки дуг окружности, лежащие в вертикальных углах. 

Абсциссы концов этих дуг находим из систем 

и    

Координаты точек пересечения окружности с прямой `+`(x, `*`(4, `*`(a)), 6) = 0: 

 

Координаты точек пересечения окружности с прямой `+`(x, a) = 0: 

 

Точки окружности лежат в заштрихованной области при 

`and`(`<`(`+`(`-`(`*`(3, `*`(sqrt(2))))), a), `<`(a, -`/`(48, 17))) и  `and`(`<`(0, a), `<`(a, `+`(`*`(3, `*`(sqrt(2)))))) 

Curve Analysis 

> @8AC=>: