# Section 9.8# Example 1 interface(imaginaryunit=i);NiNeIyIiIg==with(linalg):with(Student[LinearAlgebra]):I := Id(3);NiM+JSJJRy0lJ1JUQUJMRUc2JSIqVzgjcDgtJSdNQVRSSVhHNiM3JTclIiIiIiIhRi83JUYvRi5GLzclRi9GL0YuJSdNYXRyaXhHA := matrix([[2,1,1],[1,2,1],[-2,-2,-1]]);NiM+JSJBR0slJ21hdHJpeEc2IzclNyUiIiMiIiJGKzclRitGKkYrNyUhIiNGLiEiIlEpcHByaW50MTY2Ig==evalm(A-r*I);NiNLJSdtYXRyaXhHNiM3JTclLCYiIiMiIiIlInJHISIiRipGKjclRipGKEYqNyUhIiNGLywmRipGLEYrRixRKXBwcmludDE3NiI=det(%);NiMsKiomIiIkIiIiJSJyR0YmISIiKiZGJUYmKUYnIiIjRiZGJiokKUYnRiVGJkYoRiZGJg==factor(%);NiMsJCokKSwmIiIiISIiJSJyR0YnIiIkRidGKA==evalm(A-I);NiNLJSdtYXRyaXhHNiM3JTclIiIiRihGKEYnNyUhIiNGKkYqUSlwcHJpbnQ2MjYievalm((A-I)^2);NiNLJSdtYXRyaXhHNiM3JTclIiIhRihGKEYnRidRKXBwcmludDYzNiI=evalm(exp(t)*(I + (A-I)*t));NiNLJSdtYXRyaXhHNiM3JTclKiYtJSRleHBHNiMlInRHIiIiLCZGLUYtRixGLUYtKiZGKUYtRixGLUYvNyVGL0YoRi83JSwkKigiIiNGLUYpRi1GLEYtISIiRjIqJkYpRi0sJkYtRi0qJkY0Ri1GLEYtRjVGLVEpcHByaW50NjQ2Ig==# Example 2A := matrix([[1,0,0],[1,3,0],[0,1,1]]);NiM+JSJBR0slJ21hdHJpeEc2IzclNyUiIiIiIiFGKzclRioiIiRGKzclRitGKkYqUSlwcHJpbnQ2OTYievalm(A-r*I);NiNLJSdtYXRyaXhHNiM3JTclLCYiIiJGKSUickchIiIiIiFGLDclRiksJiIiJEYpRipGK0YsNyVGLEYpRihRKXBwcmludDcwNiI=det(%);NiMqJiksJiIiIkYmJSJyRyEiIiIiI0YmLCYiIiRGJkYnRihGJg==r1 := 1;NiM+JSNyMUciIiI=u := vector(3);NiM+JSJ1Ry0lJmFycmF5RzYkOyIiIiIiJDci(A-r1*I)&*u;NiMtJSMmKkc2JCwmJSJBRyIiIiUiSUchIiIlInVHeq := evalm(%);NiM+JSNlcUdLJSd2ZWN0b3JHNiM3JSIiISwmJiUidUc2IyIiIkYuKiYiIiNGLiZGLDYjRjBGLkYuRjFRKXBwcmludDcxNiI=eq1 := eq[1] = 0; eq2 := eq[2] = 0;eq3 := eq[3] = 0;NiM+JSRlcTFHLyIiIUYmNiM+JSRlcTJHLywmJiUidUc2IyIiIkYqKiYiIiNGKiZGKDYjRixGKkYqIiIhNiM+JSRlcTNHLyYlInVHNiMiIiMiIiE=#By inspection, we obtain the solutionu[1] := 0; u[2] := 0; u[3] := s;NiM+JiUidUc2IyIiIiIiIQ==NiM+JiUidUc2IyIiIyIiIQ==NiM+JiUidUc2IyIiJCUic0c=evalm(u);NiNLJSd2ZWN0b3JHNiM3JSIiIUYnJSJzR1EpcHByaW50NzI2Ig==u1 := subs(s=1,evalm(u));NiM+JSN1MUdLJSd2ZWN0b3JHNiM3JSIiIUYpIiIiUSlwcHJpbnQ3MzYix1 := evalm(exp(r1*t)*u1);NiM+JSN4MUdLJSd2ZWN0b3JHNiM3JSIiIUYpLSUkZXhwRzYjJSJ0R1EqcHByaW50MTA1NiI=u := vector(3);NiM+JSJ1Ry0lJmFycmF5RzYkOyIiIiIiJDci(A-r1*I)^2&*u;NiMtJSMmKkc2JCokKSwmJSJBRyIiIiUiSUchIiIiIiNGKiUidUc=eq := evalm(%);NiM+JSNlcUdLJSd2ZWN0b3JHNiM3JSIiISwmKiYiIiMiIiImJSJ1RzYjRi1GLUYtKiYiIiVGLSZGLzYjRixGLUYtLCZGLkYtKiZGLEYtRjNGLUYtUSlwcHJpbnQ3NTYieq1 := eq[1] = 0; eq2 := eq[2] = 0;eq3 := eq[3] = 0;NiM+JSRlcTFHLyIiIUYmNiM+JSRlcTJHLywmKiYiIiMiIiImJSJ1RzYjRilGKUYpKiYiIiVGKSZGKzYjRihGKUYpIiIhNiM+JSRlcTNHLywmJiUidUc2IyIiIkYqKiYiIiNGKiZGKDYjRixGKkYqIiIhu[2] := s;NiM+JiUidUc2IyIiIyUic0c=u[1] := solve(eq3,u[1]);NiM+JiUidUc2IyIiIiwkKiYiIiNGJyUic0dGJyEiIg==u[3] := v;NiM+JiUidUc2IyIiJCUidkc=evalm(u);NiNLJSd2ZWN0b3JHNiM3JSwkKiYiIiMiIiIlInNHRiohIiJGKyUidkdRKXBwcmludDc2NiI=u2 := evalm(subs({s=1,v=0},evalm(u)));NiM+JSN1MkdLJSd2ZWN0b3JHNiM3JSEiIyIiIiIiIVEpcHByaW50OTA2Ig== A-r1*I;NiMsJiUiQUciIiIlIklHISIievalm(%);NiNLJSdtYXRyaXhHNiM3JTclIiIhRihGKDclIiIiIiIjRig3JUYoRipGKFEpcHByaW50OTU2Ig==evalm(% &* u2);NiNLJSd2ZWN0b3JHNiM3JSIiIUYnIiIiUSlwcHJpbnQ5NjYievalm(u2 + %*t);NiNLJSd2ZWN0b3JHNiM3JSEiIyIiIiUidEdRKXBwcmludDk3NiI=x2 := evalm(exp(r1*t)*%);NiM+JSN4MkdLJSd2ZWN0b3JHNiM3JSwkKiYiIiMiIiItJSRleHBHNiMlInRHRiwhIiJGLSomRi1GLEYwRixRKXBwcmludDk4NiI=u := vector(3);NiM+JSJ1Ry0lJmFycmF5RzYkOyIiIiIiJDcir3 := 3;NiM+JSNyM0ciIiQ=(A - r3*I)&*u;NiMtJSMmKkc2JCwmJSJBRyIiIiomIiIkRiglIklHRighIiIlInVHeq := evalm(%);NiM+JSNlcUdLJSd2ZWN0b3JHNiM3JSwkKiYiIiMiIiImJSJ1RzYjRixGLCEiIkYtLCYmRi42I0YrRiwqJkYrRiwmRi42IyIiJEYsRjBRKXBwcmludDk5NiI=eq1 := eq[1] = 0; eq2 := eq[2] = 0;eq3 := eq[3] = 0;NiM+JSRlcTFHLywkKiYiIiMiIiImJSJ1RzYjRilGKSEiIiIiIQ==NiM+JSRlcTJHLyYlInVHNiMiIiIiIiE=NiM+JSRlcTNHLywmJiUidUc2IyIiIyIiIiomRipGKyZGKDYjIiIkRishIiIiIiE=# We readily obtain the solutionu[1] := 0;NiM+JiUidUc2IyIiIiIiIQ==u[2] := 2*s;NiM+JiUidUc2IyIiIywkKiZGJyIiIiUic0dGKkYqu[3] := s;NiM+JiUidUc2IyIiJCUic0c=evalm(u);NiNLJSd2ZWN0b3JHNiM3JSIiISwkKiYiIiMiIiIlInNHRitGK0YsUSpwcHJpbnQxMDA2Ig==u3 := subs(s=1,%);NiM+JSN1M0dLJSd2ZWN0b3JHNiM3JSIiISIiIyIiIlEqcHByaW50MTAxNiI=x3 := evalm(exp(r3*t)*u3);NiM+JSN4M0dLJSd2ZWN0b3JHNiM3JSIiISwkKiYiIiMiIiItJSRleHBHNiMsJComIiIkRi0lInRHRi1GLUYtRi1GLlEqcHByaW50MTAzNiI=?augmentX := augment(x1,x2,x3);NiM+JSJYR0slJ21hdHJpeEc2IzclNyUiIiEsJComIiIjIiIiLSUkZXhwRzYjJSJ0R0YuISIiRio3JUYqRi8sJComRi1GLi1GMDYjLCQqJiIiJEYuRjJGLkYuRi5GLjclRi8qJkYvRi5GMkYuRjdRKnBwcmludDEwNjYisubs(t=0,evalm(X));NiNLJSdtYXRyaXhHNiM3JTclIiIhLCQqJiIiIyIiIi0lJGV4cEc2I0YoRiwhIiJGKDclRihGLSwkKiZGK0YsRi1GLEYsNyVGLUYoRi1RKnBwcmludDExMDYiX0 := simplify(%);NiM+JSNYMEdLJSdtYXRyaXhHNiM3JTclIiIhISIjRio3JUYqIiIiIiIjNyVGLUYqRi1RKnBwcmludDExMTYiX0inv := inverse(X0);NiM+JSZYMGludkdLJSdtYXRyaXhHNiM3JTclIyEiIiIiJSNGKyIiIyIiIjclRi0iIiFGMTclI0YvRiwjRi9GLkYxUSpwcHJpbnQxMTI2Ig==evalm(X)&*evalm(X0inv);NiMtJSMmKkc2JEslJ21hdHJpeEc2IzclNyUiIiEsJComIiIjIiIiLSUkZXhwRzYjJSJ0R0YvISIiRis3JUYrRjAsJComRi5GLy1GMTYjLCQqJiIiJEYvRjNGL0YvRi9GLzclRjAqJkYwRi9GM0YvRjhRKnBwcmludDExMzYiS0YnNiM3JTclI0Y0IiIlI0Y0Ri5GLzclRkdGK0YrNyUjRi9GRiNGL0YuRitRKnBwcmludDExNEZAevalm(%);NiNLJSdtYXRyaXhHNiM3JTclLSUkZXhwRzYjJSJ0RyIiIUYsNyUsJiomIyIiIiIiI0YxRihGMSEiIiomI0YxRjJGMS1GKTYjLCQqJiIiJEYxRitGMUYxRjFGMUY2Riw3JSwoKiYjRjEiIiVGMUYoRjFGMyomI0YxRjJGMSomRihGMUYrRjFGMUYzKiYjRjFGP0YxRjZGMUYxRi5GKFEqcHByaW50MTE1NiI=TTdSMApJNlJUQUJMRV9TQVZFLzEzNjkyMTM0NFgsJSlhbnl0aGluZ0c2IjYiW2dsISIlISEhIyoiJCIkIiIiIiIhRihGKEYnRihGKEYoRic2Ig==