Page 1 of 1 [ 14 posts ]
 Print view Previous topic | Next topic
Trouble with [5.5]
Author Message

Joined: 25 Feb 2008, 13:32
Posts: 106
Location: Cape Town, South Africa
Trouble with [5.5]
The 'addition-to-multiplication' property of is meant to be checked by using the given facts of the binomial theorem and the series for , right?

So, the outline of the solution should look like this:

{something here}

I can't figure out how to use the given facts of the binomial theorem to solve this.

_________________
Our imagination is stretched to the utmost, not, as in fiction, to imagine things which are not really there, but just to comprehend those things which are there.

05 Apr 2008, 15:13

Joined: 12 Mar 2008, 10:57
Posts: 69
Location: India
Re: Trouble with [5.5]
I would prefer to give an outline instead of a formal proof.
(e^a)(e^b)=(1+a/1!+a^2/2!+...)(1+b/1!+b^2/2!+...)
Now there will be terms in the product equal to 1,a and b.Also there will be a term called ab/1! which can be written as 2ab/2!.This term can be added to a^2/2! +b^2/2! which will also be present in the product to yield
1+(a+b)/1!+(a+b)^2/2!
More terms containing higher powers can be made in a similar way.Thus we can prove that any term of e^(a+b) will be present in the product of the separate expansions.
Now we prove there exists no term in the expansion of (e^a)(e^b) which can't be in the expansion of e^(a+b).
Assume such a term exists.Any term in the product of the expansions (including this) would be of the form

a^(m)b^(k)/m!k!
where m and k are whole numbers.
Put m+k=n,then this term can be represented as
a^(n-k)b^(k)/(n-k)!k!
Multiplying both numerator and denominator by n! we can write this term as,
1/n!{n!a^(n-k)b^(k)/(n-k)!k!}
But this term is present in the expansion of e^(a+b)as it is present in the term (a+b)^n/n! contradicting our assumption.

06 Apr 2008, 10:38

Joined: 19 Mar 2008, 14:09
Posts: 36
Re: Trouble with [5.5]
We define:

Therefore:

where, which is a property of the combination of power series. Also and .

Thus:

.
.
.

and so we obtain:

09 Apr 2008, 15:13

Joined: 25 Feb 2008, 13:32
Posts: 106
Location: Cape Town, South Africa
Re: Trouble with [5.5]
Thank you Kurdt!

Btw. Is Sameed's proposed solution correct? I have tried to follow his argument, but I just don't get it.

_________________
Our imagination is stretched to the utmost, not, as in fiction, to imagine things which are not really there, but just to comprehend those things which are there.

09 Apr 2008, 16:06

Joined: 19 Mar 2008, 14:09
Posts: 36
Re: Trouble with [5.5]
Shaun Culver wrote:
Thank you Kurdt!

Btw. Is Sameed's proposed solution correct? I have tried to follow his argument, but I just don't get it.

To be honest I haven't really looked yet. I'm quite lazy when it comes to reading and I don't like deciphering maths written in that form. When I get a minute I'll give it a go.

I didn't really say anything about the binomial theorem in my solution but it is in there if people look for it.

09 Apr 2008, 16:16

