Proving some relations in Tables 16.1-2 and 3

Note that this session must follow execution of the commands in the Table161defs work space.

> vavg-vstar; Relation F in 16.1-2

[Maple Math]

> simplify(%-sum(omega[i]*(v[i]-vstar),i=1...2));

[Maple Math]

> vstar-vavg; Relation G in 16.1-2

[Maple Math]

> simplify(%-sum(x[i]*(v[i]-vavg),i=1...2));

[Maple Math]

> sum(n[i],i=1...2)-rhotot*vavg; Relation J in Table 16.1-3

[Maple Math]
[Maple Math]

> simplify(%);

[Maple Math]

> sum(j[i],i=1...2); Relation K in Table 16.1-3

[Maple Math]
[Maple Math]

> simplify(%);

[Maple Math]

> simplify(sum(Jstar[i],i=1...2)); Relation O in Table 16.1-3

[Maple Math]

> Jstar[1]-N[1]+x[1]*sum(N[i],i=1...2); Relation U in Table 16.1-3

[Maple Math]

> simplify(%);

[Maple Math]

>