Solveeit Logo

Question

Question: Let $T_n$ be the $n^{th}$ term of a series for $n \ge 1$ and $T_1=1, T_{n+1}=2T_n+4^n, n \ge 1$. If ...

Let TnT_n be the nthn^{th} term of a series for n1n \ge 1 and T1=1,Tn+1=2Tn+4n,n1T_1=1, T_{n+1}=2T_n+4^n, n \ge 1. If Sn=S_n= Sum of first nn terms of the series and Sn=a.4n+b.2n+13S_n=\frac{a.4^n+b.2^{n+1}}{3} where a,bIa,b \in I, then the value of ba|\frac{b}{a}| is

Answer

3/2

Explanation

Solution

The recurrence relation is given by Tn+1=2Tn+4nT_{n+1} = 2T_n + 4^n for n1n \ge 1, with T1=1T_1 = 1.

We can solve this linear first-order non-homogeneous recurrence relation. Divide the recurrence by 2n+12^{n+1}:

Tn+12n+1=2Tn2n+1+4n2n+1\frac{T_{n+1}}{2^{n+1}} = \frac{2T_n}{2^{n+1}} + \frac{4^n}{2^{n+1}}

Tn+12n+1=Tn2n+(22)n2n+1=Tn2n+22n2n+1=Tn2n+2n1\frac{T_{n+1}}{2^{n+1}} = \frac{T_n}{2^n} + \frac{(2^2)^n}{2^{n+1}} = \frac{T_n}{2^n} + \frac{2^{2n}}{2^{n+1}} = \frac{T_n}{2^n} + 2^{n-1}.

Let Un=Tn2nU_n = \frac{T_n}{2^n}. Then Un+1=Un+2n1U_{n+1} = U_n + 2^{n-1} for n1n \ge 1.

We have U1=T121=12U_1 = \frac{T_1}{2^1} = \frac{1}{2}.

For n2n \ge 2, we can write UnU_n as a sum:

Un=U1+k=1n1(Uk+1Uk)=U1+k=1n12k1U_n = U_1 + \sum_{k=1}^{n-1} (U_{k+1} - U_k) = U_1 + \sum_{k=1}^{n-1} 2^{k-1}.

The sum is a geometric series: k=1n12k1=20+21++2n2=1(2n11)21=2n11\sum_{k=1}^{n-1} 2^{k-1} = 2^0 + 2^1 + \dots + 2^{n-2} = \frac{1(2^{n-1} - 1)}{2 - 1} = 2^{n-1} - 1.

So, for n2n \ge 2, Un=12+(2n11)=2n112U_n = \frac{1}{2} + (2^{n-1} - 1) = 2^{n-1} - \frac{1}{2}.

We can check if this formula holds for n=1n=1: U1=21112=2012=112=12U_1 = 2^{1-1} - \frac{1}{2} = 2^0 - \frac{1}{2} = 1 - \frac{1}{2} = \frac{1}{2}. The formula holds for n1n \ge 1.

Now, we find TnT_n using Un=Tn2nU_n = \frac{T_n}{2^n}, so Tn=Un2n=(2n112)2n=2n12n122n=22n12n1T_n = U_n \cdot 2^n = (2^{n-1} - \frac{1}{2}) \cdot 2^n = 2^{n-1} \cdot 2^n - \frac{1}{2} \cdot 2^n = 2^{2n-1} - 2^{n-1}.

Next, we find the sum of the first nn terms, Sn=k=1nTkS_n = \sum_{k=1}^n T_k.

Sn=k=1n(22k12k1)=k=1n22k1k=1n2k1S_n = \sum_{k=1}^n (2^{2k-1} - 2^{k-1}) = \sum_{k=1}^n 2^{2k-1} - \sum_{k=1}^n 2^{k-1}.

The first sum is k=1n22k1=21+23+25++22n1\sum_{k=1}^n 2^{2k-1} = 2^1 + 2^3 + 2^5 + \dots + 2^{2n-1}. This is a geometric series with first term A1=21=2A_1 = 2^1 = 2, common ratio R1=22=4R_1 = 2^2 = 4, and nn terms.

The sum is A1(R1n1)R11=2(4n1)41=2(4n1)3=24n23\frac{A_1(R_1^n - 1)}{R_1 - 1} = \frac{2(4^n - 1)}{4 - 1} = \frac{2(4^n - 1)}{3} = \frac{2 \cdot 4^n - 2}{3}.

The second sum is k=1n2k1=20+21+22++2n1\sum_{k=1}^n 2^{k-1} = 2^0 + 2^1 + 2^2 + \dots + 2^{n-1}. This is a geometric series with first term A2=20=1A_2 = 2^0 = 1, common ratio R2=2R_2 = 2, and nn terms.

The sum is A2(R2n1)R21=1(2n1)21=2n1\frac{A_2(R_2^n - 1)}{R_2 - 1} = \frac{1(2^n - 1)}{2 - 1} = 2^n - 1.

Now, substitute these sums back into the expression for SnS_n:

Sn=24n23(2n1)=24n23(2n1)3=24n232n+33=24n32n+13S_n = \frac{2 \cdot 4^n - 2}{3} - (2^n - 1) = \frac{2 \cdot 4^n - 2 - 3(2^n - 1)}{3} = \frac{2 \cdot 4^n - 2 - 3 \cdot 2^n + 3}{3} = \frac{2 \cdot 4^n - 3 \cdot 2^n + 1}{3}.

We are given that Sn=a4n+b2n+13S_n = \frac{a \cdot 4^n + b \cdot 2^{n+1}}{3}.

Comparing this with Sn=24n32n+13S_n = \frac{2 \cdot 4^n - 3 \cdot 2^n + 1}{3}, and assuming that we ignore the constant term '+1' in our derived formula, we could try to match the exponential terms.

a4n+b2n+13=a4n+2b2n3\frac{a \cdot 4^n + b \cdot 2^{n+1}}{3} = \frac{a \cdot 4^n + 2b \cdot 2^n}{3}.

Comparing with 24n32n3\frac{2 \cdot 4^n - 3 \cdot 2^n}{3} (ignoring the constant term), we would get a=2a=2 and 2b=32b=-3, so b=3/2b=-3/2. This still does not give integer values for aa and bb.

The problem statement likely has a typo in the form of SnS_n. If we assume that the formula for SnS_n should match the exponential terms of our derived sum, ignoring the constant term, then we compare a4n+b2n+1a \cdot 4^n + b \cdot 2^{n+1} with 24n32n2 \cdot 4^n - 3 \cdot 2^n.

a4n+2b2n=24n32na \cdot 4^n + 2b \cdot 2^n = 2 \cdot 4^n - 3 \cdot 2^n.

This implies a=2a=2 and 2b=32b=-3, so b=3/2b=-3/2. Still not integers.

Let's assume there is a typo in the exponent of 22 in the given formula, and it should be 2n2^n.

If Sn=a4n+b2n3S_n = \frac{a \cdot 4^n + b \cdot 2^n}{3}, then comparing with Sn=24n32n+13S_n = \frac{2 \cdot 4^n - 3 \cdot 2^n + 1}{3}, we get a=2,b=3a=2, b=-3. These are integers.

In this case, ba=32=32|\frac{b}{a}| = |\frac{-3}{2}| = \frac{3}{2}.