This page contains three views of the steps in the derivation: d3js, graphviz PNG, and a table.
Notes for this derivation:
https://notendur.hi.is/hj/EE2/HD1lausn.pdf
Index | Inference Rule | Input latex | Feeds latex | Output latex | step validity | dimension check | unit check | notes |
---|---|---|---|---|---|---|---|---|
9 | declare final expr |
|
|
|
no validation is available for declarations |
9718685793:
|
9718685793:
|
|
6 | simplify |
|
|
|
valid |
1190768176:
3605073197: |
1190768176:
3605073197: |
|
1 | declare initial expr |
|
|
|
no validation is available for declarations |
9781951738:
|
9781951738:
|
|
3 | divide both sides by |
|
|
|
valid |
8435841627:
inconsistent dimensions 3497828859: |
8435841627:
N/A 3497828859: |
|
7 | substitute LHS of expr 1 into expr 2 |
|
|
|
valid |
8435841627:
inconsistent dimensions 3605073197: 9847143017: |
8435841627:
N/A 3605073197: 9847143017: |
|
5 | simplify |
|
|
|
valid |
8368984890:
1190768176: |
8368984890:
1190768176: |
|
8 | simplify |
|
|
|
valid |
9847143017:
9718685793: |
9847143017:
9718685793: |
|
4 | substitute LHS of expr 1 into expr 2 |
|
|
|
LHS diff is 0 RHS diff is -(pdg2834*pdg7343*pdg8179 - pdg7586*pdg8134)/(pdg7586*pdg8134**2) |
3497828859:
9781951738: 8368984890: |
3497828859:
9781951738: 8368984890: |
|
2 | declare initial expr |
|
|
|
no validation is available for declarations |
8435841627:
inconsistent dimensions |
8435841627:
N/A |
symbol ID | category | latex | scope | dimension | name | value | Used in derivations | references | |
---|---|---|---|---|---|---|---|---|---|
7343 | variable |
T
\(T\) |
real |
|
temperature | 18 | |||
4645 | variable |
\kappa_T
\(\kappa_T\) |
real | dimensionless | coefficient of isothermal compressibility |
|
6 | ||
7586 | variable |
V
\(V\) |
real |
|
volume | 15 | |||
8134 | variable |
P
\(P\) |
real |
|
pressure | 13 | |||
8179 | constant |
R
\(R\) |
real |
|
ideal gas constant |
8.31446261815324 Jā
K^{ā1} mol^{ā1} |
8 | ||
2834 | variable |
n
\(n\) |
real | dimensionless | amount of substance | 8 |