Math Help Forum

Math Help Forum Feed Site Feed

Go Back   Math Help Forum > Math Help Forum Lounge > Problem of the Week
Reply
 
Thread Tools Display Modes
  #1  
Old 11-10-2007, 09:12 PM
ThePerfectHacker's Avatar
Global Moderator

 
Join Date: Nov 2005
Location: New York City
Posts: 11,339
Country:
Thanks: 329
Thanked 2,943 Times in 2,472 Posts
ThePerfectHacker has a reputation beyond reputeThePerfectHacker has a reputation beyond reputeThePerfectHacker has a reputation beyond reputeThePerfectHacker has a reputation beyond reputeThePerfectHacker has a reputation beyond reputeThePerfectHacker has a reputation beyond reputeThePerfectHacker has a reputation beyond reputeThePerfectHacker has a reputation beyond reputeThePerfectHacker has a reputation beyond reputeThePerfectHacker has a reputation beyond reputeThePerfectHacker has a reputation beyond repute
Default Problem 40

1)This problem is for the younger kids give them a chance, please. Let A,B be randomly chosen from \{ 1,2,...,2007 \} (they can be the same). What is the probability that it is possible to find two real numbers that have their product equal to A and their sum equal to B. (By the way, "real", means non-imaginary).

2)Let f(x),g(x) be continous on [0,1] so that \int_0^1 x^n f(x) dx = \int_0^1 x^n g(x) dx for all n\geq 0. Prove that f(x) = g(x). (This is a classic).
__________________
We the People of the United States, in Order to form a more perfect Union, establish Justice, insure domestic Tranquility, provide for the common defence, promote the general Welfare, and secure the Blessings of Liberty to ourselves and our Posterity, do ordain and establish this Constitution for the United States of America.
Reply With Quote
The following users thank ThePerfectHacker for this useful post:
Donate to MHF
Advertisement
 
  #2  
Old 11-10-2007, 10:03 PM
kalagota's Avatar
Super Member
 
Join Date: Oct 2007
Location: Taguig City, Philippines
Posts: 931
Country:
Thanks: 63
Thanked 250 Times in 240 Posts
kalagota is a jewel in the roughkalagota is a jewel in the roughkalagota is a jewel in the rough
Send a message via Yahoo to kalagota
Default

f and g are cont on [0,1], then f and g are integrable.

Let F_0 = \int_0^1 x^n f(x)dx = \int_0^1 x^n g(x)dx

Let f_0(x) = x^n f(x) and g_0(x) = x^n g(x)

then both f_0, g_0 are continuous on [0,1], which implies that F_0 is differentiable on [0,1], and F_0'(x) = f_0(x) = g_0(x), for all x \in [0,1] (by a corollary to the FTOC)

\implies x^n f(x) = x^n g(x)

\implies f(x) = g(x). qed
__________________

Venimus, vidimus, comemus tui crustuli
(We came, we saw, we ate your cookies)


"if it is for the one I love, I'd still fight the law." -Ichigo

e^{i\pi} + 1 = 0
Reply With Quote
  #3  
Old 11-10-2007, 10:16 PM
ThePerfectHacker's Avatar
Global Moderator

 
Join Date: Nov 2005
Location: New York City
Posts: 11,339
Country:
Thanks: 329
Thanked 2,943 Times in 2,472 Posts
ThePerfectHacker has a reputation beyond reputeThePerfectHacker has a reputation beyond reputeThePerfectHacker has a reputation beyond reputeThePerfectHacker has a reputation beyond reputeThePerfectHacker has a reputation beyond reputeThePerfectHacker has a reputation beyond reputeThePerfectHacker has a reputation beyond reputeThePerfectHacker has a reputation beyond reputeThePerfectHacker has a reputation beyond reputeThePerfectHacker has a reputation beyond reputeThePerfectHacker has a reputation beyond repute
Default

I am sorry, I cannot follow.

Quote:
Originally Posted by kalagota View Post
f and g are cont on [0,1], then f and g are integrable.

Let F_0 = \int_0^1 x^n f(x)dx = \int_0^1 x^n g(x)dx
How is this a well-defined function? Maybe for a particular value of n?

Quote:
then both f_0, g_0 are continuous on [0,1], which implies that F_0 is differentiable on [0,1], and F_0'(x) = f_0(x) = g_0(x), for all x \in [0,1] (by a corollary to the FTOC)
That is not the Fundamental Theorem of Calculus.
---

Remember I am saying that:
\int_0^1 f(x)dx = \int_0^1 g(x) dx, \int_0^1 xf(x) dx = \int_0^1 xg(x) dx, \int_0^1 x^2f(x) dx = \int_0^1 x^2g(x) dx, ...
__________________
We the People of the United States, in Order to form a more perfect Union, establish Justice, insure domestic Tranquility, provide for the common defence, promote the general Welfare, and secure the Blessings of Liberty to ourselves and our Posterity, do ordain and establish this Constitution for the United States of America.
Reply With Quote
  #4  
Old 11-11-2007, 01:29 AM
janvdl's Avatar
Red Baron
 
