Hi, mein CAS sagt dieses:
Eingabe: solve( 2*cos(x) - sqrt(2) = 0,x)
Ausgabe: { 1/4*PI + 2*X3*PI | X3 in Z_ } union { 2*X4*PI - 1/4*PI | X4 in Z_ }
Also genau das, was man auch ohne CAS heraus bekommt.
Eingeschränkt auf [-pi; 2pi] ergibt dies { (-1/4)*PI, (1/4)*PI, (7/8)*PI }.
Eingeschränkt auf [-pi; 2pi] ergibt dies { (-1/4)*PI, (1/4)*PI, (7/4)*PI }.