Lagrange multipliers, using tangency to solve constrained optimization