Решение 

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

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

 

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

 

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

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

Image 

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

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

и    

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

 

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

 

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

`and`(`<`(`+`(`-`(`*`(`+`(`*`(3, `*`(sqrt(2)))), `/`(1, 2)))), a), `<`(a, -`/`(15, 13))) и  `and`(`<`(0, a), `<`(a, `*`(`+`(`*`(3, `*`(sqrt(2)))), `/`(1, 2)))) 

Click 

> @8AC=>: