This page contains three views of the steps in the derivation: d3js, graphviz PNG, and a table.
Notes for this derivation:
Index | Inference Rule | Input latex | Feeds latex | Output latex | step validity | dimension check | unit check | notes |
---|---|---|---|---|---|---|---|---|
6 | replace constant with value |
|
|
|
no check performed |
9440616166:
7846240076: |
9440616166:
7846240076: |
|
4 | divide both sides by |
|
|
|
valid |
9407192813:
2308660627: |
9407192813:
2308660627: |
|
8 | replace constant with value |
|
|
|
Nothing to split |
7112613117:
1132941271: |
7112613117:
1132941271: |
|
1 | change variable X to Y |
|
|
|
valid |
5345738321:
2484824786: dimensions are consistent |
5345738321:
2484824786: N/A |
|
2 | change three variables in expr |
|
|
|
LHS diff is 0 RHS diff is pdg5156*pdg6277*(pdg5022 - pdg5458)/pdg3236**2 |
6935745841:
8661803554: |
6935745841:
8661803554: |
|
9 | simplify |
|
|
|
Nothing to split |
1132941271:
3364286646: |
1132941271:
3364286646: |
|
7 | replace constant with value |
|
|
|
Nothing to split |
7846240076:
7112613117: |
7846240076:
7112613117: |
|
0.5 | declare initial expr |
|
|
|
no validation is available for declarations |
5345738321:
|
5345738321:
|
|
3 | LHS of expr 1 equals LHS of expr 2 |
|
|
|
valid |
8661803554:
4800170179: dimensions are consistent 9407192813: |
8661803554:
4800170179: N/A 9407192813: |
|
1.5 | declare initial expr |
|
|
|
no validation is available for declarations |
6935745841:
|
6935745841:
|
|
5 | multiply both sides by |
|
|
|
valid |
2308660627:
9440616166: |
2308660627:
9440616166: |
|
1.25 | change variable X to Y |
|
|
|
valid |
2484824786:
dimensions are consistent 4800170179: dimensions are consistent |
2484824786:
N/A 4800170179: N/A |
symbol ID | category | latex | scope | dimension | name | value | Used in derivations | references | |
---|---|---|---|---|---|---|---|---|---|
4202 | variable |
F
\(F\) |
['real'] |
|
force | 21 | |||
3236 | constant |
r_{\rm Earth}
\(r_{\rm Earth}\) |
real |
|
radius of Earth |
6.3781*10^{6} m |
21 | ||
9140 | variable |
a
\(a\) |
['real'] |
|
acceleration | 31 | |||
4037 | variable |
x
\(x\) |
['real'] |
|
position |
|
53 | ||
7557 | constant |
g_{\rm Earth}
\(g_{\rm Earth}\) |
real |
|
average acceleration due to gravity on Earth |
9.80665 m * s^-2 |
6 | ||
6277 | constant |
G
\(G\) |
real |
|
gravitational constant |
6.67430*10^{-11} m^3 * kg^-1 * s^-2 |
46 | ||
5458 | constant |
m_{\rm Earth}
\(m_{\rm Earth}\) |
real |
|
mass of Earth |
5.97237*10^24 kg |
34 | ||
1649 | variable |
g
\(g\) |
['real'] |
|
acceleration due to gravity | 27 | |||
4851 | variable |
m_2
\(m_2\) |
real |
|
mass | 17 | |||
5022 | variable |
m_1
\(m_1\) |
real |
|
mass | 18 | |||
5156 | variable |
m
\(m\) |
['real'] |
|
mass |
|
57 |