1.Show that trace of AB=trace of BA

> A:=Matrix([[a,b],[c,d]]);

A := _rtable[29858308]

> B:=Matrix([[p,q],[r,s]]);

B := _rtable[13076932]

> A.B;

_rtable[29864556]

> trace(A.B); a*p+b*r+c*q+d*s

> B.A;

_rtable[29866684]

> trace(B.A); a*p+b*r+c*q+d*s

¬Gtrace(A.B)=trace(B.A)

2.Show that (AB-BA)(AB-BA) is scalar

> (A.B-B.A)^2; _rtable[16240612]
_rtable[16240612]
_rtable[16240612]
_rtable[16240612]

> expand(((b*r-c*q)^2+(a*q+b*s-p*b-q*d)*(c*p+d*r-r*a-s*c))-((a*q+b*s-p*b-q*d)*(c*p+d*r-r*a-s*c)+(c*q-b*r)^2));

0

> expand((b*r-c*q)*(a*q+b*s-p*b-q*d)+(a*q+b*s-p*b-q*d)*(c*q-b*r));

0

> expand((c*p+d*r-r*a-s*c)*(b*r-c*q)+(c*q-b*r)*(c*p+d*r-r*a-s*c));

0

¬G(AB-BA)^2¬Oscalar matrix

3.Find all matrices commuting with

C := _rtable[29868916]

> A.C-C.A;

_rtable[31090172]

¬Gb=0,c=0

>

Ans := _rtable[31092196]

4.Show that A^(-1)BA can never be diagonal

>

> A^(-1).B.A;

_rtable[7926412]
_rtable[7926412]
_rtable[7926412]

> expand((d*p/(a*d-b*c)-b*r/(a*d-b*c))*b+(d*q/(a*d-b*c)-b*s/(a*d-b*c))*d);

b*d*p/(a*d-b*c)-b^2*r/(a*d-b*c)+d^2*q/(a*d-b*c)-d*b...

> expand((-c*p/(a*d-b*c)+a*r/(a*d-b*c))*a+(-c*q/(a*d-b*c)+a*s/(a*d-b*c))*c);

-a*c*p/(a*d-b*c)+a^2*r/(a*d-b*c)-c^2*q/(a*d-b*c)+c*...

5.Show that there is no real invertible matrix S with

> F:=Matrix([[1,0],[1,1]]);

F := _rtable[11670420]

> S:=Matrix([[0,a],[b,c]]);

S := _rtable[13084260]

> S^(-1).F.S;

_rtable[11997236]

>

6. 3x+1 Problem

> f:=x->if x mod 2=0 then x/2 else 3*x+1 fi;

100
50
25
76
38
19
58
29
88
44
22
11
34
17
52
26
13
40
20
10
5
16
8
4
2
1
4
2
1
4

7.The number pattern to the derivatives of tan(x)

tan(x) u
1+tan(x)^2 1+u^2
2*tan(x)+2*tan(x)^3 2*u+2*u^3
2+8*tan(x)^2+6*tan(x)^4 2+8*u^2+6*u^4
16*tan(x)+40*tan(x)^3+24*tan(x)^5 16*u+40*u^3+24*u^5
16+136*tan(x)^2+240*tan(x)^4+120*tan(x)^6
16+136*tan(x)^2+240*tan(x)^4+120*tan(x)^6
16+136*u^2+240*u^4+120*u^6
272*tan(x)+1232*tan(x)^3+1680*tan(x)^5+720*tan(x)^7...
272*tan(x)+1232*tan(x)^3+1680*tan(x)^5+720*tan(x)^7...
272*u+1232*u^3+1680*u^5+720*u^7
272+3968*tan(x)^2+12096*tan(x)^4+13440*tan(x)^6+504...
272+3968*tan(x)^2+12096*tan(x)^4+13440*tan(x)^6+504...
272+3968*u^2+12096*u^4+13440*u^6+5040*u^8
272+3968*u^2+12096*u^4+13440*u^6+5040*u^8
7936*tan(x)+56320*tan(x)^3+129024*tan(x)^5+120960*t...
7936*tan(x)+56320*tan(x)^3+129024*tan(x)^5+120960*t...
7936*tan(x)+56320*tan(x)^3+129024*tan(x)^5+120960*t...
7936*u+56320*u^3+129024*u^5+120960*u^7+40320*u^9
7936*u+56320*u^3+129024*u^5+120960*u^7+40320*u^9
7936+176896*tan(x)^2+814080*tan(x)^4+1491840*tan(x)...
7936+176896*tan(x)^2+814080*tan(x)^4+1491840*tan(x)...
7936+176896*tan(x)^2+814080*tan(x)^4+1491840*tan(x)...
7936+176896*u^2+814080*u^4+1491840*u^6+1209600*u^8+...
7936+176896*u^2+814080*u^4+1491840*u^6+1209600*u^8+...
353792*tan(x)+3610112*tan(x)^3+12207360*tan(x)^5+18...
353792*tan(x)+3610112*tan(x)^3+12207360*tan(x)^5+18...
353792*tan(x)+3610112*tan(x)^3+12207360*tan(x)^5+18...
353792*u+3610112*u^3+12207360*u^5+18627840*u^7+1330...
353792*u+3610112*u^3+12207360*u^5+18627840*u^7+1330...
353792*u+3610112*u^3+12207360*u^5+18627840*u^7+1330...

