___ / pi\ \/ 3 sin|3*x - --| <= ----- \ 5 / 2
sin(3*x - pi/5) <= sqrt(3)/2
Dividamos ambos miembros de la ecuación en -1
___ / 3 pi \ \/ 3 sin|- -- + -- + pi*n| <= ----- \ 10 3 / 2
_____ _____ \ / -------•-------•------- x1 x2
/ / / ______________ _______________ \\ / / ______________ _______________ \ \\ | | | / ___ / ___ _____________________________________ || | | / ___ / ___ _____________________________________ | || | | | ___ \/ 10 - 2*\/ 5 \/ 50 - 10*\/ 5 / ___________ || | | ___ \/ 10 - 2*\/ 5 \/ 50 - 10*\/ 5 / ___________ | || | | | 2 + 2*\/ 5 - ----------------- - ------------------ ___ / ___ ___ / ___ || | | 2 + 2*\/ 5 - ----------------- - ------------------ ___ / ___ ___ / ___ | || | | | 2 2 \/ 2 *\/ 13 - \/ 5 - 4*\/ 2 *\/ 5 - \/ 5 || | | 2 2 \/ 2 *\/ 13 - \/ 5 - 4*\/ 2 *\/ 5 - \/ 5 | || | | 2*atan|- -------------------------------------------------------------------- + --------------------------------------------------------------------|| | -2*atan|-------------------------------------------------------------------- + --------------------------------------------------------------------| || | | | ___________ ___________ ___________ ___________|| | | ___________ ___________ ___________ ___________| || | | | ___ ___ ___ / ___ ___ / ___ ___ ___ ___ / ___ ___ / ___ || | | ___ ___ ___ / ___ ___ / ___ ___ ___ ___ / ___ ___ / ___ | || | | \ -5 + \/ 5 - 4*\/ 3 + \/ 6 *\/ 5 - \/ 5 + 2*\/ 2 *\/ 5 - \/ 5 -5 + \/ 5 - 4*\/ 3 + \/ 6 *\/ 5 - \/ 5 + 2*\/ 2 *\/ 5 - \/ 5 /| | 2*pi \-5 + \/ 5 - 4*\/ 3 + \/ 6 *\/ 5 - \/ 5 + 2*\/ 2 *\/ 5 - \/ 5 -5 + \/ 5 - 4*\/ 3 + \/ 6 *\/ 5 - \/ 5 + 2*\/ 2 *\/ 5 - \/ 5 / || Or|And|0 <= x, x <= -----------------------------------------------------------------------------------------------------------------------------------------------------|, And|x <= ----, ---------------------------------------------------------------------------------------------------------------------------------------------------- <= x|| \ \ 3 / \ 3 3 //
((0 <= x)∧(x <= 2*atan(-(2 + 2*sqrt(5) - sqrt(10 - 2*sqrt(5))/2 - sqrt(50 - 10*sqrt(5))/2)/(-5 + sqrt(5) - 4*sqrt(3) + sqrt(6)*sqrt(5 - sqrt(5)) + 2*sqrt(2)*sqrt(5 - sqrt(5))) + sqrt(2)*sqrt(13 - sqrt(5) - 4*sqrt(2)*sqrt(5 - sqrt(5)))/(-5 + sqrt(5) - 4*sqrt(3) + sqrt(6)*sqrt(5 - sqrt(5)) + 2*sqrt(2)*sqrt(5 - sqrt(5))))/3))∨((x <= 2*pi/3)∧(-2*atan((2 + 2*sqrt(5) - sqrt(10 - 2*sqrt(5))/2 - sqrt(50 - 10*sqrt(5))/2)/(-5 + sqrt(5) - 4*sqrt(3) + sqrt(6)*sqrt(5 - sqrt(5)) + 2*sqrt(2)*sqrt(5 - sqrt(5))) + sqrt(2)*sqrt(13 - sqrt(5) - 4*sqrt(2)*sqrt(5 - sqrt(5)))/(-5 + sqrt(5) - 4*sqrt(3) + sqrt(6)*sqrt(5 - sqrt(5)) + 2*sqrt(2)*sqrt(5 - sqrt(5))))/3 <= x))
/ ______________ _______________ \ / ______________ _______________ \ | / ___ / ___ _____________________________________ | | / ___ / ___ _____________________________________ | | ___ \/ 10 - 2*\/ 5 \/ 50 - 10*\/ 5 / ___________ | | ___ \/ 10 - 2*\/ 5 \/ 50 - 10*\/ 5 / ___________ | | 2 + 2*\/ 5 - ----------------- - ------------------ ___ / ___ ___ / ___ | | 2 + 2*\/ 5 - ----------------- - ------------------ ___ / ___ ___ / ___ | | 2 2 \/ 2 *\/ 13 - \/ 5 - 4*\/ 2 *\/ 5 - \/ 5 | | 2 2 \/ 2 *\/ 13 - \/ 5 - 4*\/ 2 *\/ 5 - \/ 5 | 2*atan|- -------------------------------------------------------------------- + --------------------------------------------------------------------| -2*atan|-------------------------------------------------------------------- + --------------------------------------------------------------------| | ___________ ___________ ___________ ___________| | ___________ ___________ ___________ ___________| | ___ ___ ___ / ___ ___ / ___ ___ ___ ___ / ___ ___ / ___ | | ___ ___ ___ / ___ ___ / ___ ___ ___ ___ / ___ ___ / ___ | \ -5 + \/ 5 - 4*\/ 3 + \/ 6 *\/ 5 - \/ 5 + 2*\/ 2 *\/ 5 - \/ 5 -5 + \/ 5 - 4*\/ 3 + \/ 6 *\/ 5 - \/ 5 + 2*\/ 2 *\/ 5 - \/ 5 / \-5 + \/ 5 - 4*\/ 3 + \/ 6 *\/ 5 - \/ 5 + 2*\/ 2 *\/ 5 - \/ 5 -5 + \/ 5 - 4*\/ 3 + \/ 6 *\/ 5 - \/ 5 + 2*\/ 2 *\/ 5 - \/ 5 / 2*pi [0, -----------------------------------------------------------------------------------------------------------------------------------------------------] U [----------------------------------------------------------------------------------------------------------------------------------------------------, ----] 3 3 3
x in Union(Interval(0, 2*atan(sqrt(2)*sqrt(-4*sqrt(2)*sqrt(5 - sqrt(5)) - sqrt(5) + 13)/(-4*sqrt(3) - 5 + sqrt(5) + sqrt(6)*sqrt(5 - sqrt(5)) + 2*sqrt(2)*sqrt(5 - sqrt(5))) - (-sqrt(50 - 10*sqrt(5))/2 - sqrt(10 - 2*sqrt(5))/2 + 2 + 2*sqrt(5))/(-4*sqrt(3) - 5 + sqrt(5) + sqrt(6)*sqrt(5 - sqrt(5)) + 2*sqrt(2)*sqrt(5 - sqrt(5))))/3), Interval(-2*atan((-sqrt(50 - 10*sqrt(5))/2 - sqrt(10 - 2*sqrt(5))/2 + 2 + 2*sqrt(5))/(-4*sqrt(3) - 5 + sqrt(5) + sqrt(6)*sqrt(5 - sqrt(5)) + 2*sqrt(2)*sqrt(5 - sqrt(5))) + sqrt(2)*sqrt(-4*sqrt(2)*sqrt(5 - sqrt(5)) - sqrt(5) + 13)/(-4*sqrt(3) - 5 + sqrt(5) + sqrt(6)*sqrt(5 - sqrt(5)) + 2*sqrt(2)*sqrt(5 - sqrt(5))))/3, 2*pi/3))