As stated in the title, I'd like to find out is whether or not it is always mathematically sound to prove the uniqueness of something before proving the existence of said something.
I am still relatively new to proofs and, in this light, I was intrigued by an observation that some authors choose to prove uniqueness before existence. I understand that some do this because, allegedly, "it is easier to prove the uniqueness part first". And in an exam setting, it's better to tackle the easier parts of a task.
However, as I see it, if done this way, aren't we essentially proving a proposition about something that, at that point, we have not yet guaranteed exists? (Thus, might not even exist at all). I understand that in most cases the existence is proved immediately after the proof of uniqueness but, generally, doesn't uniqueness depend on existence?
My example will be derived from page $40$ of The Real Analysis Lifesaver: All the Tools You Need to Understand Proofs by Raffi Grinberg:
Theorem 5.8. (Existence of Roots in $\mathbb{R}$)
Every positive real number has a unique positive $n$th root, for any $n \in \mathbb{N}$.
In symbols:
$∀x ∈ R$ with $x > 0, ∀n ∈ N, ∃y ∈ R$ unique, such that $y > 0$ and $y^n = x.$
Note that even-numbered roots $(\sqrt{x},\sqrt[4]x,\sqrt[6]x, etc.)$ signify two numbers in $\mathbb{R}$, namely, $+y$ and $−y$. The theorem asserts that there is one and only one positive real root.
Proof.
The uniqueness of $y$ is the easiest part of the proof, so we’ll start there. For any two different positive real numbers, the fact that they are different means one must be greater than the other. If there were two positive real roots $y_1$ and $y_2$ such that $y_1^n = x$ and $y_2^n = x$ we would have $0 < y_1 < y_2$. But then $0 < y_1^n < y_n^2$ , meaning $0 < x < x$, which is impossible. Thus only one positive real root can exist.
To prove that $\sqrt[n]x$ exists in $\mathbb{R}$, let’s first figure out our game plan and then write it up formally $$...$$
While the proof is totally clear, I'd really like feedback on this format. As an aspiring mathematician, is this a format I can adapt and use in my proofs or perhaps it is not good practice in general? What if, say, I have a conjecture that there exist unique integers possessing some property and this conjecture is something new (i.e. hasn't been proven yet). I try proving they exist but run out of luck. Would it be worth the effort of trying to prove the uniqueness of such integers not knowing they exist?
I can see the unease: if what you're proving unique doesn't exist, might that invalidate whatever manipulations you've done with it?
This is similar to the situation with proof by contradiction, where you don't just reason about something that might not be true: you reason about it expecting it to be untrue, but making all the logical steps anyway.
In either case, you end up showing "If $A$ then $B$"—whether it's "If $x$ exists then it's unique" or "If $x$ exists then it has contradictory properties". In one case we go on to apply $B$ to $x$ once we know it exists, and in the other we use the impossibility of $B$ to disprove the existence of $x$.
A separate thought: proofs are presented as a sequence of steps and inferences because as humans, we process written information sequentially. But what's behind a mathematical theorem is more like a network of theorems and logical steps, some dependent on others, which together imply the theorem. We can't take them all in simultaneously, so we arrange them in a suitable order to let us see the logic most clearly. It's a matter of convenience.
If $X$ and $Y$ are both true and together imply $Z$, it doesn't really matter which order the various parts of that are proved in—all that matters from a validity point of view is that they're all proved and brought together.