Solution (source code)

= Solution

On the constraint set, $\|x\|=1$, so $\nabla f(x)=2x\ne0$. Part (a)(iv) and the <Lagrange multiplier>[Lagrange multiplier theorem] give $2A^TAx=2\lambda x$, hence
$$
\boxed{A^TAx=\lambda x.}
$$
Since $x$ is nonzero, it is an <eigenvector>. Moreover $\lambda=x^TA^TAx=\|Ax\|^2\geq0$, so the associated <eigenvalue> is real and nonnegative.