🎓 BookMCQ
← Back to 10. Infinite Series in Calculus

📝 Binomial series expansion (35 MCQs)

📖 From Calculus • 10. Infinite Series in Calculus • 35 questions available

What is Binomial series expansion?

For any real number rr, the binomial series is (1+x)r=n=0(rn)xn(1+x)^r = \sum_{n=0}^{\infty} \binom{r}{n} x^n, where (rn)=r(r1)(rn+1)n!\binom{r}{n} = \frac{r(r-1)\cdots(r-n+1)}{n!}, converging for x<1|x| < 1; for example, (1+x)1=1x+x2x3+(1+x)^{-1} = 1 - x + x^2 - x^3 + \cdots.

5
Easy
16
Medium
14
Hard

📝 All Binomial series expansion MCQs

Q1. A student attempts to expand (1+x)2(1+x)^{-2} using the binomial series but incorrectly applies the formula for positive integer exponents, resulting in a finite polynomial. Which of the following best analyzes the fundamental error in this reasoning regarding convergence and series structure?

A.The student correctly identified that negative exponents produce finite expansions because the factorial terms eventually become zero.
B.The student failed to recognize that for non-integer or negative exponents, the binomial coefficients never vanish, creating an infinite series valid only for x<1|x|<1. ✅
C.The student's error is purely algebraic; the series actually converges for all real xx, but the coefficients were calculated incorrectly.
D.The expansion is valid as a finite polynomial because (1+x)2(1+x)^{-2} is a rational function, and all rational functions have finite Maclaurin expansions.
💡 Difficulty: hard | ✅ Correct: B

📖 Explanation: This question targets error analysis and conceptual understanding. The core misconception is treating negative exponents like positive integers. For m=2m = -2, the generalized binomial coefficient (2k)\binom{-2}{k} involves a product of negative integers that never equals zero. Thus, the series is infinite. Furthermore, unlike positive integer powers which converge everywhere, this series represents the function only within the radius of convergence x<1|x|<1. Understanding this distinction is crucial for applying the binomial series correctly in calculus.

Q2. Consider the function f(x)=1+xf(x) = \sqrt{1+x}. If one uses the third-degree binomial polynomial to approximate f(0.5)f(0.5), how does the alternating nature of the series terms influence the error bound compared to using the Remainder Estimation Theorem directly?

A.The Alternating Series Estimation Theorem provides a tighter error bound equal to the magnitude of the first omitted term, whereas the Lagrange remainder requires finding a maximum derivative value. ✅
B.The Lagrange remainder is always more accurate because it accounts for the specific value of xx, while the alternating series test only gives asymptotic behavior.
C.Both methods yield identical numerical error bounds because the derivatives of 1+x\sqrt{1+x} are constant on the interval.
D.The Alternating Series Estimation Theorem cannot be applied here because the terms do not strictly decrease in magnitude for x=0.5x=0.5.
💡 Difficulty: medium | ✅ Correct: A

📖 Explanation: This application question compares two distinct error-checking methods. For 1+x=(1+x)1/2\sqrt{1+x} = (1+x)^{1/2}, the binomial expansion yields an alternating series for x>0x>0. The Alternating Series Estimation Theorem states the error is bounded by the absolute value of the next term. This is often computationally simpler than the Lagrange form Rn(x)R_n(x), which requires maximizing f(n+1)(z)|f^{(n+1)}(z)|. Recognizing when a binomial series is alternating allows for efficient, rigorous error analysis without complex derivative optimization.

Q3. In modeling relativistic kinetic energy, the expression K=mc2[(1v2/c2)1/21]K = mc^2 [ (1 - v^2/c^2)^{-1/2} - 1 ] is approximated using a binomial series. Why is it physically and mathematically justified to truncate this series after the quadratic term for everyday velocities?

A.Because the binomial series for negative half-integers terminates naturally after the second term, making the approximation exact.
B.Because v/c1v/c \ll 1, higher-order terms involve powers of (v/c)4(v/c)^4 and beyond, which become negligibly small, effectively reducing the relativistic model to the Newtonian limit. ✅
C.Because the radius of convergence for this specific physical application extends to infinity, allowing arbitrary truncation without loss of precision.
D.Because the linear term vanishes due to symmetry, leaving only the quadratic term as the dominant non-zero component.
💡 Difficulty: medium | ✅ Correct: B

📖 Explanation: This scenario-based question links mathematical series to physical modeling. The binomial expansion of (1u)1/2(1-u)^{-1/2} is 1+u/2+3u2/8+1 + u/2 + 3u^2/8 + \dots where u=v2/c2u=v^2/c^2. Since vcv \ll c in classical mechanics, uu is extremely small. Higher-order terms scale as u2,u3u^2, u^3, etc., decaying rapidly. Truncating yields Kmc2(u/2)=12mv2K \approx mc^2(u/2) = \frac{1}{2}mv^2, recovering Newtonian physics. This demonstrates how convergence rates justify model simplification in applied mathematics.

Q4. Analyze the graph of the partial sums Sn(x)S_n(x) for the binomial series of (1+x)1(1+x)^{-1} on the interval (1,1)(-1, 1). As nn increases, why does the approximation deteriorate significantly near x=1x = -1 despite converging pointwise elsewhere?

A.The series diverges at x=1x=-1, causing Gibbs-like oscillations and slow convergence near the boundary of the interval of convergence.
B.The function (1+x)1(1+x)^{-1} has a vertical asymptote at x=1x=-1, so no polynomial can uniformly approximate a singularity; convergence is non-uniform near the endpoint. ✅
C.The radius of convergence shrinks as nn increases, excluding points closer to -1 from the valid domain.
D.The partial sums converge to zero at x=1x=-1 instead of infinity, indicating a fundamental flaw in the binomial theorem.
💡 Difficulty: hard | ✅ Correct: B

📖 Explanation: This graph/conceptual question addresses uniform vs. pointwise convergence. While the geometric series (x)n\sum (-x)^n converges to 1/(1+x)1/(1+x) for x<1|x|<1, the function blows up at x=1x=-1. Polynomials are continuous and bounded on closed intervals; they cannot mimic a vertical asymptote. Consequently, near the singularity, an arbitrarily high degree is needed for a fixed accuracy. This illustrates the limitation of power series representations near singularities and explains visual artifacts in graphing utilities.