8.The number pattern to the derivatives of cot(x)

cot(x) u
-1-cot(x)^2 -1-u^2
2*cot(x)+2*cot(x)^3 2*u+2*u^3
-2-8*cot(x)^2-6*cot(x)^4 -2-8*u^2-6*u^4
16*cot(x)+40*cot(x)^3+24*cot(x)^5 16*u+40*u^3+24*u^5
-16-136*cot(x)^2-240*cot(x)^4-120*cot(x)^6
-16-136*cot(x)^2-240*cot(x)^4-120*cot(x)^6
-16-136*u^2-240*u^4-120*u^6
272*cot(x)+1232*cot(x)^3+1680*cot(x)^5+720*cot(x)^7...
272*cot(x)+1232*cot(x)^3+1680*cot(x)^5+720*cot(x)^7...
272*u+1232*u^3+1680*u^5+720*u^7
-272-3968*cot(x)^2-12096*cot(x)^4-13440*cot(x)^6-50...
-272-3968*cot(x)^2-12096*cot(x)^4-13440*cot(x)^6-50...
-272-3968*u^2-12096*u^4-13440*u^6-5040*u^8
-272-3968*u^2-12096*u^4-13440*u^6-5040*u^8
7936*cot(x)+56320*cot(x)^3+129024*cot(x)^5+120960*c...
7936*cot(x)+56320*cot(x)^3+129024*cot(x)^5+120960*c...
7936*cot(x)+56320*cot(x)^3+129024*cot(x)^5+120960*c...
7936*u+56320*u^3+129024*u^5+120960*u^7+40320*u^9
7936*u+56320*u^3+129024*u^5+120960*u^7+40320*u^9
-7936-176896*cot(x)^2-814080*cot(x)^4-1491840*cot(x...
-7936-176896*cot(x)^2-814080*cot(x)^4-1491840*cot(x...
-7936-176896*cot(x)^2-814080*cot(x)^4-1491840*cot(x...
-7936-176896*u^2-814080*u^4-1491840*u^6-1209600*u^8...
-7936-176896*u^2-814080*u^4-1491840*u^6-1209600*u^8...
353792*cot(x)+3610112*cot(x)^3+12207360*cot(x)^5+18...
353792*cot(x)+3610112*cot(x)^3+12207360*cot(x)^5+18...
353792*cot(x)+3610112*cot(x)^3+12207360*cot(x)^5+18...
353792*u+3610112*u^3+12207360*u^5+18627840*u^7+1330...
353792*u+3610112*u^3+12207360*u^5+18627840*u^7+1330...
353792*u+3610112*u^3+12207360*u^5+18627840*u^7+1330...
-353792-11184128*cot(x)^2-71867136*cot(x)^4-1914316...
-353792-11184128*cot(x)^2-71867136*cot(x)^4-1914316...
-353792-11184128*cot(x)^2-71867136*cot(x)^4-1914316...
-353792-11184128*cot(x)^2-71867136*cot(x)^4-1914316...
-353792-11184128*cot(x)^2-71867136*cot(x)^4-1914316...
-353792-11184128*u^2-71867136*u^4-191431680*u^6-250...
-353792-11184128*u^2-71867136*u^4-191431680*u^6-250...
-353792-11184128*u^2-71867136*u^4-191431680*u^6-250...

>

9. Express tan(nx)

> expand(tan(x+y));

(tan(y)+tan(x))/(1-tan(y)*tan(x))

> for n from 1 to 6 do expand(tan(n*x)) od;

tan(x)

2*tan(x)/(1-tan(x)^2)

(3*tan(x)-tan(x)^3)/(1-3*tan(x)^2)

(4*tan(x)-4*tan(x)^3)/(1-6*tan(x)^2+tan(x)^4)

(5*tan(x)-10*tan(x)^3+tan(x)^5)/(1-10*tan(x)^2+5*ta...

(6*tan(x)-20*tan(x)^3+6*tan(x)^5)/(1-15*tan(x)^2+15...

>

u 1 1 tan(x)
2*u 1-u^2 2 2*tan(x)/(1-tan(x)^2)
3*u-u^3 1-3*u^2 3 (3*tan(x)-tan(x)^3)/(1-3*tan(x)^2)
4*u-4*u^3 1-6*u^2+u^4 4 (4*tan(x)-4*tan(x)^3)/(1-6*tan(x)^2+tan(x)^4)
5*u-10*u^3+u^5 1-10*u^2+5*u^4 5 (5*tan(x)-10*tan(x)^3+tan(x)^5)/(1-10*tan(x)^2+5*ta...
6*u-20*u^3+6*u^5 1-15*u^2+15*u^4-u^6 6 (6*tan(x)-20*tan(x)^3+6*tan(x)^5)/(1-15*tan(x)^2+15...

10. Study the number pattern associated with the indefinite integral of the function x^n.e^ x

> for n to 6 do factor(int(x^n*exp(x),x)) od;

exp(x)*(x-1)

exp(x)*(x^2-2*x+2)

exp(x)*(x^3-3*x^2+6*x-6)

exp(x)*(x^4-4*x^3+12*x^2-24*x+24)

exp(x)*(x^5-5*x^4+20*x^3-60*x^2+120*x-120)

exp(x)*(x^6-6*x^5+30*x^4-120*x^3+360*x^2-720*x+720)...

>

1 e^x*(x-1)
2 e^x*(x^2-2*x+2)
3 e^x*(x^3-3*x^2+6*x-6)
4 e^x*(x^4-4*x^3+12*x^2-24*x+24)
5 e^x*(x^5-5*x^4+20*x^3-60*x^2+120*x-120)
e^x*(x^5-5*x^4+20*x^3-60*x^2+120*x-120)
6 e^x*(x^6-6*x^5+30*x^4-120*x^3+360*x^2-720*x+720)
e^x*(x^6-6*x^5+30*x^4-120*x^3+360*x^2-720*x+720)

11. Chebyshev polynomials Tn(x)

> for n to 6 do expand(cos(n*x)) od ;

cos(x)

2*cos(x)^2-1

4*cos(x)^3-3*cos(x)

8*cos(x)^4-8*cos(x)^2+1

16*cos(x)^5-20*cos(x)^3+5*cos(x)

32*cos(x)^6-48*cos(x)^4+18*cos(x)^2-1

0 1 1
1 cos(x) u
2 2*cos(x)^2-1 2*u^2-1
3 4*cos(x)^3-3*cos(x) 4*u^3-3*u
4 8*cos(x)^4-8*cos(x)^2+1 8*u^4-8*u^2+1
5 16*cos(x)^5-20*cos(x)^3+5*cos(x) 16*u^5-20*u^3+5*u
6 32*cos(x)^6-48*cos(x)^4+18*cos(x)^2-1 32*u^6-48*u^4+18*u^2-1

12. Find an exponent n such that some coefficients appearing in the factorization of (x^n)-1 are different from 0,(-1),1

> factor(x^2001-1);

(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...
(x-1)*(1+x+x^5+x^2+x^4+x^3+x^6+x^28+x^27+x^26+x^25+...

13. factor((((x^2-a)^2-a)^2-a)^2-a-x)

> factor((((x^2-a)^2-a)^2-a)^2-a-x);

(-a-x+x^2)*(-a+1+x+x^2)*(1+4*x^3*a^2-x^2*a+a^2*x+3*...
(-a-x+x^2)*(-a+1+x+x^2)*(1+4*x^3*a^2-x^2*a+a^2*x+3*...
(-a-x+x^2)*(-a+1+x+x^2)*(1+4*x^3*a^2-x^2*a+a^2*x+3*...