Strictly positive element in unital $C^*$ algebra is invertible Let A be a unital $C^∗$ algebra. $a\in A_+$ is called strictly positive if for all positive linear functional $\phi \in A_+^*$ and $\phi \neq 0$, we have $\phi(a)>0$. Prove that $a\in A_+$ is strictly positive iff $a$ is invertible.
My attempt: if $a\in A_+$ is invertible, then there exists $x\in A$ such that $a=x^*x$ and $a^{-1}=x^{-1}(x^{-1})^*$, Using Cauchy-Schwarz inequality: $\forall \phi \in A_+^*$
$$\phi(a)\phi(a^{-1})=\phi(x^*x)\phi((x^{-1})^{**}(x^{-1})^{*})\ge |\phi(x^*(x^{-1})^*)|^2=|\phi(1)|^2=\|\phi\|^2 > 0 $$
then we have $\phi(a)\neq 0$, then $\phi(a)>0$.
But for other direction, i have no idea. I knew that $a\in A_+$ is called strictly positive also can be definted that $\overline{aAa}=A$, and from this definition i can prove that if $a$ is strictly positive, then $axa$ is invertible, then $a$ is invertible. but i want to prove $a$ is invertible from defintion which i give firstly.
I guess if $\phi(a)>0$, then $1-\phi(a) <1$, and let $\phi$ be some specific function ,then apply functional calculus, but i can't prove that.
Any idea will be appreciated!
 A: EDITED Since I originally just reproved what you already included in your statement.
Suppose $a\in A$ is strictly positive.  Since $A$ is unital, the state space of $A$ is weak$^*$-compact, and it follows that $\varepsilon:=\inf\{\phi(a):\phi\text{ is a state on }A\}>0$. It then follows that $a-\varepsilon\cdot1$ is positive, from which it follows that the spectrum of $a$ is contained in $[\varepsilon,\infty)$, i.e., $0$ is not in the spectrum of $a$, i.e., $a$ is invertible.
Here's another proof of the reverse direction:
If $a\in A$ is positive and invertible, its spectrum is a compact subset of $(0,\infty)$, and thus $a-\varepsilon\cdot 1$ is positive for some $\varepsilon>0$.  Thus if $\phi$ is a non-zero positive linear functional on $A$, we have
$$\phi(a)=\varepsilon\phi(1)+\phi(a-\varepsilon\cdot1)\geq \varepsilon\|\phi\|+0>0.$$
A: For the other direction, let $a$ be a positive non-invertible element. Then $0\in \text{Spec}(a)$ and there is a unital *-homomorphism $\Phi: C^*(a) \rightarrow C(\text{Spec}(a))$ mapping $a$ to the identity function on $\text{Spec}(a)$. Here $C^*(a)$ is the $C^*$-subalgebra generated by $a$ and $C(\text{Spec}(a))$ the continuous functions on $\text{Spec}(a)$. Define a state $\phi$ on $C^*(a)$ by $\phi(x)=\Phi(x)(0)$.
$\phi$ vanishes on $a$ and we can extend it to all of $A$.
