Para cada expresión dentro del módulo en la ecuación admitimos los casos cuando la expresión correspondiente es ">= 0" o "< 0", resolvemos las ecuaciones obtenidas.
1. x−3≥0 x2−1≥0 o 3≤x∧x<∞ obtenemos la ecuación −(x−3)+(x2−1)−7=0 simplificamos, obtenemos x2−x−5=0 la resolución en este intervalo: x1=21−221 pero x1 no satisface a la desigualdad x2=21+221 pero x2 no satisface a la desigualdad
2. x−3≥0 x2−1<0 Las desigualdades no se cumplen, hacemos caso omiso
3. x−3<0 x2−1≥0 o (1≤x∧x<3)∨(x≤−1∧−∞<x) obtenemos la ecuación −(3−x)+(x2−1)−7=0 simplificamos, obtenemos x2+x−11=0 la resolución en este intervalo: x3=−21+235 x4=−235−21
4. x−3<0 x2−1<0 o −1<x∧x<1 obtenemos la ecuación (1−x2)−(3−x)−7=0 simplificamos, obtenemos −x2+x−9=0 la resolución en este intervalo: x5=21−235i pero x5 no satisface a la desigualdad x6=21+235i pero x6 no satisface a la desigualdad
Entonces la respuesta definitiva es: x1=−21+235 x2=−235−21