Rotational kinetic energy equation