This page contains three views of the steps in the derivation: d3js, graphviz PNG, and a table.
Notes for this derivation:
Using the 2D equations of motion, show that projectile path is second order polynomial of the form y = a x^2 + b x + c
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 

1  declare initial expr 



no validation is available for declarations 
9882526611:

9882526611:


2  divide both sides by 



valid 
9882526611:
3274926090: 
9882526611:
3274926090: 

3  declare initial expr 



no validation is available for declarations 
1405465835:

1405465835:


4  substitute LHS of expr 1 into expr 2 



LHS diff is 0 RHS diff is (pdg1572  pdg4037)*(pdg1649*(pdg1572  pdg4037)*(pdg1649  1) + 2*pdg2958*(pdg9107 + pdg9431))/(2*pdg2958**2) 
3274926090:
1405465835: 7354529102: error for dim with 7354529102 
3274926090:
1405465835: 7354529102: N/A 

5  declare final expr 



no validation is available for declarations 
7354529102:
error for dim with 7354529102 
7354529102:
N/A 
expression is a second order polynomial; projecticle motion is parabolic 