wu :: forums « wu :: forums - Picard's Theorem Proof that 0 = 1 » Welcome, Guest. Please Login or Register. Dec 8th, 2023, 5:01pm RIDDLES SITE WRITE MATH! Home Help Search Members Login Register
 wu :: forums    riddles    hard (Moderators: towr, Eigenray, Icarus, Grimbal, SMQ, william wu, ThudnBlunder)    Picard's Theorem Proof that 0 = 1 « Previous topic | Next topic »
 Pages: 1 Reply Notify of replies Send Topic Print
 Author Topic: Picard's Theorem Proof that 0 = 1  (Read 3638 times)
Eric Yeh
Senior Riddler

Gender:
Posts: 318
 Picard's Theorem Proof that 0 = 1   « on: Aug 2nd, 2002, 9:34pm » Quote Modify

Ok, one last new problem and then I'll go to sleep.  I was motivated by seeing the 2 = 1 problem in the Medium section; I know a whole family of these sorts of things, but this is my best one.  Sorry, it perhaps requires a tiny bit of math.

In complex analysis, an entire function is defined as a function which is
infinitely differentiable at every point in C (for example:  constants,
polynomials, e^x, etc.).  Picard's Theorem says that every nonconstant
entire function f misses at most one point (i.e. f(C) = C or C-{x0}).
For example, every nonconstant polynomial hits every point, and e^x misses
only 0.

Now consider the function f(x) = e^(e^x).  Since e^x is entire, f is also
entire by the chain rule.  But it misses 0 since the base e^y misses 0,
and it misses 1 since the top e^x misses 0 so that e^(e^x) misses e^0 = 1.
But by Picard's Theorem there can be only one missing point, so the two
missing points must be the same.  Therefore, 0 = 1.

Where's the flaw in the argument?

Happy Puzzling,
Eric
 « Last Edit: Jul 28th, 2005, 6:52pm by Icarus » IP Logged

"It is better to have puzzled and failed than never to have puzzled at all."
oliver
Guest

 Re: NEW PROBLEM:  Picard's Theorem Proof that 0 =   « Reply #1 on: Aug 3rd, 2002, 3:54am » Quote Modify Remove

...and it misses 1 since the top e^x misses 0.

 IP Logged
william wu

Gender:
Posts: 1291
 Re: NEW PROBLEM:  Picard's Theorem Proof that 0 =   « Reply #2 on: Aug 3rd, 2002, 4:31am » Quote Modify

Hiya Eric; thanks for the cool riddles!

With regards to this one, I'm confused. While it's true that e^x "misses" 0, we can also say that it "misses" all the negative numbers. And that's a lot more than just one point.

Perhaps some clarification on Picard's Theorem is in order?

 IP Logged

[ wu ] : http://wuriddles.com / http://forums.wuriddles.com
oliver
Newbie

Posts: 25
 Re: NEW PROBLEM:  Picard's Theorem Proof that 0 =   « Reply #3 on: Aug 3rd, 2002, 5:17am » Quote Modify

william,
we have to thank you for the cool website. Thank you very much.

With regard to this riddle, I'm quite sure that my post (yes, I have a login now) is right. The riddle was to show the error in the reasoning, and I cited the part which has the error.

