This page contains three views of the steps in the derivation: d3js, graphviz PNG, and a table.
Notes for this derivation:
subset of the frequency relation derivation. Intended for display on the homepage
Index | Inference Rule | Input latex | Feeds latex | Output latex | step validity | dimension check | unit check | notes |
---|---|---|---|---|---|---|---|---|
3 | divide both sides by |
|
|
|
valid |
2131616531:
2113211456: |
2131616531:
2113211456: |
|
2 | multiply both sides by |
|
|
|
valid |
3131111133:
dimensions are consistent 2131616531: |
3131111133:
N/A 2131616531: |
|
4 | declare final expr |
|
|
|
no validation is available for declarations |
2113211456:
|
2113211456:
|
|
1 | declare initial expr |
|
|
|
no validation is available for declarations |
3131111133:
dimensions are consistent |
3131111133:
N/A |
symbol ID | category | latex | scope | dimension | name | value | Used in derivations | references | |
---|---|---|---|---|---|---|---|---|---|
4201 | variable |
f
\(f\) |
['real'] |
|
frequency | 8 | |||
9491 | variable |
T
\(T\) |
['real'] |
|
period | 20 |