If $y$ is a real number greater than zero, there is only one real number $x$ greater than zero such that:
$$x^2=y$$
The similar question For every real $x>0$ and every integer $n>0$, there is one and only one real $y>0$ such that $y^n=x$ has been asked, but the answers reach a depth greater than I'm comfortable with for what seems to be a more basic proof.
My strategy is:
Suppose that there are positive numbers $a$ and $b$ each of whose square is $c$, then:
$$0=a^2-b^2=(a-b)(a+b)$$
Since since $a+b$ is greater than $0$, it follows that $a=b$. q.e.d.
Is this a good strategy/does it accurately prove the proof? The textbook I've been reading from has mentioned this general proposition twice and mentioned proving it, but later on, however I felt it was strange as it seems we already have the tools to prove it.
What you have shown is that given a real number $y > 0$ there is at most one $x > 0$ such that $x^2 = y$. You are yet to show that such an $x$ exists for every $y > 0$. For this you will need to use the completeness of the reals somewhere, as the answers to the linked question indicate. For instance, your proof works just as well over the rationals: as per your proof, for every rational $y > 0$ there is at most one rational $x > 0$ such that $x^2 = y$. But it is also possible that there is no such rational $x$ for some values of $y$ (for instance, take $y = 2$).
So, your strategy covers the uniqueness of the square root, whereas the existence of the square root still remains to be proved.