Q5. A student claims that since (1+x)4(1+x)^4 expands to a finite polynomial valid for all xx, the binomial series formula (mk)xk\sum \binom{m}{k}x^k must also converge for all xx when m=4m=4. How does this relate to the general convergence criteria for non-integer mm?

A.The student is correct; the binomial series always converges for all real xx regardless of mm, provided the coefficients are defined via factorials.
B.The student confuses the special case of integer exponents with the general case; for non-integer mm, the series is infinite and converges absolutely only for x<1|x|<1. ✅
C.The student's reasoning holds only for positive integers; for negative integers, the series converges for all x1x \neq -1.
D.The convergence depends solely on the sign of xx, not on whether mm is an integer or not.
💡 Difficulty: easy | ✅ Correct: B

📖 Explanation: This direct recall/conceptual question clarifies a critical bifurcation in the theory. When mm is a non-negative integer, (mk)=0\binom{m}{k}=0 for k>mk>m, terminating the series and granting infinite radius of convergence. For any other real mm, the coefficients never vanish, producing an infinite power series with radius R=1R=1. Confusing these cases leads to incorrect domain assumptions in integration and differential equations. Mastery requires distinguishing the algebraic termination from analytic convergence.

Q6. When deriving the Maclaurin series for arcsin(x)\arcsin(x) by integrating the binomial expansion of (1x2)1/2(1-x^2)^{-1/2}, what critical step ensures the resulting series represents the principal branch of the inverse sine function?

A.Setting the constant of integration to zero based on arcsin(0)=0\arcsin(0)=0 and verifying the interval of convergence includes the endpoints. ✅
B.Assuming the integrated series converges for all xx because integration always increases the radius of convergence.
C.Using the positive root of the binomial expansion exclusively, as negative roots correspond to different branches.
D.Differentiating the result to confirm it matches (1x2)1/2(1-x^2)^{-1/2} without checking initial conditions.
💡 Difficulty: medium | ✅ Correct: A

📖 Explanation: This multi-step reasoning question connects integration, series, and function definition. Integrating (1/2k)(x2)k\sum \binom{-1/2}{k}(-x^2)^k yields a series plus CC. Since arcsin(0)=0\arcsin(0)=0, we must have C=0C=0. Additionally, while the original series converges for x<1|x|<1, the integrated series may converge at endpoints ±1\pm 1. Confirming C=0C=0 anchors the series to the specific function branch. Without this, the series could represent arcsin(x)+C\arcsin(x) + C, failing to model the intended mathematical object accurately.

Q7. Compare the efficiency of computing 1.1\sqrt{1.1} using the binomial series centered at 0 versus using a Taylor series centered at x=1x=1. Which statement best justifies the preferred method for numerical approximation?

A.The binomial series at 0 is preferred because x=0.1x=0.1 is small, ensuring rapid convergence with fewer terms than expanding around 1 where x1x-1 would be larger. ✅
B.Expanding around x=1x=1 is superior because the derivatives of x\sqrt{x} at 1 are simpler rational numbers compared to the fractional coefficients in the binomial series.
C.Both methods require exactly the same number of terms for equivalent accuracy because they are mathematically identical transformations.
D.The binomial series at 0 is invalid for x=0.1x=0.1 because the radius of convergence is strictly less than 0.1.
💡 Difficulty: medium | ✅ Correct: A

📖 Explanation: This comparative analysis question evaluates practical numerical strategy. Both series are valid: (1+0.1)1/2(1+0.1)^{1/2} uses x=0.1x=0.1 in the standard binomial form, while Taylor at 1 uses (x1)=0.1(x-1)=0.1. They are essentially the same series shifted. However, the binomial form (1/2k)(0.1)k\sum \binom{1/2}{k}(0.1)^k is computationally streamlined via recursive coefficient formulas. The key insight is recognizing that 'small x' drives convergence speed. If evaluating 3\sqrt{3}, neither is optimal; one would center at 4 or use 3=4(10.25)\sqrt{3}=\sqrt{4(1-0.25)}.

Q8. Identify the flaw in the following deduction: 'Since (1+x)1/3=(1/3k)xk(1+x)^{1/3} = \sum \binom{1/3}{k}x^k for x<1|x|<1, substituting x=2x=2 gives a valid representation for 33\sqrt[3]{3} because the function 1+x3\sqrt[3]{1+x} is continuous at x=2x=2.'

A.Continuity of the function does not imply convergence of its power series outside the radius of convergence; the series diverges at x=2x=2. ✅
B.The flaw is that (1/3k)\binom{1/3}{k} is undefined for x>1x>1, making the substitution algebraically illegal.
C.The series actually converges at x=2x=2 but to a complex value, not the real cube root.
D.There is no flaw; Abel’s Theorem guarantees convergence at any point where the function is continuous.
💡 Difficulty: medium | ✅ Correct: A

📖 Explanation: This error analysis question tests the boundary between function domains and series convergence domains. A function may be smooth and continuous everywhere (like 1+x3\sqrt[3]{1+x}), yet its Maclaurin series has a finite radius of convergence determined by singularities in the complex plane (here, branch point at x=1x=-1). At x=2x=2, x>R=1|x|>R=1, so the series diverges regardless of the function's behavior. Students must distinguish analytic continuation from power series representation validity.

Q9. In the binomial expansion of (1x)3(1-x)^{-3}, the coefficient of xkx^k can be expressed in closed form. Which of the following correctly derives this coefficient using combinatorial identities rather than direct differentiation?

A.(k+22)\binom{k+2}{2}, derived from the identity (nk)=(1)k(n+k1k)\binom{-n}{k} = (-1)^k \binom{n+k-1}{k} with n=3n=3. ✅
B.(k3)\binom{k}{3}, based on selecting 3 items from k with replacement.
C.(3)(4)(3k+1)k!\frac{(-3)(-4)\dots(-3-k+1)}{k!}, which simplifies to (1)k(k+2)!2!k!(-1)^k \frac{(k+2)!}{2!k!}.
D.(3k)\binom{3}{k}, assuming symmetry between positive and negative exponents.
💡 Difficulty: hard | ✅ Correct: A

