Derivation of the formula starting from the velocity formula