Exercise 8, Section 82 from PR Halmos's Finite-Dimensional Vector Spaces, 2nd Edition
If $A$ is a positive semidefinite operator, and if $\langle Ax, x\rangle = 0$ for some vector $x$, show that $Ax = 0$. The underlying inner product space is not specified as finite-dimensional. The scalar field is not specified as real or complex.
I am able to establish the assertion assuming that the inner product space is finite-dimensional. Struggling with extending the argument to infinite-dimensional spaces however.
My argument for the finite-dimensional case goes as follows. Section 82 ("Functions of Transformations") of the book argues that every positive operator on a finite-dimensional inner product has a positive square root (function) associated. Thus, we observe that $0 = \langle Ax, x\rangle $ $= \langle \sqrt A \sqrt Ax, x\rangle$ $= \langle \sqrt Ax, {\sqrt A}^*x\rangle$ $= \langle \sqrt Ax, \sqrt Ax\rangle$ $= \Vert \sqrt Ax \Vert^2$ $\implies$ $\sqrt Ax = 0$ $\implies \sqrt A \sqrt Ax = 0$ $\implies Ax = 0$.
Unclear on how to extend this argument to the infinite-dimensional case. Would appreciate an advice. Thanks.