An alternative proof for the explicit equations of motion for mechanical systems with independent non-ideal constraints

An alternative proof for the explicit equations of motion for mechanical systems with independent non-ideal constraints is proposed in this paper. These equations are derived without the use of generalized inverse matrices and based on the decomposition of the constraint forces along the acceleration-constrained flat surface and its normal plane.