This page contains three views of the steps in the derivation: d3js, graphviz PNG, and a table.
Notes for this derivation:
http://www.dfcd.net/articles/derivations/resistors.html
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 

7  divide both sides by 



valid 
2715678478:
7217021879: 
2715678478:
7217021879: 

2  change two variables in expr 



valid 
4087145886:
7675171493: 
4087145886:
7675171493: 
I is the same across both resistors 
3  change two variables in expr 



valid 
4087145886:
6061695358: 
4087145886:
6061695358: 

6  substitute LHS of three expressions into expr 



no check performed 
4939880586:
7675171493: 6061695358: 9063568209: failed 2715678478: 
4939880586:
7675171493: 6061695358: 9063568209: N/A 2715678478: 

1  declare initial expr 



no validation is available for declarations 
4087145886:

4087145886:


5  declare initial expr 



no validation is available for declarations 
4939880586:

4939880586:


8  declare final expr 



no validation is available for declarations 
7217021879:

7217021879:


4  declare initial expr 



no validation is available for declarations 
9063568209:
failed 
9063568209:
N/A 
voltage is measured across both resistors 
symbol ID  category  latex  scope  dimension  name  value  Used in derivations  references  

3461  variable 
R_2
\(R_2\) 
real 

electrical resistance  10  
6599  variable 
V
\(V\) 
real 

voltage  11  
6458  variable 
R
\(R\) 
real 

electrical resistance  6  
8721  variable 
V_2
\(V_2\) 
real 

voltage  3  
8257  variable 
V_1
\(V_1\) 
real 

voltage  3  
1908  variable 
R_{\rm total}
\(R_{\rm total}\) 
real 

electrical resistance  9  
8697  variable 
R_1
\(R_1\) 
real 

electrical resistance  10  
4501  variable 
I
\(I\) 
real 

electric current  9  
4691  variable 
V_{\rm total}
\(V_{\rm total}\) 
real 

voltage  2 