📖 Explanation: This challenging question bridges calculus and combinatorics. Direct differentiation of (1x)3(1-x)^{-3} is tedious. Using the negative binomial identity (nk)=(1)k(n+k1k)\binom{-n}{k} = (-1)^k \binom{n+k-1}{k} transforms the problem into counting combinations with repetition. For n=3n=3, coeff is (1)k(1)k(k+2k)=(k+22)(-1)^k (-1)^k \binom{k+2}{k} = \binom{k+2}{2}. This reveals the deep connection between Taylor coefficients and combinatorial structures. Option C is algebraically correct but not simplified to the elegant combinatorial form requested. Recognizing these patterns accelerates series manipulation in advanced problems.

Q10. A physics model requires expanding (1+ϵsinθ)2(1 + \epsilon \sin \theta)^{-2} where ϵ1\epsilon \ll 1. If a student retains terms up to O(ϵ2)O(\epsilon^2) but incorrectly treats sinθ\sin \theta as a constant during expansion, what is the consequence for the angular dependence of the model?

A.The model loses all angular variation, predicting a spherically symmetric field instead of the correct dipole/quadrupole structure. ✅
B.The model remains accurate because ϵ\epsilon dominates the error, making angular terms negligible.
C.The error introduces spurious high-frequency harmonics not present in the original expression.
D.The expansion becomes valid only at θ=0\theta = 0 and θ=π\theta = \pi, failing at intermediate angles.
💡 Difficulty: hard | ✅ Correct: A

📖 Explanation: This mixed-concept question integrates series expansion with physical interpretation. Expanding (1+u)212u+3u2(1+u)^{-2} \approx 1 - 2u + 3u^2 with u=ϵsinθu=\epsilon \sin\theta yields 12ϵsinθ+3ϵ2sin2θ1 - 2\epsilon\sin\theta + 3\epsilon^2\sin^2\theta. Treating sinθ\sin\theta as constant ignores that uu itself varies with θ\theta. The resulting truncated series must preserve functional dependence. Losing sinθ\sin\theta terms destroys the directional information essential in fields like electromagnetism or fluid dynamics. Correct perturbation theory requires carrying the variable through every order of expansion.

Q11. Why does the binomial series for (1+x)m(1+x)^m fail to represent the function at x=1x=-1 when m1m \leq -1, even though the function is defined there for some negative integers?

A.At x=1x=-1, the series becomes a harmonic-type series that diverges, reflecting the singularity or non-integrability at the boundary for these exponents. ✅
B.The function (1+x)m(1+x)^m is undefined at x=1x=-1 for all negative mm, so the series correctly reflects this by diverging.
C.Abel’s Theorem prevents convergence at endpoints for any power series with negative exponents.
D.The coefficients grow too slowly to overcome the alternating signs, causing conditional convergence failure.
💡 Difficulty: hard | ✅ Correct: A

📖 Explanation: This conceptual question probes endpoint behavior. For m=1m=-1, series is (1)k(1)k=1\sum (-1)^k (-1)^k = \sum 1, diverging. For m=2m=-2, terms grow linearly. Even if f(1)f(-1) exists (e.g., m=2m=-2 gives \infty, but consider limits), the series representation breaks down. The divergence at x=1x=-1 for m1m \leq -1 corresponds to the function's blow-up or insufficient decay rate. Contrast with m>0m>0 where series converges absolutely at endpoints. This highlights that series convergence is stricter than function definition.

Q12. Given the binomial series k=0(1/2k)xk\sum_{k=0}^{\infty} \binom{1/2}{k} x^k for 1+x\sqrt{1+x}, suppose you need to estimate 0.9\sqrt{0.9}. Why is rewriting 0.9=10.1\sqrt{0.9} = \sqrt{1-0.1} preferable to solving 1+x=0.9\sqrt{1+x}=0.9 for xx and plugging into the series?

A.Rewriting sets x=0.1x=-0.1, keeping x|x| small and within the fast-convergence zone; solving 1+x=0.811+x=0.81 gives x=0.19x=-0.19, nearly doubling the argument and slowing convergence. ✅
B.Both approaches yield identical convergence rates because the magnitude of deviation from 1 is the same.
C.Solving for xx is better because positive xx values avoid alternating series complications.
D.The series for 1+x\sqrt{1+x} is invalid for negative xx, forcing the algebraic rearrangement.
💡 Difficulty: medium | ✅ Correct: A

📖 Explanation: This application question emphasizes strategic variable selection. Convergence speed of ckxk\sum c_k x^k depends critically on x|x|. Smaller x|x| means faster decay of terms. 0.9=(10.1)1/2\sqrt{0.9} = (1-0.1)^{1/2} uses x=0.1x=-0.1. Incorrectly setting 1+x=0.9x=0.11+x=0.9 \Rightarrow x=-0.1 is actually correct, but if a student mistakenly thinks they need 1+x=0.9x=0.19\sqrt{1+x}=0.9 \Rightarrow x=-0.19 (confusing f(x)=yf(x)=y with input), error grows. The key lesson: always frame the problem as (1+δ)m(1+\delta)^m with minimal δ|\delta|. This principle underpins efficient numerical algorithms.

Q13. Analyze the coefficient pattern in the expansion of (1+x)1/2(1+x)^{-1/2}. If the kk-th coefficient is denoted aka_k, which recurrence relation correctly generates subsequent terms without recomputing factorials, and why is this numerically stable?

A.ak=ak1(2k1)2ka_{k} = a_{k-1} \cdot \frac{-(2k-1)}{2k}; this avoids large intermediate factorial values that cause overflow and preserves sign alternation inherently. ✅
B.ak=ak1k1/2ka_{k} = a_{k-1} \cdot \frac{k-1/2}{k}; this is unstable because it accumulates rounding errors from fractional arithmetic.
C.ak=(1/2k)a_{k} = \binom{-1/2}{k}; direct computation is always more stable than recurrence.
D.ak=ak112ka_{k} = a_{k-1} \cdot \frac{-1}{2k}; this misses the odd-number product structure essential for correctness.
💡 Difficulty: hard | ✅ Correct: A

📖 Explanation: This Olympiad-style question addresses computational mathematics. Directly computing (1/2k)\binom{-1/2}{k} involves huge factorials and tiny fractions, risking floating-point errors. The recurrence (mk)=(mk1)mk+1k\binom{m}{k} = \binom{m}{k-1} \frac{m-k+1}{k} with m=1/2m=-1/2 gives multiplier 1/2k+1k=(2k1)2k\frac{-1/2-k+1}{k} = \frac{-(2k-1)}{2k}. This keeps numbers moderate and maintains precision. Recognizing such recurrences is vital for implementing special functions in code. It also reveals structural properties: coefficients alternate sign and decrease monotonically for x>0x>0, ensuring stability in summation.

