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 2^{nd}, 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 28^{th}, 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 3^{rd}, 2002, 3:54am » 
Quote Modify
Remove

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


IP Logged 



william wu
wu::riddles Administrator
Gender:
Posts: 1291


Re: NEW PROBLEM: Picard's Theorem Proof that 0 =
« Reply #2 on: Aug 3^{rd}, 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 3^{rd}, 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 e^{z} = e^{Re(z)}*e^{i*Im(z)} = e^{Re(z)}*(cos(Im(z))+i*sin(Im(z))) (hope I got that right, it's been a while ....) Therefore, e^{z} 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 3^{rd}, 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 5^{th}, 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 5^{th}, 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 5^{th}, 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 highschool 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 6^{th}, 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 e^{x} 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 22^{nd}, 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 



