For comparison with other CAS choose from: Axiom Derive Maple Mathematica Reduce
xx: matrix([a11, a12], [a21, a22]);
[ a11 a12 ] [ ] [ a21 a22 ]yy: matrix([y1], [y2]);
[ y1 ] [ ] [ y2 ]determinant(xx);
a11 a22 - a12 a21zz: xx
^
^
(-1).yy;
[ a22 y1 a12 y2 ] [ ----------------- - ----------------- ] [ a11 a22 - a12 a21 a11 a22 - a12 a21 ] [ ] [ a11 y2 a21 y1 ] [ ----------------- - ----------------- ] [ a11 a22 - a12 a21 a11 a22 - a12 a21 ]xx
^
^
(-2);
[ 2 ] [ a22 a12 a21 ] [ -------------------- + -------------------- ] [ 2 2 ] Col 1 = [ (a11 a22 - a12 a21) (a11 a22 - a12 a21) ] [ ] [ a21 a22 a11 a21 ] [ - -------------------- - -------------------- ] [ 2 2 ] [ (a11 a22 - a12 a21) (a11 a22 - a12 a21) ] [ a12 a22 a11 a12 ] [ - -------------------- - -------------------- ] [ 2 2 ] [ (a11 a22 - a12 a21) (a11 a22 - a12 a21) ] Col 2 = [ ] [ 2 ] [ a12 a21 a11 ] [ -------------------- + -------------------- ] [ 2 2 ] [ (a11 a22 - a12 a21) (a11 a22 - a12 a21) ]factor(%);
[ 2 ] [ a22 + a12 a21 a12 (a22 + a11) ] [ -------------------- - -------------------- ] [ 2 2 ] [ (a11 a22 - a12 a21) (a11 a22 - a12 a21) ] [ ] [ 2 ] [ a21 (a22 + a11) a12 a21 + a11 ] [ - -------------------- -------------------- ] [ 2 2 ] [ (a11 a22 - a12 a21) (a11 a22 - a12 a21) ]v : matrix([2, -1, 1], [0, 1, 1], [-1, 1, 1]);
[ 2 - 1 1 ] [ ] [ 0 1 1 ] [ ] [ - 1 1 1 ]eigenvectors(v);
[[2, 1, [[0, 1, 1]]], [1, 2, [[1, 1, 0]]]]