理论力学—常见约束类型及约束反力