Porisma

Worked solution

Rewrite before choosing ascending powers

Expand the following in ascending powers of x. Find the range of values of x for which the series expansion is valid.

(i) (8+x)1/3(8+x)^{1/3}, up to and including the term in x2x^2.

(ii) (1−1/x)−1(1-1/x)^{-1}, up to and including the term in x4x^4.

CJC · Lecture · Example 3

(i) Factor out the constant before expanding

Both copies print the complete working. Write (8+x)1/3=[8(1+x/8)]1/3=81/3(1+x/8)1/3(8+x)^{1/3}=[8(1+x/8)]^{1/3}=8^{1/3}(1+x/8)^{1/3}. The source callout rewrites (a+bx)n(a+bx)^n as an(1+bx/a)na^n(1+bx/a)^n when the bracket does not start with 1. Here the positive factor 8 and real cube root cause no branch issue. Independently, the rewriting requires a≠0a\ne0; arbitrary real fractional powers also need an appropriate real domain.

(8+x)1/3=2[1+13x8+(1/3)(1/3−1)2!(x8)2+⋯ ].\begin{aligned}&(8+x)^{1/3}\\ & =2\left[1+\frac13\frac x8+\frac{(1/3)(1/3-1)}{2!}\left(\frac x8\right)^2+\cdots\right].\end{aligned}

How did this part go?

(i) Simplify and transform the printed validity condition

The full printed simplification is

2[1+x24+(1/3)(−2/3)2x264+⋯ ]2\left[1+\frac{x}{24}+\frac{(1/3)(-2/3)}2\frac{x^2}{64}+\cdots\right]

=2(1+x24−x2576+⋯ )=2+x12−x2288+⋯ .\begin{aligned}&=2\left(1+\frac{x}{24}-\frac{x^2}{576}+\cdots\right)\\ & =2+\frac{x}{12}-\frac{x^2}{288}+\cdots.\end{aligned}

The source gives ∣x/8∣<1⇒∣x∣<8⇒−8<x<8|x/8|<1\Rightarrow |x|<8\Rightarrow -8<x<8. Its second callout says to replace the standard argument by bx/abx/a and hence use ∣bx/a∣<1|bx/a|<1. This is the printed sufficient interval; it is not a claim that endpoint convergence has been analysed. A finite quadratic approximation needs a separate accuracy assessment.

How did this part go?

(ii) Explain why direct substitution gives the wrong powers

The source first tries replacing the standard argument by −1/x-1/x:

(1−1x)−1=1+(−1)(−1x)+(−1)(−2)2!(−1x)2\begin{aligned}&\left(1-\frac1x\right)^{-1}\\ & =1+(-1)\left(-\frac1x\right)\\ &{}+\frac{(-1)(-2)}{2!}\left(-\frac1x\right)^2\end{aligned}

+(−1)(−2)(−3)3!(−1x)3+(−1)(−2)(−3)(−4)4!(−1x)4+⋯\hspace{1em}+\frac{(-1)(-2)(-3)}{3!}\left(-\frac1x\right)^3+\frac{(-1)(-2)(-3)(-4)}{4!}\left(-\frac1x\right)^4+\cdots

=1+x−1+x−2+x−3+x−4+⋯ .=1+x^{-1}+x^{-2}+x^{-3}+x^{-4}+\cdots.

These are descending powers of x, whereas the question asks for ascending powers. Independently, this geometric series is valid for ∣x∣>1|x|>1; it is a different representation on a different region, not an algebraically meaningless series.

How did this part go?

(ii) Rewrite and expand in ascending powers

The source instead uses

(1−1x)−1=(1x)−1(x−1)−1=x(−1)−1(1−x)−1=−x(1−x)−1.\begin{aligned}&\left(1-\frac1x\right)^{-1}\\ & =\left(\frac1x\right)^{-1}(x-1)^{-1}\\ & =x(-1)^{-1}(1-x)^{-1}\\ & =-x(1-x)^{-1}.\end{aligned}

Its binomial substitution is

(−x)[1+(−1)(−x)+(−1)(−2)2!(−x)2+(−1)(−2)(−3)3!(−x)3+⋯ ].(-x)\left[1+(-1)(-x)+\frac{(-1)(-2)}{2!}(-x)^2+\frac{(-1)(-2)(-3)}{3!}(-x)^3+\cdots\right].

Hence the required terms are −x−x2−x3−x4+⋯-x-x^2-x^3-x^4+\cdots. Keep the bracket through x3x^3 because multiplication by −x-x supplies the fourth power.

How did this part go?

(ii) Keep the original exclusion at zero

The source gives ∣−x∣<1⇒∣x∣<1|-x|<1\Rightarrow |x|<1, followed by −1<x<1-1<x<1, x≠0x\ne0. Its callout explains that 1/x1/x is undefined at zero. Retain that exclusion even though −x/(1−x)-x/(1-x) has a value there. Independently, the simplified function is an analytic extension at zero; the series represents the original expression only on the punctured interval (−1,0)∪(0,1)(-1,0)\cup(0,1).

How did this part go?

Common mistakes

Direct substitution can produce descending powers; simplifying a formula does not restore an excluded point in its original domain.

Solution notes

Both copies already print all working and both callouts; they are not Teacher-only additions. No marks or attribution printed.

Part (i) repeats the expansion task in Discussion question 6(i); that existing identity and its additional approximation asks remain unchanged. Example 3 is a distinct combined source occurrence because its part (ii) is different.

Read the hint