A hideous portrayal of an old favourite

Algebra Level pending

Define the function z N : f ( z ) = i = 1 z ( 2 i 4 a i 2 z ) 2 i \displaystyle \forall z\in\mathbb{N}:f(z)=\sum_{i=1}^z\left(2^i-\frac{4a_i}{2^z}\right)^{2^i} , where a R a\in\mathbb{R} .

Find i = 1 6 a i \displaystyle \sum_{i=1}^6 a_i if z = 6 z=6 is a root of f ( z ) f(z) .


Please tell me or correct any notation if it is outright wrong , but the problem itself is meant to be near unintelligible to add to the fun. =)


The answer is 2016.

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

1 solution

Lolly Lau
Dec 6, 2016

Since z = 6 z=6 is a root of f ( z ) f(z) , f ( 6 ) = 0 f(6)=0 .

It then follows that i = 1 6 ( 2 i 4 a i 2 6 ) 2 i = 0 \sum_{i=1}^6\left(2^i-\frac{4a_i}{2^6}\right)^{2^i}=0 .

And if we were so brave to write it all out,

( 2 a 1 16 ) 2 + ( 4 a 2 16 ) 4 + ( 8 a 3 16 ) 8 + ( 16 a 4 16 ) 16 + ( 32 a 5 16 ) 32 + ( 64 a 6 16 ) 64 = 0 \left(2-\frac{a_1}{16}\right)^2+\left(4-\frac{a_2}{16}\right)^4+\left(8-\frac{a_3}{16}\right)^8+\left(16-\frac{a_4}{16}\right)^{16}+\left(32-\frac{a_5}{16}\right)^{32}+\left(64-\frac{a_6}{16}\right)^{64}=0

Since x 2 0 x^{2}\geq 0 for real x x , we have equality when all the terms are equal to zero.

Therefore the required sum is 32 + 64 + 128 + 256 + 512 + 1024 = 2016 32+64+128+256+512+1024=\textbf{2016} .

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...