Mfrhtyj

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.

This is a perfectly reasonable argument. The author even tells you he's doing it this way. He then uses the argument to allow the reader to become comfortable with the assertion and the notation.

There are other reasons for starting with uniqueness. Often if you know there's just one of something then it might be easier to search for it.

When faced with a problem with an easy part and a hard part the argument for starting with the easy part is that it's a good warmup. That's what I usually do, and what I like to see in things I read.

The argument for starting with the hard part is that if you fail there you haven't wasted time on the easy part. For example, proving that there's at most one positive rational number whose square is $2$ is not going to tell you very much about the rational square root of $2$ that does not exist.

Starting with the hard part, the bottleneck, is often the preferred strategy when writing software.

PS The author is wrong to say that when $x >0$, $sqrt{x}$ signifies two two numbers. $4$ does have two real square roots, but the mathematical convention is that only $2 = sqrt{4}$.