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
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 | |||
8257 | variable |
V_1
\(V_1\) |
real |
|
voltage | 3 | |||
8697 | variable |
R_1
\(R_1\) |
real |
|
electrical resistance | 10 | |||
6599 | variable |
V
\(V\) |
real |
|
voltage | 11 | |||
8721 | variable |
V_2
\(V_2\) |
real |
|
voltage | 3 | |||
4691 | variable |
V_{\rm total}
\(V_{\rm total}\) |
real |
|
voltage | 2 | |||
6458 | variable |
R
\(R\) |
real |
|
electrical resistance | 6 | |||
1908 | variable |
R_{\rm total}
\(R_{\rm total}\) |
real |
|
electrical resistance | 9 | |||
4501 | variable |
I
\(I\) |
real |
|
electric current | 9 |