Question about hereditary $C^*$-algebra
Here is a direct argument which may not differ much in its essence from the one in the book that you mention:
Say $A$ is simple and $B$ is a closed hereditary subalgebra of $A$. This means that if $a\in A$ and $b_1,b_2\in B$ then $b_1ab_2\in B$. Let $x\in B$ be non-zero and let us show that it generates $B$ as a closed two sided ideal. Since $x$ generates $A$ as a closed two-sided ideal, the finite sums of elements of the form $axa'$, with $a,a'\in A$, form a dense subset in $A$. In particular, if $y\in B$ and $\epsilon>0$ then there exists an element of the form $$ \sum_{i=1}^{n} a_ixa'_i $$ within a distance $\epsilon$ of $y$. The problem with this is that the $a_{i}$s and $a'_i$s are not in $B$. They are only in $A$. This is fixed using that in a C*-algebra one always has that $|c^*|^{1/n}c|c|^{1/n}\to c$ for any $c$ (alternatively, you can use an approximate unit for $B$). Then for $k$ large enough the element $$ \sum_{i=1}^{n} (|y^*|^{1/k}a_i|x^*|^{1/k}) x (|x|^{1/k}a'_i |y|^{1/k} ) $$ is also within a distance of $\epsilon$ of $y$.