Q14. When approximating 00.5(1+t3)1/3dt\int_0^{0.5} (1+t^3)^{1/3} dt using binomial series, a student integrates term-by-term but forgets to adjust the limits of integration for each power. What type of error does this introduce?

A.The student computes (1/3k)(0.5)3k3k\sum \binom{1/3}{k} \frac{(0.5)^{3k}}{3k} instead of (1/3k)(0.5)3k+13k+1\sum \binom{1/3}{k} \frac{(0.5)^{3k+1}}{3k+1}, systematically underestimating the integral by misaligning powers with antiderivatives. ✅
B.The error is negligible because t3t^3 is small, making higher-order corrections irrelevant.
C.The student overestimates the integral because the denominator should be 3k13k-1 for binomial integrals.
D.No error occurs because integration is linear and commutes with summation regardless of power adjustment.
💡 Difficulty: medium | ✅ Correct: A

📖 Explanation: This error analysis question targets procedural fluency. Integrating (1+t3)1/3=(1/3k)t3k(1+t^3)^{1/3} = \sum \binom{1/3}{k} t^{3k} yields (1/3k)t3k+13k+1\sum \binom{1/3}{k} \frac{t^{3k+1}}{3k+1}. Forgetting the '+1' in the exponent/denominator is a common mechanical mistake. At t=0.5t=0.5, this produces wrong numerical values. The question reinforces that term-by-term integration requires careful handling of the variable transformation. It also implicitly tests understanding that the series variable is t3t^3, not tt, complicating the antiderivative step compared to standard xkx^k forms.

Q15. Consider the graphs of y=(1+x)my=(1+x)^m for m=0.5,0.5,1.5m=0.5, -0.5, -1.5 alongside their 3rd-degree binomial polynomials on [0.8,0.8][-0.8, 0.8]. Which observation best explains why the approximation for m=1.5m=-1.5 deviates most rapidly as x0.8x \to -0.8?

A.The singularity at x=1x=-1 is closer and stronger for m=1.5m=-1.5 (blowing up as (1+x)3/2(1+x)^{-3/2}), causing the radius of convergence to be effectively 'felt' sooner and more severely. ✅
B.Negative exponents always produce worse approximations than positive ones regardless of distance to singularity.
C.The third-degree polynomial lacks sufficient inflection points to match the convexity of m=1.5m=-1.5, unlike the gentler curves of m=±0.5m=\pm 0.5.
D.The binomial coefficients for m=1.5m=-1.5 grow slower than for m=0.5m=-0.5, providing less corrective feedback near the boundary.
💡 Difficulty: hard | ✅ Correct: A

📖 Explanation: This graph-based conceptual question links visual intuition to analytic theory. All three functions share R=1R=1, but the nature of the singularity at x=1x=-1 differs. m=1.5m=-1.5 has a non-integrable singularity (p>1p>1 in (1+x)p(1+x)^{-p}), while m=0.5m=-0.5 is integrable. Stronger singularities induce larger Taylor coefficients asymptotically, slowing convergence. Visually, the polynomial 'peels away' faster near the problematic endpoint. This teaches that convergence rate isn't binary; it's modulated by singularity strength, impacting practical approximation ranges.

Q16. A researcher models population growth with P(t)=P0(1+r)tP(t) = P_0 (1 + r)^t where tt is continuous. To linearize for small rr, they use (1+r)t1+tr(1+r)^t \approx 1 + tr. Under what condition does this first-order binomial approximation introduce less than 1% relative error for t=10t=10?

A.When r<0.002r < 0.002, because the neglected quadratic term (t2)r2t2r22\binom{t}{2}r^2 \approx \frac{t^2 r^2}{2} must satisfy tr2<0.01\frac{tr}{2} < 0.01 relative to the linear term. ✅
B.When r<0.1r < 0.1, because binomial series always converge rapidly for r<0.1r<0.1 regardless of tt.
C.When tr<0.01t \cdot r < 0.01, ignoring the exponent's role in higher-order terms.
D.When r<0.01r < 0.01, based solely on the magnitude of the first omitted term without scaling by tt.
💡 Difficulty: hard | ✅ Correct: A

📖 Explanation: This mixed-concept modeling question combines binomial approximation with error budgeting. Relative error (t2)r2tr=(t1)r2tr2\approx \frac{\binom{t}{2}r^2}{tr} = \frac{(t-1)r}{2} \approx \frac{tr}{2} for large tt. Setting 10r2<0.01\frac{10r}{2} < 0.01 gives r<0.002r < 0.002. Options ignoring tt fail because exponent amplifies nonlinearity. This illustrates that 'small parameter' is context-dependent; r=0.05r=0.05 might be small for t=1t=1 but disastrous for t=100t=100. Proper modeling requires scaling analysis, not just rote threshold memorization.

Q17. Which of the following statements correctly distinguishes the binomial series from the geometric series in terms of generality and special cases?

A.The geometric series is the specific case of the binomial series where the exponent m=1m = -1; the binomial series generalizes this to any real exponent, introducing factorial-based coefficients. ✅
B.The binomial series is a special case of the geometric series applicable only when the ratio is negative.
C.Both series are entirely distinct with no mathematical relationship; they arise from different branches of analysis.
D.The geometric series converges for x<1|x|<1 while the binomial series converges for all xx, making the latter strictly more powerful.
💡 Difficulty: easy | ✅ Correct: A

📖 Explanation: This direct recall question establishes foundational taxonomy. Geometric series (x)k=(1+x)1\sum (-x)^k = (1+x)^{-1} corresponds exactly to m=1m=-1 in (1+x)m(1+x)^m. Binomial coefficients (1k)=(1)k\binom{-1}{k} = (-1)^k reduce to geometric ratios. For other mm, coefficients become m(m1)k!\frac{m(m-1)\dots}{k!}. Recognizing this unification simplifies learning: many series tests and properties for geometric series extend intuitively to binomial series. It also explains why both share R=1R=1 (singularity at x=1x=-1) except for integer m0m \geq 0.

Q18. In proving that ddx(1+x)m=m(1+x)m1\frac{d}{dx}(1+x)^m = m(1+x)^{m-1} using binomial series, one differentiates (mk)xk\sum \binom{m}{k}x^k term-by-term. What subtle justification is required to validate this operation within the radius of convergence?

