Uit potaov

h algebrai k h systm ve vu e matematiky

Soustavy rovni

Soustavy linern h rovni

Pi een soustav linern h rovni vyuijeme tyto balky funk :

linalg,
LinearAlgebra (nov alternativa balku linalg, kter je ji zastaral),
Student[LinearAlgebra.
1.

Je dna soustava linern h rovni :

64w 57x + 97y 67z
92w + 77x 34y 37z
44w 34x + 53y 34z
27w + 57x 69y + 29z

=
=
=
=

a) Ovte splnn Frobeniovy podmnky.

b) Soustavu vyete uitm inverzn mati e.
) Pomo Cramerova pravidla urete hodnotu neznm

485
486
465
464

y:

Maple
Pm een:

> r1:=64*w-57*x+97*y-67*z=485; r2:=92*w+77*x-34*y-37*z=486; r3:=44*w-34*x+53*y-34*z

=465; r4:=27*w+57*x-69*y+29*z=464;
> Res:=solve({r1,r2,r3,r4},{w,x,y,z});
Poad neznm h v zpise een je nhodn a nemus odpovdat naim pedstavm. Zpisu ve tvaru

[w,x,y,z doshneme
> eval([w,x,y,z,Res);
uspodan tvei e

pkazem:

Oven eitelnosti (Frobeniova podmnka):

Rozenou mati i Aroz, mati i soustavy A i vektor prav h stran b vygenerujeme pkazy:
> Aroz:=linalg[genmatrix({r1,r2,r3,r4},[w,x,y,z,flag);
> A:=linalg[genmatrix({r1,r2,r3,r4},[w,x,y,z,b);
Poznmka: Opakem pkazu genmatrix je geneqns.
Hodnost mati e A zjistme pkazem linalg[rank(A);
Gaussovu elimina i provedeme pkazem linalg[gausselim(A);, Gauss-Jordanovu elimina i pkazem linalg[gaussjord(A);. Elimina i meme provdt i krok za krokem, napklad uitm pkazu
pivot.

een regulrn soustavy uitm inverzn mati e:

een soustavy AX = b je rovno souinu X = A 1 b: Inverzn mati e k mati i A zskme pkazem

inverse(A);. Souin mati A 1 ; b meme zadat dvojm zpsobem:

> evalm(inverse(A)&*b); nebo linalg[multiply(inverse(A),b);
Cramerovo pravidlo
Determinant mati e A urme pkazem linalg[det(A); Mati e
pkaz

submatrix, augment, ppadn swap ol

Poznmka:

linalg.

knihovny

A1 ; A2 ; A3 ; A4

vytvome pomo

Pokud pouvme v e pkaz z njak knihovny, vyplat se j otevt pkazem with, v

with(linalg);. Potom vpoet mati e A2 provedeme jednm z nsleduj h zpsob:

> A2:=augment(submatrix(A,1..4,[1),b,submatrix(A,1..4,[3,4)); nebo
> A2:=submatrix(swap ol(Aroz,2,5),1..4,1..4));
naem ppad

2.

ete nsleduj soustavy a jeji h een gra ky znzornte:

a

) x + 3y + z = 5
2x + y + z = 2
x + y + 5z
= 7

+ 3y + z = 5
2x + y + z = 2
x
2y = 7
x

Uit potaov h algebrai k h systm ve vu e matematiky

Soustavy rovni

Maple

r1, r2, r3 a nkterm z ve uveden h zpsob vyeme. een soustavy znplots a 2. uitm knihovny Student[LinearAlgebra, kter
rozshl knihovny Student, uren k podpoe vuky vodn h kurz vysokokolsk

Rovni e pojmenujeme

zornme dvma zpsoby: 1. uitm knihovny

je podknihovnou
matematiky.

1. Uitm plots

>
>
>
>
>

with(plots):
R1:=impli itplot3d(r1,x=-5..5,y=-5..5,z=-5..5, olor=red,style=pat hnogrid):
R2:=impli itplot3d(r2,x=-5..5,y=-5..5,z=-5..5, olor=blue,style=pat hnogrid):
R3:=impli itplot3d(r3,x=-5..5,y=-5..5,z=-5..5, olor=green,style=pat hnogrid):
display(R1,R2,R3,axes=box);

2. Uitm Student[LinearAlgebra
> Student[LinearAlgebra[LinearSystemPlot({r1,r2,r3});
3.

ete nsleduj soustavu linern h rovni :

+ 3x4 + 2x5
x1
x2 + 4x3
5x4 x5
x1 + 4x2 + 5x3 + 6x5
x1 + 3x2 + 2x3 + 2x4 + 5x5
2x1 x2 + 11x3 12x4 x5
x1

+ 2x2

x3

=
=
=
=
=

2
3
3
2
7

Maple
Obe n een nehomogenn soustavy
Msto balku

linalg

pouijeme balek

LinearAlgebra.

M-li soustava nekonen mnoho een, o

zjistme ovenm Frobeniovy podmnky, umouje pkaz LinearSolve z tohoto balku (nebo z balku

Student[LinearAlgebra) zpis t hto een uitm zvolen h parametr.

> A,b:=LinearAlgebra[GenerateMatrix([r1,r2,r3,r4,r5,[x1,x2,x3,x4,x5);
> Aroz:=LinearAlgebra[GenerateMatrix([r1,r2,r3,r4,r5,[x1,x2,x3,x4,x5,augmented=true);
> LinearAlgebra[Rank(A);LinearAlgebra[Rank(Aroz);
> LinearAlgebra[LinearSolve(A,b,free='t');
Problm 1

Uitm pkazu linsolve z balku linalg nebo LinearSolve z balku LinearAlgebra ete
tyto mati ov rovni e s neznmou mati X (Pra ujte s npovdou):
2
3
2
3
2
3


2 1
5 4 3
4 5 3
2 1 1
2 5
X = 4 4 5 3 5;
a) 4 1
b) X

= 4 5 4 3 5:
1 2 1
1 1
3 3 2
1 4 1
Problm 2

Jenek a Maenka hraj hru, pi n stdav vypluj sly mezery v nsleduj soustav:
+
x +
x +
x

+
y +
y +
y

z
z
z

= 0
= 0
= 0:

Maenka zan a vyhraje tehdy, kdy bude mt vsledn soustava nenulov een. Najdte vyhrva
strategie pro Maenku i Jenka, pokud existuj.