微积分预备阶段：如何思考不等式的证明逻辑？

Great question! It's totally reasonable to lean on intuition here, but we absolutely can (and should) back this up with a formal proof to ensure our reasoning holds for all real numbers (a) and (b). Let's break this down step by step.

First, recap our foundational facts #

We already have two key truths about real numbers to build on:

• For any real number (a), (a \leq |a|) (since absolute value either matches (a) when (a \geq 0), or gives a positive value greater than (a) when (a < 0)).
• By definition, (|a| = \sqrt{a^2}), so substituting that in gives (a \leq \sqrt{a^2}).

Formal proof of (a \leq \sqrt{a^2 + b^2}) #

Let's construct this using basic properties of inequalities and real numbers:

1. Square non-negativity: For any real number (b), (b^2 \geq 0). This is a core property of real numbers—squaring any real number can't produce a negative result.
2. Extend the inequality: Add (a^2) to both sides of (b^2 \geq 0), which preserves the inequality direction:
   [
   a^2 + b^2 \geq a^2
   ]
3. Monotonicity of square roots: The function (f(x) = \sqrt{x}) is monotonically increasing for all (x \geq 0). That means if (x_1 \leq x_2), then (\sqrt{x_1} \leq \sqrt{x_2}). Applying this to our inequality from step 2:
   [
   \sqrt{a^2 + b^2} \geq \sqrt{a^2}
   ]
4. Transitivity of inequalities: We already know (a \leq \sqrt{a^2}), and we just showed (\sqrt{a^2} \leq \sqrt{a^2 + b^2}). Combining these two gives our final result:
   [
   a \leq \sqrt{a^2 + b^2}
   ]

Addressing your intuitive reasoning #

Your gut check ("we only added (b^2) to the right side, so it must be larger or equal") is correct in spirit, but it skips over the formal steps that make the proof rigorous. The critical implicit assumptions you're relying on are:

• Adding a non-negative value ((b^2)) to (a^2) can't make it smaller (step 2)
• The square root function preserves inequalities because it's increasing (step 3)

Making these assumptions explicit turns your intuition into a solid, mathematical proof.

Quick note on equality #

Equality holds if and only if (b^2 = 0), i.e., (b = 0). In all other cases ((b \neq 0)), (\sqrt{a^2 + b^2}) is strictly greater than (\sqrt{a^2}), so (a < \sqrt{a^2 + b^2}).

内容的提问来源于stack exchange，提问作者Donsert