A.Power series can be differentiated term-by-term inside their open interval of convergence, and the resulting series has the same radius, preserving equality to the derivative of the sum. ✅
B.Differentiation is always valid for infinite series regardless of convergence, as it is a linear operator.
C.The derived series converges only for x<R/2|x| < R/2, requiring restriction to a smaller domain.
D.Term-by-term differentiation is only valid if mm is a positive integer; otherwise, one must use the limit definition.
💡 Difficulty: medium | ✅ Correct: A

📖 Explanation: This conceptual question addresses analytical rigor. A key theorem states that within (R,R)(-R, R), ddxakxk=kakxk1\frac{d}{dx}\sum a_k x^k = \sum k a_k x^{k-1}, and both share radius RR. For binomial series, differentiating (mk)xk\binom{m}{k}x^k yields m(m1k1)xk1m \binom{m-1}{k-1} x^{k-1}, reconstructing m(1+x)m1m(1+x)^{m-1}. Students often perform this mechanically without knowing it's justified by uniform convergence on compact subsets. Understanding this validates manipulating series as functions, bridging formal power series and calculus operations safely.

Q19. A student expands (4+x)1/2(4+x)^{1/2} as (1/2k)41/2kxk\sum \binom{1/2}{k} 4^{1/2-k} x^k. Another rewrites it as 2(1+x/4)1/22(1+x/4)^{1/2} and expands. Why is the second approach overwhelmingly preferred for manual calculation and error estimation?

A.Factoring out 4 creates a standard (1+u)m(1+u)^m form with u=x/4u=x/4, yielding simpler coefficients and explicit convergence condition x/4<1|x/4|<1, avoiding messy fractional powers of 4 in each term. ✅
B.Both forms are equally simple; the choice is purely aesthetic.
C.The first form is actually better because it avoids introducing an extra factor of 2 outside the summation.
D.The second form changes the radius of convergence to 4, making it invalid for x>1|x|>1, whereas the first works everywhere.
💡 Difficulty: medium | ✅ Correct: A

📖 Explanation: This application question teaches normalization technique. Standard binomial series requires leading 1. Writing (4+x)1/2=4(1+x/4)=2(1+x/4)1/2(4+x)^{1/2} = \sqrt{4(1+x/4)} = 2(1+x/4)^{1/2} isolates the perturbation u=x/4u=x/4. Coefficients become 2(1/2k)(1/4)k2 \binom{1/2}{k} (1/4)^k, clean and tabulated. Direct expansion involves (1/2k)41/2k\binom{1/2}{k} 4^{1/2-k}, prone to arithmetic errors. Also, convergence x/4<1x<4|x/4|<1 \Rightarrow |x|<4 is immediately visible. This normalization is a universal skill in asymptotic analysis and perturbation theory, transforming arbitrary expressions into canonical forms.

Q20. Suppose you are given the series k=0(1)k(2k)!(k!)24kxk\sum_{k=0}^{\infty} \frac{(-1)^k (2k)!}{(k!)^2 4^k} x^k. Without prior knowledge, how would you identify this as a binomial series and determine its closed form?

A.Recognize (2k)!(k!)2=(2kk)\frac{(2k)!}{(k!)^2} = \binom{2k}{k} and relate to central binomial coefficients in (14x)1/2(1-4x)^{-1/2} or similar, then adjust signs/powers to match (1+x)1/2(1+x)^{-1/2}. ✅
B.Assume it is geometric because of the 4k4^k denominator and guess 1/(1+x/4)1/(1+x/4).
C.Conclude it is not binomial because coefficients don't match (mk)\binom{m}{k} for any obvious mm.
D.Use ratio test to find R=1R=1, then integrate to find the function.
💡 Difficulty: hard | ✅ Correct: A

📖 Explanation: This Olympiad-style reverse-engineering question tests deep pattern recognition. Coefficient (2k)!(k!)24k=(2kk)/4k\frac{(2k)!}{(k!)^2 4^k} = \binom{2k}{k} / 4^k relates to (1/2k)(1)k\binom{-1/2}{k} (-1)^k. Specifically, (1/2k)=(1)k(2kk)4k\binom{-1/2}{k} = \frac{(-1)^k \binom{2k}{k}}{4^k}. Thus series is (1/2k)xk=(1+x)1/2\sum \binom{-1/2}{k} x^k = (1+x)^{-1/2}. Identifying hidden binomial structures in combinatorial series is crucial in generatingfunctionology. Distractors reflect common misidentifications. Success requires familiarity with double-factorial identities and their link to fractional binomial coefficients, going beyond textbook examples.

Q21. In a numerical analysis course, students compare truncating the binomial series for (1+x)10(1+x)^{10} versus (1+x)10.1(1+x)^{10.1} at degree 10. Why does the former give exact results while the latter requires infinite terms for full precision?

A.For integer exponent 10, (10k)=0\binom{10}{k}=0 when k>10k>10, terminating the series exactly; for 10.1, coefficients never vanish, leaving a residual tail requiring convergence analysis. ✅
B.Both require infinite terms because 10.1 is close to 10, causing numerical instability.
C.The series for (1+x)10(1+x)^{10} diverges for x>1x>1, making truncation unsafe, unlike 10.1.
D.Truncation at degree 10 is arbitrary; both series have identical error profiles for x<1|x|<1.
💡 Difficulty: easy | ✅ Correct: A

📖 Explanation: This direct recall question reinforces the integer vs. non-integer dichotomy. (1+x)n(1+x)^n for nNn \in \mathbb{N} is a polynomial of degree nn; binomial series terminates. For nNn \notin \mathbb{N}, series is infinite. At degree 10, (1+x)10(1+x)^{10} is captured perfectly. (1+x)10.1(1+x)^{10.1} still has nonzero k=11,12,k=11,12,\dots terms. This isn't about approximation quality per se, but structural finiteness. Understanding this prevents wasting effort estimating remainders for polynomials and highlights why symbolic systems handle integer powers differently.

Q22. When using the binomial series to approximate 1+x3\sqrt[3]{1+x} for x=0.08x=0.08, a student uses 4 terms. How can they verify the result's accuracy without computing the true value, leveraging the series' alternating property?

