{VERSION 3 0 "IBM INTEL NT" "3.0" }
{USTYLETAB {CSTYLE "Maple Input" -1 0 "Courier" 0 1 255 0 0 1 0 1 0 0 
1 0 0 0 0 }{CSTYLE "" -1 256 "\261\274\270\262" 1 14 0 0 0 0 0 0 0 0 
0 0 0 0 0 }{PSTYLE "Normal" -1 0 1 {CSTYLE "" -1 -1 "" 0 1 0 0 0 0 0 
0 0 0 0 0 0 0 0 }0 0 0 -1 -1 -1 0 0 0 0 0 0 -1 0 }{PSTYLE "Heading 1" 
0 3 1 {CSTYLE "" -1 -1 "" 1 18 0 0 0 0 0 1 0 0 0 0 0 0 0 }1 0 0 0 8 4 
0 0 0 0 0 0 -1 0 }{PSTYLE "Title" 0 18 1 {CSTYLE "" -1 -1 "" 1 18 0 0 
0 0 0 1 1 0 0 0 0 0 0 }3 0 0 -1 12 12 0 0 0 0 0 0 19 0 }{PSTYLE "Autho
r" 0 19 1 {CSTYLE "" -1 -1 "" 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 }3 0 0 -1 
8 8 0 0 0 0 0 0 -1 0 }}
{SECT 0 {PARA 18 "" 0 "" {TEXT -1 31 "\274\274\260\263\300\307 \301
\367\261\263\307\317\264\302 \260\305\277\357\277\241\274\255\300\307 \+
\271\335\273\347" }}{PARA 19 "" 0 "" {TEXT -1 8 "\261\350 \277\353 \+
\261\270" }}{SECT 1 {PARA 3 "" 0 "" {TEXT -1 7 "Vectors" }}{PARA 0 "" 
0 "" {TEXT -1 111 "\276\306\267\241\277\241\274\255\264\302 \301\326
\276\356\301\370 \265\316 \272\244\305\315 A, B\267\316\272\316\305
\315 A\277\241\274\255 B\267\316 \307\342\307\317\264\302 \272\244\305
\315\260\241 \274\274\260\263\300\307 \301\367\261\263\307\317\264\302
 \260\305\277\357\277\241\274\255 \271\335\273\347\265\307\264\302 \+
\260\372\301\244\300\273 \261\270\307\317\277\264\264\331." }}{EXCHG 
{PARA 0 "> " 0 "" {MPLTEXT 1 0 8 "restart;" }}}{EXCHG {PARA 0 "> " 0 "
" {MPLTEXT 1 0 23 "A:=[4,3,2]: B:=[3,0,1]:" }}}{EXCHG {PARA 0 "> " 0 "
" {MPLTEXT 1 0 10 "V[1]:=B-A;" }{TEXT -1 0 "" }}}{EXCHG {PARA 0 "> " 
0 "" {MPLTEXT 1 0 19 "evalm(B+(-3)*V[1]);" }{TEXT -1 0 "" }}}{EXCHG 
{PARA 0 "> " 0 "" {MPLTEXT 1 0 16 "V[2]:=[-1,3,-1];" }{TEXT -1 0 "" }}
}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 14 "L_1:=B+t*V[2];" }}}{EXCHG 
{PARA 0 "> " 0 "" {MPLTEXT 1 0 11 "evalm(L_1);" }{TEXT -1 0 "" }}}
{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 25 "solve(evalm(L_1)[3]=0,t);" }
{TEXT -1 0 "" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 24 "C:=subs(t=1
,evalm(L_1));" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 15 "V[3]:=[-1,
3,1];" }{TEXT -1 0 "" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 14 "L_2
:=C+t*V[3];" }{TEXT -1 0 "" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 
11 "evalm(L_2);" }{TEXT -1 0 "" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 
1 0 25 "solve(evalm(L_2)[1]=0,t);" }{TEXT -1 0 "" }}}{EXCHG {PARA 0 ">
 " 0 "" {MPLTEXT 1 0 24 "E:=subs(t=2,evalm(L_2));" }}}{EXCHG {PARA 0 "
> " 0 "" {MPLTEXT 1 0 14 "V[4]:=[1,3,1];" }{TEXT -1 0 "" }}}{EXCHG 
{PARA 0 "> " 0 "" {MPLTEXT 1 0 18 "evalm(E+(3)*V[4]);" }}}}{SECT 1 
{PARA 3 "" 0 "" {TEXT -1 4 "Plot" }}{PARA 0 "" 0 "" {TEXT -1 43 "\300
\247\277\241\274\255 \261\270\307\321 \272\244\305\315\265\351\300\273
 3\302\367\277\370 \273\363\277\241\274\255 \261\327\267\301\272\270
\300\332." }}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 8 "restart;" }}}
{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 29 "with(plots): with(plottools)
:" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 140 "macro(pgreen=COLOR(RG
B, .3607, .7372, .8607));\nmacro(qgreen=COLOR(RGB, .5607, .9372, .9607
));\nmacro(rgreen=COLOR(RGB, .1607, .5372, .6607));" }}}{EXCHG {PARA 
0 "> " 0 "" {MPLTEXT 1 0 765 "l[1]:=line([6,9,4],[3,0,1], color=blue, \+
thickness=3):\nl[2]:=line([3,0,1],[2,3,0], color=red, thickness=3):\nl
[3]:=line([2,3,0],[0,9,2], color=red, thickness=3):\nl[4]:=line([0,9,2
],[3,18,5], color=blue, thickness=3):\np[xz]:=polygonplot3d([[8,0,0],[
8,0,6],[0,0,6],[0,0,0]], color=rgreen):\np[xy]:=polygonplot3d([[8,0,0]
,[8,18,0],[0,18,0],[0,0,0]], color=qgreen):\np[yz]:=polygonplot3d([[0,
0,6],[0,18,6],[0,18,0],[0,0,0]], color=pgreen):\nt[x]:=textplot3d([8,-
5,0,`x-axis`],color=COLOR(RGB, rand()/10^12, rand()/10^12, rand()/10^1
2),align=LEFT):\nt[y]:=textplot3d([-0.5,18,0,`y-axis`],color=COLOR(RGB
, rand()/10^12, rand()/10^12, rand()/10^12),align=\{ABOVE,RIGHT\}):\nt
[z]:=textplot3d([0,-3,6,`z-axis`],color=COLOR(RGB, rand()/10^12, rand(
)/10^12, rand()/10^12),align=ABOVE):" }}}{EXCHG {PARA 0 "> " 0 "" 
{MPLTEXT 1 0 69 "plots[display](l[1],l[2],l[3],l[4],p[xz],p[xy],p[yz],
t[x],t[y],t[z]);" }{TEXT -1 0 "" }}}}{SECT 1 {PARA 3 "" 0 "" {TEXT -1 
5 "Proof" }}{PARA 0 "" 0 "" {TEXT 256 102 "\300\247\300\307 \277\271
\277\241\274\255\303\263\267\263 \277\326 \274\274\270\351\300\273 \+
\271\335\273\347\307\321 \270\266\301\366\270\267 \271\335\273\347\265
\310 \272\244\305\315\260\241 \303\263\300\275\300\307 \300\324\273
\347\307\321 \272\244\305\315\277\315 \263\252\266\365\307\317\260\324
 \265\307\264\302\301\366\270\246 \276\313\276\306\272\270\300\332." }
}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 8 "restart;" }}}{EXCHG {PARA 0 
"> " 0 "" {MPLTEXT 1 0 13 "with(linalg):" }}}{PARA 0 "" 0 "" {TEXT -1 
30 "\303\263\300\275 \300\324\273\347\307\321 \272\244\305\315\270\246
 A[1]\266\363\307\317\300\332." }}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 
0 23 "A[1]:=[a[1],a[2],a[3]];" }{TEXT -1 0 "" }}}{PARA 0 "" 0 "" 
{TEXT -1 85 "\272\244\305\315 A[1]\300\314 xz \306\362\270\351\277\241
\274\255 \271\335\273\347\265\307\276\356 \263\252\277\302 \272\244
\305\315 A[2]\264\302 \261\263\260\372\274\255\300\307 \260\370\275
\304\277\241 \300\307\307\317\270\351 \264\331\300\275\260\372 \260
\260\264\331." }}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 93 "A[2]:=evalm
(A[1]-scalarmul([0,1,0],evalm(2*dotprod(A[1],[0,1,0])/dotprod([0,1,0],
[0,1,0]))));" }{TEXT -1 0 "" }}}{PARA 0 "" 0 "" {TEXT -1 59 "\264\331
\300\275\300\272 \272\244\305\315 A[2]\260\241 xy \306\362\270\351\277
\241\274\255 \271\335\273\347\265\307\276\356 \263\252\277\302 \272
\244\305\315 A[3]\300\314\264\331." }}{EXCHG {PARA 0 "> " 0 "" 
{MPLTEXT 1 0 93 "A[3]:=evalm(A[2]-scalarmul([0,0,1],evalm(2*dotprod(A[
2],[0,0,1])/dotprod([0,0,1],[0,0,1]))));" }{TEXT -1 0 "" }}}{PARA 0 "
" 0 "" {TEXT -1 174 "\270\266\301\366\270\267\300\270\267\316 \272\244
\305\315 A[3]\260\241 yz \306\362\270\351\277\241\274\255 \271\335\273
\347\265\307\276\356 \263\252\277\302 \272\244\305\315 A[4]\300\314
\264\331. \277\251\261\342\277\241\274\255 \277\354\270\256\264\302 \+
\272\244\305\315 A[4]\264\302 \272\244\305\315 A[1]\260\372 \264\334
\301\366 \271\346\307\342\270\270 \271\331\262\356\276\372\300\275\300
\273 \276\313 \274\366 \300\326\264\331. \265\373\266\363\274\255 \306
\257\310\367 A[1]\260\372 A[4]\264\302 \263\252\266\365\307\317\264
\331." }}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 93 "A[4]:=evalm(A[3]-sc
alarmul([1,0,0],evalm(2*dotprod(A[3],[1,0,0])/dotprod([1,0,0],[1,0,0])
)));" }{TEXT -1 0 "" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 0 "" }}}
}}{MARK "0 0" 0 }{VIEWOPTS 1 1 0 1 1 1803 }