From Sequences to Calculus: How Derivatives Prove a Sequence is Decreasing

Sometimes, the most beautiful truths in mathematics are hidden behind intimidating symbols—symbols like $\frac{1}{5^n}$ or the daunting symbol $\frac{d}{dx}$. If you're in the Stripling Mathematician phase, or maybe you're a teacher guiding a student through their first formal proof, you've encountered this feeling. It feels like a huge leap from the gentle progression of Beast Academy or even the foundational logic of Saxon, but that's where the magic of connecting different fields of math happens.

Today, we are tackling a classic proof: showing that the sequence $a_n = \frac{1}{5^n}$ is indeed decreasing. At first glance, it looks like a simple concept—as $n$ gets bigger, the fraction gets smaller. But in mathematics, "simple" requires "proof."

The Bridge from Sequences to Calculus

The key insight here, which is crucial for any future First Proof candidate, is understanding that we don't have to prove the property for discrete integers ($n=1, 2, 3...$). Instead, we can extend the sequence into a continuous function and use the tools of Calculus to prove the property for all real numbers $x \ge 1$.

We define our continuous function $f(x) = \frac{1}{5^x}$. Our goal is to show that this function is decreasing for $x \ge 1$. If we prove that $f(x)$ is decreasing, then the original sequence, $a_n = f(n)$, must also be decreasing.

This is where the power of the derivative comes into play. For a function to be decreasing, its derivative must be negative (i.e., $f'(x) < 0$).

Step-by-Step: Finding the Derivative

The process involves three key mathematical concepts:

1. Rewriting the Function: We rewrite $f(x)$ using negative exponents: $f(x) = 5^{-x}$.
2. Applying the Chain Rule: Since the exponent is $-x$ (not just $x$), we must use the chain rule.
3. The Derivative Rule for Exponentials: We rely on the rule $\frac{d}{dx}(a^x) = a^x \ln a$.

When we combine these, the derivative $f'(x)$ becomes:

• $f'(x) = 5^{-x} \cdot \ln(5) \cdot \frac{d}{dx}(-x)$
• $f'(x) = 5^{-x} \cdot \ln(5) \cdot (-1)$
• $f'(x) = -\frac{\ln(5)}{5^x}$

Analyzing the Sign

Now we just look at the sign of $f'(x)$.

• $\ln(5)$ is positive (since $5 > 1$).
• $5^x$ is always positive.
• We have a negative sign out front ($-\frac{1}{5^x} \cdot \ln(5)$).

Since we are multiplying a positive number ($\frac{1}{5^x}$) and a positive number ($\ln(5)$) and placing a negative sign in front, the entire expression $f'(x)$ is negative for all $x \ge 1$.

Because $f'(x) < 0$, we have proven that $f(x)$ is a decreasing function. Therefore, the sequence $a_n$ is decreasing. The proof is complete!

This ability to translate a discrete concept (a sequence) into a continuous one (a function) and then apply advanced tools like Calculus is a hallmark of a true Math Master. It shows how deeply interconnected different branches of mathematics truly are. If you're working through topics like Precalculus or Advanced Calculus, keep practicing these types of proofs!

If this deep dive into proof methods feels too advanced right now, don't worry! Remember, math will click when it's taught your kid's way. For a more personalized approach, check out Davee's per-student Math companion. For those ready to tackle more complex concepts, we recommend diving into the Abstract Algebra Course to broaden your proof toolkit.

Keep your momentum going! Next time, let's explore how this proof relates to geometric series and convergence. Until then, happy proving!