A.Check that the absolute value of the 5th term is less than the desired tolerance; for alternating decreasing series, this bounds the truncation error. ✅
B.Compute the 5th and 6th terms and average them to cancel leading error.
C.Differentiate the partial sum and compare to the known derivative at x=0.08x=0.08.
D.Increase to 8 terms and assume convergence if the result stabilizes to 4 decimal places.
💡 Difficulty: medium | ✅ Correct: A

📖 Explanation: This application question focuses on self-validating computation. For (1+x)1/3(1+x)^{1/3} with x>0x>0, terms alternate and decrease in magnitude. Alternating Series Estimation Theorem guarantees Erroran+1|Error| \leq |a_{n+1}|. Computing a5|a_5| provides a rigorous, a priori error bound without external reference. Averaging or stabilization heuristics lack guarantees. This skill is vital in scientific computing where true values are unknown. It reinforces checking series properties (alternating, decreasing) before applying error theorems, preventing misuse on non-alternating expansions.

Q23. A common misconception is that the binomial series for (1+x)m(1+x)^m converges to the function for all xx in the function's domain. Which counterexample most effectively disproves this for m=1m=-1?

A.The function 1/(1+x)1/(1+x) is defined at x=2x=2, but the series (x)k\sum (-x)^k diverges there because x>1|x|>1. ✅
B.The function is undefined at x=1x=-1, and the series also diverges there, showing perfect agreement.
C.The series converges at x=0.5x=0.5 but the function has a different value due to branch cuts.
D.The series converges for all xx, but the function is only defined for x>1x>-1.
💡 Difficulty: easy | ✅ Correct: A

📖 Explanation: This conceptual question dismantles a persistent myth. Domain of f(x)=(1+x)1f(x)=(1+x)^{-1} is R{1}\mathbb{R} \setminus \{-1\}. Series (1)kxk\sum (-1)^k x^k converges only for x<1|x|<1. At x=2x=2, f(2)=1/3f(2)=1/3 exists, but series 12+481-2+4-8\dots diverges. This starkly separates function existence from series representation validity. Students must internalize that power series are local representations tied to expansion center and nearest singularity, not global function definitions. This counterexample is canonical because it's simple yet definitive.

Q24. In deriving the period of a pendulum, one expands (1k2sin2ϕ)1/2(1-k^2 \sin^2 \phi)^{-1/2}. Why is it valid to integrate the resulting binomial series term-by-term over [0,π/2][0, \pi/2] even though k2sin2ϕk^2 \sin^2 \phi reaches k2k^2 at the upper limit?

A.For k<1|k|<1, the series converges uniformly on [0,π/2][0, \pi/2], permitting term-by-term integration; the maximum argument k2<1k^2 < 1 stays strictly within the radius of convergence. ✅
B.Integration is always valid for power series regardless of endpoint behavior.
C.The series diverges at ϕ=π/2\phi=\pi/2, but the integral of the sum equals the sum of integrals by Abel’s Theorem.
D.The expansion is only valid for small ϕ\phi; integrating to π/2\pi/2 introduces systematic error.
💡 Difficulty: hard | ✅ Correct: A

📖 Explanation: This mixed-concept question combines series, integration, and physics. Uniform convergence on compact subsets of (R,R)(-R,R) justifies termwise integration. Here, argument u=k2sin2ϕ[0,k2]u=k^2\sin^2\phi \in [0,k^2]. Since k<1|k|<1, uu stays in [0,1)[0,1), avoiding the singularity at u=1u=1. Uniform convergence holds, validating the elliptic integral expansion. If k=1k=1, singularity hits endpoint, breaking uniformity and requiring improper integral treatment. Recognizing parameter-dependent convergence domains is essential in applied analysis, distinguishing safe regimes from singular limits.

Q25. A student computes (0.53)\binom{0.5}{3} as 0.5(0.51)(0.52)3!=0.5(0.5)(1.5)6=0.0625\frac{0.5(0.5-1)(0.5-2)}{3!} = \frac{0.5(-0.5)(-1.5)}{6} = 0.0625. Another gets 0.0625-0.0625. Who is correct and what sign-tracking principle was likely violated?

A.The first student is correct; two negatives make a positive. The second likely mishandled the product (0.5)(1.5)(-0.5)(-1.5) or forgot the numerator's sign structure. ✅
B.The second student is correct because binomial coefficients for fractional mm always alternate sign starting negative.
C.Both are wrong; the coefficient should be 0.1250.125.
D.The first student is wrong because (0.53)\binom{0.5}{3} must be negative for convergence.
💡 Difficulty: medium | ✅ Correct: A

📖 Explanation: This error analysis question targets computational precision. (0.53)=(0.5)(0.5)(1.5)6=0.3756=0.0625\binom{0.5}{3} = \frac{(0.5)(-0.5)(-1.5)}{6} = \frac{0.375}{6} = 0.0625. Signs: (+)(-)(-) = +. Common errors include dropping a negative or miscounting factors. For (1+x)1/2(1+x)^{1/2}, signs alternate: +,+,,+,+, +, -, +, - \dots Wait: (1/20)=1,(1/21)=1/2,(1/22)=1/8,(1/23)=1/16=0.0625\binom{1/2}{0}=1, \binom{1/2}{1}=1/2, \binom{1/2}{2}=-1/8, \binom{1/2}{3}=1/16=0.0625. So positive is correct. Tracking sign patterns helps catch arithmetic slips. This reinforces careful evaluation of generalized binomial coefficients, where intuition from integer cases fails.

Q26. Why can't the binomial series be used directly to expand (x21)1/2(x^2 - 1)^{1/2} around x=0x=0, and what transformation resolves this?

A.The expression equals 1(1x2)\sqrt{-1(1-x^2)}, involving imaginary unit at x=0x=0; rewrite as i(1x2)1/2i(1-x^2)^{1/2} or shift center to x=1x=1 for real expansion. ✅
B.It can be used directly; the series will simply have complex coefficients.
C.The function is not differentiable at x=0x=0, preventing any series expansion.
D.The binomial series only applies to (1+x)m(1+x)^m, not (x21)m(x^2-1)^m, regardless of transformation.
💡 Difficulty: medium | ✅ Correct: A

