Editing 622: Haiku Proof

Jump to: navigation, search

Warning: You are not logged in. Your IP address will be publicly visible if you make any edits. If you log in or create an account, your edits will be attributed to your username, along with other benefits.

The edit can be undone. Please check the comparison below to verify that this is what you want to do, and then save the changes below to finish undoing the edit.
Latest revision Your text
Line 14: Line 14:
 
:If we suppose that there are a finite number of primes, then they must have a product, i.e. ''p''<sub>1</sub>''p''<sub>2</sub>...''p''<sub>n</sub> = ''q''. Now consider ''q'' + 1. If this number is prime itself, then we have discovered a new prime number, contrary to the assumption that we had listed them all. If it is not prime, it must have a prime divisor. Since all of the ''p''<sub>k</sub> are a factor of ''q'', they cannot be a divisor of ''q'' + 1. So ''q'' + 1 is divisible by a prime not on the list, which again is a contradiction. Therefore, there must be infinitely many primes.
 
:If we suppose that there are a finite number of primes, then they must have a product, i.e. ''p''<sub>1</sub>''p''<sub>2</sub>...''p''<sub>n</sub> = ''q''. Now consider ''q'' + 1. If this number is prime itself, then we have discovered a new prime number, contrary to the assumption that we had listed them all. If it is not prime, it must have a prime divisor. Since all of the ''p''<sub>k</sub> are a factor of ''q'', they cannot be a divisor of ''q'' + 1. So ''q'' + 1 is divisible by a prime not on the list, which again is a contradiction. Therefore, there must be infinitely many primes.
  
βˆ’
At the last line of the haiku, [[Miss Lenhart]] says "Q.E.D., bitches!", Q.E.D. stands for "Quod Erat Demonstrandum", which means "Thus, it has been demonstrated." This is a Latin phrase which is used to show a proof is over. Ironically, the proof is not complete.
+
At the last line of the haiku, [[Miss Lenhart]] says "Q.E.D., bitches!", Q.E.D. stands for "Quod Erat Demonstrandum", a latin phrase which is used to show a proof is over. Ironically, the proof is not complete.
  
 
The comic essentially takes this proof and states it in the form of a {{w|haiku}}, which is a traditional form of Japanese poetry, which is in Japanese broken up into patterns of {{w|morae}} (or {{w|syllables}}), a unit that measures the length of sound. A Japanese haiku consists of three lines with 5, 7 and 5 morae respectively per line. An English Haiku has 5, 7 and 5 syllables per line. The proof poem goes like this:
 
The comic essentially takes this proof and states it in the form of a {{w|haiku}}, which is a traditional form of Japanese poetry, which is in Japanese broken up into patterns of {{w|morae}} (or {{w|syllables}}), a unit that measures the length of sound. A Japanese haiku consists of three lines with 5, 7 and 5 morae respectively per line. An English Haiku has 5, 7 and 5 syllables per line. The proof poem goes like this:

Please note that all contributions to explain xkcd may be edited, altered, or removed by other contributors. If you do not want your writing to be edited mercilessly, then do not submit it here.
You are also promising us that you wrote this yourself, or copied it from a public domain or similar free resource (see explain xkcd:Copyrights for details). Do not submit copyrighted work without permission!

To protect the wiki against automated edit spam, we kindly ask you to solve the following CAPTCHA:

Cancel | Editing help (opens in new window)