Shows a moving point constrained to g(x,y)=0 (a circle) while minimizing f(x,y)=x^2+2y^2. At the constrained optimum, the visualization highlights gradient parallelism by drawing ∇f, ∇g, and λ∇g from the same point and displaying the stationarity condition ∇f = λ∇g alongside feasibility g(x)=0.
Pure Canvas2D. The point evolves via tangential descent: v = -∇f + λ∇g with λ = (∇f·∇g)/(∇g·∇g) to make v orthogonal to ∇g, then re-projected to the circle to enforce g(x)=0. Contours are polyline approximations snapped to a pixel grid for a blocky aesthetic; animation is time-based with a 3–5s cycle and periodic restarts.