📖 Explanation: This conceptual question addresses domain and form constraints. At x=0x=0, x21=1x^2-1 = -1, so 1=i\sqrt{-1}=i. Real-valued expansion around 0 is impossible. Transforming to i(1x2)1/2i(1-x^2)^{1/2} yields valid complex series, or shifting to x=1x=1 (let x=1+tx=1+t) gives real expansion 2t+t2\sqrt{2t+t^2}. Recognizing when standard forms fail due to domain issues is critical. Students must check function reality and analyticity before applying templates. This prevents nonsensical real approximations of imaginary quantities.

Q27. In comparing the binomial expansion of (1+x)4(1+x)^4 computed via Pascal's triangle versus the generalized formula (4k)xk\sum \binom{4}{k}x^k, what insight does the equivalence provide about the continuity of combinatorial definitions?

A.The generalized binomial coefficient (nk)=n(n1)k!\binom{n}{k} = \frac{n(n-1)\dots}{k!} reduces to n!k!(nk)!\frac{n!}{k!(n-k)!} for integer nn, showing discrete combinatorics embeds smoothly into analytic function theory. ✅
B.Pascal's triangle is only valid for n10n \leq 10; the formula extends it artificially.
C.The two methods produce different coefficients for k>nk>n, revealing a discontinuity in the definition.
D.The equivalence is coincidental and holds only for n=4n=4, not generally.
💡 Difficulty: easy | ✅ Correct: A

📖 Explanation: This conceptual question unifies discrete and continuous math. For integer nn, n(n1)(nk+1)k!=n!k!(nk)!\frac{n(n-1)\dots(n-k+1)}{k!} = \frac{n!}{k!(n-k)!} when knk \leq n, and 0 when k>nk>n (since factor nn=0n-n=0 appears). This shows the analytic definition naturally extends and terminates the combinatorial one. Understanding this continuity explains why binomial theorem works universally. It also justifies using gamma functions for non-integers. This foundational link enriches understanding beyond mechanical computation.

Q28. A model uses (1+x)3/2(1+x)^{-3/2} for gravitational potential. If measurement error makes xx uncertain by ±0.01\pm 0.01 near x=0.1x=0.1, how does the binomial series help quantify propagated uncertainty beyond linear approximation?

A.Higher-order terms in the series provide quadratic/cubic sensitivity coefficients, enabling second-order error propagation \Delta f \approx f&#039;(x)\Delta x + \frac{1}{2}f&#039;&#039;(x)(\Delta x)^2. ✅
B.Only the first term matters; uncertainty is always linear.
C.The series cannot handle uncertainty; Monte Carlo simulation is required.
D.Uncertainty is quantified by the radius of convergence, not term magnitudes.
💡 Difficulty: hard | ✅ Correct: A

📖 Explanation: This mixed-concept question links series to error analysis. Linear approximation uses f&#039;(x). Binomial series explicitly gives f&#039;&#039;(x), f&#039;&#039;&#039;(x) via coefficients: f(x)a0+a1x+a2x2f(x) \approx a_0 + a_1 x + a_2 x^2. Uncertainty σf2(a1σx)2+(2a2xσx)2+\sigma_f^2 \approx (a_1 \sigma_x)^2 + (2a_2 x \sigma_x)^2 + \dots. Including a2a_2 captures curvature effects missed linearly. For x=0.1,Δx=0.01x=0.1, \Delta x=0.01, quadratic term may be significant. Series provide ready-made derivatives for Taylor-based uncertainty quantification, superior to finite differences for analytic functions.

Q29. Which graph best represents the error En(x)=(1+x)0.5Sn(x)E_n(x) = |(1+x)^{0.5} - S_n(x)| for fixed n=5n=5 on [0,0.9][0, 0.9], and what feature confirms the series' convergence behavior?

A.Error increases monotonically with xx, approaching a finite limit at x=0.9x=0.9 since 0.9<R=10.9<R=1; convex shape reflects accumulating higher-order residuals. ✅
B.Error decreases with xx because larger xx activates more terms.
C.Error oscillates wildly due to alternating signs.
D.Error is constant because the series is exact for n=5n=5.
💡 Difficulty: medium | ✅ Correct: A

📖 Explanation: This graph-based question visualizes convergence. For fixed nn, truncation error Rn(x)|R_n(x)| grows as xx approaches RR because xn+1x^{n+1} increases. At x=0.9<1x=0.9<1, error is finite but larger than at x=0x=0. Monotonic increase confirms we're within convergence disk. Oscillation would suggest alternating series error bound behavior, but magnitude envelope still grows. Recognizing error profiles helps diagnose convergence issues: if error spiked near 0.9, might indicate proximity to singularity. Visual literacy complements analytic tests.

Q30. When expanding (1+x)m(1+x)^m for irrational mm, why is the radius of convergence exactly 1, unlike rational mm which might suggest different behavior?

A.Radius is determined by distance to nearest singularity in complex plane; z=1z=-1 is always a branch point for non-integer mm, fixing R=1R=1 regardless of rationality. ✅
B.Irrational exponents cause chaotic coefficient behavior, limiting convergence to x<1|x|<1.
C.Rational exponents allow cancellation of singularities, extending RR; irrationals don't.
D.Radius depends on denominator of mm when rational; irrationals have infinite denominator, so R=0R=0.
💡 Difficulty: hard | ✅ Correct: A

📖 Explanation: This Olympiad-style question probes complex analysis foundations. Singularity of (1+z)m(1+z)^m occurs at z=1z=-1 for any non-integer mm (branch point). Distance from expansion center 0 to -1 is 1, so R=1R=1. Rationality doesn't remove singularity; (1+z)1/2(1+z)^{1/2} still branches at -1. Only integer mm removes branching, giving R=R=\infty. Students confusing rational/irrational miss that analytic structure depends on integrality, not rationality. This underscores that convergence radii are geometric (distance to singularity), not arithmetic.

Q31. A student argues that since limk(mk)=0\lim_{k\to\infty} \binom{m}{k} = 0 for m>1m>-1, the binomial series must converge for all xx. What is the flaw in linking coefficient decay to universal convergence?

A.Coefficient decay is necessary but not sufficient for infinite radius; (mk)km1\binom{m}{k} \sim k^{-m-1} decays polynomially, yielding R=1R=1 via ratio test, not exponential decay needed for R=R=\infty. ✅
B.Coefficients don't actually decay for m>1m>-1; they grow.
C.Decay implies convergence only at x=0x=0, nowhere else.
D.The limit being zero guarantees divergence, not convergence.
💡 Difficulty: medium | ✅ Correct: A