To your question about the negative numbers, we are talking about the complex plane, where we have the identity
ez = eRe(z)*ei*Im(z)
= eRe(z)*(cos(Im(z))+i*sin(Im(z)))
(hope I got that right, it's been a while ....)
Therefore, ez indeed hits all complex number besides 0.
What is wrong is the assumption that exp: C -> C is injectiv, i.e. that the only solution exp(z) = 1 is z=0.
It isn't, as one can easily see from the identity above.

 IP Logged
Eric Yeh
Senior Riddler

Gender:
Posts: 318
 Re: NEW PROBLEM:  Picard's Theorem Proof that 0 =   « Reply #4 on: Aug 3rd, 2002, 6:10am » Quote Modify

Will,

Ollie is right -- to be explicit, e^(pi i) = -1.  e^(pi i / 2) even = i.  You can figure out the rest...

Nice job Ollie.  Wow, it's so tough to keep answers secret in these forums, huh??  I guess that's the only problem with posting them on these msg boards instead of on the main page.  By the time people read the new problem, there's already an answer sitting there!!!

And people don't post much unless it's an answer or a clarification, so if the problem is stated well it'll never get to "hot topic" status until there's a soln sitting there...

Oh well.  At least a couple of mine are still waiting for solns!

Best,
Eric
 IP Logged

"It is better to have puzzled and failed than never to have puzzled at all."
Paul Hsieh
Guest

 Re: NEW PROBLEM:  Picard's Theorem Proof that 0 =   « Reply #5 on: Aug 5th, 2002, 6:46pm » Quote Modify Remove

Yeah, this one isn't hard at all.  Unfortunately, the if one has not had at least some complex analysis, then people are going to be turned off from even attempting it.  Shouldn't the difficulty of the problem be related its true difficulty rather than its inaccessibility due to context?
 IP Logged
Eric Yeh
Senior Riddler

Gender:
Posts: 318
 Re: NEW PROBLEM:  Picard's Theorem Proof that 0 =   « Reply #6 on: Aug 5th, 2002, 8:22pm » Quote Modify

Yes, I suppose that this one isn't really meant to be a "puzzle" in some sense, more an amusement.  I just dropped it in as a parallel to the algebraic proof of 0 = 1.

I guess I think it's interesting because it's not as easy as some of the other 0 = 1 pfs, which are usu immediately obvious (there's a div by zero, there's a limit you can't take, etc.).  In my experience, it can take a minute or two even for very bright people to see.

Best,
Eric
 IP Logged

"It is better to have puzzled and failed than never to have puzzled at all."
Eric Yeh
Senior Riddler

Gender:
Posts: 318
 Re: NEW PROBLEM:  Picard's Theorem Proof that 0 =   « Reply #7 on: Aug 5th, 2002, 9:54pm » Quote Modify

Actually Paul, another thought:  The soln is quite elementary, so there is no barrier of entry regarding complex analysis proper, just some knowledge of high-school level complex arithmetic (i.e. algebra II).  I've asked people who had never taken a complex analysis course in their lives, and had never heard of a holomorphic function (day 1 cmplx anal), but could still answer the question.  So while there is certainly some mathematical barrier, that barrier isn't one that requires formal training per se...
 IP Logged

"It is better to have puzzled and failed than never to have puzzled at all."
Paul Hsieh
Guest

 Re: NEW PROBLEM:  Picard's Theorem Proof that 0 =   « Reply #8 on: Aug 6th, 2002, 4:56pm » Quote Modify Remove

Yes, I agree you can solve it with elementary complex number mathematics.  But in high school, things like *onto* versus *into* functions are not typically taught with any great depth.  You are asking the participant to quickly understand the core nature of the ex function in complex numbers.

A high schooler might also be very skeptical of Picards theorem -- how it is that a function can have complete continuity everywhere on the complex plane except that its missing one single point.  Heck, at an intuitive level, *I* have trouble with this, and it might overshadow the otherwise simple nature of this problem.
 IP Logged
andi L.
Guest

 Re: NEW PROBLEM:  Picard's Theorem Proof that 0 =   « Reply #9 on: Jul 22nd, 2005, 9:51am » Quote Modify Remove

To find a flaw in the argument it is enough to show that there is one z element C, such that exp(exp(z))=1. The following z will do the job:
z = ln(2 pi) + i pi/2.
 IP Logged
 Pages: 1 Reply Notify of replies Send Topic Print

 Forum Jump: ----------------------------- riddles -----------------------------  - easy   - medium => hard   - what am i   - what happened   - microsoft   - cs   - putnam exam (pure math)   - suggestions, help, and FAQ   - general problem-solving / chatting / whatever ----------------------------- general -----------------------------  - guestbook   - truth   - complex analysis   - wanted   - psychology   - chinese « Previous topic | Next topic »