The equation is the Tikhonov normal equation. For , expand the Tikhonov regularization functional:
The normal equation makes the linear term zero. The final two terms are nonnegative and are strictly positive for because . Thus is the unique global minimizer.