Why should we prove obvious things?
Because sometimes, things that should be "obvious" turn out to be completely false. Here are some examples:
- Switching doors in the Monty Hall problem "obviously" should not affect the outcome.
- Since Gabriel's horn has finite volume, then it "obviously" has finite surface area.
- "Obviously" we cannot decompose sphere into a finite number of disjoint subsets and reconstruct them into two copies of the original sphere.
- Since the Weierstrass function is everywhere continuous, then "obviously" it must have at least a few differentiable points.
Of course, mathematics has shown that switching doors is to the player's advantage, that Gabriel's horn actually has infinite surface area, that you can indeed get two copies of the original sphere (see Banach-Tarski paradox), and that the Weierstrass function is everywhere continuous but nowhere differentiable. The point being, there are many things out there which are "obvious" but actually turn out to be entirely counterintuitive and opposite what we would otherwise expect. This is the point of rigor: to double check and make sure our intuition is indeed correct, because it isn't always.
I think the answer has four parts.
-
If you ask a random person at Walmart what $$\lim_{n\to \infty} \frac{1}{n}$$ is, then you might not get much. If you tell them that it is $0$, then they probably won't think that it is obvious.
Conversely, if you go to a high level research talk, you will hear "It is obvious that ..." or "It is clear that ..." a lot. And you might not think that it is very obvious.
The point is: Whether something is obvious or not is relative to the person.
Mathematics is built around proving things. There is a justification for everything. This is the very nature of mathematics. We start with some axioms and then we prove everything. So when you ask, "Why should we prove something?", the answer always contains: "Because we are doing mathematics."
You don't need much experience teaching mathematics before you meet a student who is confused about losing points on an exam because of lack of justification. Often the student will respond that they just thought that it was obvious. When you press them a bit harder it becomes clear that they, in fact, have no idea how to justify what they did. Whether or not the student arrived at the correct answer is irrelevant; the point is: if something is truly obvious, then it shouldn't be hard to prove it.
If you want to get good at proving difficult things, why not get experience with proving things by starting to focus on simple or "obvious" things? I think that the experience gained from proving even simple propositions is valuable later in your career as a mathematician.