This page contains three views of the steps in the derivation: d3js, graphviz PNG, and a table.
Notes for this derivation:
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 

2  declare initial expr 



no validation is available for declarations 
8257621077:

8257621077:


5  substitute LHS of expr 1 into expr 2 



valid 
3951205425:
8311458118: 8139187332: 
3951205425:
8311458118: 8139187332: 

7  swap LHS with RHS 



valid 
5530148480:
7917051060: 
5530148480:
7917051060: 

3  declare initial expr 



no validation is available for declarations 
8311458118:

8311458118:


8  multiply expr 1 by expr 2 



Nothing to split 
7917051060:
7917051060: 6742123016: 
7917051060:
7917051060: 6742123016: 

6  subtract X from both sides 



valid 
8139187332:
5530148480: 
8139187332:
5530148480: 

4  substitute LHS of expr 1 into expr 2 



LHS diff is pdg5493 + pdg6029 RHS diff is pdg5493  pdg6029 
8257621077:
1638282134: dimensions are consistent 3951205425: 
8257621077:
1638282134: N/A 3951205425: 

1  declare initial expr 



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

1302  variable 
\vec{p}_{\rm before}
\(\vec{p}_{\rm before}\) 
real 

momentum before collision  2  
6029  variable 
\vec{p}_1
\(\vec{p}_1\) 
real 

momentum 1  5  
5493  variable 
\vec{p}_{\rm after}
\(\vec{p}_{\rm after}\) 
real 

momentum after collision  3  
2097  variable 
\vec{p}_2
\(\vec{p}_2\) 
real 

momentum 2  5  
4299  variable 
\vec{p}_{\rm electron}
\(\vec{p}_{\rm electron}\) 
real 

momentum of electron  5 