Join Date: Apr 2007
Location: South African Republic
Posts: 2,515
Country:
Thanks: 1,372
Thanked 1,019 Times in 662 Posts
janvdl has much to be proud ofjanvdl has much to be proud ofjanvdl has much to be proud ofjanvdl has much to be proud ofjanvdl has much to be proud ofjanvdl has much to be proud ofjanvdl has much to be proud ofjanvdl has much to be proud ofjanvdl has much to be proud of
Send a message via MSN to janvdl
Default

Quote:
Originally Posted by ThePerfectHacker View Post
1)This problem is for the younger kids give them a chance, please. Let A,B be randomly chosen from \{ 1,2,...,2007 \} (they can be the same). What is the probability that it is possible to find two real numbers that have their product equal to A and their sum equal to B. (By the way, "real", means non-imaginary).
1.) (\frac{1}{2007} + \frac{1}{2007}) \times (\frac{1}{2007} + \frac{1}{2007})

= \frac{4}{4028049}

= \frac{1}{1007012,25}
__________________


If God does not exist, one loses nothing by believing in Him. While if He does exist, one stands to lose everything by not believing.
~Blaise Pascal

If it be possible let this cup pass from me, nevertheless not as I will but as You will.
Reply With Quote
  #5  
Old 11-11-2007, 01:37 AM
CaptainBlack's Avatar
Grand Panjandrum


 
Join Date: Nov 2005
Location: Somewhere near the south coast
Posts: 10,102
Country:
Thanks: 472
Thanked 2,598 Times in 2,162 Posts
CaptainBlack has a reputation beyond reputeCaptainBlack has a reputation beyond reputeCaptainBlack has a reputation beyond reputeCaptainBlack has a reputation beyond reputeCaptainBlack has a reputation beyond reputeCaptainBlack has a reputation beyond reputeCaptainBlack has a reputation beyond reputeCaptainBlack has a reputation beyond reputeCaptainBlack has a reputation beyond reputeCaptainBlack has a reputation beyond reputeCaptainBlack has a reputation beyond repute
Default

Quote:
Originally Posted by ThePerfectHacker View Post
2)Let f(x),g(x) be continous on [0,1] so that \int_0^1 x^n f(x) dx = \int_0^1 x^n g(x) dx for all n\geq 0. Prove that f(x) = g(x). (This is a classic).
Let P_n(x);\ n \in \mathbb(Z)_+ be an orthonormal basis of polynomials for L^2_{[0,1]}.

Then by the conditions specified in the problem:

\langle P_n, f-g \rangle =0;\ \forall n \in \mathbb{Z}_+

which implies that f(x)-g(x)=0\ a.e. \in [0,1] which as f-g is continuous implies f(x)-g(x)=0\  x\in [0,1]

RonL
__________________
"It is proof of a base and low mind for one to wish to think with the masses or majority, merely because the majority is the majority"
--Giordano Bruno
Reply With Quote
  #6  
Old 11-11-2007, 01:46 AM
angel.white's Avatar
Super Member
 
Join Date: Oct 2007
Posts: 781
Country:
Thanks: 242
Thanked 237 Times in 193 Posts
angel.white has a spectacular aura aboutangel.white has a spectacular aura aboutangel.white has a spectacular aura about
Default

Quote:
Originally Posted by janvdl View Post
1.) (\frac{1}{2007} + \frac{1}{2007}) \times (\frac{1}{2007} + \frac{1}{2007})

= \frac{4}{4028049}

= \frac{1}{1007012,25}
Hmm, that is much simpler than the method I thought of in my head (I'm a bit too embarrassed to say what my method was, but I'll just say it involves a new pack of pencils, a full ream of paper, a gallon of coffee, a carton of cigarettes, and no obligations for several days.)
__________________
two can keep a secret if one of them is dead
Reply With Quote
  #7  
Old 11-11-2007, 01:50 AM
janvdl's Avatar
Red Baron
 
Join Date: Apr 2007
Location: South African Republic
Posts: 2,515
Country:
Thanks: 1,372
Thanked 1,019 Times in 662 Posts
janvdl has much to be proud ofjanvdl has much to be proud ofjanvdl has much to be proud ofjanvdl has much to be proud ofjanvdl has much to be proud ofjanvdl has much to be proud ofjanvdl has much to be proud ofjanvdl has much to be proud ofjanvdl has much to be proud of
Send a message via MSN to janvdl
Default

Quote:
Originally Posted by angel.white View Post
Hmm, that is much simpler than the method I thought of in my head (I'm a bit too embarrassed to say what my method was, but I'll just say it involves a new pack of pencils, a full ream of paper, a gallon of coffee, a carton of cigarettes, and no obligations for several days.)
Haha, doesn't mean my method is right you know
__________________


If God does not exist, one loses nothing by believing in Him. While if He does exist, one stands to lose everything by not believing.
~Blaise Pascal

If it be possible let this cup pass from me, nevertheless not as I will but as You will.
Reply With Quote
  #8  
