What is it?
Find joint angles that place the hand at a target: solve . Usually iteratively with the Jacobian — Newton/Gauss–Newton steps , or damped least squares near singularities. Game engines use it to plant feet and aim hands.
Formulas
- damped least squares (Levenberg–Marquardt)
The mathematics behind it
IK solvers iterate (pseudo-inverse) or damped least squares.
Solving for joint angles that reach a target is a Newton (Gauss–Newton) iteration with the robot Jacobian.
Existence arguments of the type "some joint angle reaches this position" are intermediate-value arguments.
This page has the essentials. A fuller treatment (intuition, formal definition, worked example) is on the way.