This page contains three views of the steps in the derivation: d3js, graphviz PNG, and a table.
Notes for this derivation:
https://en.wikipedia.org/wiki/Geostationary_orbit#Derivation_of_geostationary_altitude
Index | Inference Rule | Input latex | Feeds latex | Output latex | step validity | dimension check | unit check | notes |
---|---|---|---|---|---|---|---|---|
3 | change four variables in expr |
|
|
|
failed |
9226945488:
4627284246: |
9226945488:
4627284246: |
|
12 | multiply both sides by |
|
|
|
valid |
3906710072:
7010294143: |
3906710072:
7010294143: |
|
14 | raise both sides to power |
|
|
|
no check is performed |
4858693811:
2617541067: |
4858693811:
2617541067: |
|
10 | divide both sides by |
|
|
|
valid |
4072200527:
1994296484: |
4072200527:
1994296484: |
|
16 | change two variables in expr |
|
|
|
valid |
2617541067:
1559688463: |
2617541067:
1559688463: |
|
7 | substitute LHS of expr 1 into expr 2 |
|
|
|
valid |
9262596735:
5426308937: 4245712581: |
9262596735:
5426308937: 4245712581: |
|
1 | change four variables in expr |
|
|
|
LHS diff is 0 RHS diff is pdg3569*pdg6277*(pdg5022 - pdg5458)/pdg2530**2 |
6935745841:
5563580265: |
6935745841:
5563580265: |
|
8 | change variable X to Y |
|
|
|
valid |
4245712581:
3614055652: |
4245712581:
3614055652: |
|
9 | raise both sides to power |
|
|
|
no check is performed |
3614055652:
8059639673: |
3614055652:
8059639673: |
|
11 | LHS of expr 1 equals LHS of expr 2 |
|
|
|
input diff is -pdg1357**2 + pdg4082**2 diff is 0 diff is 0 |
1994296484:
8059639673: 3906710072: |
1994296484:
8059639673: 3906710072: |
|
15 | declare assumption |
|
|
|
no validation is available for declarations |
3920616792:
|
3920616792:
|
|
5 | substitute LHS of two expressions into expr |
|
|
|
failed |
5563580265:
4627284246: 3176662571: dimensions are consistent 4072200527: |
5563580265:
4627284246: 3176662571: N/A 4072200527: |
|
13 | divide both sides by |
|
|
|
valid |
7010294143:
4858693811: |
7010294143:
4858693811: |
|
2 | declare initial expr |
|
|
|
no validation is available for declarations |
9226945488:
|
9226945488:
|
|
6 | change variable X to Y |
|
|
|
valid |
6785303857:
9262596735: |
6785303857:
9262596735: |
|
4 | declare assumption |
|
|
|
no validation is available for declarations |
3176662571:
dimensions are consistent |
3176662571:
N/A |