Author |
Message |
anilv
Member
Team: ![Dark Traders Dark Traders](http://www.starsonata.com/cimg/fp/db.png?id=11075)
Main: enkelin
Level: 3002 Class:
Speed Demon
Joined: Wed Aug 01, 2007 12:28 pm
|
![Post Post](./styles/sstheme/imageset/icon_post_target.gif) Example of a non-constructive proof
Claim: There exist irrational numbers p and q such that p^q is a rational number.
Proof: Consider the irrational number x = sqrt(2) [easy to prove this is irrational]. Now consider the number y = x^x. If y is rational, we're done. If not, then y is irrational. In that case, consider the number y^x.
y^x = (x^x)^x = x^(x times x) = sqrt(2) ^ (sqrt(2) times sqrt(2) ) = sqrt(2) ^ (2) = 2 [a rational number]
Therefore, there must exist irrational numbers p and q such that p^q is rational. This proof is valid even though an explicit pair of numbers with this property was never found.
_________________ (DefQon1) use a Rhino reconstruotereatarerer - (Pasta) I need to figure out how to get rid of this UrQa Suqqa Ukuk (Bluenoser) Put your finger in your mouth and gag reflex should do the rest
|
Thu Apr 05, 2012 3:31 pm |
|
![](./styles/sstheme/theme/images/spacer.gif) |
anilv
Member
Team: ![Dark Traders Dark Traders](http://www.starsonata.com/cimg/fp/db.png?id=11075)
Main: enkelin
Level: 3002 Class:
Speed Demon
Joined: Wed Aug 01, 2007 12:28 pm
|
![Post Post](./styles/sstheme/imageset/icon_post_target.gif) Re: Example of a non-constructive proof
Lemma: sqrt(2) is irrational.
Proof: Suppose sqrt(2) = p/q for some integers p and q that do not share prime factors. Then
2 = p^2 / q^2 2 times q^2 = p^2
So p^2 is even. This implies p is even as well since an odd number squared is odd. We can write p = 2r for some integer r.
sqrt(2) = 2r / q 2 = 4 r^2 / q^2 q^2 = 2 r^2
Therefore q^2 is even, so q is also even by the same reasoning. But we stipulated that p and q shared no prime factors, so this is a contradiction. Therefore, sqrt(2) cannot be written as the quotient of two integers, i.e. it is irrational.
_________________ (DefQon1) use a Rhino reconstruotereatarerer - (Pasta) I need to figure out how to get rid of this UrQa Suqqa Ukuk (Bluenoser) Put your finger in your mouth and gag reflex should do the rest
|
Thu Apr 05, 2012 3:33 pm |
|
![](./styles/sstheme/theme/images/spacer.gif) |
Swift.Kill
Team: ![Eminence Front Eminence Front](http://www.starsonata.com/cimg/fp/db.png?id=7084)
Main: Mew Meeow
Level: 1244 Class:
Shield Monkey
Joined: Sun Nov 07, 2010 9:55 pm
|
![Post Post](./styles/sstheme/imageset/icon_post_target.gif) Re: Example of a non-constructive proof
Enk would u please explain that math xD? Calcytron
_________________
Aurora Ex Machina wrote: Nerf time.
playerboy345 wrote: Swift.Kill wrote: u havent tryed 5 Ada Rage BS Zerker yet WHIT LINCIN ![Very Happy :D](./images/smilies/icon_biggrin.gif) u havent tryed 5 STFU WITH YOUR BS WHIT GTFO ![Very Happy :D](./images/smilies/icon_biggrin.gif)
|
Thu Apr 05, 2012 4:26 pm |
|
![](./styles/sstheme/theme/images/spacer.gif) |
anilv
Member
Team: ![Dark Traders Dark Traders](http://www.starsonata.com/cimg/fp/db.png?id=11075)
Main: enkelin
Level: 3002 Class:
Speed Demon
Joined: Wed Aug 01, 2007 12:28 pm
|
![Post Post](./styles/sstheme/imageset/icon_post_target.gif) Re: Example of a non-constructive proof
The first post proves that certain numbers exist without giving any way of actually producing an example of them. The second post is just a supporting proof of one of the facts used in the first post.
The possibility of non-constructive proofs is a big deal philosophically. Most people aren't comfortable with the idea that you can prove something exists without being able to actually give an example of it.
_________________ (DefQon1) use a Rhino reconstruotereatarerer - (Pasta) I need to figure out how to get rid of this UrQa Suqqa Ukuk (Bluenoser) Put your finger in your mouth and gag reflex should do the rest
|
Thu Apr 05, 2012 4:33 pm |
|
![](./styles/sstheme/theme/images/spacer.gif) |
kilua
Team: ![Traders Traders](http://www.starsonata.com/cimg/fp/db.png?id=1473)
Main: k-2
Level: 2506 Class:
Speed Demon
Joined: Thu Apr 16, 2009 6:48 am
|
![Post Post](./styles/sstheme/imageset/icon_post_target.gif) Re: Example of a non-constructive proof
This is beautiful, here it is explained in a video i found after i looked it up in the interwebs. skipped to where he explains it: http://www.youtube.com/watch?feature=pl ... nHI#t=354s
_________________
trevor54 wrote: im only a noob Calypso wrote: adum is the best.
Samantha is second.
Calypso is third.
no wai!
|
Thu Apr 05, 2012 4:50 pm |
|
![](./styles/sstheme/theme/images/spacer.gif) |
anilv
Member
Team: ![Dark Traders Dark Traders](http://www.starsonata.com/cimg/fp/db.png?id=11075)
Main: enkelin
Level: 3002 Class:
Speed Demon
Joined: Wed Aug 01, 2007 12:28 pm
|
![Post Post](./styles/sstheme/imageset/icon_post_target.gif) Re: Example of a non-constructive proof
Nice link. The guy does the same exact proof (of course, it's pretty standard).
_________________ (DefQon1) use a Rhino reconstruotereatarerer - (Pasta) I need to figure out how to get rid of this UrQa Suqqa Ukuk (Bluenoser) Put your finger in your mouth and gag reflex should do the rest
|
Thu Apr 05, 2012 5:58 pm |
|
![](./styles/sstheme/theme/images/spacer.gif) |
thijs12b
Member
Team: ![Resident Evil Resident Evil](http://www.starsonata.com/cimg/fp/db.png?id=6706)
Main: Aku'Qa
Level: 2620 Class:
Berserker
Joined: Sun Nov 07, 2010 8:08 am
|
![Post Post](./styles/sstheme/imageset/icon_post_target.gif) Re: Example of a non-constructive proof
Screw you guys!
_________________ My Characters (to avoid confusion): Xenophanes, Protagoras, Error Message, Aku'Qa and Unfriendly
|
Thu Apr 05, 2012 6:12 pm |
|
![](./styles/sstheme/theme/images/spacer.gif) |
playerboy345
Team: ![Strawberry Pancakes Strawberry Pancakes](http://www.starsonata.com/cimg/fp/db.png?id=4475)
Main: playerboy345
Level: 2035 Class:
Berserker
Joined: Sat Jul 04, 2009 10:25 am Location: The Netherlands
|
![Post Post](./styles/sstheme/imageset/icon_post_target.gif) Re: Example of a non-constructive proof
Screw me too!
_________________
JeffL wrote: because we can and it looks really cool
The Voomy One wrote: Quote: Runescape, Allows you to change your name every 30 days. Runescape sucks so it doesnt count ![Razz :P](./images/smilies/icon_razz.gif)
|
Fri Apr 06, 2012 4:02 am |
|
![](./styles/sstheme/theme/images/spacer.gif) |
Imra15
Team: ![The Originals The Originals](http://www.starsonata.com/cimg/fp/db.png?id=14592)
Main: Lol imra15
Level: 641 Class:
Berserker
Joined: Thu Jun 30, 2011 9:30 pm Location: Where do you think
|
![Post Post](./styles/sstheme/imageset/icon_post_target.gif) Re: Example of a non-constructive proof
don't forget to screw me
_________________
|
Fri Apr 06, 2012 5:25 am |
|
![](./styles/sstheme/theme/images/spacer.gif) |
Jesus 2.0
Joined: Sat Dec 18, 2010 3:11 pm
|
![Post Post](./styles/sstheme/imageset/icon_post_target.gif) Re: Example of a non-constructive proof
I feel left out now. ![Crying or Very sad :cry:](./images/smilies/icon_cry.gif)
_________________
Jey123456 wrote: back burner is overloaded with stuff right now. but yea its somewhere on there.
landswimmer wrote: you know that even if you're wrong, they're more wrong. which makes you right.
|
Fri Apr 06, 2012 6:48 am |
|
![](./styles/sstheme/theme/images/spacer.gif) |
kilua
Team: ![Traders Traders](http://www.starsonata.com/cimg/fp/db.png?id=1473)
Main: k-2
Level: 2506 Class:
Speed Demon
Joined: Thu Apr 16, 2009 6:48 am
|
![Post Post](./styles/sstheme/imageset/icon_post_target.gif) Re: Example of a non-constructive proof
I feel sad for you people who dislike math ![Sad :(](./images/smilies/icon_sad.gif)
_________________
trevor54 wrote: im only a noob Calypso wrote: adum is the best.
Samantha is second.
Calypso is third.
no wai!
|
Fri Apr 06, 2012 7:10 am |
|
![](./styles/sstheme/theme/images/spacer.gif) |
zhuang281
Team: ![Strawberry Pancakes Strawberry Pancakes](http://www.starsonata.com/cimg/fp/db.png?id=4475)
Main: Dark Phantom
Level: 2387 Class:
Berserker
Joined: Sat Dec 29, 2007 8:24 pm Location: In Phatnoms world
|
![Post Post](./styles/sstheme/imageset/icon_post_target.gif) Re: Example of a non-constructive proof
Enks, that was one of the questions I had to prove in my final maths exam for Year 12
|
Fri Apr 06, 2012 7:17 am |
|
![](./styles/sstheme/theme/images/spacer.gif) |
Shawn
Team: ![Strawberry Pancakes Strawberry Pancakes](http://www.starsonata.com/cimg/fp/db.png?id=4475)
Main: Shawn
Level: 2603 Class:
Berserker
Joined: Sun Jun 27, 2010 6:20 pm
|
![Post Post](./styles/sstheme/imageset/icon_post_target.gif) Re: Example of a non-constructive proof
|
Fri Apr 06, 2012 10:27 am |
|
![](./styles/sstheme/theme/images/spacer.gif) |
a jedi master
Team: ![Aidelon Aidelon](http://www.starsonata.com/cimg/fp/db.png?id=7548)
Main: the speed of dark
Level: 1874 Class:
Engineer
Joined: Sun Nov 05, 2006 12:42 am Location: omg, you stalker!
|
![Post Post](./styles/sstheme/imageset/icon_post_target.gif) Re: Example of a non-constructive proof
In college you tend to hate actual numbers, because then you have to carry them with you through all the derivatives/integrals
_________________
|
Fri Apr 06, 2012 11:00 am |
|
![](./styles/sstheme/theme/images/spacer.gif) |
anilv
Member
Team: ![Dark Traders Dark Traders](http://www.starsonata.com/cimg/fp/db.png?id=11075)
Main: enkelin
Level: 3002 Class:
Speed Demon
Joined: Wed Aug 01, 2007 12:28 pm
|
![Post Post](./styles/sstheme/imageset/icon_post_target.gif) Re: Example of a non-constructive proof
a jedi master wrote: In college you tend to hate actual numbers, because then you have to carry them with you through all the derivatives/integrals This is what I try to tell my students but some of them just refuse to work in terms of variables. Algebra, people!
_________________ (DefQon1) use a Rhino reconstruotereatarerer - (Pasta) I need to figure out how to get rid of this UrQa Suqqa Ukuk (Bluenoser) Put your finger in your mouth and gag reflex should do the rest
|
Fri Apr 06, 2012 11:05 am |
|
![](./styles/sstheme/theme/images/spacer.gif) |
|