📖 Explanation: This error analysis question clarifies convergence criteria. (mk)(1)kΓ(km)k!Γ(m)Ckm1\binom{m}{k} \sim \frac{(-1)^k \Gamma(k-m)}{k! \Gamma(-m)} \sim C k^{-m-1}. Polynomial decay kpk^{-p} gives R=1R=1 (ratio 1\to 1). Exponential decay rkr^k gives R=R=\infty. Confusing decay rate with radius is common. Ratio test ak+1ak1|\frac{a_{k+1}}{a_k}| \to 1 confirms R=1R=1. Students must apply ratio/root tests, not just inspect coefficient limits. This reinforces that asymptotic behavior determines radius, not mere vanishing.

Q32. In approximating 1+x\sqrt{1+x} for x[0,1]x \in [0,1], why might one prefer the series for 11+x\frac{1}{\sqrt{1+x}} integrated, rather than direct binomial expansion, despite added complexity?

A.Integrating (1+x)1/2(1+x)^{-1/2} yields alternating series with faster-decaying coefficients k3/2\sim k^{-3/2} vs. direct k3/2\sim k^{-3/2}? Actually, both similar, but integration can improve endpoint behavior or enable termwise operations unavailable directly. ✅
B.Direct expansion is always superior; integration adds unnecessary constants.
C.The integrated series converges for x>1x>1, extending the domain.
D.Integration converts alternating series to positive series, eliminating cancellation errors.
💡 Difficulty: hard | ✅ Correct: A

📖 Explanation: This challenging question explores advanced approximation strategies. Direct (1+x)1/2(1+x)^{1/2} coeffs k3/2\sim k^{-3/2}. Integrated (1+t)1/2dt\int (1+t)^{-1/2} dt gives same asymptotics. However, sometimes integrated forms have better numerical properties or connect to other functions (e.g., arcsinh). More importantly, if original series converges slowly at endpoint, integrated version may converge faster or allow analytic continuation. Also, integrating known series avoids re-deriving coefficients. While not always better, recognizing alternative representations expands toolkit. Question tests strategic thinking beyond default methods.

Q33. Given f(x)=(1+x)mf(x) = (1+x)^m and its binomial series S(x)S(x), if mm is negative integer, at which point does S(x)S(x) cease to represent f(x)f(x) despite both being defined?

A.At x=1x=-1, where f(x)f(x) has pole and S(x)S(x) diverges; for x<1x<-1, f(x)f(x) is defined (if odd root) but S(x)S(x) diverges. ✅
B.They always agree wherever f(x)f(x) is defined.
C.Disagreement occurs only at x=1x=1.
D.Series represents f(x)f(x) for all x0x \neq 0.
💡 Difficulty: medium | ✅ Correct: A

📖 Explanation: This conceptual question revisits domain vs. convergence. For m=1m=-1, f(x)=1/(1+x)f(x)=1/(1+x) defined for x1x \neq -1. Series (x)k\sum (-x)^k converges only x<1|x|<1. For x=2x=-2, f(2)=1f(-2)=-1 exists, but series 2k\sum 2^k diverges. Representation fails outside (1,1)(-1,1). Even at x=1x=-1, both undefined/divergent. Key: series is local representation, not global identity. Students must check convergence interval independently of function domain. This prevents erroneous extrapolation beyond valid range.

Q34. A computational algorithm uses the recurrence ck=ck1mk+1kc_{k} = c_{k-1} \frac{m-k+1}{k} for binomial coefficients. For m=0.5m=0.5, at what kk does the coefficient magnitude start decreasing, and why does this matter for truncation?

A.Magnitude decreases for all k1k \geq 1 since 0.5k+1k=1.5kk<1|\frac{0.5-k+1}{k}| = |\frac{1.5-k}{k}| < 1 for k>0.75k>0.75; monotonic decrease enables alternating series error bounds. ✅
B.Decrease starts at k=2k=2; before that, terms grow.
C.Coefficients never decrease; they oscillate with constant amplitude.
D.Decrease starts at k=0k=0; all terms are smaller than previous.
💡 Difficulty: medium | ✅ Correct: A

📖 Explanation: This application question links coefficient behavior to error control. For m=0.5m=0.5, ratio ck/ck1=1.5kk|c_k/c_{k-1}| = |\frac{1.5-k}{k}|. For k=1k=1: 0.5/1=0.5<10.5/1=0.5<1. So decreases from start. Monotonic decrease + alternating signs = Alternating Series Test applicable. Error nextterm\leq |next term|. If terms increased initially, couldn't use simple bound until decrease began. Recognizing when monotonicity kicks in is crucial for valid error estimation. For m>1m>1, initial growth occurs; for m<1m<1, immediate decay. This informs adaptive truncation strategies.

Q35. Why is the binomial series for (1+x)m(1+x)^m considered the 'generating function' for binomial coefficients, and how does this perspective aid in solving combinatorial identities?

A.Multiplying series or differentiating generates new coefficient relations; e.g., (1+x)a(1+x)b=(1+x)a+b(1+x)^a (1+x)^b = (1+x)^{a+b} implies Vandermonde's identity via Cauchy product of coefficients. ✅
B.Generating functions are only useful for probability, not pure combinatorics.
C.The series generates coefficients randomly, requiring statistical analysis.
D.Identities must be proven by induction; generating functions offer no advantage.
💡 Difficulty: hard | ✅ Correct: A

📖 Explanation: This Olympiad-style question connects analysis to combinatorics. Generating function G(x)=(mk)xk=(1+x)mG(x) = \sum \binom{m}{k} x^k = (1+x)^m. Algebraic operations on G(x)G(x) translate to combinatorial identities. E.g., (1+x)a(1+x)b=(1+x)a+b(1+x)^a (1+x)^b = (1+x)^{a+b} implies j(aj)(bnj)=(a+bn)\sum_j \binom{a}{j}\binom{b}{n-j} = \binom{a+b}{n}. Differentiation gives m(1+x)m1=k(mk)xk1m(1+x)^{m-1} = \sum k \binom{m}{k} x^{k-1}, yielding k(mk)=m2m1\sum k \binom{m}{k} = m 2^{m-1}. This analytic machinery solves discrete problems elegantly. Viewing series as generating functions unlocks powerful proof techniques beyond brute force.

🔗 Related Topics (MCQs)