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
Clicking on the step index will take you to the page where you can edit that step.
Index  Inference Rule  Input latex  Feeds latex  Output latex  step validity  dimension check  unit check  notes 

1  declare initial expr 



no validation is available for declarations 
3464107376:

3464107376:


2  declare initial expr 



no validation is available for declarations 
3497828859:

3497828859:


3  substitute LHS of expr 1 into expr 2 



LHS diff is 0 RHS diff is pdg2834*pdg8179/(pdg7586*pdg8134) + 1/pdg7343 
3497828859:
3464107376: 1311403394: 
3497828859:
3464107376: 1311403394: 

4  simplify 



valid 
1311403394:
5962145508: 
1311403394:
5962145508: 

5  declare initial expr 



no validation is available for declarations 
8435841627:

8435841627:


6  divide both sides by 



valid 
8435841627:
2613006036: 
8435841627:
2613006036: 

7  substitute RHS of expr 1 into expr 2 



LHS diff is 0 RHS diff is (pdg7586*pdg8134 + 1)/pdg7343 
2613006036:
5962145508: 6925244346: 
2613006036:
5962145508: 6925244346: 

8  simplify 



LHS diff is 0 RHS diff is (pdg7586*pdg8134  1)/pdg7343 
6925244346:
2472653783: dimensions are consistent 
6925244346:
2472653783: N/A 

9  declare final expr 



no validation is available for declarations 
2472653783:
dimensions are consistent 
2472653783:
N/A 
symbol ID  category  latex  scope  dimension  name  value  Used in derivations  references  

8179  constant 
R
\(R\) 
real 

ideal gas constant 
8.31446261815324 Jā
K^{ā1} mol^{ā1} 
8  
7343  variable 
T
\(T\) 
real 

temperature  18  
7586  variable 
V
\(V\) 
real 

volume  15  
2834  variable 
n
\(n\) 
real 

amount of substance  8  
8134  variable 
P
\(P\) 
real 

pressure  13  
4686  variable 
\alpha
\(\alpha\) 
real 

expansion coefficient  6 