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
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 

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  

9491  variable 
T
\(T\) 
['real'] 

period  20  
4201  variable 
f
\(f\) 
['real'] 

frequency  8 