Joined: 25 Feb 2008, 13:32
Posts: 106
Location: Cape Town, South Africa
Re: Trouble with [5.5]
Kurdt: I have copied your solution to the "Solutions" forum. I think that the outline is good, but it may need some modifications (e.g. showing the use of the facts of the binomial theorem given by Prf. Penrose's).

Sameed: Could you please (if you have time, of course) restate your argument so that it is easier to understand (and preferably in an easier-to-read format.)

_________________
Our imagination is stretched to the utmost, not, as in fiction, to imagine things which are not really there, but just to comprehend those things which are there.

09 Apr 2008, 16:41

Joined: 19 Mar 2008, 14:09
Posts: 36
Re: Trouble with [5.5]
Shaun Culver wrote:
Kurdt: I have copied your solution to the "Solutions" forum. I think that the outline is good, but it may need some modifications (e.g. showing the use of the facts of the binomial theorem given by Prf. Penrose's).

Thanks Shaun. I totally forgot about the binomial theorem till I posted later on and thought I'd mention it. When I get a bit more time I'll try and work something in.

09 Apr 2008, 16:47

Joined: 12 Mar 2008, 10:57
Posts: 69
Location: India
Re: Trouble with [5.5]
Shaun,
I am really sorry that I have been too busy lately.The 'gist' of my argument is as follows:

and

The expansion of

Remember this expression.Now the RHS definitely contains 1 (as the first term) and (as the second term).
It also contains .
Couple and into
The expression I told you to remember also has and on the RHS.
Little thought reveals that there is also a term on the RHS.(which is the product of and ).This term can also be written as.This term along with the two mentioned above can be collectively written as.In a similar manner (using mathematical induction) we can prove that every term of the expansion of is present in the expansion of.
Understand carefully what this means. We have not proved that the two expressions are identical.We have merely proved that
where Q is a function of a & b which contains terms not in the expansion of.We now have to prove that Q=0,that is there is no term in the expansion of which is not present in the expansion of , which is where the binomial theorem comes into play.
We seek to prove this by contradiction.Assume Q is not zero.Then Q must be the sum of terms of the form
(as it is a collection of terms in the expansion of)where p & q are whole numbers.
Consider each such term of Q separately.Put p+q=n

But this term is present in the binomial expansion ofand is hence present in the expansion of contradicting our defintion of Q according to which Q should not contain any term which is in the expansion for.

16 Apr 2008, 09:29

Joined: 25 Feb 2008, 13:32
Posts: 106
Location: Cape Town, South Africa
Re: Trouble with [5.5]
Sameed,

Thank you.

_________________
Our imagination is stretched to the utmost, not, as in fiction, to imagine things which are not really there, but just to comprehend those things which are there.

17 Apr 2008, 17:34

Joined: 12 Mar 2008, 10:57
Posts: 69
Location: India
Re: Trouble with [5.5]
Shaun,
I have discovered a remarkable proof for this problem,in fact a "proof without words".However,to post it I need to generate an array(a 5x5 array would do).I am having trouble generating it using latex.

27 May 2008, 09:49

Joined: 25 Feb 2008, 13:32
Posts: 106
Location: Cape Town, South Africa
Re: Trouble with [5.5]
Sameed,

I have Mathematica on my pc - this makes things easier. If you could type out your proof here, then I'll post it under your name in the "Solutions" section using LaTeX.

Use this template to type in the matrix entries (Insert the LaTeX code between the brackets "[" & "]" ):

[A_1 1];[A_1 2];[A_1 3];[A_1 4];[A_1 5]
[A_2 1];[A_2 2];[A_2 3];[A_2 4];[A_2 5]
[A_3 1];[A_3 2];[A_3 3];[A_3 4];[A_3 5]
[A_4 1];[A_4 2];[A_4 3];[A_4 4];[A_4 5]
[A_5 1];[A_5 2];[A_5 3];[A_5 4];[A_5 5]

This will make it easier for me.

_________________
Our imagination is stretched to the utmost, not, as in fiction, to imagine things which are not really there, but just to comprehend those things which are there.

27 May 2008, 13:44

Joined: 22 May 2008, 19:08
Posts: 18
Re: Trouble with [5.5]
May be it's easier to show that both expressions, and , are in fact equal to .

And therefore equal between each other, although I'm not completely sure if the kind of notation used on the last sum is formally correct.

27 May 2008, 23:04

Joined: 12 Mar 2008, 10:57
Posts: 69
Location: India
Re: Trouble with [5.5]
"The proof without words"
[];[];[];[];[];
[];[];[];[];[];
[];[];[];[];[];
[];[];[];[];[];
[];[];[];[];[];

Shaun,
There are some entries which are meant to be blank.I have kept them as such.

31 May 2008, 10:12

Joined: 25 Feb 2008, 13:32
Posts: 106
Location: Cape Town, South Africa
Re: Trouble with [5.5]
The 5 by 5 matrix:

The LaTeX source code:
Code:
\left(
\begin{array}{ccccc}
& 1 & \frac{a}{1!} & \frac{a^2}{2!} & \frac{a^3}{3!} \\
1 & 1 & \frac{a}{1!} & \frac{a^2}{2!} & \frac{a^3}{3!} \\
\frac{b}{1!} & \frac{b}{1!} & \frac{2a b}{2!} & \frac{3a^2b}{3!} &   \\
\frac{b^2}{2!} & \frac{b^2}{2!} & \frac{a b^2}{3!} &   &   \\
\frac{b^3}{3!} & \frac{b^3}{3!} &   &   &
\end{array}
\right)

_________________
Our imagination is stretched to the utmost, not, as in fiction, to imagine things which are not really there, but just to comprehend those things which are there.

31 May 2008, 13:18
 Page 1 of 1 [ 14 posts ]