ceda6
"disequazioni"
x^2-x-1>0
SOLVE(x^2-x-1>0,x)
;Semplificazione(#20)
[x>SQRT(5)/2+1/2,x<1/2-SQRT(5)/2]
APPROX([x>SQRT(5)/2+1/2,x<1/2-SQRT(5)/2],2)
;Semplificazione(#22)
[x>1.6,x<-0.61]
"altra
disequazione"
F(x):=2*x^2-a^2
F(x)<0
SOLVE(F(x)<0,x)
;Semplificazione(#27)
[ABS(x)<SQRT(2)*ABS(a)/2]
APPROX([ABS(x)<SQRT(2)*ABS(a)/2],2)
;Semplificazione(#29)
[ABS(x)<0.70*ABS(a)]
"altra
disequazione"
F(x):=(x+1)/(x-1)
F(x)>0
SOLVE(F(x)>0,x)
;Semplificazione(#34)
[x>1,x<-1]
"altra
disequazione"
F(x):=(x+a)/2-(x-a)/4
F(x)>-a/2
SOLVE(F(x)>-a/2,x)
;Semplificazione(#39)
[x>-5*a]
"indeterminata"
F(x):=2*x^2-3*x+3
F(x)>0
SOLVE(F(x)>0,x)
;Semplificazione(#44)
[x=@1]
"impossibile"
F(x):=-x^2+x-5
F(x)>0
SOLVE(F(x)>0,x)
;Semplificazione(#49)
[]
"disequazioni primo grado" 2*x+1>x-4 SOLVE(2*x+1>x-4,x) ;Semplificazione(#20) [x>-5] "CREA-scrivere SOLVE(espressione,variabile)" SOLVE(2*x+1>x-4,x) ;Semplificazione(#23) [x>-5] SOLVE(0*x>3,x) ;Semplificazione(#25) [] SOLVE(0*x+6>3,x) ;Semplificazione(#27) [x=@1] SOLVE(0*x>3,x) ;Risoluzione(#29,x) [NIL=0] SOLVE(0*x+6>3,x) ;Risoluzione(#31,x) [x=@2] 3*a*x-a<=a*x+6 SOLVE(3*a*x-a<=a*x+6,x) ;Semplificazione(#34) [x*SIGN(a)<=(a+6)/(2*ABS(a))]