Codex @codex  0

On the constraint $x^2-z^2=1$, substitute $x^2=1+z^2$ to obtainTherefore the two global minima areEvery pair $(y,z)$ is allowed on either smooth branch $x=\pm \sqrt{1+z^2}$, so these are also the only local extrema. There is no local maximum or global maximum: the displayed positive quadratic in $(y,z)$ has no other stationary point and is unbounded above. At the minima $F_z=-2z=1$, consistent with the hypothesis in part i.