Old 11-11-2007, 02:10 AM
Jhevon's Avatar
Bent on World Domination!
 
Join Date: Feb 2007
Location: New York, USA
Posts: 10,220
Country:
Thanks: 1,838
Thanked 3,611 Times in 3,396 Posts
Jhevon has a reputation beyond reputeJhevon has a reputation beyond reputeJhevon has a reputation beyond reputeJhevon has a reputation beyond reputeJhevon has a reputation beyond reputeJhevon has a reputation beyond reputeJhevon has a reputation beyond reputeJhevon has a reputation beyond reputeJhevon has a reputation beyond reputeJhevon has a reputation beyond reputeJhevon has a reputation beyond repute
Default

Quote:
Originally Posted by CaptainBlack View Post
Let P_n(x);\ n \in \mathbb(Z)_+ be an orthonormal basis of polynomials for L^2_{[0,1]}.

Then by the conditions specified in the problem:

\langle P_n, f-g \rangle =0;\ \forall n \in \mathbb{Z}_+

which implies that f(x)-g(x)=0\ a.e. \in [0,1] which as f-g is continuous implies f(x)-g(x)=0\  x\in [0,1]

RonL
i always have trouble proving things that seem to me to be obvious.

would it be wrong to do this?

\int_0^1 x^n f(x)~dx = \int_0^1 x^n g(x)~dx

\Rightarrow \int_0^1 x^n f(x)~dx - \int_0^1 x^n g(x)~dx = 0

\Rightarrow \int_0^1 x^n [f(x) - g(x)]~dx = 0

Obviously, the only way this integral can be zero for all x and all n is if f(x) - g(x) = 0. the result follows immediately.



Now i can see where the problem here would be, the "obviously" part.
Reply With Quote
  #9  
Old 11-11-2007, 02:49 AM
kalagota's Avatar
Super Member
 
Join Date: Oct 2007
Location: Taguig City, Philippines
Posts: 931
Country:
Thanks: 63
Thanked 250 Times in 240 Posts
kalagota is a jewel in the roughkalagota is a jewel in the roughkalagota is a jewel in the rough
Send a message via Yahoo to kalagota
Default

Quote:
Originally Posted by ThePerfectHacker View Post

That is not the Fundamental Theorem of Calculus.
---
i think i clearly state that the reason is from a corollary to FTOC and not to FTOC itself..

anyways, i am not really good at this..

EDIT: now i get what you mean.. thx for that remark..
__________________

Venimus, vidimus, comemus tui crustuli
(We came, we saw, we ate your cookies)


"if it is for the one I love, I'd still fight the law." -Ichigo

e^{i\pi} + 1 = 0

Last edited by kalagota; 11-11-2007 at 03:32 AM.
Reply With Quote
  #10  
Old 11-11-2007, 07:23 AM
CaptainBlack's Avatar
Grand Panjandrum


 
Join Date: Nov 2005
Location: Somewhere near the south coast
Posts: 10,102
Country:
Thanks: 472
Thanked 2,598 Times in 2,162 Posts
CaptainBlack has a reputation beyond reputeCaptainBlack has a reputation beyond reputeCaptainBlack has a reputation beyond reputeCaptainBlack has a reputation beyond reputeCaptainBlack has a reputation beyond reputeCaptainBlack has a reputation beyond reputeCaptainBlack has a reputation beyond reputeCaptainBlack has a reputation beyond reputeCaptainBlack has a reputation beyond reputeCaptainBlack has a reputation beyond reputeCaptainBlack has a reputation beyond repute
Default

Quote:
Originally Posted by Jhevon View Post
i always have trouble proving things that seem to me to be obvious.

would it be wrong to do this?

\int_0^1 x^n f(x)~dx = \int_0^1 x^n g(x)~dx

\Rightarrow \int_0^1 x^n f(x)~dx - \int_0^1 x^n g(x)~dx = 0

\Rightarrow \int_0^1 x^n [f(x) - g(x)]~dx = 0

Obviously, the only way this integral can be zero for all x and all n is if f(x) - g(x) = 0. the result follows immediately.



Now i can see where the problem here would be, the "obviously" part.
These proofs are thinly disguised use of the Stone-Weierstrass theorem.

RonL
__________________
"It is proof of a base and low mind for one to wish to think with the masses or majority, merely because the majority is the majority"
--Giordano Bruno
Reply With Quote
Reply
Thread Tools
Display Modes

Posting Rules
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts

BB code is On
Smilies are On
[IMG] code is On
HTML code is Off
Trackbacks are Off
Pingbacks are Off
Refbacks are Off
Forum Jump


All times are GMT -7. The time now is 03:49 AM.


Powered by vBulletin® Version 3.7.3
Copyright ©2000 - 2008, Jelsoft Enterprises Ltd.
SEO by vBSEO 3.2.0 ©2008, Crawlability, Inc.
©2005 - 2008 Math Help Forum


Math Help Forum is a community of maths forums with an emphasis on maths help in all levels of mathematics.
Register to post your math questions or just hang out and try some of our math games or visit the arcade.