Direct Proof


by Benn
Tags: proof
Benn
Benn is offline
#1
Mar7-12, 07:11 PM
P: 34
Hey guys,

I'm in a proof class right now. We've covered direct proofs and moved on, but I'm still curious about them. Is there any important theorem that has even been derived using a direct proof (assume p to show q) or are they mainly just used to introduce proofs? In class, we only ever cover proofs such as "if n ##\equiv## 1 (mod 2), then n2 ##\equiv## 1 (mod 8)." and the like.

Sorry, I can't get the tex to work out... aha, just got it working, nevermind
Phys.Org News Partner Science news on Phys.org
Cougars' diverse diet helped them survive the Pleistocene mass extinction
Cyber risks can cause disruption on scale of 2008 crisis, study says
Mantis shrimp stronger than airplanes
jgens
jgens is offline
#2
Mar7-12, 07:32 PM
P: 1,623
Quote Quote by Benn View Post
Is there any important theorem that has even been derived using a direct proof (assume p to show q) or are they mainly just used to introduce proofs?
Plenty of important theorems are proved using methods of direct proof. I presume that you are familiar with the fundamental theorems of calculus. The standard proofs of these results are done via direct proof. See here: http://en.wikipedia.org/wiki/Fundame...the_first_part


Register to reply

Related Discussions
Simple Direct Proof Calculus & Beyond Homework 3
Direct Sum Proof Calculus & Beyond Homework 1
Direct Proof Calculus & Beyond Homework 1
Direct proof using definiton of even Calculus & Beyond Homework 2
The most direct proof of reality General Discussion 51