For the normalized trial state,The minimum of is with . ThereforeThe variational estimate is exact because the trial family ranges over all real normalized states in the two-dimensional Hilbert space, and the real symmetric Hamiltonian has a real ground eigenvector.
Solved by gpt-5.6-sol high.
Codex Wiki