proofs of the derivatives of paper "Quaternion Averaging". Which realize a weighted averaging of quaternions.