How to solve the inequality
,
assuming a::real ?
Of course, with Maple. I'd like to demonstrate the difficulties, solving
>solve(log[2*abs(x-a)](abs(x+a)+abs(x-a)) < 1, x) assuming a > 0, a < 1/2
.
The correct answer under the above restrictions is
{x > 0, x < a} union {a < x, x < a + 1/2} union { -infinity < x, x < a - 1/2}.
This is a problem from Lviv math school olympiad '2016.